Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
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
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 ...
- 455
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$ ...
- 489
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\...
- 1,104
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
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, ...
- 40.3k
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
7
votes
0
answers
183
views
Intersection numbers via residue formula
$\newcommand{\sslash}{\mathbin{/\mkern-7mu/}}$With a friend we are trying to understand residue formulas in the article "Cohomology pairings on singular quotients in geometric invariant theory&...
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 ...
- 2,818
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 ...
- 778
2
votes
0
answers
239
views
Localization of Chow groups and flat base change
For any flat morphism $f:X\rightarrow Y$, we have a flat pullback of Chow groups
$$Ch^i(Y)\rightarrow Ch^i(X).$$
A particular example of this is of course an open immersion $U\rightarrow X$. In that ...
- 4,428
2
votes
0
answers
327
views
Analytic and algebraic definitions of intersection multiplicity of two complex algebraic curves coincide
There are two definitions of intersection multiplicity of two complex algebraic plane curves. One of them is given in An introduction to algebraic curves by Griffiths. Let $t \mapsto (t^k, y(t) )$ be ...
- 385
2
votes
1
answer
330
views
Upper semi-continuity of intersection numbers
Consider a smooth projective morphism of schemes $X \rightarrow S$ with relative dimension $n$ (the application I have in mind is with $S$ = an open subset of $\text{Spec } \mathbb{Z}$) and assume ...
- 28.9k
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{...
3
votes
0
answers
375
views
Linear system on singular plane curve
Let $C \subset \mathbb{P}^2_k$ an irreducible plane curve of degree $d >1$
over algebraically closed field $k$. That is $C=V(f(x,y,z))$ where $f \in k[x,y,z]$ homogeneous of degree $d$. Let $\{...
- 6,016
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....
- 4,745
3
votes
1
answer
276
views
Polarization of an abelian variety made by the sum of two divisors
Let $X$ be an abelian variety of dimension $n$, and let $L$ be a polarization, that is, an ample line bundle on $X$, with $\chi(L)=3$.
In my specific case, I have that $L=\mathcal{O}_X(\Theta + D)$, ...
- 2,427
9
votes
1
answer
3k
views
Reference for the Hodge Bundle
For the purposes of this question, let the Hodge bundle $\lambda$ be the bundle on a fibration of abelian varieties $X\to B$ with fiber over $b\in B$ the space of 1-forms on $X_b$, or the pullback to $...
- 35.5k
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 ...
- 5,429
3
votes
0
answers
279
views
Noether intersection multiplicity for complete intersections
If I take two curves $C,D$ on a surface $M$ with isolated intersection point $p$, then Noether gives a formula equating the intersection multiplicity $i_p(C,D)$ of $C$ and $D$ at $p$ in terms of their ...
CommunityBot
- 1
3
votes
0
answers
174
views
Automorphism group of a hypersurface and its sections
This question is moved from my StackExchange.
Assume the base field is algebraically closed. Let $X\subset \mathbb P^n$ be a fixed smooth hypersurface of degree $d$. For any hyperplane $H\subset \...
- 131
4
votes
1
answer
215
views
Segre Classes of reducible variety
Suppose I have a singular projective variety $X\subset \mathbb{P}^n$ that is reducible with $X=\bigcup_i X_i$ smooth irreducible components. That is, the irreducible components are smooth but $X$ is ...
- 287
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,016
8
votes
1
answer
837
views
Flat morphisms whose fibers are affine spaces
Let $f:X \to Y$ be a flat morphism, such that each fiber is isomorphic to the affine space $\mathbb{A}^n$. Then is is true that $f$ is a Zariski affine bundle? If not, is it at least an ètale affine ...
1
vote
1
answer
301
views
Schubert cycles that intersect generically transversely
Let $\mathcal{V}= 0 \subset V_1 \subset \cdots \subset V_{n-1}\subset V_n=V$, $\mathcal{W}=0 \subset W_1 \subset \cdots \subset W_{n-1} \subset W_n=W$ be two flags. We say that $\mathcal{V}$ and $\...
- 1,566
4
votes
0
answers
226
views
K-theoretic derivation of Bézout theorem
In the paper "$K$-Theory and Intersection Theory" by Henri Gillet in Handbook of K-theory, 2005 (link behind paywall at Springerlink), the author says:
"When the ground field $k = \mathbb C$, Bézout’...
- 63.9k
11
votes
0
answers
608
views
The virtual fundamental class as derived intersection
Say $X$ is a smooth projective variety and $\beta\in H_2(X)$ is a class. Then there is a finite-type proper scheme (or in general, stack) $SM : = \overline{\mathcal{M}}_{g,n}(X,\beta)$ of stable maps ...
- 7,972
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
11
votes
1
answer
737
views
Chow ring of Hilbert scheme of 4 points in $\mathbb{P}^2$
What is known about the Chow ring of the Hilbert scheme of length 4 subschemes of $\mathbb{P}^2$?
I know there is work on cycles on Hilbert schemes in the literature, but I don't know what can be ...
- 2,821
-2
votes
1
answer
282
views
Existence of divisor in the Jacobian of smooth curve of genus two whose intersection with theta divisor is 1
Let $C$ be a smooth projective curve of genus $2$ and $J$ denotes the Jacobian of $C$. Let $\theta$ be the image of $C$ under the abel Jacobi map.
Is there exist a divisor $D$ in $J$ such that $D.\...
- 38k
2
votes
1
answer
484
views
Join of two intersecting varieties
Suppose I have two smooth projective varieties $X$ and $Y$ in $\mathbb{P}^n$, that intersect along a smooth subvariety $Z$. Is there a formula to compute the degree of the join variety $J(X,Y)$ of $X$ ...
- 1,384
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). ...
- 3,486
2
votes
1
answer
324
views
Exact sequence of normal cones
Suppose that we have a sequence $i: X \hookrightarrow Y$, $j: Y \hookrightarrow Z$ of closed embeddings of varieties such that $i$ is regular. In this case, do we have an exact sequence of cones of ...
- 2,197
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
6
votes
1
answer
328
views
Severi Formula for Intersection Multiplicities
I say in advance that I am a novice in Intersection Theory, so forgive me if my question is trivial.
Let $X\subseteq\mathbb{P}^N$ be a smooth irreducible projective variety of dimension $n$ and $V, W\...
CommunityBot
- 1
4
votes
2
answers
2k
views
How to define the intersection multiplicity of a projective variety and a complete intersection?
In the appendix of Algebaric Geometry by Hartshorne, he shows us that how Serre defines the intersection number in a more general case:$$i(X,Y;Z)=\sum(-1)^i\cdot\bigl(\operatorname{length} \...
- 1,252
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 ...
- 3,486
0
votes
0
answers
181
views
Topological vs algebraic intersection forms
Let $X$ be a simply connected complex projective surface (hence a real $4$-manifold). Let $(H^2(X,\mathbb Z)/\mathrm{tors}, q_X)$, $(A^1(X)/\mathrm{tors},q_X')$ be the corresponding lattices in ...
- 23.4k
2
votes
0
answers
323
views
Surjectivity of pushforward on Chow rings for stacks
Let $f:X\rightarrow Y$ be a proper morphism of smooth Deligne-Mumford stacks of finite type over $\mathbb{C}$ that is birational, but not flat. The coarse spaces of $X$ and $Y$ are both not smooth. Is ...
- 776
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
6
votes
0
answers
241
views
Bezout theorem for germs of holomorphic functions
UPDATE.
It was pointed out by @Dmitri that two smooth curves given by $f=y$ and $g=y+x^k$ in $\mathbb C^2$ provide a simple counterexample.
Let $f_1, \ldots, f_p, g_1, \ldots, g_q$ be germs of ...
- 63.9k
4
votes
1
answer
221
views
Proper locally trivial bundle is injective on Chow groups
If $X\to Y$ is a map of varieties that is Zariski-locally isomorphic to a projection $U\times P\to U$ with $P$ (smooth) proper, I think the pullback $A_{\bullet}(Y)\to A_{\bullet}(X)$ is supposed to ...
CommunityBot
- 1
3
votes
0
answers
80
views
Quartic link in a 5-sphere
In this post I would like to propose a quartic link in a 5-sphere.
Let us start with the following gluing into a 5-sphere:
$$S^5=(D^2_{} \times T^3_{}) \cup_{T^4} ({S^5 \smallsetminus D^2 \times T^3})...
- 10.5k
2
votes
0
answers
170
views
Triple link in a 5-sphere -- Proposal
In this post I would like to propose a triple link in a 5-sphere.
Let us start with the following gluing into a 5-sphere:
$$S^5=(D^2_{} \times T^3_{}) \cup_{T^4} ({S^5 \smallsetminus D^2 \times T^3})$...
- 10.5k
12
votes
1
answer
6k
views
Self-intersection and the normal bundle
Let $X/k$ be a surface nonsingular and proper over an algebraically closed field $k$. Let $C \subset X$ be a nonsingular curve. Then it is clear that the self-intersection $(C \cdot C)_X$ is $\textrm{...
- 23k
2
votes
1
answer
249
views
Vector bundles on henselian schemes
Let $X$ be a smooth and projective scheme over $\mathbf{Z}_p$.
We call $\mathfrak{X}$ the ringed space whose topological space is the topological space of the special fiber of $X$, and whose ...
- 4,111
2
votes
0
answers
186
views
Splittings in the difference bundle construction of Atiyah-Hirzebruch
I'm reading the construction of difference bundle(generalized) in the paper of Atiyah-Hirzebruch(Analytic cycles on complex manifolds)
There is one thing I cannot understand. The followings are in ...
- 56.9k
3
votes
1
answer
495
views
On connectedness of intersection of subgroups
I am quite interested in any partical answer to the following general (maybe a little bit vague) question: Is there some criterion about the connectedness of the intersection of two connected ...
- 15.5k
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