All Questions
Tagged with ag.algebraic-geometry intersection-theory
329 questions
7
votes
1
answer
403
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 \...
- 443
3
votes
0
answers
440
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 ...
- 528
7
votes
1
answer
449
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 ...
- 578
15
votes
2
answers
2k
views
Is there a Serre Tor formula for nonproper intersections?
Background: Let $X$ be a smooth complex projective algebraic variety, and let $V$ and $W$ be closed subvarieties. For simplicity, let's assume that $\dim V+\dim W=\dim X$.
Now Serre's famous Tor ...
- 18.7k
6
votes
2
answers
345
views
Nonempty intersection in Grassmannian
Where can I find a proof of the following fact:
If $X_1$ and $X_2$ are subvarieties of $\mathbb{G}(k,n)$ of codimension $c_1$ and $c_2$ satisfying $c_1+c_2<n+1-2k$, then the intersection $X_1\cap ...
- 1,537
9
votes
1
answer
475
views
About Riemann-Roch without denominators
The Riemann-Roch without denominators can be expressed as follows:
Let $f: X\rightarrow Y$ be a closed embedding of quasi-projective smooth $k$-varieties of codimension $d$ for some field $k$. Let $E$ ...
- 1,906
1
vote
0
answers
121
views
What happens to a variety after a change of variables?
Suppose I have an irreducible affine variety $X \subseteq \mathbb{A}^n_k$.
Let us denote $X = \{ x \in k^n : f_j(x) = 0 \ (1 \le j \le M) \}$. $k$ is an algebraically closed field. Let $a_i \in k$, $...
- 3,625
4
votes
0
answers
347
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$ ?
user119470
1
vote
0
answers
74
views
Is it possible to represent a closed substack as a fundamental cycle?
Let $X$ be an Artin stack and $Z \subset X$ be a closed substack. Can we represent $Z$ as a fundamental cycle? i.e. $[Z] = \sum_i a_i [Z_i]$ where $Z_i$ are integral substacks of $X$. In other word, ...
- 421
8
votes
1
answer
837
views
Flat morphisms whose fibers are affine spaces
Let $f:X \to Y$ be a flat morphism, such that each fiber is isomorphic to the affine space $\mathbb{A}^n$. Then is is true that $f$ is a Zariski affine bundle? If not, is it at least an ètale affine ...
- 185
2
votes
1
answer
236
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)...
- 2,788
2
votes
0
answers
219
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 ...
user124171
8
votes
2
answers
5k
views
Self-intersection of exceptional divisor
Suppose that $X$ is a smooth threefold, and $C \subset X$ a smooth curve. Let $Y$ be the blowup of $X$ along $C$, with exceptional divisor $E$. What is the intersection number $E^3$ on $Y$? (in ...
- 83
4
votes
1
answer
215
views
Segre Classes of reducible variety
Suppose I have a singular projective variety $X\subset \mathbb{P}^n$ that is reducible with $X=\bigcup_i X_i$ smooth irreducible components. That is, the irreducible components are smooth but $X$ is ...
- 3,779
5
votes
0
answers
398
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 ...
user119470
4
votes
0
answers
261
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}(...
user120812
9
votes
1
answer
3k
views
Reference for the Hodge Bundle
For the purposes of this question, let the Hodge bundle $\lambda$ be the bundle on a fibration of abelian varieties $X\to B$ with fiber over $b\in B$ the space of 1-forms on $X_b$, or the pullback to $...
- 16k
2
votes
0
answers
256
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}...
user95222
6
votes
1
answer
1k
views
What does the Chern-Schwartz-MacPherson class of a singular variety look like?
Let $A_\ast$ and $F_\ast$ be the functors $\textrm{Var}_\mathbb C\to \textrm{Ab}$ of Chow groups and constructible functions, respectively, with respect to proper maps. Then the Chern-Schwartz-...
- 1,534
1
vote
0
answers
290
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))$$...
user92332
2
votes
0
answers
239
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 ...
user113393
1
vote
1
answer
239
views
Endomorphism of Chow group induced by a birational map
Let $\phi:X\dashrightarrow Y$ be a birational map between smooth projective $k$-varieties ($k=\bar k$) and $\Gamma$ be the closure of the graph of $\phi$. In Fulton's intersection theory example 16.1....
- 155
6
votes
0
answers
313
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 ...
- 30.5k
2
votes
0
answers
261
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\...
user113452
1
vote
1
answer
200
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 ...
- 2,126
2
votes
0
answers
228
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$,...
user95222
6
votes
0
answers
591
views
Blow-up and the Chow group of zero cycles
Let $\tilde{X}\to X$ be a blow-up of a variety $X$ (over an algebraically closed field).
Is it true that the Chow group of zero cycles of $\tilde{X}$ is isomorphic to that of $X$? What if $X$ is a ...
- 69
5
votes
0
answers
486
views
Computing intersection number of two arithmetic line bundles
I have some questions in Arithmetic Arakelov geometry
Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and $\...
user21574
13
votes
2
answers
3k
views
Examples of excess intersection theory?
Let $M$ be a smooth manifold of dimension $m$ and $\pi:E\rightarrow M$ a vector bundle of rank $e$. Given a section $s$ of the bundle $\pi:E\rightarrow M$, we expect that the zero locus $Z(s)$ of $s$ ...
- 583
4
votes
0
answers
265
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 ...
- 421
5
votes
1
answer
516
views
Smooth quadric hypersurface, Hilbert scheme is blowup of Grassmannian?
Let $Q \subset \mathbb{P}^n$ be a smooth quadric hypersurface. Where can I find a proof of/can anyone supply a proof of$$\text{Hilb}_{2m + 1}(Q) \cong \text{Bl}_{OG(3, n+1)}G(3, n+1)?$$Can we conclude ...
- 51
16
votes
1
answer
2k
views
Bezout's Theorem for weighted homogeneous polynomials
Bezout's Theorem states that for two homogeneous polynomials $f(x,y,z), g(x,y,z)$ over an algebraically closed field of degrees $m,n$ respectively, such that the two polynomials do not share a common ...
- 27k
2
votes
0
answers
136
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 ...
- 2,971
1
vote
0
answers
290
views
Intersection with very ample divisor and linear equivalence
Let $X$ be a smooth, projective variety and $D, E$ two effective divisors of $X$ which correspond to distinct elements on the cohomology group $H^2(X,\mathbb{Q})$. Denote by $H$ a very ample divisor ...
- 2,126
1
vote
0
answers
143
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_\...
- 849
1
vote
0
answers
118
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?
user119470
5
votes
3
answers
2k
views
(Second) Chern class of projective space, blown up in a linear subvariety
I already asked the same question at stack exchange but got no response for quite a while, so I thought I'd ask here. I also know that this has a certain resemblance to this question, but I cannot ...
- 4,902
1
vote
0
answers
118
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, ...
user119470
5
votes
2
answers
755
views
Top chern class under finite, unramified, dominant morphism
Situation: Let $\Bbbk$ be an algebraically closed field. Assume that $\pi:Y\to X$ is an finite, dominant, unramified morphism between nonsingular varieties of dimensions $n$. Let $d=\deg(\pi)$.
What ...
- 4,902
0
votes
0
answers
95
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$ ...
3
votes
0
answers
114
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\...
user92332
12
votes
4
answers
2k
views
Context for intersection theory
This is a pretty basic question. Hartshorne defines "intersection multiplicity" for any two divisors on a surface. Fulton has an impressive framework of generalizing this in his book (my understanding ...
- 5,929
4
votes
1
answer
4k
views
euler class of the normal bundle and self intersection number [duplicate]
Let $S$ be a compact submanifold of $X$ smooth manifold. I know that $T_X|_S=T_S\oplus N_{S/X}$ where $N_{S/X}$ is the normal bundle. I have read that the euler class $e(N_{S/X})$ corresponds (via ...
- 83
3
votes
0
answers
216
views
Is algebraic geometry related to conical intersection in potential energy surface of molecules?
I post this question here because it seems that the equations describing conical intersections in molecular potential energy surface are similar to what algebraic geometry research concerns.
...
- 157
1
vote
1
answer
215
views
Zero dimensional components of an intersection
Let $X$ be a smooth projective algebraic variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of complementary codimension in $X$. Let $n$ denote their ...
- 13
1
vote
0
answers
39
views
Counting Zeros Under Unitary Action
Assume we have two polynomials $f_1$ and $f_2$ with Newton polytopes $A_1 , A_2 \in \mathbb{Z}^2$. Also suppose that coefficients of $f_1$ and $f_2$ are generic. Then we pick a unitary matrix $Q$ and ...
- 351
7
votes
0
answers
551
views
Semi-continuity of intersection numbers
I always trusted the following quite vague statement:
If you have a family of effective divisors $D_1(t),\dots , D_k(t)$ on a $k$-dimensional projective variety $X_t$, where $t$ is a paramater say ...
- 2,384
1
vote
0
answers
188
views
First computations of intersection products – a formula in Fulton
The book is Fulton, Intersection Theory. My question pertains to Examples 6.1.4 and 6.1.5. In 6.1.4, we are looking at effective Cartier divisors $A,B$ and $D$ on a nonsingular surface $X$ with $A$ ...
- 1,217
1
vote
0
answers
248
views
Irreducible components of normal cone $C_{X/Y}$ dominates X?
Assume $X$ is a subscheme of $Y$ and $X,Y$ are irreducible.
Then every irreducible component of the normal cone $C_{X/Y}$ dominates $X$?
- 421
6
votes
2
answers
1k
views
On a fiber square flat pullback commutes with proper pushforward
I'm working through Fulton's intersection theory book and I've been stuck on the end of Prop 1.7, i.e. that flat pullbacks commute with proper pushforwards for fibre squares. Specifically I ...
- 2,108