Searcharxiv⌕ Search

arXiv subjects

Jinhyun Park

Publications and source records attributed to Jinhyun Park.

At least 19 recordsLinked to original sources
arXiv2025

The big de Rham-Witt forms over fields and motives of non-reduced schemes

Using algebraic cycles as a medium, we prove that the groups of the big (Hesselholt-Madsen) de Rham-Witt forms over arbitrary fields are isomorphic to the relative improved (Gabber-Kerz) Milnor $K$-groups of Artin local algebras of embedding dimension $1$. This answers an old problem on the relative Milnor $K$-groups studied since 1970s, especially in ${\rm char} (k) = p>0$. Applications include an interpretation of the big de Rham-Witt forms precisely as the vanishing cycles of the Elmanto-Morrow motivic cohomology of non-reduced schemes, as well as a construction of an extended logarithmic derivative map $d\log$ on the Milnor $K$-theory of some Artin rings to the de Rham-Witt forms.

math.AG↗
arXiv2025

Geometric presentations of Milnor $K$-groups of certain Artin algebras and Bass-Tate-Kato norms

For an arbitrary field $k$, and an arbitrary regular henselian local $k$-scheme $X$ of dimension $1$ with the residue field $k$, we introduce two subcomplexes of the higher Chow complexes of $X$ using certain extended face intersection conditions. We define suitable equivalence relations on them, and prove that their Milnor range cycle class groups offer geometric presentations of the improved (Gabber-Kerz) Milnor $K$-groups of Artin local $k$-algebras of the embedding dimension $1$, and their relative groups, generalizing the theorem of Nesterenko-Suslin and Totaro. Using these, we prove the existence of the norm and trace maps for the Milnor $K$-groups of the Artin local algebras associated to arbitrary finite extensions of fields, generalizing the Bass-Tate and Kato norms on the Milnor $K$-theory of fields.

math.AG↗
arXiv2022

Motivic cohomology of fat points in Milnor range via formal and rigid geometries

We present a formal scheme based cycle model for the motivic cohomology of the fat points defined by the truncated polynomial rings $k[t]/(t^m)$ with $m \geq 2$, in one variable over a field $k$. We compute their Milnor range cycle class groups when the field has sufficiently many elements. With some aids from rigid analytic geometry and the Gersten conjecture for the Milnor $K$-theory resolved by M. Kerz, we prove that the resulting cycle class groups are isomorphic to the Milnor $K$-groups of the truncated polynomial rings, generalizing a theorem of Nesterenko-Suslin and Totaro.

math.AG↗
arXiv2021

On extension of the motivic cohomology beyond smooth schemes

We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on the category, that it detects nilpotence, and that its restriction to the subcategory of smooth schemes agrees with the pre-existing motivic cohomology theory, which is the higher Chow theory of S. Bloch (Adv. Math., 1986). A few structures and applications are discussed.

math.AG↗
arXiv2021

On the coniveau filtration on algebraic $K$-theory of singular schemes

We construct two functorial filtrations on the algebraic $K$-theory of schemes of finite type over a field $k$ that may admit arbitrary singularities and may be non-reduced, one called the coniveau filtration, and the other called the motivic coniveau filtration. Restricting to the subcategory of smooth $k$-schemes, our coniveau filtration coincides with the classical coniveau (also known as the topological) filtration on algebraic $K$-theory of D. Quillen, whereas our motivic coniveau filtration coincides with the homotopy coniveau filtration for algebraic $K$-theory of M. Levine.

math.KT↗
arXiv2021

de Rham-Witt sheaves via algebraic cycles

We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived.

math.AG↗
arXiv2019

A moving lemma for relative $0$-cycles

We prove a moving lemma for the additive and ordinary higher Chow groups of relative $0$-cycles of regular semi-local $k$-schemes essentially of finite type over an infinite perfect field. From this, we show that the cycle classes can be represented by cycles that possess certain finiteness, surjectivity, and smoothness properties. It plays a key role in showing that the crystalline cohomology of smooth varieties can be expressed in terms of algebraic cycles.

math.AG↗
arXiv2018

Motivic cohomology of fat points in Milnor range

We introduce a new algebraic-cycle model for the motivic cohomology theory of truncated polynomials $k[t]/(t^m)$ in one variable. This approach uses ideas from the deformation theory and non-archimedean analysis, and is distinct from the approaches via cycles with modulus. We compute the groups in the Milnor range when the base field is of characteristic $0$, and prove that they give the Milnor $K$-groups of $k[t]/(t^m)$, whose relative part is the sum of the absolute Kähler differential forms.

