All Questions
Tagged with intersection-theory ag.algebraic-geometry
329 questions
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, ...
CommunityBot
- 1
5
votes
1
answer
552
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}(...
CommunityBot
- 1
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$ ?
CommunityBot
- 1
2
votes
0
answers
656
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\...
CommunityBot
- 1
1
vote
1
answer
435
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 ...
- 38k
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 ...
CommunityBot
- 1
2
votes
1
answer
735
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\...
- 4,111
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\...
CommunityBot
- 1
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$,...
CommunityBot
- 1
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 ...
CommunityBot
- 1
7
votes
1
answer
470
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 ...
- 4,111
4
votes
1
answer
509
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,...
- 66.3k
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 \...
- 2,310
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
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 ...
- 38k
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 ...
CommunityBot
- 1
1
vote
1
answer
2k
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$ ...
- 47.4k
1
vote
1
answer
827
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^...
- 28.8k
7
votes
1
answer
482
views
Why Green functions and not Neron functions?
Arakelov constructed a nice intersection theory on arithmetic surfaces. A key point is the notion of Green function for a Riemann surface, which will be involved in the ''part at infinity'' of the ...
- 6,259
7
votes
1
answer
946
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 ...
- 38k
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
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
4
votes
1
answer
572
views
Pushforward of curves
Let $Z$ be a subvariety of an irreducible projective variety $X$, and let $i:Z\rightarrow X$ be the inclusion.
Let $N_1(X),N_1(Z)$ be the $\mathbb{Q}$-vector spaces of curves in $X$ and $Z$ ...
- 4,111
6
votes
1
answer
1k
views
Higher Chow groups revisited
Let $X$ be an algebraic variety over a field $k$.
Bloch defines the "algebraic singular complex" using the algebraic simplices
$$\Delta^n = \text{Spec}(k[x_0,\dots,x_n]/(x_0+x_1+\dots+x_n=1) \subset ...
CommunityBot
- 1
4
votes
1
answer
389
views
Gysin map and blow up
Let $X$ be a smooth projective variety and $W \subset X$ a smooth, projective subvariety. Let $\pi:\tilde{X} \to X$ be the blow-up of $X$ along $W$. Let $E$ be the exceptional divisor of $\pi$ and $i:...
- 6,253
5
votes
1
answer
2k
views
Intersections of quadratic planes as elliptic curves
An elliptic curve defined over a field $k$ is a smooth projective curve of genus $1$, plus a $k$-rational point. Every elliptic curve can be written in a Weierstrass form, i.e. as a plane cubic curve ...
- 20.8k
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
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$ ...
- 2,871
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
4
votes
0
answers
181
views
Why is flatness needed for the Segre classes of a family of cones to be equal in the Chow ring of the base
Let $X$ be an algebraic scheme and $\mathscr C$ a cone on $X\times\mathbf A^1$ and $C_t$ denote the restriction of $\mathscr C$ to $X\times\{t\}$ ($t=0,1$, or whatever). The claim in Fulton's ...
- 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
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 ...
- 16.9k
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 ...
- 1,217
8
votes
1
answer
792
views
What is the main failure in using Naive Chow group in Artin Stack
I'm reading Andrew Kresch's paper, Cycle groups in Artin Stacks.
The author defined Chow groups of Artin stacks by very technical way, instead of ordinary ways which he called 'naive chow group', ...
- 4,111
0
votes
0
answers
213
views
Linear section of an algebraic variety
Let $\pi$ be a linear subspace of $\mathbb{P}^n$ and $X$ a reduced, irreducible variety of $\mathbb{P}^n$. Suppose that $\pi \cap X$ is reducible, hence $\pi \cap X=Y_1\cup Y_2 \cup \cdots Y_k$. When ...
- 325
0
votes
0
answers
112
views
Reducible sections of algebraic varieties
Let $X$ be an irreducible variety. Is there some necessary condition on a hyperplane $H$ such $X\cap H$ is reducible? Also, suppose that $H\cap X$ is reducible, i.e., $H\cap X=Y_1\cup Y_2 \cup \cdots \...
- 325
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 ...
- 27.9k
2
votes
0
answers
200
views
Top intersections on the Hilbert scheme of points on a surface
The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism.
...
- 1,509
1
vote
0
answers
103
views
Degree of an isogeny in the endomorphism ring of the jacobian of a curve and self intersection index in its ring of correspondences
I hope this question is not too basic.
Let $C/\bar{k}$ be a nonsingular irreducible curve of genus $g$ and $\mathfrak{C}(C\times C)\cong \text{CH}^1(C\times C)$ be its ring of correspondences.
I am ...
23
votes
0
answers
1k
views
Is there a functor of points approach to algebraic cycles and intersection theory?
Motivation
Most of the algebraic geometry I have done so far was concerned with group schemes (e.g., abelian schemes, tori, unipotent groups). In that part of the field the "functor of points POV" is ...
0
votes
1
answer
342
views
Intersections of divisors in blow-ups of $\mathbb{P}^n$
Let $p_1,p_2,p_3\in\mathbb{P}^n$ be three general points, $X$ the blow-up of $\mathbb{P}^n$ at $p_1,p_2,p_3$, then along the lines $\left\langle p_i,p_j\right\rangle$, and finally along the plane $\...
- 1,566
1
vote
0
answers
279
views
How to think about the quotient field of an integral stack?
This is the definition given in Vistoli's paper.
Let $F$ be an integral stack. A rational function of $F$ is a morphism $G \rightarrow A^1_S$ defined on a nonempty open substack $G$ of $F$.
...
- 9,497
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 ...
- 27.9k
2
votes
0
answers
250
views
Computing higher dimensional intersection numbers for complete intersections of $\mathbb P^n$
Let $X_1,X_2$ be two smooth hypersurfaces of degree $d$ in $\mathbb P^{n}$. Let $B=X_1\cap X_2$. Assume $B$ is smooth. Let $\mathcal N_{B/\mathbb P^n}$ be the normal bundle to $B$. Let $H$ be the ...
- 2,215
2
votes
1
answer
139
views
Intersection multiplicity of limit linear spaces
Let $X\subset\mathbb{P}^N$ be a smooth projective variety. Let us fix a general point $q \in X$, and let $C\subseteq X$ be a smooth curve passing through $q$.
Now let $\Lambda_{\xi, q}$, with $\xi \...
- 7,320
2
votes
0
answers
99
views
Class of the locus where two sections are proportional
Let $X$ be a smooth (complex) projective $n$-dimensional variety ($n\geq 3$) and $\mathcal E$ a vector bundle of rank $r<n$ generated by its global sections on $X$. Let $\sigma\in H^0(\mathcal E)$ ...
- 1,463
2
votes
0
answers
94
views
Tropical self intersection number of boundary divisor on toroidal embedding
Let $X_0 \subset X$ a toroidal embedding without self intersections and denote by $\overline{\Sigma}$ its corresponding (weakly embedded) extended conical simplicial complex. Let $D$ be a divisor on $...
- 357
3
votes
0
answers
119
views
Finding two hypersurfaces of the same degree that intersect $X/\mathbb{F}_q$ smoothly
Let $X$ be a smooth projective variety over a finite field.
In [Poonen - Bertini theorems over finite fields] it is shown that one can find a smooth geometrically integral hypersurface $S$ of degree $...
- 479
3
votes
0
answers
158
views
Self-intersection of sum of Eff cone generators on Picard rank 2 surfaces
Let $S$ be a smooth, projective, complex surface with Picard rank 2, whose effective cone is generated by two curves of negative self-intersection, $C_1$ and $C_2$ (i.e. $C_1^2<0$ and $C_2^2<0$)....
- 31
0
votes
0
answers
148
views
Is sum $(E_i, E_j)$ non-positive, with $E_i$'s the exceptional components of a desingularization
Let $Y$ be an integral normal 2-dimensional scheme and let $X\longrightarrow S$ be a flat projective morphism, where $S$ is a Dedekind scheme.
Let $f:X\longrightarrow Y$ be a minimal resolution of ...
- 8,529