# Questions tagged [algebraic-cycles]

The tag has no usage guidance.

180 questions
Filter by
Sorted by
Tagged with
160 views

### Is the group of homologically trivial cycles in a variety over a finite field torsion?

Let $X$ be a smooth projective variety over $\mathbb{F}_q$. Is any cycle in the Chow group $CH^i(X)$ which is trivial in $\ell$-adic cohomology automatically torsion? For abelian varieties I believe ...
• 371
157 views

• 7,716
148 views

### Locus where a family of cycles is rationally trivial is countable union of closed subvarieties?

Following up on this question which received a negative answer, I wonder if something weaker is true. We work in the same set-up as the previous question. Let $B$ be a smooth quasi-projective variety ...
• 944
1 vote
136 views

• 5,861
1k views

### What exactly do the standard conjectures in characteristic zero refer to?

As the title suggest it seems standard conjectures mean different things depending on the context. I had the impression that in characteristic 0 they are a list of conjectures about varieties over an ...
• 5,861
123 views

### Cycles that are graphs of morphisms

Assume we have an irreducible algebraic cycle $Z$ on $X\times Y$ where $X$ and $Y$ are projective varieties ($X$ is smooth) such that restriction of $Z$ to $U\times Y$ where $U\subset X$ is a Zariski ...
• 5,861
86 views

### Pushing cycles out of singularity

Let $X$ be a smooth complex quasi-projective variety and $Y$ a projective complex variety. Let's assume $Z$ is the singular locus of $Y$. We assume that $\text{codim}_Y(Z)\gg \text{dim}(X)$. Let's ...
• 5,861
2k views

### Cycles in algebraic de Rham cohomology

Let $F$ be a number field, $S$ a finite set of places, and $X$ a smooth projective $\mathscr{O}_{F,S}$-scheme with geometrically connected fibers. For each point $t\in \text{Spec}(\mathscr{O}_{F,S})$, ...
• 22.8k
281 views

### Pushforward and pullback on the level of Chow varieties

Let $X$ and $Y$ be complex projective varieties. Let's assume we have a finite flat morphism $f:X\rightarrow Y$ of degree $k$. We know that it is possible to pullback and also pushforward algebraic ...
• 5,861
171 views

### Boundedness indices in Voevodsky's smash nilpotence conjecture in family

Let $X$ be a smooth projective variety over an algebraically closed field $k$. Voevodsky introduced the following notion : an algebraic cycle $Z$ in $X$ is smash nilpotent if there exist $N>0$ such ...
• 7,260
1 vote
176 views

### Is an algebraic cycle always contained some smooth ample hypersurface?

Let $X$ be a smooth projective threefold over $\mathbb C$. Let $Z$ be an algebraic 1-cycle of $X$, so $Z$ consists of curves in $X$. Is it always possible to find a smooth ample hypersurface $Y$ of $X$...
• 1,793
212 views

### Higher Chow cycles

Recall that the higher Chow groups $CH^k(X,m)$ are defined as the homology of the complex $Z^k(X,\bullet)$, where $Z^k(X,m)$ is the subgroup of codimension $k$ cycles of $X\times \Delta^m$ which meet ...
254 views

### Algebraic and homological equivalence relations for $0$-cycles

Let $X$ be a connected smooth projective variety. Let $Z_0(X)_{alg}$ be the group of $0$-cycles algebraically equivalent to $0$ and $Z_0(X)_{\hom}$ be the group of $0$-cycles homologically equivalent ...
• 519
1 vote
250 views

• 5,861
1 vote
102 views

### About Definition 2 in Roĭtman's Paper

Let $A(X)$ be the Chow group of $0$-cycles on a nonsingular irreducible projective variety $X$ over an uncountable algebraically closed field of characteristic zero. In Definition 2 of Roĭtman's paper ...
• 519
100 views

### Torsion in homology of Chow variety

