The intersection-theory tag has no usage guidance.

**3**

votes

**1**answer

149 views

### Homotopy of paths at the boundary

Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...

**4**

votes

**1**answer

161 views

### Pairing on arithmetic surfaces

Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...

**1**

vote

**0**answers

35 views

### Hypersurface whose “square” level sets intersect all linear subspace of “high” dimension

Let $k$ be an infinite perfect field (e.g. I'm happy to assume that $k$ has characteristic $0$. On the other hand, the algebraically closed case is not interesting for this question). The question is ...

**4**

votes

**0**answers

73 views

### Proper locally trivial bundle is injective on Chow groups

If $X\to Y$ is a map of varieties that is Zariski-locally isomorphic to a projection $U\times P\to U$ with $P$ (smooth) proper, I think the pullback $A_{\bullet}(Y)\to A_{\bullet}(X)$ is supposed to ...

**5**

votes

**1**answer

201 views

### Fulton's deformation to the normal cone vs Verdier's

Let $X$ be a smooth variety over a field $k$, and let $Y$ be a smooth subvariety. In the literature, I've seen two versions of the deformation to the normal cone:
Verdier's version: $\tilde{X}_Y^\...

**4**

votes

**0**answers

133 views

### Bezout theorem for germs of holomorphic functions

UPDATE.
It was pointed out by @Dmitri that two smooth curves given by $f=y$ and $g=y+x^k$ in $\mathbb C^2$ provide a simple counterexample.
Let $f_1, \ldots, f_p, g_1, \ldots, g_q$ be germs of ...

**5**

votes

**0**answers

97 views

### Schubert cycles on Grassmannian bundles

Let $X$ be smooth variety and let $\mathcal{E}$ be a vector bundle on $X$ of rank $n$. On the total space of the Grassmannian bundle $\pi:G(k,\mathcal{E})\to X$ we have the tautological exact sequence ...

**3**

votes

**0**answers

161 views

### The Chow ring of a blow-up along a badly embedded subscheme

Let $X$ be a variety and $i:Y\hookrightarrow X$ be a regularly embedded closed subvariety, and write $\tilde X$ for $Bl_Y X$ the blow-up of $X$ along $Y$. Let $A^*(X)$ refer to the Fulton-Macpherson ...

**3**

votes

**1**answer

257 views

### Intersections with a Power of an Ample Divisor on an Abelian Variety

Let $A$ be a $g$-dimensional, complex abelian variety, let $H$ be an ample divisor, let $D\in Pic^0(A)$, and let $0\leq k\leq g$.
Question 1: Does $D^k\neq 0\in CH^k(A,\mathbb{Q})$ imply that $H^{g-k}...

**0**

votes

**0**answers

84 views

### $ch(L f^*\epsilon)$

I know the famous principle (or theorem depending on how you define) of Chern classes for locally free sheaves and a morphism $f: X'\rightarrow X$,
$ch(f^* \epsilon)=f^* ch(\epsilon)$.
But if $f$ ...

**4**

votes

**2**answers

168 views

### Cycle class of zeroes of a global section

Let $\mathcal{F}$ be a locally free sheaf of rank $n$ on an $n$ dimensional complex manifold $X$. If the zero locus of a generic global section of $\mathcal{F}$ is $0$ dimensional, then its cycle ...

**0**

votes

**0**answers

58 views

### Twisted sheaves on tower of $\mathbb{P}^n$

Take the projective space $\mathbb{P}^n$ over a ring $W$.
We call $\mathcal{O}(q)$ the usual twisted line bundle.
Now take the map $f: \mathbb{P}^n\to\mathbb{P}^n$ defined by
$$[x_0,\ldots, x_n]\...

**3**

votes

**0**answers

142 views

### Non algebraizable formal abelian schemes

I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are not algebraizable.
If ...

**2**

votes

**0**answers

152 views

### Liftability of varieties, after fpqc base change

Let $X$ be a smooth projective variety over a finite field, with a closed immersion to some other smooth projective variety $S$, with $S$ liftable.
Suppose there exists an fpqc cover $S'\to S$, such ...

**3**

votes

**1**answer

171 views

### Projective embeddings and quasi-compactness

Let $X$ be a projective scheme over a ring $R$, and $p : X\to\mathbf{P}^n_R$ a projective embedding.
Does there exist $n$ large enough so that the complement $U\subset \mathbf{P}^n_R$ of $p(X)$ in ...

**8**

votes

**2**answers

185 views

### Linear sections of Segre varieties and rational normal scrolls

In a projective space $\mathbb{P}^{k+2}$ consider two complementary subspaces $\mathbb{P}^1,\mathbb{P}^k$, and let $C\subset\mathbb{P}^k$ be a degree $k$ rational normal curve. Fixed an isomorphism $\...

**1**

vote

**0**answers

96 views

### Explanation of proposition 6.7 (a) of Fulton's Intersetion Theory

Suppose $X$ is a smooth variety over a field $k$ of characteristic zero, and $Z$ is a smooth subvariety of codimension d. Now let $\tilde{X}$ be the blow-up of $X$ at $Z$, and let the exceptional ...

**1**

vote

**0**answers

98 views

### intersect a subvariety with a Schubert variety

Let $Y$ be an irreducible subvariety inside $Gr(r,n)$ (Grassmannian of $r$-plane inside $\mathbb{C}^n$) and $X_\lambda$ be a Schubert variety corresponding to $\lambda$. Assume that $codim(Y)+codim(X_\...

**2**

votes

**1**answer

150 views

### Linear sections of $Gr(V,2)$

Let $V$ be a vector space, and consider $G=Gr(V,2)\subset \mathbb{P}^N$ embedded via the Plucker embedding. Let $W\subset \mathbb{P}^N$ be a linear subspace. I want to find the class $[W\cap G]\in A(G)...

**8**

votes

**0**answers

267 views

### Bloch Ogus spectral sequence

Let $X$ be a smooth projective variety over $\mathbf{C}$, and $p : X_{\rm an}\to X_{\rm Zar}$ the obvious map of sites.
The Leray spectral sequence
$$H^r(X_{\rm Zar}, R^sp_*\mathbf{C})\Rightarrow H^{...

**2**

votes

**0**answers

154 views

### Neron Severi under specialization

Let $X$ be a smooth projective variety over $\mathbf{Q}$, and $\mathcal{X}$ a smooth projective model over $\mathbf{Z}[1/N]$ for $N$ large enough.
Call $\eta$ the generic point $\text{Spec}(\mathbf{Q}...

**4**

votes

**0**answers

207 views

### Motives up to homological equivalence

Let $X$ be a smooth projective variety over a field $k$ finitely generated over its prime field, and $M_{hom}(X)$ the category of motives modulo $\ell$-adic homological equivalence.
(1) Is $M_{hom}(...

**4**

votes

**0**answers

129 views

### Hard Lefschetz for cycles

Let $X$ be a smooth projective variety over a field $k$. It is known by work of Deligne, that the Lefschetz operator:
$$L^k : H^{2n-2k}(X_{\overline{k}},\mathbf{Q}_{\ell})\to H^{2n+2k}(X_{\overline{k}...

**2**

votes

**1**answer

162 views

### Lefschetz standard conjecture under specialization/generization

Let $S$ be a smooth connected noetherian scheme (not necessarily over a field) with residue fields that are all of finite type over their prime field.
Let $f: \mathcal{X}\to S$ be a smooth projective ...

**1**

vote

**0**answers

21 views

### Numerical vs Homological equivalence

Does the Hodge Conjecture in codimension $p$ imply that homological and numerical equivalence on codimension $p$ cycles agree?
What is a reference, please?

**1**

vote

**0**answers

12 views

### Hodge classes generated in degree $1$

Let $X$ be a smooth projective variety over the complex numbers, and $\text{Hdg}^p(X)_{\mathbf{Q}}$ the abelian group of Hodge classes in $H^p(X,\mathbf{Q}(p))$.
Denote by $\text{Hdg}^*(X)$ the ...

**1**

vote

**0**answers

148 views

### Coniveau in étale motivic cohomology

Let $X$ be a smooth variety over a field.
Is there a spectral sequence:
$$E_1^{p,q} := \bigoplus_{x\in X^{(p)}}H^{q-p}(\kappa(x)_{\rm ét},\mathbf{Z}(n))\Rightarrow H^{q-p}(X_{\rm ét},\mathbf{Z}(n))$$...

**3**

votes

**0**answers

91 views

### Multiplicative structure on Deligne cohomology

Let $X$ be a smooth projective variety over the complex numbers, and $\mathbf{Z}(p)_{\mathcal{D}}$ the Deligne complex on $X$:
$$\mathbf{Z}(p)_{\mathcal{D}} : \ \ \mathbf{Z}(p)\to\mathcal{O}_X\to\...

**2**

votes

**1**answer

199 views

### Chow groups modulo homological equivalence for abelian varieties

Let $X$ be an abelian variety over a field $k$.
Let $A^p_{\rm hom}(X)$ be the $p$-th Chow group of cycles modulo homological equivalence ($\ell$-adic, if $k$ is of char $p$).
Do we have $$A^p_{\rm ...

**1**

vote

**0**answers

103 views

### Torsion homologically trivial cycles

Is there an example of a smooth projective variety $X$ over the complex numbers, such that
$$\ker(\text{CH}^2(X)\to H^4(X,\mathbf{Z}(2))$$
is not torsion?

**1**

vote

**0**answers

99 views

### Filtrations and the Betti cycle map

Let $X$ be a smooth projective complex variety.
Calling $f : X_{\rm an}\to X_{\rm Zar}$ the "change-of-topology" morphism of sites induced by sending a Zariski open $U$ of $X$ to its analytification, ...

**4**

votes

**1**answer

377 views

### A quite puzzling question on Deligne cohomology sheaves and cycle maps

Intro. I would be deeply grateful if someone could please clarify the following to me.
The question. (the main point is (4))
Let $X$ be a smooth projective variety over $\mathbf{C}$, and $\mathbf{Z}(...

**4**

votes

**0**answers

149 views

### Complete intersections in projective spaces

Let $X$ be an arbitrary smooth projective variety over a field $k$.
Do there exist:
a smooth complete intersection $X'$ in a projective space.
a surjective morphism of $k$-varieties $X'\to X$ ?

**2**

votes

**0**answers

181 views

### Specialization maps for Chow groups

Let $S$ be a finite type regular integral affine scheme of finite type over $\text{Spec}(\mathbf{Z})$, and $\mathcal{X}\to S$ a smooth projective morphism. Let $\eta$ be the generic point of $S$, $s\...

**1**

vote

**1**answer

99 views

### Properties of codimension under pull back

If I pull back a cycle of codimension $c$ along a morphism of schemes I can easily see that the codimension can stay the same or the codimension can drop to all the way to $0$. But intuitively it ...

**2**

votes

**0**answers

158 views

### Group completion of Chow varieties

Let $X$ be a quasi-projective variety over a perfect field $k$.
Given a projective embedding $j : X\to \mathbf{P}(\mathscr{E})$, the Chow variety $\text{Chow}_r(X, j)$ is a quasi-projective variety ...

**1**

vote

**1**answer

323 views

### Pull-back of algebraic cycles

Since today is the Chow-variety day, I'm going to ask my question here.
Suppose I have a smooth projective variety $X$ over a field of characteristic zero, and a smooth hyperplane $p: H\...

**2**

votes

**0**answers

141 views

### Codimension restrictions on intersections

This is a question I stumbled across earlier this week. I see a similar one has been asked here.
Suppose I have a smooth quasi projective variety $X$ over a field $K$, and I call $\text{Chow}^r(X\...

**2**

votes

**0**answers

156 views

### On a class of loci in Chow varieties

Let $k$ be a field, $i:X\hookrightarrow \mathbf{P}(\mathscr{E})$ be a fixed projective embedding of a smooth projective $k$-variety $X$, whose dimension is pure and equals $d\ge 0$.
For $0\le p\le d$,...

**4**

votes

**0**answers

197 views

### Vector bundles vs algebraic cycles

For integral schemes, the Picard group is isomorphic to the group of Cartier divisors modulo linear equivalence.
What is the correct analog of this isomorphism, for higher codimension Chow groups vs ...

**7**

votes

**1**answer

423 views

### Example of a smooth family of projective surfaces with non-vanishing integrals of Todd classes

Motivation:
Let $\pi\colon S \rightarrow B$ be smooth projective morphism of relative dimension 2 over a smooth projective scheme $B$. If the stucture sheaves of the fibres do not have higher ...

**3**

votes

**1**answer

174 views

### Intersection number of divisors on abelian surfaces and its invariance under translation by 2-Torsion points

I am reading Fulton's but I cannot find a useful result for my problem that seems to be something well known.
Let $\mathcal{J}$ be the Jacobian of a hyperelliptic curve of genus $2$. Consider $D_1,...

**7**

votes

**1**answer

242 views

### Family of zero dimensional subschemes

While reading Fulton's Intersection theory, I came across the following comment.
Let $X$ be a projective scheme over an algebraically closed field. Assume we have been given a map $g : \mathbb{P}^1 \...

**4**

votes

**0**answers

138 views

### Is there an analogy of Sumihiro's equivariant Chow's lemma for DM stack?

There is an analogy of Chow's lemma for a DM stack $X$ written in the Laumon's book 'Champ algebrique'. There exists a generically finite, proper surjective morphism $Y \to X$ from a quasi-projective ...

**1**

vote

**1**answer

82 views

### Gysin map for projective sub-bundles of exceptional divisors

Let $X$ be a smooth, projective variety, $Y \subset X$ a smooth, projective subvariety of codimension $3$. Denote by $\pi:\tilde{X} \to X$ the blow-up of $X$ along $Y$ and by $E$ the exceptional ...

**1**

vote

**1**answer

239 views

### Intersection number of divisors with its pull back and its push forward

I am in an ideal situation but I would appreciate a hint. First here is the scenario.
Let $\mathcal{J}$ be an the abelian variety obtained from the Jacobian of a genus $2$ curve $\mathcal{H}/k$ ...

**7**

votes

**1**answer

235 views

### Higher Chow groups for complete smooth intersections?

Let $F$ be a smooth complete intersection of $r$ hypersurfaces of degree $d_{1},\dots,d_{r}$ in $\mathbb{P}^{n+r}$ over an algebraic closed field. A classical result of A. Roitman says that the group ...

**1**

vote

**1**answer

294 views

### Self-intersection of divisors and Chern class

Let $X$ be a smooth, projective variety and $Y \subset X$ a smooth, effective divisor. Consider now the natural map $i^\ast:H^2(X) \to H^2(Y)$. Then,
When is the image of $c_1(\mathcal{O}_X(Y)) \in H^...

**7**

votes

**1**answer

176 views

### Push-forward of nef divisors via finite morphisms

Let $f:X\rightarrow Y$ be a finite morphism between smooth projective varieties, and let $D$ be an effective nef but not ample divisor on $X$.
Consider the divisor $f_{*}D$ on $Y$. Is $f_{*}D$ nef ...

**6**

votes

**0**answers

254 views

### Intersection of curves in abelian varieties

Fix an abelian variety $A$ of dimension at least $3$ and a (smooth, projective, irreducible) curve $C$ inside $A$ that generates $A$ as an algebraic group, over an algebraically closed field. Now, fix ...