The intersection-theory tag has no wiki summary.

**0**

votes

**1**answer

103 views

### Intersection Matrix of a resolution

Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...

**14**

votes

**1**answer

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

**2**

votes

**0**answers

145 views

### When is the intersection number well-defined?

According to 1.34 of Birational Geometry of Algebraic Varieties(J.Kollár, S.Mori),
there are at least 4 ways(classical approach, cohomological approach, general intersection theory and topological ...

**2**

votes

**0**answers

126 views

### Is complex surface in CP(3) a two handlebody?

Consider a complex surface given by homogeneous equation in $\mathbb{C}P^3$. Without loss of generality, take
\begin{equation}
S = \{[x:y:z:w] \in \mathbb{C}P^3~ |~ x^d + y^d + z^d + w^d = 0\}
...

**0**

votes

**0**answers

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

**1**

vote

**1**answer

184 views

### Analogy between variable substitution and the moving lemma

While reading the HoTT book, I came up with the following (very) vague analogy:
Consider $f(x) :\equiv \lambda y.x+y$ of type, say, $f: \mathbb{N} \to \mathbb{N} \to \mathbb{N}$. Also assume you ...

**0**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**1**answer

360 views

### Genus of non-complete intersections

Suppose $X\subset \mathbb{P}_k^N$ a nonsingular curve is a complete intersection of hypersurfaces $F_1, \cdots, F_{N-1}$ (of degrees $d_1, \cdots, d_{N-1}$ resp). Then, we know that the canonical ...

**0**

votes

**1**answer

98 views

### curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset.
Let $x\in H$, Is it possible to find an curve ...

**1**

vote

**0**answers

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

**4**

votes

**1**answer

164 views

### Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve

Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...

**0**

votes

**0**answers

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

**1**

vote

**1**answer

167 views

### Rational normal curves as set-theoretic complete intersections

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...

**2**

votes

**1**answer

128 views

### Chern and Segre classes

I've recently started to learn about Chern and Segre classes, and it seems to me that they are very similar, sharing the same important properties and having closely related definitions.
Fulton's ...

**2**

votes

**2**answers

861 views

### Self-intersection of exceptional divisor

Suppose that $X$ is a smooth threefold, and $C \subset X$ a smooth curve. Let $Y$ be the blowup of $X$ along $C$, with exceptional divisor $E$. What is the intersection number $E^3$ on $Y$? (in ...

**3**

votes

**1**answer

180 views

### Intersection theory on M_{g,n}

Is there a paper\book that lists the top intersections of Hodge classes and tautological classes on $\overline{\mathcal{M}}_{g,n}$ for small $g$ and $k$, e.g. $g=2,3$ and $k=0,1,2$ ?

**2**

votes

**1**answer

208 views

### Blow-up of $\mathbb{P}^4$ along a quadric surface

Let $Q\subset\mathbb{P}^3\subset\mathbb{P}^4$ be a smooth quadric surface, and let $X = Bl_Q\mathbb{P}^4$ the blow-up of $\mathbb{P}^4$ along $Q$. Let $H$ be the pull-back of the hyperplane section of ...

**1**

vote

**1**answer

701 views

### euler class of the normal bundle and self intersection number [duplicate]

Let $S$ be a compact submanifold of $X$ smooth manifold. I know that $T_X|_S=T_S\oplus N_{S/X}$ where $N_{S/X}$ is the normal bundle. I have read that the euler class $e(N_{S/X})$ corresponds (via ...

**0**

votes

**1**answer

137 views

### Relation between intersection multiplicity and Hilbert-Samuel multiplicities

Suppose $X$, $Y$, $Z$ are projective varieties in $\mathbb{P}^n_K$ of dimension $n-1$, where $K$ is a field. $X$, $Y$, $Z$ intersect properly, and $P$ is one of their intersection irreducible ...

**0**

votes

**0**answers

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

**2**

votes

**0**answers

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

**5**

votes

**1**answer

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

**1**

vote

**1**answer

149 views

### Deformation space form the point of view of intersection theory

I'm interested in deformations of subvarieties of a toric variety $X$.
Suppose we know a subvariety $V$ in the Chow group of $X$, for example, $V$ is a linear combination of powers of hypersurfaces. ...

**5**

votes

**1**answer

212 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

**0**answers

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

**6**

votes

**0**answers

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

**2**

votes

**1**answer

104 views

### Depth of Schubert cycles

For $a:a_1\geq \cdots\geq a_c$, let $\sigma_a$ be the corresponding Schubert cycle over $Gr(c,\infty)$. We say $a$ is of depth $k$ if $a_1-a_c=k$ ($c>1$). Let $a$ and $b$ be of depth $k_1$ and ...

**2**

votes

**1**answer

142 views

### Deformation of transversal intersection

Fix a positive integer $n \ge 2$. Let $\pi:\mathcal{X} \to B$ be a family (flat, projective and surjective morphism) of projective subschemes of $\mathbb{P}^n$.
Assume $B$ is reduced, irreducible.
...

**3**

votes

**1**answer

244 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

**2**answers

200 views

### Upper bound for the product of Schubert cycles

Let $Gr(c,\infty)$ be the complex grassmannian of $c$-dimensional subspaces of the infinite dimensional complex space. Every finite dimensional grassmannian, $Gr(c,N)$, can be thought as a subspace of ...

**6**

votes

**1**answer

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

**4**

votes

**3**answers

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

**1**

vote

**1**answer

275 views

### Does every ample divisor “span” a hyperplane?

Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...

**14**

votes

**0**answers

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

**2**

votes

**1**answer

77 views

### Which actions preserve non-complete intersections?

Let $X$ be a smooth projective variety and $Z$ is a closed subscheme in $X$ which is not a complete intersection in $X$. Assume the dimension of $X$ (resp. $Z$) is greater than $3$ (resp. $1$). Then,
...

**2**

votes

**0**answers

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

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

**6**

votes

**1**answer

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

**2**

votes

**1**answer

175 views

### F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$

It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all ...

**1**

vote

**0**answers

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

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

**2**

votes

**0**answers

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

**4**

votes

**0**answers

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

**1**

vote

**1**answer

219 views

### Nef classes on abelian varieties in positive characteristic

Thomas Bauer shows in http://arxiv.org/pdf/alg-geom/9712019v1.pdf that for a complex abelian variety a nef line bundle is numerically equivalent to an effective divisor (this is shown in Lemma 1.1). ...

**10**

votes

**0**answers

186 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

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

**3**

votes

**0**answers

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

**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})$ ...

**3**

votes

**0**answers

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