The intersection-theory tag has no usage guidance.

**2**

votes

**1**answer

120 views

### A “boundary map” for the algebraic equivalence relation of cycles

In what follows by projective variety I will mean the zero locus of homegeneous polynomials in some projective space. Anyway, feel free to deal with a sufficiently good scheme if you want.
Let $X$ be ...

**5**

votes

**0**answers

207 views

### Applications of E8 manifold

The $E_8$ Cartan matrix is given by,
$$
K_{E_8}=\begin{pmatrix}
2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\
-1 & 2 & -1& 0 & 0 & 0 & 0 & 0 \\
...

**0**

votes

**0**answers

63 views

### About the limit of transverse intersection

Let $n$ be a fixed positive integer, and let $W^{s}(R_{q})$ and $W^{u}(R_{q})$ be the stable and unstable manifolds of a fixed point $R_{q}$ of a discrete 2-D mapping. Notice that the sequence $R_{q}$ ...

**3**

votes

**1**answer

153 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

168 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

38 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

76 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

229 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

137 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

103 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

165 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

265 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

85 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

169 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

64 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

147 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

156 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

192 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

100 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

155 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

277 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

161 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

208 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

138 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

171 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

23 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

158 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

93 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

202 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

106 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

103 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

383 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

154 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

192 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

103 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

161 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

330 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

146 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

157 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

201 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

426 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

185 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

249 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

86 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

264 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

252 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 ...