The intersection-theory tag has no usage guidance.

**8**

votes

**2**answers

965 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

296 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 $E_{1}\...

**3**

votes

**2**answers

182 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

315 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

218 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

171 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

555 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

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

**8**

votes

**3**answers

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

**1**

vote

**1**answer

324 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

274 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

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

228 views

### Intersection powers of the exceptional divisor (and the transform of a hyperplane)

In light of my previous question, I am interested in the following scenario: Let $\tilde Y$ be the blow-up of $Y=\mathbb{P}^n$ along a linear subvariety $X\subseteq Y$ of codimension $d$, i.e. $X\cong\...

**4**

votes

**3**answers

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

**2**

votes

**1**answer

224 views

### Are there polynomials (almost) all of whose intersection numbers are divisible by some integer?

I've been playing around with some basic intersection theory, and I've wondered the following:
For every two integers $n$ and $m$, and complex numbers $a_1,...,a_n$, are there polynomials $f_1(x),...,...

**3**

votes

**1**answer

293 views

### Are there n polynomials for which all intersection multiplicities are at least m?

I don't know whether this is known or not, but I was thinking of the following problem.
Let $n$ and $m$ be natural numbers. Are there $n$ polynomial $f_1,...,f_n\in \mathbb{C}[x]$, such that all of ...

**1**

vote

**2**answers

243 views

### Is the zero set of a equivariant polynomial map of minimal degree a union of linear subspaces?

Suppose that a finite group acts on two vector spaces $X$ and $Y$, and that $f:X\longrightarrow Y$ is an equivariant polynomial map which is homogeneous of degree $n$, and that there does not exist ...

**4**

votes

**2**answers

560 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 $R^i\...

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

**5**

votes

**1**answer

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

**1**

vote

**2**answers

290 views

### Numerically negative exceptional divisor on a surface.

Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...

**3**

votes

**1**answer

174 views

### non degenerate quadratic form on the group of correspondences on an algebraic curve?

Hi,
Given two (smooth, projective) curves $X$ and $Y$ over a field $k$, define a correspondence to be a line
bundle $L$ on $X\times Y$. A trivial correspondence is a correspondence of the form $p_1^*...

**0**

votes

**2**answers

360 views

### definition of group operation in elliptic curves

Hi,
Using the isomorphism between an elliptic curve $E$ and its $Pic_1(E)$ group, one can
easily give $E$ the structure of a group variety after choosing a point $O\in E$. The
operation that one gets ...

**13**

votes

**1**answer

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

**0**

votes

**1**answer

375 views

### Degree of a real algebraic variety and regular morphisms

I'm reading Fulton's "Intersection theory", which i need for some applied needs.
And i have two questions on general definition of degree used in Fulton.
1)Let us we have a real algebraic variety ...

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

**0**

votes

**2**answers

892 views

### Dimension of affine variety

Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Is it possible to calculate, ,i.e., does there exist a fast algorithm, ...

**1**

vote

**1**answer

184 views

### Intersection positivity for curves and surfaces

Let $X$ be a smooth complete variety over an algebraically closed field of dimension $\geq3$. Given a divisor $D_1$ on $X$ with $D_1 \cdot C>0$ for every curve $C \subset X$, and a divisor $D_2$ ...

**0**

votes

**1**answer

368 views

### Intersection of curves

Let $f(x,y)=0$ and $g(x,y)=0$ be curves in $\mathbb R^2$. Assume that the origin $(0,0)\in \mathbb R^2$ is a $d$-fold point of $f$ and an $e$-fold point of $g$, respectively. Let $f_d(x,y)$ be the sum ...

**1**

vote

**2**answers

719 views

### if f is birational, is the pushforward map on the numerical groups surjective?

this question was asked on mathunderflow but no one gave a satisfactory answer (perhaps here it will receive more attention?)
Say that one has a morphism of projective algebraic varieties $f: X \to Y$...

**0**

votes

**0**answers

197 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 (edited)...

**4**

votes

**1**answer

638 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

**1**answer

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

**0**

votes

**0**answers

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

**2**

votes

**2**answers

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

**2**

votes

**1**answer

415 views

### Minimal resolution of Log del Pezzo surfaces

Suppose $X$ is a log del pezzo projective surface of index $l$. As far as I understand it will have a finite number of singular points all of which can be resolved by sucessive blow-ups.
Let $E_i$ be ...

**1**

vote

**0**answers

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

**4**

votes

**1**answer

734 views

### intersection number

I vaguely recall the following fact that I'd like to use in my research. It should be easy to see that this holds (if it does) but I can't seem to prove it.
Let $p:X\longrightarrow S$ be a (regular) ...

**12**

votes

**2**answers

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

**12**

votes

**1**answer

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

**2**

votes

**0**answers

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

**14**

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

**8**

votes

**4**answers

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

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

**1**

vote

**1**answer

776 views

### A Theorem in Intersection theory.

Fulton's Book on intersection theory (Pg.223, theorem 12.3) asserts the following result:
For r pure dimensional schemes in P^n, whose co-dimensions add to at most n, the product of their degrees is ...

**6**

votes

**1**answer

718 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 $A(\tilde{X})=f^*(A(...

**1**

vote

**1**answer

817 views

### How I calculate degree of the algebraic curve?

Let F be algebraically closed field. Let C be a curve in F^n defined as zeroes of polynomials $p_1(x_1,\ldots,x_n),..,p_{n-1}(x_1,\ldots x_n)$.
Let us define degree of the curve as $\max_S \{ S\cap C ...

**4**

votes

**1**answer

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

**6**

votes

**0**answers

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