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

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

634 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

498 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

**2**answers

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

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

**1**answer

829 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

**2**answers

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

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

377 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

561 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

201 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

330 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

360 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

918 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

926 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

168 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

818 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

755 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

655 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

578 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

699 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

277 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

142 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

255 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

355 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

440 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

678 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

235 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

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

**5**

votes

**1**answer

251 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

238 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

161 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

137 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

700 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

634 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

555 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

770 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

474 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

810 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

299 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

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