The intersection-theory tag has no usage guidance.

**33**

votes

**3**answers

3k 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 ...

**15**

votes

**3**answers

4k 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?

**14**

votes

**2**answers

429 views

### What does taking the graded algebra do to the Grothendieck group, and its relation to the Chow ring?

Let $X$ be a nonsingular variety. (Perhaps some/all of this works over more general smooth schemes, but let's stick to the simple case.)
In, e.g., Fulton's Intersection Theory chapter 15, and Soule's ...

**14**

votes

**1**answer

1k views

### Geometric examples of the Serre intersection formula

The Serre intersection formula, as an alternating sum of contributions from Tor-groups, is something that combines a lot of ingredients that I'm interested in, but I've never really felt that I have a ...

**14**

votes

**1**answer

642 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 ...

**14**

votes

**0**answers

506 views

### Is there a functor of points approach to algebraic cycles and intersection theory?

Motivation
Most of the algebraic geometry I have done so far was concerned with group schemes (e.g., abelian schemes, tori, unipotent groups). In that part of the field the "functor of points POV" is ...

**13**

votes

**6**answers

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 ...

**13**

votes

**1**answer

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 ...

**12**

votes

**2**answers

986 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 ...

**12**

votes

**1**answer

842 views

### Bezout's Theorem for weighted homogeneous polynomials

Bezout's Theorem states that for two homogeneous polynomials $f(x,y,z), g(x,y,z)$ over an algebraically closed field of degrees $m,n$ respectively, such that the two polynomials do not share a common ...

**12**

votes

**3**answers

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$, ...

**11**

votes

**3**answers

1k 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 ...

**11**

votes

**1**answer

379 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 ...

**10**

votes

**4**answers

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 ...

**10**

votes

**1**answer

585 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 ...

**10**

votes

**0**answers

202 views

### Smooth, complete varieties on which “zero is effective”

I will say zero is effective on a complete, smooth variety $X$ if some positive linear combination of irreducible varieties is rationally equivalent to zero. In other words, zero is effective if there ...

**8**

votes

**1**answer

334 views

### Commutativity of the Chow ring in positive characteristic

I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$.
On p. 2, he writes the following ...

**8**

votes

**1**answer

364 views

### Schemes with no nonconstant maps to lower dimensional schemes

Fix an algebraically closed field $k$ (arbitrary characteristic), all schemes will be of finite type over $k$.
(Property *): I'm interested in (classes of) examples of schemes $X$ (irreducible, of ...

**7**

votes

**3**answers

943 views

### Chern classes of a blow-up at a point

Let $X$ be a nonsingular projective variety over $\mathbb{C}$, and let $\widetilde{X}$ be the blow-up of X at a point $p\in X$.
What relationships exist between the degrees of the Chern classes of ...

**7**

votes

**4**answers

946 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 ...

**7**

votes

**1**answer

2k 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 ...

**7**

votes

**1**answer

180 views

### Smooth quadric hypersurface, Hilbert scheme is blowup of Grassmannian?

Let $Q \subset \mathbb{P}^n$ be a smooth quadric hypersurface. Where can I find a proof of/can anyone supply a proof of$$\text{Hilb}_{2m + 1}(Q) \cong \text{Bl}_{OG(3, n+1)}G(3, n+1)?$$Can we conclude ...

**7**

votes

**2**answers

866 views

### Examples of excess intersection theory?

Let $M$ be a smooth manifold of dimension $m$ and $\pi:E\rightarrow M$ a vector bundle of rank $e$. Given a section $s$ of the bundle $\pi:E\rightarrow M$, we expect that the zero locus $Z(s)$ of $s$ ...

**7**

votes

**1**answer

770 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 ...

**6**

votes

**2**answers

184 views

### Action of an isomorphism in cohomology as the intersection with the class of the graph

Let $X$ and $Y$ be two complex manifolds of dimension 2 and let $\varphi:X\rightarrow Y$ be an isomorphism.
I have read that the action of $\varphi^*:H^2(Y,\mathbb{Z})\rightarrow H^2(X,\mathbb{Z})$ ...

**6**

votes

**1**answer

702 views

### What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...

**6**

votes

**1**answer

685 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 ...

**6**

votes

**1**answer

586 views

### Calculating chern numbers yields a contradiction, why?

I am really stuck on this one. Let $Y=\mathbb{P}^n$ be the complex projective space and let $\tilde Y$ be the blow-up of $Y$ along a linear subvariety $X$ of codimension $d$. We get the following ...

**6**

votes

**1**answer

710 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 ...

**6**

votes

**0**answers

280 views

### A question on infinitesimal deformation (related to intersection theory)

Let $X$ be a connected projective scheme in $\mathbb{P}^n$. Assume, $2 \le \dim X \le n-2$. Let $H$ be a general hyperplane in $\mathbb{P}^n$. Denote by $Z:=X.H$ and $Z'=X.H^m$ for $m \gg 0$. Then ...

**6**

votes

**0**answers

146 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. ...

**6**

votes

**0**answers

261 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 ...

**6**

votes

**0**answers

359 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 ...

**5**

votes

**2**answers

454 views

### Top chern class under finite, unramified, dominant morphism

Situation: Let $\Bbbk$ be an algebraically closed field. Assume that $\pi:Y\to X$ is an finite, dominant, unramified morphism between nonsingular varieties of dimensions $n$. Let $d=\deg(\pi)$.
What ...

**5**

votes

**1**answer

707 views

### Example of cone of numerically effective curves which is not polyhedral

I think I have seen more than one reference in which the cone of numerically effective curves can be 'not polyhedral', i.e. with an infinite number of extremal rays
I cannot remember where I read ...

**5**

votes

**1**answer

241 views

### Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?

Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$.
We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...

**5**

votes

**1**answer

255 views

### Axiomatic intersection theory

Is there an axiomatic intersection theory?
What I expect is something like:
An intersection theory is a functor from the category of schemes(or other spaces) to the category of algebras, with ...

**5**

votes

**1**answer

243 views

### Positivity question on K3 surfaces

Let $X$ be a smooth projective complex K3 surface and $L, D$ two effective divisors, $L^2\geq0$ and $D^2\geq0$.
(Q1). do we have $L\cdot D\geq0$ ?
If either one has positive self-intersection, the ...

**5**

votes

**0**answers

162 views

### Cycle classes that are killed by pushing forward from normalization

Let $X$ be a non-normal algebraic variety and $f \colon X' \to X$ its normalization. Is there a general description $\mathrm{ker}\left(\mathrm{CH}_k(X') \to \mathrm{CH}_k(X)\right)$? Are there ...

