Atsushi Moriwaki
Let X be a projective scheme over a finite field. In this paper, we consider the asymptotic behavior of the number of effective cycles on X with bounded degree as it goes to the infinity. By this estimate, we can define a certain kind of zeta functions associated with groups of cycles. We also consider an analogue in Arakelov geometry.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in the Jacobian varieties.
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
In this paper, we shall give a candidate for the t-structure on the triangulated category of mixed motives due to Voevodsky.
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then CH^{i}(X) is finitely generated for i<=4.
This is a short exposition--mostly by way of the toy models ``double logarithm'' and ``triple logarithm''--which should serve as an introduction to a forthcoming article in which we establish a connection between multiple polylogarithms, polygons, trees and algebraic cycles.
We construct indecomposable cycles in the motivic cohomology group $H^3_{\mathcal M}(A,{\mathbb Q}(2))$ where $A$ is an Abelian surface over a number field or the function field of a base. When $A$ is the self product of the universal elliptic curve over a modular curve, these cycles can be used to prove algebraicity results for values of higher Green's functions, similar to a conjecture of Gross, Kohnen and Zagier. We formulate a conjecture which relates our work with the recent work of Bruinier-Ehlen-Yang on the conjecture of Gross-Kohnen-Zagier.
We show how to deduce the standard sign conjecture (a weakening of the Künneth standard conjecture) for Shimura varieties from some statements about discrete automorphic representations (Arthur's conjectures plus a bit more). We also indicate what is known (to us) about these statements.
In this paper we construct a non-trivial element in the higher Griff{}iths group $Griff ^{3,2}$ for the generic abelian fourfold $A^4$ with polarization of type $(1,2,2,2)$. The key idea is to use that $A^4$ can be realized as a generalized Prym variety and for this reason contains in a natural way some curves i.e. dimension 1 cycles.
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties.
In this text we are going to discuss the relation between monodromy and algebraic cycles.
Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with the Hodge structure induced from the fundamental torsor of path of punctured affine line.
Height pairings for algebraic cycles on the product of a curve and a surface
本文在数域上曲线与曲面乘积上无条件构造了 Beilinson--Bloch 型高度配对，并通过嵌入定义算术对角闭链，推广了 Gross 和 Schoen 的先前结果。
In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of poles of the associated L-functions is verified for abelian extensions of \Q. Also shown is the existence of homologically non-trivial cycles of codimension two which are not intersections of divisors.
We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.
For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those functions are algebraic and defined over such a field of definition. This proves a conjecture of Charles.
We construct algebraic virtual cycles that give us the cohomological field theories of Fan-Jarvis-Ruan invariants by integral transformations.
Algebraic Cycle Loci at the Integral Level
本研究针对数域上光滑射影族的代数闭链轨迹问题，提出整水平下统一研究的技术，给出非平凡常义代数闭链轨迹并集的非Zariski稠密性准则，推广了一般纤维的Hodge轨迹研究。
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion.
It is shown that to every Q-linear cycle \barαmodulo numerical equivalence on an abelian variety A there is canonically associated a Q-linear cycle αmodulo rational equivalence on A lying above \barα. The assignment \barα-> αrespects the algebraic operations and pullback and push forward along homomorphisms of abelian varieties.
Following an idea of Totaro, we prove that the classical integral cycle class map from algebraic cycles to étale cohomology factors through a quotient of $\ell$-adic étale cobordism over an algebraically closed field of positive characteristic. This shows that there is a strong topological obstruction for cohomology classes to be algebraic and that examples of Atiyah, Hirzebruch and Totaro also work in positive characteristic.
We develop differential algebraic K-theory of regular arithmetic schemes. Our approach is based on a new construction of a functorial, spectrum level Beilinson regulator using differential forms. We construct a cycle map which represents differential algebraic K-theory classes by geometric vector bundles. As an application we derive Lott's relation between short exact sequences of geometric bundles with a higher analytic torsion form.
We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive pull-back of cycles for arbitrary morphisms between noetherian schemes, which generalizes the classical pull-back for flat morphisms, and then prove basic properties of this naive pull-back.
We study a formal deformation problem for rational algebraic cycle classes motivated by Grothendieck's variational Hodge conjecture. We argue that there is a close connection between the existence of a Chow-Künneth decomposition and the existence of expected deformations of cycles. This observation applies in particular to abelian schemes.
In this note we are going to consider a smooth projective surface equipped with an involution and study the action of the involution at the level of Chow group of zero cycles.
For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the image of the given algebraic cycle under the cycle class map inside the De Rham cohomology group of the corresponding hypersurface in terms of its Griffiths basis and the polarization. As an application, we use this information to address variational Hodge conjecture for a non complete intersection algebraic cycle. We prove that the locus of general hypersur…
The motivic fundamental group of a punctured elliptic curve and algebraic cycles
本文在椭圆动机DG范畴中研究穿孔椭圆曲线的动机基本群，利用Schur复形给出其消解，并构造出类似于Bloch-Totaro闭链的代数闭链。
Let $k$ be a perfect field and let $p$ be a prime number different from the characteristic of $k$. Let $C$ be a smooth, projective and geometrically integral $k$-curve and let $X$ be a Severi-Brauer $C$-scheme of relative dimension $p-1$ . In this paper we show that $CH^{d}(X)_{\rm{tors}}$ contains a subgroup isomorphic to $CH_{0}(X/C)$ for every $d$ in the range $2\leq d\leq p$. We deduce that, if $k$ is a number field, then $CH^{d}(X)$ is finitely generated for every $d$ in the indicated range.
Voevodsky has conjectured that numerical equivalence and smash-equivalence coincide for algebraic cycles on any smooth projective variety. Building on work of Vial and Kahn-Sebastian, we give some new examples of varieties where Voevodsky's conjecture is verified.
Using fundamental results of Deligne, we prove a nilpotence theorem for algebraic cycles and use this to prove a torsion nilpotence result for correspondences on surfaces.
We show that the cycle map on a variety X, from algebraic cycles modulo algebraic equivalence to integer cohomology, lifts canonically to a topologically defined quotient of the complex cobordism ring of X. This more refined cycle map gives a topological proof that the Griffiths group is nonzero for some varieties X, without any use of Hodge theory. We also use this more refined cycle map to give examples of torsion algebraic cycles which map to 0 in Deligne cohomology but are not algebraically equivalent to 0, thus answering some questions by Colliot-Thelene and Schoen.
This is a survey on unramified cohomology with a view towards its applications to rationality problems.
We study families of faces for convex semi-algebraic sets via the normal cycle which is a semi-algebraic set similar to the conormal variety in projective duality theory. We propose a convex algebraic notion of a "patch" -- a term recently coined by Ciripoi, Kaihnsa, Löhne, and Sturmfels as a tool for approximating the convex hull of a semi-algebraic set. We discuss geometric consequences, both for the semi-algebraic and convex geometry of the families of faces, as well as variations of our definition and their consequences.
We give a theorem of Leray-Hirsch type for Chow groups and use it to study the Hogde and Grothendieck's standard conjectures for algebraic fiber bundles of Leray-Hirsch type. Morevoer, the Hodge conjecture for product varieties will also be considered.
We compute some value of the harmonic volume for the Fermat sextic. Using this computation, we prove that some special algebraic cycle in the Jacobian variety of the Fermat sextic is not algebraically equivalent to zero.
This article proposes a generalization of tautological rings introduced by Beauville and Moonen for Jacobians. The main result is that, under certain hypotheses, the special subvarieties of Prym varieties are algebraically equivalent and their classes belong to the tautological ring.
We study the p-adic deformation properties of algebraic cycle classes modulo rational equivalence. We show that the crystalline Chern character of a vector bundle lies in a certain part of the Hodge filtration if and only if, rationally, the class of the vector bundle lifts to a formal pro-class in K-theory on the p-adic scheme.
This note is about an old conjecture of Voisin, which concerns zero--cycles on the self-product of surfaces of geometric genus one. We prove this conjecture for surfaces with $p_g=1$ and $q=2$.
We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.
In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational equivalence. We also add a few elementary and easy observations on these representation problems that we were not able to locate in the literature.
We present a collection of algebraic equivalences between tautological cycles on the Jacobian $J$ of a curve, i.e., cycles in the subring of the Chow ring of $J$ generated by the classes of certain standard subvarieties of $J$. These equivalences are universal in the sense that they hold for all curves of given genus. We show also that they are compatible with the action of the Fourier transform on tautological cycles and compute this action explicitly.
The goal of this paper is to introduce Hodge 1-motives of algebraic varieties and to state a corresponding cohomological Grothendieck-Hodge conjecture, generalizing the classical Hodge conjecture to arbitrarily singular proper schemes.
We show that algebraic equivalence of images of stable maps of curves lifts to deformation equivalence of the stable maps. The main applications concern $A_1(X)$, the group of 1-cycles modulo algebraic equivalence, for smooth, separably rationally connected varieties. If $K/k$ is an algebraic extension, then the kernel of $A_1(X_k)\to A_1(X_K)$ is at most ${\mathbb Z}/2{\mathbb Z}$. If $k$ is finite, then the image equals the subgroup of Galois invariant cycles. This paper replaces Sections~2--3 of 2211.15915.v.1 and Sections~2--3 of 2211.15911.v.1. The other Sections are retained in the revis…
We define higher categorical invariants (gerbes) of codimension two algebraic cycles and provide a categorical interpretation of the intersection of divisors on a smooth proper algebraic variety. This generalization of the classical relation between divisors and line bundles furnishes a new perspective on the Bloch-Quillen formula.
This note is about cycle-theoretic properties of the Fano variety of lines on a smooth cubic fivefold. The arguments are based on the fact that this Fano variety has finite-dimensional motive. We also present some results concerning Chow groups of Fano varieties of lines on certain cubics in other dimensions.
We prove some value of the harmonic volume for the Klein quartic $C$ is nonzero modulo ${1/2}\{mathbb Z}$, using special values of the generalized hypergeometric function ${}_3F_2$. This result tells us the algebraic cycle $C-C^-$ is not algebraically equivalent to zero in the Jacobian variety $J(C)$.
We study some conjectures about Chow groups of varieties of geometric genus one. Some examples are given of Calabi-Yau threefolds where these conjectures can be verified, using the theory of finite-dimensional motives.
Let $\otimes$ be the map which classifies the tensor product of two line bundles, an extension of this map to the space of all codimension 1 algebraic cycles is constructed. It is proved that this extension cannot exist in codimension greater than 1.
In this paper we show how we can transform quadratic systems into new quadratic systems after some kind of birational transformations, the quadratic plane Cremona maps. We afterwards apply these transformations to the families of quadratic differential systems having an algebraic limit cycle. As a consequence, we provide a new family of quadratic systems having an algebraic limit cycle of degree 5. Moreover we show how the known families of quadratic differential systems having an algebraic limit cycle of degree greater than four are obtained using these transformations. We also provide the ph…
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2…
This note is about the Chow ring of Verra fourfolds. For a general Verra fourfold, we show that the Chow group of homologically trivial $1$-cycles is generated by conics. We also show that Verra fourfolds admit a multiplicative Chow-Künneth decomposition, and draw some consequences for the intersection product in the Chow ring of Verra fourfolds.
This paper is for the proceedings of the Chen-Chow Conference held in Tianjin, China in October 2000. The goal of the paper is to produce and survey evidence for a connection between Chen's work on iterated integrals on the one hand, and algebraic cycles and motives on the other. The paper is expository, and begins with an introduction to Chen's work. Topics covered include loop space de Rham theorems; iterated integrals of currents; the works of Carlson-Clemmens-Morgan and Bruno Harris on periods of mixed Hodge structures on homotopy groups and algebraic cycles; the cobar construction, algebr…
We analyze Weierstrass cycles and tautological rings in moduli space of smooth algebraic curves and in moduli spaces of integral algebraic curves with embedded disks with special attention to moduli spaces of curves having genus $\leq 6$. In particular, we show that our general formula gives a good estimate for the dimension of Weierstrass cycles for lower genera.
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
In this article we show how the data of integrals of algebraic differential forms over algebraic cycles can be used in order to prove that algebraic and Hodge cycle deformations of a given algebraic cycle are equivalent. As an example, we prove that most of the Hodge and algebraic cycles of the Fermat sextic fourfold cannot be deformed in the underlying parameter space. We then take a difference of two linear cycles inside the Fermat variety, and gather evidences that the Hodge locus corresponding to this is smooth and reduced. This implies the existence of new algebraic cycles in the Fermat v…
We show that a conjecture by Lawson holds, that is, the inclusion from the Chow variety $C_{p,d}(P^n)$ of all effective algebraic p-cycles of degree d in n-dimensional projective space to the space of effective algebraic p-cycles is 2d-connected. As a result, the homotopy and homology groups of $C_{p,d}(P^n)$ are calculated up to 2d. We also show an analogous statement for Chow variety $C_{p,d}(¶^n)$ over algebraically closed fields of arbitrary characteristic and compute their etale homotopy groups up to 2d.
We focus on Voisin's conjecture on 0-cycles on the self-product of surfaces of geometric genus one, which arises in the context of the Bloch-Beilinson filtration conjecture. We verify this conjecture for the family of Todorov surfaces of type $(2,12)$, giving an explicit description of this family as quotient surfaces of the complete intersection of four quadrics in $\mathbb{P}^{6}$. We give some motivic applications.
Automorphic Cohomology and the Limits of Algebraic Cycles
本文研究了自守上同调与代数循环构造之间的限制，通过构造一个非内部的Hodge类，揭示了自守方法无法获得代数循环的局限性。
In this short note we try to generalize the Clemens-Griffiths criterion of non-rationality for smooth cubic threefolds to the case of smooth cubic fourfolds.
We show that Gushel-Mukai fivefolds admit a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of these varieties injects into cohomology.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。