Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
175 questions with no upvoted or accepted answers
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
2
votes
0
answers
288
views
Is the Gysin pullback of an effective cycle effective?
Suppose $E$ is a rank $r$ vector bundle over a projective variety $X$, denote the zero section by $i\colon X\to E$. Given an effective cycle $a\in A_{k+r}(E)$, the Gysin pullback gives us a class $i^
user39380
2
votes
0
answers
325
views
When is the intersection number well-defined?
According to 1.34 of Birational Geometry of Algebraic Varieties(J.Kollár, S.Mori),
there are at least 4 ways(classical approach, cohomological approach, general intersection theory and topological ...
- 73
2
votes
0
answers
187
views
bijection of moduli space of equivariant holomorphic embeddings
Consider the moduli space $\mathcal{M}$ of equivariant holomorphic embeddings of closed oriented Riemann surfaces into a generic quintic three-fold $X$ in $\mathbb{P}^4,$ of given degree $d \in H_2(X,...
- 533
2
votes
0
answers
333
views
Negative self intersection and section of the conormal sheaf for a singular complex curve
Let $M$ be a complex $2$-dimensional manifold and $C$ be a compact complex curve in $M$ (possibly singular).
Let us suppose that there exists a holomorphic function $f\in\mathcal{O}(M)$ such that
$f$ ...
- 1,205
2
votes
0
answers
245
views
Segre class of cones and Base change of projective cones
I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme).
...
- 3,555
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
1
answer
75
views
Number of intersection points of a system of quartic polynomials induced by the projected matrix commutator
Let $A, B \in \mathbb{R}^{d \times d}$ denote two symmetric positive definite matrices. I am interested in solutions $V_r \in \mathbb{R}^{d \times r}, 1 < r < d$ to the system of quartic ...
- 11
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
243
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
98
views
Intersection of schubert varieties
Let $L_1$ and $L_2$ $\in$ $\mathbb{P}^4$ be two planes that intersect in exactly one point $Q$. Let $P_1 \in L_1$, $P_2 \in L_2$ points, such that $P_1 \neq Q \neq P_2$. Using the duality theorem, ...
- 11
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
112
views
Use of Porteus‘ formula in a paper of Beauville
In “Sur la cohomologie de certains espaces de modules de fibrés vectoriels”, Beauville calculates the Chern class of the diagonal $\Delta$ of the moduli space $M$ of certain stable bundles on a curve $...
- 51
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
110
views
Minimising kurtosis (non-convex). Can I use algebraic geometry or alternate methods to show uniqueness of a particular solution?
I consider a weighted sum of $n$ identically-distributed correlated random variables. The weights in the sum, $w_i$ for $i=1, 2,...,n$, satisfy $w_i>=0$ and $\sum_{i=1}^{n}w_i=1$. I am ...
- 173
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
73
views
Intersection inside normal cone
For a regular embedding $X\subset Y$, one can think the intersection class $[X]\cdot [X]$ as the intersection of the perturbation of the zero section inside $N_X Y$, intersect with itself. For non-...
- 287
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
250
views
Do A-infinity algebra(in Floer theory)have some kind of intersection theory and Poincare duality?
In Lagrangian Floer theory, we can define an A-infinity algebra. It is by first choosing a subset $X_L$ of chains in the Lagrangian submanifold $L$, and then defining boundary maps on(Actually, sum of ...
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