Source author record

Jinhyun Park

Jinhyun Park appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.KT math.AT

Catalog footprint

What is connected

9works

3topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2019arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2012arXiv

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.

preprint2010arXiv

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.