• Reciprocity sheaves, II(1707.07398)

Nov. 20, 2019 math.AG
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].
• Motives with modulus(1511.07124)

March 2, 2019 math.AG, math.KT, math.NT
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.
• Generalized Jacobians of modular and Drinfeld modular curves(1802.01066)

Feb. 4, 2018 math.NT
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.
• Nori motives of curves with modulus and Laumon 1-motives(1609.08279)

June 13, 2017 math.AG, math.KT, math.NT
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.
• Rational torsion on the generalized Jacobian of a modular curve with cuspidal modulus(1606.06362)

June 20, 2016 math.AG, math.NT
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.
• Reciprocity sheaves(1402.4201)

March 19, 2016 math.AG, math.KT, math.NT
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.
• Suslin homology of relative curves with modulus(1505.05922)

Jan. 26, 2016 math.AG, math.KT, math.NT
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.
• K-Groups of reciprocity functors for G_a and abelian varieties(1312.4205)

Aug. 29, 2014 math.AG, math.KT, math.NT
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.
• Torsion points on Jacobian varieties via Anderson's p-adic soliton theory(1210.5838)

March 9, 2014 math-ph, math.MP, math.AG, math.NT
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.
• Algebraic integrable systems related to spectral curves with automorphisms(1312.4208)

Dec. 15, 2013 math-ph, math.MP, math.AG
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.
• Voevodsky's motives and Weil reciprocity(1108.2764)

Nov. 29, 2012 math.AG
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.
• Torsion points on hyperelliptic Jacobians via Anderson's $p$-adic soliton theory(1111.2973)

June 28, 2012 math.NT
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.
• Brauer-Manin pairing, class field theory and motivic homology(1009.4026)

March 21, 2012 math.AG, math.NT
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.
• Singular fiber of the Mumford system and rational solutions to the KdV hierarchy(0806.2362)

Sept. 4, 2009 math-ph, math.MP, math.AG
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.
• Milnor $K$-group attached to a torus and Birch-Tate conjecture(0804.3260)

April 21, 2008 math.KT, math.NT
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.
• Class field theory for a product of curves over a local field(math/0608464)

Oct. 15, 2007 math.AG, math.NT
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.
• A counterexample to generalizations of the Milnor-Bloch-Kato conjecture(0706.4354)

Sept. 7, 2007 math.KT
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).
• Jacobian variety and Integrable system -- after Mumford, Beauville and Vanhaecke(math-ph/0512033)

June 12, 2006 math-ph, math.MP, math.AG
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.
• Cohomological study on variants of the Mumford system, and integrability of the Noumi-Yamada system(math-ph/0501048)

Jan. 17, 2006 math-ph, math.MP, math.AG
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.