Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
363
questions
1
vote
0
answers
154
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
349
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,000
1
vote
1
answer
226
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
2
votes
1
answer
258
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,382
9
votes
1
answer
2k
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 $...
- 33.9k
2
votes
1
answer
541
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,169
3
votes
0
answers
252
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
156
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
199
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
142
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,000
8
votes
1
answer
797
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
279
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,546
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’...
- 60.4k
11
votes
0
answers
542
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,902
1
vote
0
answers
70
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
698
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,743
-2
votes
1
answer
271
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.\...
- 37.3k
2
votes
1
answer
432
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,374
1
vote
0
answers
90
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,309
2
votes
1
answer
294
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,157
1
vote
0
answers
109
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,851
6
votes
1
answer
319
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
1k
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
261
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,309
0
votes
0
answers
176
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 ...
- 22.7k
2
votes
0
answers
259
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 ...
- 581
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
234
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 ...
- 60.4k
4
votes
1
answer
212
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.3k
2
votes
0
answers
168
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.3k
11
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{...
- 22.2k
2
votes
1
answer
242
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,091
2
votes
0
answers
184
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 ...
- 55k
3
votes
1
answer
424
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.3k
1
vote
0
answers
176
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
118
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,595
2
votes
1
answer
320
views
Lefschetz standard conjecture under specialization/generization
Let $S$ be a smooth connected noetherian scheme (not necessarily over a field) with residue fields that are all of finite type over their prime field.
Let $f: \mathcal{X}\to S$ be a smooth projective ...
CommunityBot
- 1
7
votes
0
answers
1k
views
Applications of E8 manifold
The $E_8$ Cartan matrix is given by,
$$
K_{E_8}=\begin{pmatrix}
2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\
-1 & 2 & -1& 0 & 0 & 0 & 0 & 0 \\
...
- 10.3k
3
votes
1
answer
722
views
Homotopy of paths at the boundary
Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...
- 28.8k
4
votes
1
answer
297
views
Pairing on arithmetic surfaces
Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...
- 4,091
1
vote
0
answers
44
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 ...
6
votes
1
answer
669
views
Fulton's deformation to the normal cone vs Verdier's
Let $X$ be a smooth variety over a field $k$, and let $Y$ be a smooth subvariety. In the literature, I've seen two versions of the deformation to the normal cone:
Verdier's version: $\tilde{X}_Y^\...
- 3,031
6
votes
0
answers
334
views
Schubert cycles on Grassmannian bundles
Let $X$ be smooth variety and let $\mathcal{E}$ be a vector bundle on $X$ of rank $n$. On the total space of the Grassmannian bundle $\pi:G(k,\mathcal{E})\to X$ we have the tautological exact sequence ...
- 735
3
votes
1
answer
420
views
Intersections with a Power of an Ample Divisor on an Abelian Variety
Let $A$ be a $g$-dimensional, complex abelian variety, let $H$ be an ample divisor, let $D\in Pic^0(A)$, and let $0\leq k\leq g$.
Question 1: Does $D^k\neq 0\in CH^k(A,\mathbb{Q})$ imply that $H^{g-k}...
- 419
3
votes
0
answers
374
views
The Chow ring of a blow-up along a badly embedded subscheme
Let $X$ be a variety and $i:Y\hookrightarrow X$ be a regularly embedded closed subvariety, and write $\tilde X$ for $Bl_Y X$ the blow-up of $X$ along $Y$. Let $A^*(X)$ refer to the Fulton-Macpherson ...
- 518
0
votes
0
answers
93
views
$ch(L f^*\epsilon)$
I know the famous principle (or theorem depending on how you define) of Chern classes for locally free sheaves and a morphism $f: X'\rightarrow X$,
$ch(f^* \epsilon)=f^* ch(\epsilon)$.
But if $f$ ...
4
votes
2
answers
325
views
Cycle class of zeroes of a global section
Let $\mathcal{F}$ be a locally free sheaf of rank $n$ on an $n$ dimensional complex manifold $X$. If the zero locus of a generic global section of $\mathcal{F}$ is $0$ dimensional, then its cycle ...
- 37.3k
0
votes
0
answers
397
views
Twisted sheaves on tower of $\mathbb{P}^n$
Take the projective space $\mathbb{P}^n$ over a ring $W$.
We call $\mathcal{O}(q)$ the usual twisted line bundle.
Now take the map $f: \mathbb{P}^n\to\mathbb{P}^n$ defined by
$$[x_0,\ldots, x_n]\...
CommunityBot
- 1