
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 nonhomotopy 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 1isomotives
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. BarbieriViale
that describes Deligne's category of 1isomotives 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 Kgroup associated to a finite collection of
semiabelian 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
BrauerManin pairing and the class field theory. We generalize this relation to
smooth (possibly nonproper) varieties, using the motivic homology and the tame
version of Wiesend's ideal class group. Several examples are discussed.

We study the singular isolevel 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
BirchTate conjecture.

We prove that the the kernel of the reciprocity map for a product of curves
over a $p$adic field with split semistable 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 MilnorBlochKato 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
NoumiYamada 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.