For the sake of this question for simplicity you can assume $X$ is a hypersurface in the complex projective space (not necessarily smooth). Let $C_{r,d}(X)$ be the quasi-projective Chow variety ...
• 5,861
236 views

### Motives based on Hodge cycles vs algebraic cycles

I am not a specialist of motives. I am afraid my questions are rather naive. We have the category of (pure) motives based on Hodge cycles by Deligne. In his articles with Milne, morphisms between ...
1 vote
75 views

### Non-torsion infinitely divisible elements in the Chow group

It was shown in "Clemens, Herbert, Homological equivalence, modulo algebraic equivalence, is not finitely generated.", that the Chow group mod algebraic equivalence of smooth complex ...
• 5,861
145 views

### Chow countability argument

I would like to know what the "Chow countability argument or HIlbert schemes countability argument" says in order to finish an exercise. Any reference will also be very useful :)!
• 519
548 views

### Subrings of Chow rings

Let $X$ be a smooth projective variety over $\mathbf{F}_p$, call $\overline{X}$ the base change to $\overline{\mathbf{F}}_p$, and denote by $F$ the base change to $\overline{X}$ of the absolute ...
116 views

### Cycle of non-equidimensional scheme

In Fulton's intersection theory, example 1.7.1, he mentioned an example that contradicts to the splitting of cycles with respect to irreducible components. Consider the subscheme $X$ in $\mathbb{A}^3$ ...
• 253
227 views

### Definition of rational equivalence

In the book "C. Voisin. Hodge Theory and Complex Algebraic Geometry. Volume II. Cambridge studies in advanced mathematics 76 (2002)" page 247, definition 9.4, says: Definition 9.4. The ...
• 519
91 views

### Closed algebraic subset dominating a curve

In the book "C. Voisin. Hodge Theory and Complex Algebraic Geometry. Volume II. Cambridge studies in advanced mathematics 76 (2002)" page 228 says: Let $X$ be a smooth projective variety. If ...
• 519
224 views

### Notation on a Mumford's paper

I am reading the paper " D. Mumford. Rational equivalence of $0$-cycles on surfaces. J. Math. Kyoto Univ. 9 (1969) 195 - 204" and I do not understand a notation in bottom of page 197. It ...
• 519
200 views

### Are cubical higher Chow groups of field $CH^{n-1}(F,n)$ generated by linear cycles?

In the paper "The linearization of higher Chow cycles of dimension one" W. Gerdes proved that Higher Chow homology group $CH^{n-1}(F,n)=H^{n}(z^{n-1}(F,*))$ are generated by linear cycles. ...
211 views

### algebras of algebraic cycles satisfying Hard Lefschetz

June Huh and Botong Wang considired (arxiv:1609:08808) algebras of algebraic classes generated by (all) divisor classes and constructed examples of smooth projective varieties for which this algebra ...
• 4,060
482 views

### Cycle class map for singular varieties

I am reading the cycle class map for singular projective varieties as mentioned by Laterveer in this article (see Definition $1$). The article does not define the map but refers to an article of ...
• 2,313
121 views

### Looking for a crystalline analogue of , $\mathcal {Z}_{\sim}^* (X)_F \simeq \mathcal{Z}_{\sim}^* (X_{k ' })_F^{\mathrm{Gal} ( k ' / k )}$

Is there a crystalline analogue for the following formula, using the crystalline Frobenius $F_v$ instead of the absolute Galois group $\mathrm{Gal} (\overline{k} / k)$ ? Here is the formula, which ...
• 595
1 vote
438 views

### The Ogus conjecture for crystalline cohomology

How is the Ogus conjecture explicitly stated, which is a variant of the Hodge and the Tate conjectures for crystalline cohomology ? How do we build its class cycle map, and how do we formulate its ...
• 595
Let $M$ be projective complex manifold. The Lefschetz (1,1)-theorem says that the cycle map $$\text{cl}:\operatorname{Pic}(M) \to \text{Hod}^1(M)$$ is surjective. Question. Is there an interesting ...