# Questions tagged [intersection-theory]

The tag has no usage guidance.

138 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
935 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 ...
367 views

### The virtual fundamental class as derived intersection

Say $X$ is a smooth projective variety and $\beta\in H_2(X)$ is a class. Then there is a finite-type proper scheme (or in general, stack) $SM : = \overline{\mathcal{M}}_{g,n}(X,\beta)$ of stable maps ...
300 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 ...
201 views

### Integrality of primary genus $0$ Gromov-Witten invariants of a Fano manifold

Suppose $(X,\omega)$ is a positively monotone compact symplectic manifold, i.e., after a positive scaling of the symplectic form, we have $c_1(T_X) = [\omega]$ in de Rham cohomology ($T_X$ has well-...
390 views

312 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 ...
176 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) half-...
847 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 ...
135 views

403 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 ...
80 views

### Singling out lower-dimensional components

Let $V\subset \mathbb{A}^n$ be defined by equations of degree $\leq D$. (That is, $V$ is an intersection of hypersurfaces of degree $\leq D$.) Assume $V$ is not pure-dimensional. Let $V^-$ be the ...
150 views

### algebraic vs rational equivalence

Are there classes of algebraic varieties for which algebraic and rational equivalence for algebraic cycles coincide? (references also appreciated)
105 views

### Transversal intersection with linear subspaces

Let us work over an algebraically closed field $K$. If $X\subset \mathbb{P}^n$ is a closed subset of dimension $r$, then there should exist a linear subspace $L\subset \mathbb{P}^n$ of dimension $n-r$ ...
217 views

155 views

### Noether intersection multiplicity for complete intersections

If I take two curves $C,D$ on a surface $M$ with isolated intersection point $p$, then Noether gives a formula equating the intersection multiplicity $i_p(C,D)$ of $C$ and $D$ at $p$ in terms of their ...
77 views

180 views

### Is algebraic geometry related to conical intersection in potential energy surface of molecules?

I post this question here because it seems that the equations describing conical intersections in molecular potential energy surface are similar to what algebraic geometry research concerns. ...
Let $G$ be a linear algebraic group, $B$ a Borel subgroup, $P$ a parabolic subgroup containing $B$, and $W$ the Weyl group. For $w \in W$, the Schubert variety $X_w^P$ is the closure of the Schubert ...
### Finding two hypersurfaces of the same degree that intersect $X/\mathbb{F}_q$ smoothly
Let $X$ be a smooth projective variety over a finite field. In [Poonen - Bertini theorems over finite fields] it is shown that one can find a smooth geometrically integral hypersurface $S$ of degree \$...