**5**

votes

**0**answers

140 views

### Divisibility of all entries in an intersection form

What are situations where one can conclude that all entries of an intersection form are divisible by a fixed integer?
More precisely: $F \subset S$ is a proper connected (usually reducible) ...

**5**

votes

**0**answers

705 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 ...

**4**

votes

**1**answer

636 views

### Is there a section disjoint from 0, 1 and infinity on the projective line

Let $K$ be a number field with ring of integers $O_K$. Is there a section of $\mathbf{P}^1_{O_K}$ over $O_K$ whose image is disjoint from $0$, $1$ and $\infty$? If $K=\mathbf{Q}$ this is not possible ...

**4**

votes

**2**answers

556 views

### Vanishing associated to a resolution of singularities

Let $\pi: V\to W$ be a resolution of singularities, let $E \subset V$ be the exceptional divisor, and let $F$ be a coherent sheaf such that $R^i\pi_*F=0$ for $i>0$.
Can we conclude that ...

**4**

votes

**3**answers

790 views

### (Second) Chern class of projective space, blown up in a linear subvariety

I already asked the same question at stack exchange but got no response for quite a while, so I thought I'd ask here. I also know that this has a certain resemblance to this question, but I cannot ...

**4**

votes

**1**answer

259 views

### Intersections of complex submanifolds in $\mathbb{C}^N$

This is an exercise from Gromov's Partial differential relations. (page 5)
Let $V$ and $V'$ be two closed complex submanifolds in $\mathbb{C}^N$ of complimentory dimension. Prove that $V$ and $V'$ ...

**4**

votes

**1**answer

3k views

### How many points determine a line?

Consider the affine space $\mathbb C^n$ and then, because of reasons, compactify it to obtain the projective space $\mathbb P^n$. One of the most basic axioms or propositions of geometry is that ...

**4**

votes

**2**answers

480 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 ...

**4**

votes

**1**answer

832 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 ...

**4**

votes

**1**answer

305 views

### Local model of virtual fundamental cycle

The following baby version of virtual fundamental cycle is well known:
Let $M\subset V$ be the zero locus of a section $s$ of a vector bandle $E \to V$, in general $s$ is not transversal to the zero ...

**4**

votes

**1**answer

176 views

### Bézout's theorem for arcs in the plane

Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...