The intersection-theory tag has no wiki summary.

**14**

votes

**0**answers

425 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

**0**answers

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

**10**

votes

**0**answers

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

**6**

votes

**0**answers

250 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

119 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

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

**5**

votes

**0**answers

156 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

120 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

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

**5**

votes

**0**answers

642 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

**0**answers

86 views

### Strategy to prove formula for top chern class from knowlege of chern character

I am trying to prove a conjecture that involves an enumerative problem. In the course of doing so, the following situation came up.
I have a sequence of (smooth, complex, rationally connected) ...

**4**

votes

**0**answers

233 views

### Relationship between virtual cohomological dimension and tautological rings for moduli spaces of curves

Here's the short version of the question. For $M_{g,n}$, $M_{g,n}^{rt}$, $M_{g,n}^{ct}$ and $\overline M_{g,n}$ it seems that the virtual cohomological dimension is given by the complex dimension plus ...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

147 views

### Chow ring of a $\mu_2$-gerbe

Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$?
(I assume they become ...

**3**

votes

**0**answers

197 views

### Bezout's theorem for non-proper intersections?

Is there a version of Bézout's theorem for non-proper intersections?
For my specific problem, the setup is as follows: Let $P_1,P_2,P_3,P_4\in\mathbb{C}[z_1,z_2,z_3,z_4]$, and suppose that (as a ...

**3**

votes

**0**answers

148 views

### Reference request: Samuel's multiplicity and degree

I am looking for references for the following simple facts.
Let $Y\subset \mathbb{P}^n$ be a variety (or pure-dimensional algebraic set). For $P\in Y$ denote by $e_p(Y)$ the (Samuel's) multiplicity ...

**3**

votes

**0**answers

136 views

### Topology of K3 as a sum of two abelian fibrations.

Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$).
K3 surfaces is obtained by removing a fiber from two copies of $E$ ...

**2**

votes

**0**answers

166 views

### bijection of moduli space of equivariant holomorphic embeddings

Consider the moduli space $\mathcal{M}$ of equivariant holomorphic embeddings of closed oriented Riemann surfaces into a generic quintic three-fold $X$ in $\mathbb{P}^4,$ of given degree $d \in ...

**2**

votes

**0**answers

74 views

### Computing intersection of cycles on the product of Grassmannians/Deligne-Lusztig varieties

My collaborators and I are preparing an interesting manuscript where the computation leads to something related to what we believe to be in the area of Schubert calculus; but none of us knows much ...

**2**

votes

**0**answers

128 views

### Negative self intersection and section of the conormal sheaf for a singular complex curve

Let $M$ be a complex $2$-dimensional manifold and $C$ be a compact complex curve in $M$ (possibly singular).
Let us suppose that there exists a holomorphic function $f\in\mathcal{O}(M)$ such that
...

**2**

votes

**0**answers

184 views

### Segre class of cones and Base change of projective cones

I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme).
...

**2**

votes

**0**answers

119 views

### What is known about the structure of $\mathbb Z[c_1(\mathcal O_V(1))]$ for a projective $\Bbbk$-variety $V$?

Motivation:
Following Fulton's Intersection Theory, the Chern class of an arbitrary algebraic $\Bbbk$-scheme $X$ can be constructed as follows. First, define the graded by codimension abelian group ...

**2**

votes

**0**answers

245 views

### On a fiber square flat pullback commutes with proper pushforward

I'm working through Fulton's intersection theory book and I've been stuck on the end of Prop 1.7, i.e. that flat pullbacks commute with proper pushforwards for fibre squares. Specifically I ...

**2**

votes

**0**answers

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

**1**

vote

**0**answers

132 views

### excess intersection theory

Can the excess intersection theory be applied to the following problem:
I have a non-singular irreducible variety $X$ of dimension $k$ and degree $d$ and $k+1$ hyperplane sections of $X$, ...

**1**

vote

**0**answers

92 views

### Bounds for intersection multiplicity

Let's for simplicity work in $\mathbb{C}^n$. Suppose that $f_1,\dots, f_n$ are polynomials and $0$ is an isolated solution of the system $f_1(z)=\dots=f_n(z)=0$. I want to bound from below the ...

**1**

vote

**0**answers

106 views

### Non-proper intersection of projective schemes

Let $X, Y$ be projective varieties in $\mathbb{P}^n$ for $n>10$. Assume that dimensions of $X,Y$ are greater than $n/2$. My first question is as follows:
Is there any criterion ...

**1**

vote

**0**answers

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

**0**

votes

**0**answers

73 views

### Sufficient conditions to get complete intersection curves

Let $H_1,H_2\cdots,H_{d-1}$ be hypersurfaces in $\mathbb{P}^d$, if the intersection $B:=H_1\cap H_2\cap \cdots \cap H_{d-1}$ is $1$-dimensional then it is called a complete intersection curve.
What ...

**0**

votes

**0**answers

61 views

### birational equivalence of linear sections of algebraic varieties

Let $X$ be an irreducible algebraic variety and suppose that $L$ is a linear space defined by the linear forms $l_1,l_2,\ldots,l_k$. I want to study $L\cap X$. I would like to know whether the ...

**0**

votes

**0**answers

109 views

### Zero Dimension Intersection

Let $M$ be smooth and purely $r$-dimensional, $E$ be a vector bundle of rank $r$ over $M$, $s$ be a regular section of $E$ and $Z$ the zero scheme of $s$. Then $[Z]$ is dual to the top Chern class ...

**0**

votes

**0**answers

72 views

### moduli space of equivariant holomorphic embeddings into the quintic

I'd like to understand better the following problem, whether it is mathematically well-posed, trivial, etc.
Fix a non-negative integer $g$ and consider
the space
...

**0**

votes

**0**answers

127 views

### Relation between the index of (the sum of) lattices in euclidean space, and their orthogonal complement.

I am trying to figure out something concerning the index of lattices.
The question came about after reading the paper of W.Fulton and B.Sturmfels, ("Intersection theorey on toric varieties"). To ...

**0**

votes

**0**answers

162 views

### non proper intersection

Let X and Y two smooth closed subschemes of a smooth projective scheme Z over a field.
Let $W:=X\cap Y$.
I suppose that W is non empty and that the intersection of X and Y is non proper, i.e
...

**0**

votes

**0**answers

210 views

### Intersections with divisors on moduli of curves

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points.
Consider
$0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$
the first Chern class of a ...

**0**

votes

**0**answers

185 views

### Lower bound for intersection number

The base scheme is an algebraically closed field.
Let $X\to \mathbf{P}^1$ be an arithmetic surface over $\mathbf{P}^1$ and let $P$ be a section of $X\to \mathbf{P}^1$. Let $D$ be an effective ...

**0**

votes

**0**answers

114 views

### Is sum (E_i, E_j) non-positive, with E_i's the exceptional components of a desingularization

Let $Y$ be an integral normal 2-dimensional scheme and let $X\longrightarrow S$ be a flat projective morphism, where $S$ is a Dedekind scheme.
Let $f:X\longrightarrow Y$ be a minimal resolution of ...