SearcharxivSearch

arXiv subjects

Rin Sugiyama

Publications and source records attributed to Rin Sugiyama.

13 recordsLinked to original sources

Divisibility and torsion in higher Chow groups over arithmetic fields

Let $X$ be a smooth scheme of dimension $d$ over a field $F$. We study the abelian-group structure of the higher Chow groups $CH^{d+i}(X,j)$. For a prime $l$ different from the characteristic of $F$, we prove divisibility and torsion-freeness results when $i\ge$ the $l$-cohomological dimension of $F$. If $X$ is smooth proper and geometrically irreducible, we also study the kernel of the push-forward $CH^{d+i}(X,j)\to CH^i(F,j)$. We apply these results to finite fields, local fields, and global fields.

math.AG

Galois Symbols for a Jacobian and Multiplicative Groups

Let $C$ be a smooth projective geometrically connected curve over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian variety of $C$. For an integer $r\geq 1$ and a positive integer $n$ prime to the characteristic of $k$, we prove that the Galois symbol map \[ K(k;J,\mathbb{G}_{m},\ldots,\mathbb{G}_{m})/n \to H_{\mathrm{\acute et}}^{r+1}\bigl(k,J[n]\otimes μ_n^{\otimes r}\bigr) \] is injective, where the multiplicative group $\mathbb{G}_{m}$ occurs $r$ times. The proof uses Akhtar's description of higher Chow groups of zero-cycles and the Beilinson--Lichtenbaum theorem. The case $r=1$ recovers a theorem of Spiess.

math.NT

Zero-cycles on varieties over a $\mathfrak{B}_s$-field

A field $F$ is a $\mathfrak{B}_s$-field if, for every finite extension $E'/E$ of $F$, the norm map $K_s^M(E')\to K_s^M(E)$ of the Milnor $K$-groups is surjective. In particular, finite fields ($s=1$), local fields, and certain global fields (with $s=2$) satisfy this condition. For such a field $F$ and a $d$-dimensional variety $X$ over $F$, we prove that $CH^{d+n}(X,n)$ is divisible for $n \geq s+1$. Under a suitable condition on the index of $X$, $CH^{d+s}(X,s)$ is isomorphic to the direct sum of the Milnor $K$-group $K_{s}^M(F)$ and a divisible group. As an application, we study the Kato homology groups $KH_0^{(n)}(X,\mathbb{Z}/l^r\mathbb{Z})$ for any prime $l$ different from the characteristic of $F$.

math.NT

Division properties of commuting polynomials

Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic particularity of the commuting polynomials coming from weighted sums for cycle graphs with pendant edges (arXiv:2402.07209v1.). We also discuss a set of commuting polynomials over a field of positive characteristic.

math.AC

Extended differential symbol and the Kato homology groups

Building on our previous work, we investigate an analogue of the differential symbol map used in the Bloch-Gabber-Kato theorem. Within this framework, for an appropriate variety over a field, the higher Chow group corresponds to the 0-th Kato homology group. Inspired by Akhtar's theorem on higher Chow groups, we investigate the structure of the 0-th Kato homology group for varieties over arithmetic fields, including finite fields, local fields, and global fields of positive characteristic. We also express our results in terms of reciprocity sheaves.

math.NT

Tensor structures in the theory of modulus presheaves with transfers

The tensor product of $\mathbb{A}^1$-invariant sheaves with transfers introduced by Voevodsky is generalized to reciprocity sheaves via the theory of modulus presheaves with transfers. We prove several general properties of this construction and compute it in some cases. In particular we obtain new (motivic) presentations of the absolute Kähler differentials and the first infinitesimal neighborhood of the diagonal.

math.AG

A remark on the tensor product of SC-reciprocity sheaves

We give a description of the tensor product of SC-reciprocity presheaves with transfers in terms of $K$-group of geometric type, and we study a structure of the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_a$. We apply our description to give a description of Chow group of 0-cycles with modulus of products of curves. We also show that the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_m$ is isomorphic to the sheaf $Ω^1$ of Kähler differential forms as reciprocity sheaves over characteristic zero.

math.AG

Torsion and divisibility for reciprocity sheaves and 0-cycles with modulus

The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, Rülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over finite fields. We study the non-homotopy invariant part of the Chow group of $0$-cycles with modulus and show their torsion and divisibility properties. Modulus is being brought to sheaf theory by Kahn-Saito-Yamazaki in their attempt to construct a generalization of Voevodsky-Suslin-Friedlander's theory of homotopy invariant presheaves with transfers. We prove parallel results about torsion and divisibility properties for them.

math.AG

Motivic homology of semiabelian varieties

We generalize some classical results on Chow group of an abelian variety to semiabelian varieties and to motivic (co)homology, using a result of Ancona--Enright-Ward--Huber on a decomposition of the motive of a semiabelian variety in the Voevodsky's category.

math.AG