Tagged Questions

The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
287 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 ...
13
votes
1answer
1k 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
votes
4answers
827 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 ...
13
votes
3answers
3k 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?
1
vote
1answer
705 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 ...
4
votes
1answer
534 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 ...
1
vote
1answer
642 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 ...
4
votes
1answer
693 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 ...
5
votes
0answers
310 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 ...
10
votes
2answers
893 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 ...
7
votes
1answer
640 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 ...
1
vote
1answer
278 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$. ...
0
votes
1answer
131 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 ...
11
votes
1answer
357 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 ...
5
votes
0answers
643 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 ...
12
votes
3answers
1k 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$, ...
4
votes
2answers
463 views

Graphs as cycles and intersection theory

I'm guessing that the answer to this question is well-known, but I'm struggling to find anything to help me. Let $X,Y$ be compact manifolds of dimension $n,m$ respectively. Let $f:X \to Y$ be a ...
9
votes
4answers
1k 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 ...
6
votes
1answer
688 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 ...
2
votes
1answer
486 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 ...
3
votes
2answers
350 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 ...
13
votes
0answers
439 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 ...
28
votes
3answers
2k 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 ...
13
votes
6answers
2k 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 ...