All Questions
Tagged with ag.algebraic-geometry intersection-theory
329 questions
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 ...
- 83
2
votes
1
answer
543
views
Minimal resolution of Log del Pezzo surfaces
Suppose $X$ is a log del pezzo projective surface of index $l$. As far as I understand it will have a finite number of singular points all of which can be resolved by sucessive blow-ups.
Let $E_i$ be ...
- 2,215
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
4
votes
1
answer
844
views
intersection number
I vaguely recall the following fact that I'd like to use in my research. It should be easy to see that this holds (if it does) but I can't seem to prove it.
Let $p:X\longrightarrow S$ be a (regular) ...
- 73
15
votes
2
answers
2k
views
Is there a Serre Tor formula for nonproper intersections?
Background: Let $X$ be a smooth complex projective algebraic variety, and let $V$ and $W$ be closed subvarieties. For simplicity, let's assume that $\dim V+\dim W=\dim X$.
Now Serre's famous Tor ...
- 18.7k
15
votes
1
answer
1k
views
Are Chow groups generated by local complete intersections?
Let $X$ be a smooth projective variety over an algebraically closed field. The Chow group $\mathbb Q\mathrm{CH}^d(X)$ is $\mathbb Q$--linearly generated by irreducible subvarieties $Z \subseteq X$ of ...
- 4,015
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
16
votes
1
answer
2k
views
Deformation to the normal cone
Deformation to the normal cone appears in several places including Intersection theory and Verdier specialisation of construtible sheaves or D-modules. I'd like to understand what happens when we ...
- 7,527
11
votes
4
answers
4k
views
Question on Kähler/ample cone, cone of curves....
Assume $X$ is smooth "simply connected" complex projective variety and $Y\subset X$ a smooth hyperplane section. ( $Y= X\cap H$, $H\subset \mathbb{P}^n$).
Let's $NE(X)$ be the cone of effective 1-...
16
votes
3
answers
6k
views
Survey article on Intersection Theory
Does anybody knows about good overview on intersection theory.
The book of Fulton has very hard language. Does there exist simple overview on this topic with many examples?
- 2,179
1
vote
1
answer
988
views
A Theorem in Intersection theory.
Fulton's Book on intersection theory (Pg.223, theorem 12.3) asserts the following result:
For r pure dimensional schemes in P^n, whose co-dimensions add to at most n, the product of their degrees is ...
- 55
7
votes
1
answer
2k
views
Simple description of a Chow ring of blow-ups.
Is there a simple description of a Chow ring of a blow-up of a point on a smooth projective variety? Or at least of successive blow-ups of $\mathbb{P}^n$?
Maybe something like $A(\tilde{X})=f^*(A(...
- 420
1
vote
1
answer
2k
views
How I calculate degree of the algebraic curve?
Let F be algebraically closed field. Let C be a curve in F^n defined as zeroes of polynomials $p_1(x_1,\ldots,x_n),..,p_{n-1}(x_1,\ldots x_n)$.
Let us define degree of the curve as $\max_S \{ S\cap C ...
- 2,179
7
votes
1
answer
2k
views
Chern classes of pushforwards
Let $f:X\to Y$ be a proper morphism of normal varieties (smooth as DM stacks, but I only care about the coarse spaces). The map $f$ is generically finite, but not flat (so no hope of smoothness and ...
- 16k
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
15
votes
3
answers
2k
views
Can a curve intersect a given curve only at given points?
Clearly the question in the title has a positive answer for analytic (or smooth, or continuous ...) curves, but what about the algebraic category? More specifically, given an irreducible polynomial ...
- 5,359
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 $...
- 16k
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
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
13
votes
1
answer
563
views
Intersection of subvarieties versus ranks of Chow groups modulo numerical equivalences
A nice property of $\mathbb P^n$ is:
Property 1: Two subvarieties $U,V$ such that $\operatorname{dim} U +\operatorname{dim} V \geq n$ always intersect.
(for example, any 2 curves in $\mathbb P^2$ ...
- 30.6k
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
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
12
votes
4
answers
2k
views
Context for intersection theory
This is a pretty basic question. Hartshorne defines "intersection multiplicity" for any two divisors on a surface. Fulton has an impressive framework of generalizing this in his book (my understanding ...
- 5,929
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
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
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
15
votes
1
answer
996
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 ...
- 934
39
votes
3
answers
6k
views
What do higher Chow groups mean?
Let $z^i(X, m)$ be the free abelian group generated by all codimension $i$ subvarieties on $X \times \Delta^m$ which intersect all faces $X \times \Delta^j$ properly for all j < m. Then, for each i,...
- 12.3k
15
votes
6
answers
3k
views
Curves with negative self intersection in the product of two curves
I wonder if the following is known: Are there two compact curves C1 and C2 of genus>1 defined over complex numbers, such that their product contains infinite number of irreducible curves of negative ...
- 28.9k