All Questions
Tagged with intersection-theory ag.algebraic-geometry
329 questions
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
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^...
- 2,126
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
1
answer
406
views
Intersection product of pull back under projection
Let $X$ be a surface and $Y$ be a curve over $\mathbb{C}$. Let $L$ and $L'$ be ample line bundles on $X$ and $Y$ respectively. Consider the product $X\times Y$. Let $p$ and $q$ be the projection from $...
- 643
1
vote
1
answer
499
views
A question about an intersection number
Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...
user56259
1
vote
1
answer
141
views
Why is $2A_0(X)=0$ for a cubic threefold $X$ containing a line, over an arbitrary field $k$
I can't quite follow Proposition $2.1$ of "UNIVERSAL UNRAMIFIED COHOMOLOGY OF CUBIC FOURFOLDS CONTAINING A PLANE". I posted this on Math stackexchange but got no answer.
Let $X$ be a smooth ...
- 679
1
vote
1
answer
729
views
Push-forward of divisors and intersections
Let $f:X\rightarrow Y$ be a surjective finite morphism of varieties, with $X$ normal and $Y$ smooth. Let $D\subset X$ be a divisor and $C\subset Y$ a curve. Does the equality
$$C\cdot f_{*}D = f^{*}C\...
user168627
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
1
vote
1
answer
465
views
Relation between intersection multiplicity and Hilbert-Samuel multiplicities
Suppose $X$, $Y$, $Z$ are projective varieties in $\mathbb{P}^n_K$ of dimension $n-1$, where $K$ is a field. $X$, $Y$, $Z$ intersect properly, and $P$ is one of their intersection irreducible ...
- 403
1
vote
1
answer
540
views
Hilbert polynomial as function of the Segre classes
Let $X\subset\mathbb{P} ^ N$ be a smooth irreducible complex projective variety of dimension 3 (or better yet, dimension $n$).
Is it possible to express the Hilbert polynomial of $X$ as a function of ...
- 1,159
1
vote
2
answers
283
views
Is the zero set of a equivariant polynomial map of minimal degree a union of linear subspaces?
Suppose that a finite group acts on two vector spaces $X$ and $Y$, and that $f:X\longrightarrow Y$ is an equivariant polynomial map which is homogeneous of degree $n$, and that there does not exist ...
- 483
1
vote
1
answer
661
views
A composition of a finite morphisms with the transpose correspondence: is it the multiplication by the degree?
Let $X,Y$ be smooth varieties over a field $k$ (which in my case is perfect of finite characteristic $p$; we may also assume that $X,Y$ are connected); $s:Y\to X$ is a finite morphism of degree $d$. ...
- 16.9k
1
vote
0
answers
80
views
Computing Chow groups of affine, simplicial toric varieties
Let $k$ be an algebraically closed field. Let $X$ be an $n$-dimensional affine, simplicial toric variety over $k$. There exists an $n$-dimensional simplicial cone $\sigma$ in $\mathbb{R}^n$ such that $...
- 639
1
vote
0
answers
104
views
Calculation of intersection multiplicity after the restricting to a fiber
Let $X\to\operatorname{Spec} \mathbb Z$ be an arithmetic surface which is projective, regular and integral. Let $D$ and $E$ two divisors intersecting at a point $x\in X$ that lies over the prime $p$. ...
- 321
1
vote
0
answers
207
views
Todd class of blow-up
Let $i:X\hookrightarrow Y$ be an embedding of two non-singular projective varieties over $\mathbb{C}$. Consider the blow-up $f:Y' = Bl_XY \to Y$, and the corresponding embedding $j:E\hookrightarrow Y'$...
- 91
1
vote
0
answers
145
views
Multiplicity and the perfect projective line
Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$.
Let $\Gamma$ be the ...
- 85
1
vote
0
answers
244
views
Pull and push formula for degree for non-flat morphism
Let $\varphi\colon X_1\to X_2$ be dominant proper morphism of finite degree (in particular $\dim X_1=\dim X_2$) between varieties.
Let $D \subset X_2$ be a Cartier divisor.
Is it true that $$\varphi_*...
- 219
1
vote
0
answers
291
views
Is there some relations between derived category and intersection theory?
After learning the traditional intersection theory (W. Fulton's Intersection Theory and D. Eisenbud & J. Harris's 3264 and all that), I have some biased thinking about what I have learned in this ...
- 249
1
vote
0
answers
103
views
Is $K_F\cdot C\leq K_X\cdot C$ for a fibre $F\subseteq X$ containing the curve $C$?
This is a question that I originally posted on Math Stack Exchange. After a couple of days I have not received any comments or answers, and after thinking about it more I realize that this question is ...
- 131
1
vote
0
answers
70
views
Prescribed intersection of varieties
Every variety here is complex analytic, or complex algebraic if it solves anything.
Given a germ of a (possibly singular, nor necessarily irreducible) hypersurface $(H,0)\subset(\mathbb{C}^{n+1},0)$ ...
- 333
1
vote
0
answers
71
views
Comparison between residual intersection in Fulton's intersection theory and Aluffi's result on Milnor class
$\textbf{Question}$ I deduced that $m(A \cup B, V) = 0 $ for nonsingular variety $V$ and nonsingular hyper surfaces $A$ and $B$ whose intersection is also nonsingular. But I do not think it is true ...
- 121
1
vote
0
answers
81
views
How to calculate the divisor given by closure of subscheme
Let $X \subset \mathbb{P}^N$ be a nonsingular projective variety over algebraically closed field which is embedded by very ample line bundle $\mathcal{L}$. Let $Y = \mathbb{P}(\mathcal{L}^{\oplus 3})$...
- 121
1
vote
0
answers
254
views
A question on the Chow group on stacks
Let $X$ be a separated Deligne-Mumford stack finite type over the ground field. Then there is a Chow group $A_*(X)$ of $X$ which is well-behaved under flat pull-back, defined as follows.
Let $\...
- 565
1
vote
0
answers
170
views
Pinch points and dual surfaces
I am currently reading Fulton's expository lectures "Introduction to intersection theory in algebraic geometry".
On pg. 4, Fulton sketches an argument of George Salmon which I don't ...
1
vote
0
answers
220
views
Genus of a curve given by self intersection of a very ample line bundle
Let $X$ be a smooth, integral and projective $d$-dimensional variety over a field $k$ of characteristic 0. Let $H$ be a very ample line bundle over $X$. Assume that there exists a smooth and ...
- 51
1
vote
0
answers
201
views
How to compute the genus of the (singular) intersection of three quadratics in $\mathbb{C}P^4$?
Consider three quadratics in $\mathbb{C}P^4$:
$$
x_0^2+4x_1^2+\frac{x^2_2}{4}=0,~ x_1x_4+x_2x_3=0, ~ x_0^2+x_3^2+x_4^2=0.
$$
If there intersection was non-singular, then the intersection should be a ...
- 9,019
1
vote
0
answers
58
views
Locus of linear spaces with prescribed contact order
Let $X\subset\mathbb{P}^{n}$ be a smooth projective variety of pure dimension $d$. Let $Z\subset \mathbb{G}(n-d,n)\times\mathbb{P}^{n}$ be the space of pairs $(P,x)$ of a linear space $P\cong\mathbb{P}...
- 735
1
vote
0
answers
157
views
The morphisms induced by two Cartier divisors
Let X be a projective variety. We consider two Cartier divisors $D,E$ such that $E\geq D$ and the relative morphisms
$\phi_D: X - - -> \mathbb{P}(H^0(X, O_X(D))^*)$ and $\phi_E: X- - -> \mathbb{...
1
vote
0
answers
149
views
Formula for fibre square (from Fulton's Intersection Theory)
I have a question about argumentation used in the proof of Proposition 1.7 in Fulton's book on Intersection Theory on page 18:
Proposition 1.7 Let
$\require{AMScd}$
\begin{CD}
X' @>{g'}>> ...
- 6,006
1
vote
0
answers
91
views
Factorizations of closed embeddings of smooth schemes
All schemes will be of finite type over a field $k$. Say I have a closed embedding $\iota: X \hookrightarrow Y$ of smooth $S$-schemes for some scheme $S$ (in particular it is a regular embedding). ...
- 595
1
vote
0
answers
116
views
Numerical and rational equivalences on intersection of divisors
Let $X$ be a smooth projective variety over a finite field. Since $Pic^0(X)$ is finite and $Pic^0(X)$ can be identified with numerically equivalent to zero divisors this implies that for divisors on $...
- 5,901
1
vote
0
answers
293
views
Log-canonical bundle of a smooth curve with marked points
I am not sure if this question is appropriate for this site, but here it goes. I am not a geometer, so I am not familiar with notation in the area.
I am interested in the moduli space of $r$-spin ...
user35360
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
1
vote
0
answers
177
views
Continuity of Intersection Pairing on Chow monoids
Let $X$ be a smooth irreducible complex projective variety. As we know, if $\alpha,\beta$ are two cycles intersecting properly in $X$, we can define, via Serre's Intersection Formula, their ...
- 1,252
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
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
1
vote
0
answers
45
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 ...
- 1,017
1
vote
0
answers
142
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
34
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 ...
user95222
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
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
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
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
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
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 ...
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$.
...
- 231
1
vote
0
answers
139
views
A strong form of Bezout theorem
Let $X$ be a smooth projective variety of dimension $n$, $U \subset X$, non-empty open set. For any integer $k>0$, does there exist $n$-hypersurface sections $Z_1,...,Z_n \in |\mathcal{O}_X(k)|$ ...
- 2,126
1
vote
0
answers
389
views
Pullback/pushforward of bivariant intersection classes
In chapter 17 of Fulton's Intersection Theory, he defines a bivariant intersection theory. I'm a bit puzzled by the pushforward/pullback he defines on page 322-323, though; they seem not analogous to ...
- 693
1
vote
0
answers
285
views
Sufficient conditions to get complete intersection curves
Let $H_1,H_2\cdots,H_{d-1}$ be hypersurfaces in $\mathbb{P}^d$, if the intersection $B:=H_1\cap H_2\cap \cdots \cap H_{d-1}$ is $1$-dimensional then it is called a complete intersection curve.
What ...
