Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
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
3
votes
1
answer
205
views
Varieties connected by curves in projective spaces of small dimension
Let $X\subset\mathbb{P}^N$ be an irreducible complex variety. Fix an integer $a\geq 2$ and call $P_a$ the following property: given $x_1,\dots,x_a\in X$ general points there exists an irreducible ...
- 8,998
4
votes
1
answer
134
views
Isomorphism outside of negative curves against the canonical
Let $X$ be a smooth projective complex variety and let us suppose that the closure of the union of curves $C$ on $X$ that are non-positive against the canonical divisor is a closed subset $F\subsetneq ...
- 7,722
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
2
votes
1
answer
262
views
Algebraic and homological equivalence relations for $0$-cycles
Let $X$ be a connected smooth projective variety. Let $Z_0(X)_{alg}$ be the group of $0$-cycles algebraically equivalent to $0$ and $Z_0(X)_{\hom}$ be the group of $0$-cycles homologically equivalent ...
- 519
0
votes
0
answers
137
views
Intersection product of $\mathbb{Q}$-Cartier divisors with irreducible complete curves is well-defined
I am learning the notion of intersection product of a $\mathbb{Q}$-Cartier divisor with an irreducible complete curve on a normal variety. The definition I learned is that if $D$ is a $\mathbb{Q}$-...
- 639
2
votes
0
answers
172
views
Intersection theory on normal crossing algebraic surfaces
Let $X$ be an algebraic surface with normal crossing singularities. Suppose the singular locus of $X$ is a smooth curve. Let us denote it by $C$. Suppose $D$ is another smooth curve in $X$ which ...
- 494
3
votes
2
answers
197
views
Moving lemma for countable collection of subvarieties
Fix an integer $n \ge 5$. Let $\mathcal{V}$ be a countable collection of closed subvarieties of $\mathbb{P}^n_{\mathbb{C}}$ of codimension at least $2$. Choose a point $p \in \mathbb{P}^n$. Does there ...
- 2,323
6
votes
2
answers
789
views
Reference request: Kleiman's proof of Snapper's Lemma
On page 4 of Nitin Nitsure's paper Construction of Hilbert and Quot Schemes, the author refers to the fact that Hilbert polynomials are indeed polynomials as
a special case of Snapper's Lemma, see &...
- 1,805
2
votes
0
answers
87
views
Positivity of the intersection form [closed]
Let $M^4$ be a closed orientable smooth manifold and
$$
I: H_2(M,\mathbb Z) \times H_2(M,\mathbb Z) \to \mathbb Z
$$
its intersection form. If $b^+ \ge 1$, where $b^+$ denotes the number of positive ...
- 1,441
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
6
votes
1
answer
446
views
Computing Massey products via intersection theory
Let $K$ be an $n$-manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.
The Massey product $\langle x,y,z \rangle$ is defined as the set of cohomology ...
- 61
5
votes
1
answer
309
views
Intersection cycle in a product of Grassmannians
Let $G(k,n)$ denote the Grassmiannian of $k$-planes in $\mathbb C^n$. Let's define
$$ I_j =\{ (\Lambda_1,\Lambda_2 ) \in G(k,n) \times G(l,n) \, | \, \dim(\Lambda_1 \cap \Lambda_2) \geq j \}. $$
These ...
- 344
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
3
votes
1
answer
225
views
Extending effective Cartier divisors
Let $X$ be a non-singular, quasi-projective variety (over $\mathbb{C}$) of dimension at least $3$, $D_1, D_2$ are integral effective divisors in $X$ with $D_1 \cap D_2$ of codimension $2$ in $X$. Let $...
- 2,323
2
votes
1
answer
663
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 ...
- 1,252
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
2
votes
1
answer
389
views
Are "transverse" hyperplane sections of nondegenerate irreducible projectice varieties always nondegenerate
Let $X \subseteq \mathbb{P}^n$ be a irreducible complex projective variety. It is called nondegenerate if it is not contained in a hyperplane in $\mathbb{P}^n$.
Assuming $X$ is nondegenerate and ...
- 1,141
4
votes
3
answers
525
views
Irreducible components: associativity for intersections?
Let $A$, $B$, $C$ be closed irreducible subvarieties of $\mathbb{A}^n$. Let $V_1$ be an irreducible component of $B\cap C$, and $V$ an irreducible component of $A\cap V_1$. Must there
necessarily be ...
- 20.2k
6
votes
1
answer
536
views
Algebraic K-theory and intersection theory (Bloch's formula)
It seems to be a well known fact that algebraic K-theory can be used to understand intersection theory, at least for varieties (or stacks!) over a field. A first glimpse of this result seems to be ...
- 263
6
votes
1
answer
622
views
Intersection theory in analytic geometry
This might be a weird/stupid question, but it came to me a couple of times, and I would like to get an answer for that.
In some papers I read, constantly the authors define some analytic subspaces, ...
- 287
4
votes
1
answer
464
views
Intersection of curves in non-singular projective algebraic surfaces
Bezout thereom that says that two irreducible algebraic curves $C$ and $D$ in $\mathbb{P}^2_\mathbb{C}$ intersect at $nm$ points (counted with multiplicity), where $n$ and $m$ are the degrees of $C$ ...
- 49
5
votes
1
answer
409
views
Statements related to Thurston's work on the surface
If we have simple closed curves $\alpha$ and $\beta$ on a surface $\Sigma_g$, the intersection number $i(\alpha ,\beta)$ is defined to be the minimal cardinality of $\alpha_1\cap\beta_1$ as $\alpha_1$ ...
- 2,147
2
votes
0
answers
245
views
On intersections of exceptional divisors
Let $X$ be a smooth, projective variety of dimension $n \ge 2$, $L$ a very ample line bundle on $X$ and $\pi: \widetilde{X} \to X$ be the blow-up along a closed subvariety of codimension at least $2$. ...
- 2,032
2
votes
0
answers
130
views
Intersection of plane with Segre
$\newcommand{\complex}{\mathbb{C}}$ Let $Seg \subseteq \complex^M \otimes \complex^N$ be the set of elements of the form $v \otimes w$. It is well-known that a general linear subspace of dimension $(M-...
- 980
17
votes
2
answers
2k
views
What does taking the graded algebra do to the Grothendieck group, and its relation to the Chow ring?
Let $X$ be a nonsingular variety. (Perhaps some/all of this works over more general smooth schemes, but let's stick to the simple case.)
In, e.g., Fulton's Intersection Theory chapter 15, and Soule's ...
- 693
3
votes
0
answers
121
views
Detecting non-principal Weil divisors on normal varieties using curves
Let $X$ be a normal projective variety over an algebraically closed field $k$. Given any morphism $f:Y\to X$, there is a pullback homomorphism $f^*:\text{Cl}(X)\to\text{Cl}(Y)$, where $\text{Cl}(X)$ ...
- 1,403
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 ...
10
votes
1
answer
903
views
Interpretation of "27" lines for cubic surface with rational double points
It is well known that a smooth cubic surface has $27$ distinct lines. Explicitly, if we choose a planar representation, i.e., blowup $\mathbb P^2$ at $6$ general points $p_1,...,p_6$, the $27$ lines ...
- 1,803
3
votes
1
answer
699
views
Intersection theory on singular varieties by embedding to smooth ones
Let $X$ be a normal complex projective variety over $\mathbb C$. In order to define the intersection product of the Chow ring, one usually requires $X$ to be smooth. How to weak the smoooth assumption ...
- 125
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
1
answer
743
views
Non-transverse intersection of submanifolds
What can we tell about non-transverse intersection points of (smooth) submanifolds?
Especially, in the case of complementary dimensions, how can we define and calculate the ''multiplicity'' of an ...
- 194
10
votes
0
answers
327
views
Integrality of primary genus $0$ Gromov-Witten invariants of a Fano manifold
Suppose $(X,\omega)$ is a positively monotone compact symplectic manifold, i.e., after a positive scaling of the symplectic form, we have $c_1(T_X) = [\omega]$ in de Rham cohomology ($T_X$ has well-...
- 1,761
6
votes
0
answers
250
views
Singling out irreducible components
Let $V\subset \mathbb{A}^n$ be a variety defined by equations of degree $\leq D$, or, what is the same, an intersection of hypersurfaces of degree $\leq D$. Let $V^+_0$ be an irreducible component of $...
- 20.2k
2
votes
1
answer
124
views
Curves sharing points over finite fields, and their mutual divisibility
Consider in $\mathbb{A}^2(\mathbb{F}_q)$ two $\mathbb{F}_q$-rational curves $\mathcal{X}:f(x,y)=0$ and $\mathcal{Y}:g(x,y)=0$, and let $\mathcal{Y}$ be absolutely irreducible. Suppose also that $\...
- 21
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
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
2
votes
1
answer
121
views
Cycle of non-equidimensional scheme
In Fulton's intersection theory, example 1.7.1, he mentioned an example that contradicts to the splitting of cycles with respect to irreducible components. Consider the subscheme $X$ in $\mathbb{A}^3$ ...
- 263
2
votes
1
answer
585
views
Looking for examples of not injective maps and not surjective maps of the form $ A_{k} (X) \to H_{2k} ( X , \mathbb{Z} ) $
Here: https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2002/alggeom-2002-c9.pdf, on pages: $ 1 $ and $ 2 $, we find the following paragraph:
For any scheme of finite type over a ground field ...
- 325
3
votes
0
answers
224
views
algebraic vs rational equivalence
Are there classes of algebraic varieties for which algebraic and rational equivalence for algebraic cycles coincide? (references also appreciated)
- 3,779
3
votes
0
answers
91
views
A proper morphism restricts to a closure of a point on the generic fiber
Let $\pi:X^{e}\rightarrow Y^{d}(e\geq d)$ be a proper and dominant morphism of projective varieties over field $k$. Moreover, $Y$ is assumed to be smooth. Denote $\eta$ the generic point of $Y$, $X_\...
- 113
15
votes
3
answers
2k
views
A nontrivial surface on which any two curves intersect
One interesting property of the projective plane is that any two plane curves intersect. (More generally, if $V$ and $W$ are subvarieties of any projective space, and codim $V$ + codim $W \geq 0$, ...
- 7,338
4
votes
1
answer
379
views
Relative canonical class of blowing-up a flag ideal
Let $X$ be a smooth complex projective variety of dimension $n$. Consider a flag ideal $I$ on $X\times \mathbb{P}^1$, namely,
$$
I=I_0+I_1t+I_2t^2+\cdots+I_{N-1}t^{N-1}+(t^N)\,,
$$
where $t$ is the ...
- 329
3
votes
0
answers
95
views
Singling out lower-dimensional components
Let $V\subset \mathbb{A}^n$ be defined by equations of degree $\leq D$. (That is, $V$ is an intersection of hypersurfaces of degree $\leq D$.) Assume $V$ is not pure-dimensional. Let $V^-$ be the ...
- 20.2k
1
vote
1
answer
591
views
Line segment-triangle intersection algorithm [closed]
currently in my project I'm using signed tetrahedron volume to check whether a line segment intersects a triangle. Initially I've found this approach in the great answer provided by professor O'Rourke:...
- 11
5
votes
0
answers
163
views
How to compute the class defined by intersection with a square?
$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n+k)$ (of course, one can do also for $\Gr(k,\infty)$) be the complex Grassmannian of $k$-planes in $n+k$-dimensional linear space.
It is well-known that ...
- 719
6
votes
0
answers
254
views
If cohomology theory corresponds to intersection theory, valuation theory corresponds to -?
This is a meta question I asked myself. Cohomology theory is dual to an intersection theory. Is there anything valuation theory corresponds to in general?
For instance, McMullen's polytope algebra is ...
- 1,356
3
votes
0
answers
291
views
Transversal intersection with linear subspaces
Let us work over an algebraically closed field $K$. If $X\subset \mathbb{P}^n$ is a closed subset of dimension $r$, then there should exist a linear subspace $L\subset \mathbb{P}^n$ of dimension $n-r$ ...
- 7,722
0
votes
0
answers
201
views
Intersection product when one factor is contained in the exceptional divisor
I am trying to calculate some intersection numbers and would appreciate help on the following problem:
Consider two divisors $D_1$ and $D_2$. Blowing up their intersection yields $\varphi^{*}(D_i) = \...
- 1
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