The intersection-theory tag has no usage guidance.

**2**

votes

**1**answer

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

**4**

votes

**2**answers

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

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

**6**

votes

**1**answer

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

**2**

votes

**1**answer

79 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

87 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

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

189 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

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

**2**

votes

**0**answers

157 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

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

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

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

**1**

vote

**1**answer

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

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**3**

votes

**0**answers

263 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

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

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

**0**

votes

**0**answers

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

**1**

vote

**0**answers

119 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

**1**answer

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

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

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

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

**2**

votes

**1**answer

280 views

### Lefschetz Fixpoint theorem for non-orientable manifolds

The classical lefschetz fixpoint theorem is stated for oriented compact manifolds $M$ and a smooth map $f:M\to M$ as follows:
the intersection number $I(\Delta, \mathrm{graph}(f))$ is equal to the ...

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

**8**

votes

**1**answer

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

**3**

votes

**3**answers

646 views

### Cohomology of vector bundles via Intersection Theory

Let $X$ be a smooth projective variety over a fixed field $k$ (take $k = \mathbb{C}$ if necessary). For a vector bundle $E$ on $X$, $ch(E)$ will be in the Chow ring.
$\textbf{Question 1: }$ If ...

**3**

votes

**1**answer

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

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

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

**0**

votes

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**0**answers

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

**7**

votes

**2**answers

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

**3**

votes

**1**answer

289 views

### Intersection form on quotient manifold

Let $E_{1},E_{2}$ be elliptic curves over $\mathbb{C}$. We denote by $\iota_{i}$ the translation by a 2-torsion point on $E_{i}$. Then $G=\mathbb{Z}/2\mathbb{Z}$ acts freely on the the product ...

**3**

votes

**2**answers

176 views

### is intersection of a curve and a family of curves generically constant as a scheme?

(everything below is defined over an algebraically closed field)
Let $D$ be a (smooth) surface, and let $X \subset T \times D$ be a flat family of curves on $D$, where $T$ is irreducible. Let $E$ be ...

**3**

votes

**1**answer

302 views

### examples of Chow rings of surfaces

Can somone provide me (articles/literature) with examples of Chow rings of surfaces?
(e.g. here: http://www.math.uni-bonn.de/people/huybrech/K3Global.pdf Chapter 9)
What I want is a list of (smooth ...

**0**

votes

**0**answers

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

**1**

vote

**1**answer

168 views

### Putting two complete varieties in a family over the projective line

Let $X$ and $Y$ be two proper varieties of dimension $n$ over a field $k$. I'm looking for "reasonable" conditions, under which, there exists a proper and dominant morphism $f:V\to \mathbb{P}^1_k$, ...

**2**

votes

**2**answers

546 views

### Non-vanishing of cup product in cohomology

Let $X$ be a smooth projective variety over $\mathbb{C}$, and let $\alpha \in H^{2k}(X)$ be an algebraic cohomology class. Let us fix an $l$ such that $H^l(X) \neq 0$ and $H^{l+2k}(X) \neq 0$.
The ...

**2**

votes

**0**answers

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

**7**

votes

**3**answers

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

**1**

vote

**1**answer

306 views

### Hilbert polynomial as function of the Segre classes

Let $X\subset\mathbb{P} ^ N$ be a smooth irreducible complex projective variety of dimension 3 (or better yet, dimension $n$).
Is it possible to express the Hilbert polynomial of $X$ as a function of ...

**4**

votes

**0**answers

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

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

**1**

vote

**1**answer

268 views

### How many zero-constraints can be added to a subspace-restricted matrix before no solution exists?

I'm trying to develop an estimator for the concentration matrix of a Gaussian Graphical Model. I've become stuck in trying to find conditions for the estimator to exist. I have a sufficient ...