Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
4
votes
1
answer
237
views
Bézout's theorem for arcs in the plane
Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...
- 149k
0
votes
0
answers
639
views
Transversal intersection in the moving lemma
Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...
- 176
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-...
- 3,290
6
votes
0
answers
298
views
On the local Euler obstruction for singular varieties
Let $X$ be a complex algebraic variety (not necessarily irreducible, nor reduced). Then the local Euler obstruction is a group isomorphism $$\textrm{Eu}: Z_\ast X\to F_\ast X,$$ where $Z_\ast X$ is ...
- 1,534
6
votes
0
answers
363
views
Why write GRR with the relative tangent sheaf?
The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
f_*\left(\operatorname{ch}(\alpha).\...
- 2,011
4
votes
0
answers
225
views
Intersection numbers on blow ups of toric varieties
Suppose we have a smooth, complete toric varietiy $X_{\Sigma}$ of dimension $n$. Let $\sigma_k \in \Sigma(k)$ a smooth $k$-dimensional cone in $\Sigma$ and suppose we make the toric blow up at the ...
- 357
0
votes
1
answer
177
views
Continuity of Intersection Multiplicities
I’m looking for a correct technical version (and in the best case a reference) for a statement of the following type:
Consider a complex algebraic variety $X\subset\mathbb{P}^n$ and a sequence of ...
- 27.9k
0
votes
1
answer
381
views
Samuel multiplicity
Let $X$ be the hyper-surface defined by
$$f:=\sum_{i=1}^k x_i^n=0$$
in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal
$$I=(x_1^{n-1},\dots , x_k^{n-1}) $$
What is ...
3
votes
0
answers
371
views
Intersection Multiplicity
Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
- 2,384
1
vote
1
answer
457
views
Non-proper intersection of surfaces
I'm interested in the first basic case of excess intersection in intersection theory:
Let $X$ be a smooth projective 4-fold and let $S,T$ be two surfaces in $X$. Assume that the intersection $S\cap T$...
- 597
0
votes
1
answer
184
views
Intersection multiplicty and global sections
Let $X$ be a smooth projective variety, $V, W$ closed subschemes in $X$ such that $V \cap W$ is finitely many points. Let $\mathcal{L}$ be a line bundle on $X$. Is there any relation between $h^0(\...
- 39.3k
2
votes
1
answer
358
views
Self-intersection and generic point
The Wikipedia entry on intersection theory contains the following statement:
[for C a curve, on a surface] "the self-intersection points of C is the generic point of C, taken with multiplicity C · C."...
CommunityBot
- 1
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 ...
CommunityBot
- 1
0
votes
1
answer
411
views
Intersection Matrix of a resolution
Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...
- 8,998
15
votes
1
answer
995
views
Link: Serre's intersection formula <-> Bloch-Quillen Thm / When only intersecting divisors, is there 'shorter' approach of proof known?
In very short:
When proving the equivalence of intersection theory constructed through (Milnor) K-sheaves and their product vs. defining the product via Serre's local multiplicity formula + moving, I ...
- 12.9k
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
3
votes
0
answers
193
views
Is complex surface in CP(3) a two handlebody?
Consider a complex surface given by homogeneous equation in $\mathbb{C}P^3$. Without loss of generality, take
\begin{equation}
S = \{[x:y:z:w] \in \mathbb{C}P^3~ |~ x^d + y^d + z^d + w^d = 0\}
\end{...
- 367
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 ...
1
vote
1
answer
312
views
Analogy between variable substitution and the moving lemma
While reading the HoTT book, I came up with the following (very) vague analogy:
Consider $f(x) :\equiv \lambda y.x+y$ of type, say, $f: \mathbb{N} \to \mathbb{N} \to \mathbb{N}$. Also assume you ...
CommunityBot
- 1
0
votes
0
answers
161
views
birational equivalence of linear sections of algebraic varieties
Let $X$ be an irreducible algebraic variety and suppose that $L$ is a linear space defined by the linear forms $l_1,l_2,\ldots,l_k$. I want to study $L\cap X$. I would like to know whether the ...
- 325
5
votes
0
answers
293
views
Strategy to prove formula for top chern class from knowlege of chern character
I am trying to prove a conjecture that involves an enumerative problem. In the course of doing so, the following situation came up.
I have a sequence of (smooth, complex, rationally connected) ...
- 1,509
3
votes
1
answer
952
views
Genus of non-complete intersections
Suppose $X\subset \mathbb{P}_k^N$ a nonsingular curve is a complete intersection of hypersurfaces $F_1, \cdots, F_{N-1}$ (of degrees $d_1, \cdots, d_{N-1}$ resp). Then, we know that the canonical ...
CommunityBot
- 1
0
votes
1
answer
131
views
curve through a point avoiding an hypersurface
Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset.
Let $x\in H$, Is it possible to find an curve $C\subset\mathbb{A}^{...
CommunityBot
- 1
0
votes
0
answers
237
views
excess intersection theory
Can the excess intersection theory be applied to the following problem:
I have a non-singular irreducible variety $X$ of dimension $k$ and degree $d$ and $k+1$ hyperplane sections of $X$, $H_1,H_2,\...
- 325
5
votes
1
answer
269
views
Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve
Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...
- 149k
0
votes
0
answers
145
views
Zero Dimension Intersection
Let $M$ be smooth and purely $r$-dimensional, $E$ be a vector bundle of rank $r$ over $M$, $s$ be a regular section of $E$ and $Z$ the zero scheme of $s$. Then $[Z]$ is dual to the top Chern class $...
- 105
2
votes
1
answer
616
views
Rational normal curves as set-theoretic complete intersections
Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...
2
votes
1
answer
606
views
Chern and Segre classes
I've recently started to learn about Chern and Segre classes, and it seems to me that they are very similar, sharing the same important properties and having closely related definitions.
Fulton's ...
- 8,998
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 ...
- 8,998
3
votes
1
answer
245
views
Intersection theory on M_{g,n}
Is there a paper\book that lists the top intersections of Hodge classes and tautological classes on $\overline{\mathcal{M}}_{g,n}$ for small $g$ and $k$, e.g. $g=2,3$ and $k=0,1,2$ ?
- 8,998
4
votes
1
answer
680
views
Blow-up of $\mathbb{P}^4$ along a quadric surface
Let $Q\subset\mathbb{P}^3\subset\mathbb{P}^4$ be a smooth quadric surface, and let $X = Bl_Q\mathbb{P}^4$ the blow-up of $\mathbb{P}^4$ along $Q$. Let $H$ be the pull-back of the hyperplane section of ...
- 8,998
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 ...
- 34.7k
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
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
5
votes
1
answer
332
views
Positivity question on K3 surfaces
Let $X$ be a smooth projective complex K3 surface and $L, D$ two effective divisors, $L^2\geq0$ and $D^2\geq0$.
(Q1). do we have $L\cdot D\geq0$ ?
If either one has positive self-intersection, the ...
- 761
1
vote
1
answer
377
views
Deformation space form the point of view of intersection theory
I'm interested in deformations of subvarieties of a toric variety $X$.
Suppose we know a subvariety $V$ in the Chow group of $X$, for example, $V$ is a linear combination of powers of hypersurfaces. ...
- 1,595
5
votes
1
answer
304
views
Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?
Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$.
We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...
- 1,054
7
votes
0
answers
188
views
Divisibility of all entries in an intersection form
What are situations where one can conclude that all entries of an intersection form are divisible by a fixed integer?
More precisely: $F \subset S$ is a proper connected (usually reducible) half-...
CommunityBot
- 1
6
votes
0
answers
320
views
A question on infinitesimal deformation (related to intersection theory)
Let $X$ be a connected projective scheme in $\mathbb{P}^n$. Assume, $2 \le \dim X \le n-2$. Let $H$ be a general hyperplane in $\mathbb{P}^n$. Denote by $Z:=X.H$ and $Z'=X.H^m$ for $m \gg 0$. Then ...
- 833
2
votes
1
answer
141
views
Depth of Schubert cycles
For $a:a_1\geq \cdots\geq a_c$, let $\sigma_a$ be the corresponding Schubert cycle over $Gr(c,\infty)$. We say $a$ is of depth $k$ if $a_1-a_c=k$ ($c>1$). Let $a$ and $b$ be of depth $k_1$ and $k_2$...
CommunityBot
- 1
2
votes
1
answer
352
views
Deformation of transversal intersection
Fix a positive integer $n \ge 2$. Let $\pi:\mathcal{X} \to B$ be a family (flat, projective and surjective morphism) of projective subschemes of $\mathbb{P}^n$.
Assume $B$ is reduced, irreducible.
...
- 42.9k
5
votes
1
answer
357
views
Intersections of complex submanifolds in $\mathbb{C}^N$
This is an exercise from Gromov's Partial differential relations. (page 5)
Let $V$ and $V'$ be two closed complex submanifolds in $\mathbb{C}^N$ of complimentory dimension. Prove that $V$ and $V'$ ...
- 51
4
votes
2
answers
234
views
Upper bound for the product of Schubert cycles
Let $Gr(c,\infty)$ be the complex grassmannian of $c$-dimensional subspaces of the infinite dimensional complex space. Every finite dimensional grassmannian, $Gr(c,N)$, can be thought as a subspace of ...
- 4,671
8
votes
1
answer
2k
views
What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?
In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...
- 38k
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 ...
CommunityBot
- 1
1
vote
1
answer
519
views
Does every ample divisor "span" a hyperplane?
Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...
- 267
2
votes
1
answer
104
views
Which actions preserve non-complete intersections?
Let $X$ be a smooth projective variety and $Z$ is a closed subscheme in $X$ which is not a complete intersection in $X$. Assume the dimension of $X$ (resp. $Z$) is greater than $3$ (resp. $1$). Then,
...
- 39.3k
3
votes
0
answers
194
views
Computing intersection of cycles on the product of Grassmannians/Deligne-Lusztig varieties
My collaborators and I are preparing an interesting manuscript where the computation leads to something related to what we believe to be in the area of Schubert calculus; but none of us knows much ...
- 61
5
votes
0
answers
217
views
Cycle classes that are killed by pushing forward from normalization
Let $X$ be a non-normal algebraic variety and $f \colon X' \to X$ its normalization. Is there a general description $\mathrm{ker}\left(\mathrm{CH}_k(X') \to \mathrm{CH}_k(X)\right)$? Are there ...
- 23k
2
votes
1
answer
307
views
F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$
It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all F-...
CommunityBot
- 1