math.AG↗
arXiv2016

A moving lemma for cycles with very ample modulus

We prove a moving lemma for higher Chow groups with modulus, in the sense of Binda-Kerz-Saito, of projective schemes when the modulus is given by a very ample divisor. This provides one of the first cases of moving lemmas for cycles with modulus, not covered by the additive higher Chow groups. We apply this to prove a contravariant functoriality of higher Chow groups with modulus. We use our moving techniques to show that the higher Chow groups of a line bundle over a scheme, with the 0-section as the modulus, vanishes.

math.AG↗
arXiv2016

A module structure and a vanishing theorem for cycles with modulus

We show that the higher Chow groups with modulus of Binda-Kerz-Saito for a smooth quasi-projective scheme $X$ is a module over the Chow ring of $X$. From this, we deduce certain pull-backs, the projective bundle formula, and the blow-up formula for higher Chow groups with modulus. We prove vanishing of $0$-cycles of higher Chow groups with modulus on various affine varieties of dimension at least two. This shows in particular that the multivariate analogue of Bloch-Esnault--Rülling computations of additive higher Chow groups of 0-cycles vanishes.

math.AG↗
arXiv2015

On additive higher Chow groups of affine schemes

We show that the multivariate additive higher Chow groups of a smooth affine $k$-scheme $\Spec (R)$ essentially of finite type over a perfect field $k$ of characteristic $\not = 2$ form a differential graded module over the big de Rham-Witt complex $\W_mΩ^{\bullet}_{R}$. In the univariate case, we show that additive higher Chow groups of $\Spec (R)$ form a Witt-complex over $R$. We use these structures to prove an étale descent for multivariate additive higher Chow groups.

math.AG↗
arXiv2015

On numerical equivalence for algebraic cobordism

We define and study the notion of numerical equivalence on algebraic cobordism cycles. We prove that algebraic cobordism modulo numerical equivalence is a finitely generated module over the Lazard ring, and it reproduces the Chow group modulo numerical equivalence. We show this theory defines an oriented Borel-Moore homology theory on schemes and oriented cohomology theory on smooth varieties. We compare it with homological equivalence and smash-equivalence for cobordism cycles. For the former, we show that homological equivalence on algebraic cobordism is strictly finer than numerical equivalence, answering negatively the integral cobordism analogue of the standard conjecture $(D)$. For the latter, using Kimura finiteness on cobordism motives, we partially resolve the cobordism analogue of a conjecture by Voevodsky on rational smash-equivalence and numerical equivalence.

math.AG↗
arXiv2014

Semi-topologization in motivic homotopy theory and applications

We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call \emph{homotopy semi-topologization}. As applications, we discuss the representability of several semi-topological cohomology theories in $\mathcal{SH}(\C)$, a construction of a semi-topological analogue of algebraic cobordism, and a construction of Atiyah-Hirzebruch type spectral sequences for this theory.

math.AG↗
arXiv2012

Algebraic cobordism theory attached to algebraic equivalence

Based on the algebraic cobordism theory of Levine and Morel, we develop a theory of algebraic cobordism modulo algebraic equivalence. We prove that this theory can reproduce Chow groups modulo algebraic equivalence and the semi-topological $K_0$-groups. We also show that with finite coefficients, this theory agrees with the algebraic cobordism theory. We compute our cobordism theory for some low dimensional varieties. The results on infinite generation of some Griffiths groups by Clemens and on smash-nilpotence by Voevodsky and Voisin are also lifted and reinterpreted in terms of this cobordism theory.

math.AG↗
arXiv2010

Mixed Motives over $k[t]/{(t^{m+1})}$

For a perfect field $k$, we construct a triangulated category of mixed motives over $k[t]/{(t^{m+1})}$. The ext groups in this category are given by higher Chow groups, and additive higher Chow groups.

math.AG↗
arXiv2009

Moving Lemma for additive Chow groups and applications

We prove moving lemma for additive higher Chow groups of smooth projective varieties. As applications, we prove the very general contravariance property of additive higher Chow groups. Using the moving lemma, we establish the structure of graded-commutative differential graded algebra (CDGA) on these groups.

math.AG↗
arXiv2008

Regulators on additive higher Chow groups

As an attempt to understand motives over $k[x]/(x^m)$, we define the cubical additive higher Chow groups with modulus for all dimensions extending the works of S. Bloch, H. Esnault and K. Rülling on 0-dimensional cycles. We give an explicit construction of regulator maps on the groups of 1-cycles with an aid of the residue theory of A. Parshin and V. Lomadze.

math.AG↗