Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
0
votes
0
answers
148
views
Is sum $(E_i, E_j)$ non-positive, with $E_i$'s the exceptional components of a desingularization
Let $Y$ be an integral normal 2-dimensional scheme and let $X\longrightarrow S$ be a flat projective morphism, where $S$ is a Dedekind scheme.
Let $f:X\longrightarrow Y$ be a minimal resolution of ...
6
votes
1
answer
967
views
Chow Ring of Moduli Space of Abelian Varieties
Is there a good reference for the structure of the Chow ring of $\mathcal{A}_g$, the moduli space of complex principally polarized abelian varieties? More generally, references for the intersection ...
- 16k
8
votes
0
answers
204
views
Chow ring of extended tropicalizations
In Allermann-Rau '09, the authors define the Chow groups of an arbitrary abstract tropical cycle. In particular, one may take the tropical cycle to be the tropicalization of a subvariety of a torus. ...
- 166
3
votes
0
answers
221
views
Reference request: Samuel's multiplicity and degree
I am looking for references for the following simple facts.
Let $Y\subset \mathbb{P}^n$ be a variety (or pure-dimensional algebraic set). For $P\in Y$ denote by $e_p(Y)$ the (Samuel's) multiplicity ...
- 2,263
5
votes
0
answers
479
views
where to learn K-group of coherent sheaves modulo numerical equivalence?
I am trying to emerge from my complete ignorance about intersection theory.
I have a bias toward sheaves, so I like the idea of doing intersection theory with the K-group of coherent sheaves. From ...
- 1,889
3
votes
0
answers
212
views
Bounds for intersection multiplicity
Let's for simplicity work in $\mathbb{C}^n$. Suppose that $f_1,\dots, f_n$ are polynomials and $0$ is an isolated solution of the system $f_1(z)=\dots=f_n(z)=0$. I want to bound from below the ...
- 2,263
1
vote
2
answers
283
views
Is the zero set of a equivariant polynomial map of minimal degree a union of linear subspaces?
Suppose that a finite group acts on two vector spaces $X$ and $Y$, and that $f:X\longrightarrow Y$ is an equivariant polynomial map which is homogeneous of degree $n$, and that there does not exist ...
- 483
3
votes
1
answer
581
views
On finite endomorphisms of $\mathbf{P}^r$
This question is basically on applying the Grothendieck-Riemann-Roch theorem to finding a formula for the push-forward of a line bundle on $\mathbf{P}^r$ under a certain morphism. Since I have a lot ...
- 9,497
1
vote
1
answer
298
views
How many zero-constraints can be added to a subspace-restricted matrix before no solution exists?
I'm trying to develop an estimator for the concentration matrix of a Gaussian Graphical Model. I've become stuck in trying to find conditions for the estimator to exist. I have a sufficient ...
- 11
3
votes
2
answers
439
views
Family of Enriques surfaces and GRR, Part 2
As I mentioned in my previous post, I am studying the article Moduli of Enriques surfaces and Grothendieck-Riemann-Roch.
The Grothendieck-Riemann-Roch theorem is applied there to show that, for any ...
- 9,497
0
votes
0
answers
219
views
Relation between the index of (the sum of) lattices in euclidean space, and their orthogonal complement.
I am trying to figure out something concerning the index of lattices.
The question came about after reading the paper of W.Fulton and B.Sturmfels, ("Intersection theorey on toric varieties"). To ...
- 39
1
vote
0
answers
187
views
Non-proper intersection of projective schemes
Let $X, Y$ be projective varieties in $\mathbb{P}^n$ for $n>10$. Assume that dimensions of $X,Y$ are greater than $n/2$. My first question is as follows:
Is there any criterion (...
- 2,032
1
vote
1
answer
297
views
Intersection positivity for curves and surfaces
Let $X$ be a smooth complete variety over an algebraically closed field of dimension $\geq3$. Given a divisor $D_1$ on $X$ with $D_1 \cdot C>0$ for every curve $C \subset X$, and a divisor $D_2$ ...
- 631
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
1
answer
661
views
A composition of a finite morphisms with the transpose correspondence: is it the multiplication by the degree?
Let $X,Y$ be smooth varieties over a field $k$ (which in my case is perfect of finite characteristic $p$; we may also assume that $X,Y$ are connected); $s:Y\to X$ is a finite morphism of degree $d$. ...
- 16.9k
6
votes
0
answers
882
views
Riemann-Roch and Grothendieck duality: general case of Fulton's example 18.3.19
Fulton's "Intersection theory" book contains the following fact (example 18.3.19):
Let $X$ be a Cohen-Macaulay scheme over a field. Assume $X$ can be imbedded in a smooth scheme (so it has a ...
- 30.6k
2
votes
1
answer
240
views
Are there polynomials (almost) all of whose intersection numbers are divisible by some integer?
I've been playing around with some basic intersection theory, and I've wondered the following:
For every two integers $n$ and $m$, and complex numbers $a_1,...,a_n$, are there polynomials $f_1(x),...,...
- 5,929
0
votes
0
answers
250
views
Intersections with divisors on moduli of curves
Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points.
Consider
$0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$
the first Chern class of a ...
3
votes
1
answer
192
views
non degenerate quadratic form on the group of correspondences on an algebraic curve?
Hi,
Given two (smooth, projective) curves $X$ and $Y$ over a field $k$, define a correspondence to be a line
bundle $L$ on $X\times Y$. A trivial correspondence is a correspondence of the form $p_1^*...
- 647
0
votes
1
answer
174
views
Upper bound on the number of intersections of algebraic manifolds with affine planes
Given an algebraic map $f: B^d \to \mathbb{R}$, from the unit ball of dimension $d$ to the real, let $Y = f^{-1}(0)$. Then it is always possible to find a smaller ball $B_r \subset B^d$ not ...
- 4,466
4
votes
0
answers
221
views
What is known about the structure of $\mathbb Z[c_1(\mathcal O_V(1))]$ for a projective $\Bbbk$-variety $V$?
Motivation:
Following Fulton's Intersection Theory, the Chern class of an arbitrary algebraic $\Bbbk$-scheme $X$ can be constructed as follows. First, define the graded by codimension abelian group $...
- 573
7
votes
0
answers
570
views
intersection theory on proper algebraic spaces
I have a question about the second example in Hartshorne's Algebraic Geometry, Appendix B, section 3 (given by Hironaka?). It is an example of a compact complex Moishezon 3-fold $X$ which is not an ...
- 4,265
3
votes
0
answers
155
views
Topology of K3 as a sum of two abelian fibrations.
Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$).
K3 surfaces is obtained by removing a fiber from two copies of $E$ ...
3
votes
0
answers
387
views
intersection theory
Assume that $X$ is a smooth 3-fold (over $\mathbb C$). Let $V$ be a smooth divisor on $X$ and let $S_1,S_2$ be prime divisors on $X$. Assume that given a curve $C$ on $X$ not contained in $V$, then
$...
- 31
1
vote
0
answers
231
views
Lower bound for intersection number
The base scheme is an algebraically closed field.
Let $X\to \mathbf{P}^1$ be an arithmetic surface over $\mathbf{P}^1$ and let $P$ be a section of $X\to \mathbf{P}^1$. Let $D$ be an effective (edited)...
- 225
1
vote
0
answers
161
views
Is -(E,E) greater or equal to 2 for a minimal resolution
I'm quite confused by the terminology minimal resolution and minimal model.
Let $f:X\longrightarrow Y$ be a minimal resolution of singularities, where $Y$ is a normal surface.
Let $E$ be an ...
- 73