• We exhibit an intimate relationship between "reciprocity sheaves" from arXiv:1402.4201 [math.AG] and "modulus sheaves with transfers" from arXiv:1908.02975 [math.AG] and arXiv:1910.14534 [math.AG].
  • We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of \emph{proper modulus pairs}, that is, pairs of a proper $k$-variety $X$ and an effective divisor $D$ on $X$ such that $X \setminus |D|$ is smooth. To a modulus pair $(X, D)$ we associate its motive $M(X, D) \in \mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the Hom group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.
  • We consider the generalized Jacobian $\widetilde{J}$ of the modular curve $X_0(N)$ of level $N$ with respect to a reduced divisor consisting of all cusps. Supposing $N$ is square free, we explicitly determine the structure of the $\mathbb{Q}$-rational torsion points on $\widetilde{J}$ up to $6$-primary torsion. The result turns out to be very different from the case of prime power level previously studied by Yang and the second author. We also obtain an analogous result for Drinfeld modular curves. Our proof relies on similar results for classical Jacobians due to Ohta, Papikian and the first author. We also discuss the Hecke action on $\widetilde{J}$ and its Eisenstein property.
  • Let $k$ be a number field. We describe the category of Laumon 1-isomotives over $k$ as the universal category in the sense of Nori associated with a quiver representation built out of smooth proper $k$-curves with two disjoint effective divisors and a notion of $H^1_\dR$ for such "curves with modulus". This result extends and relies on the theorem of J. Ayoub and L. Barbieri-Viale that describes Deligne's category of 1-isomotives in terms of Nori's Abelian category of motives.
  • We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.
  • We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will eventually lead to the definition of a larger triangulated category of motivic nature, encompassing non homotopy invariant phenomena.
  • We compute the Suslin homology of relative curves with modulus. This result may be regarded as a modulus version of the computation of motives for curves, due to Suslin and Voevodsky.
  • We prove that the $K$-group of reciprocity functors, defined by F. Ivorra and the first author, vanishes over a perfect field as soon as one of the reciprocity functors is $\mathbb{G}_a$ and one is an abelian variety.
  • Anderson introduced a $p$-adic version of soliton theory. He then applied it to the Jacobian variety of a cyclic quotient of a Fermat curve and showed that torsion points of certain prime order lay outside of the theta divisor. In this paper, we evolve his theory further. As an application, we get a stronger result on the intersection of the theta divisor and torsion points on the Jacobian variety for more general curves. New examples are discussed as well. A key new ingredient is a map connecting the $p$-adic loop group and the formal group.
  • We apply a reduction to the Beauville systems to obtain a family of new algebraic completely integrable systems, related to curves with a cyclic automorphism.
  • We describe Somekawa's K-group associated to a finite collection of semi-abelian varieties (or more general sheaves) in terms of the tensor product in Voevodsky's category of motives. While Somekawa's definition is based on Weil reciprocity, Voevodsky's category is based on homotopy invariance. We apply this to explicit descriptions of certain algebraic cycles.
  • We show that torsion points of certain orders are not on a theta divisor in the Jacobian variety of a hyperelliptic curve given by the equation $y^2=x^{2g+1}+x$ with $g \geq 2$. The proof employs a method of Anderson who proved an analogous result for a cyclic quotient of a Fermat curve of prime degree.
  • For a smooth proper variety over a $p$-adic field, the Brauer group and abelian fundamental group are related to the higher Chow groups by the Brauer-Manin pairing and the class field theory. We generalize this relation to smooth (possibly non-proper) varieties, using the motivic homology and the tame version of Wiesend's ideal class group. Several examples are discussed.
  • We study the singular iso-level manifold $M_g(0)$ of the genus $g$ Mumford system associated to the spectral curve $y^2=x^{2g+1}$. We show that $M_g(0)$ is stratified by $g+1$ open subvarieties of additive algebraic groups of dimension $0,1,...,g$ and we give an explicit description of $M_g(0)$ in terms of the compactification of the generalized Jacobian. As a consequence, we obtain an effective algorithm to compute rational solutions to the genus $g$ Mumford system, which is closely related to rational solutions of the KdV hierarchy.
  • We formulate (and prove under a certain assumption) a conjecture relating the order of Somekawa's Milnor $K$-group attached to a torus $T$ and the value of the Artin $L$-function attached to the cocharacter group of $T$ (regarded as an Artin representation) at $s=-1$. The case $T=\G_m$ reduces to the classical Birch-Tate conjecture.
  • We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.
  • We construct an example of a torus $T$ over a field $K$ for which the Galois symbol $K(K; T,T)/n K(K; T,T) \to H^2(K, T[n]\otimes T[n])$ is not injective for some $n$. Here $K(K; T,T)$ is the Milnor $K$-group attached to $T$ introduced by Somekawa. We show also that the motive $M(T\times T)$ gives a counterexample to another generalization of the Milnor-Bloch-Kato conjecture (proposed by Beilinson).
  • Beauville introduced an integrable Hamiltonian system whose general level set is isomorphic to the complement of the theta divisor in the Jacobian of the spectral curve. This can be regarded as a generalization of the Mumford system. In this article, we construct a variant of Beauville's system whose general level set is isomorphic to the complement of the `intersection' of the translations of the theta divisor in the Jacobian. A suitable subsystem of our system can be regarded as a generalization of the even Mumford system introduced by Vanhaecke.
  • The purpose of this paper is twofold. The first is to apply the method introduced in the works of Nakayashiki and Smirnov on the Mumford system to its variants. The other is to establish a relation between the Mumford system and the isospectral limit $\mathcal{Q}_g^{(I)}$ and $\mathcal{Q}_g^{(II)}$ of the Noumi-Yamada system. As a consequence, we prove the algebraically completely integrability of the systems $\mathcal{Q}_g^{(I)}$ and $\mathcal{Q}_g^{(II)}$, and get explicit descriptions of their solutions.