**12**

votes

**3**answers

1k views

### A nontrivial surface on which any two curves intersect

One interesting property of the projective plane is that any two plane curves intersect. (More generally, if $V$ and $W$ are subvarieties of any projective space, and codim $V$ + codim $W \geq 0$, ...

**4**

votes

**2**answers

328 views

### Shrinking Fano surfaces to a point in Calabi-Yau 3-folds

Let X be a Calabi-Yau 3-fold, and $D\subset X$, smooth,Fano divisor.
Since $K_X=0$ we have $N_D^X=K_D$. I have seen the following fact in many papers:
By deforming X within Kahler moduli, we can ...

**13**

votes

**3**answers

2k views

### Vector bundles on $\mathbb{P}^1\times\mathbb{P}^1$

I have a question about vector bundles on the algebraic surface $\mathbb{P}^1\times\mathbb{P}^1$. My motivation is the splitting theorem of Grothendieck, which says that every algebraic vector bundle ...

**7**

votes

**1**answer

382 views

### Liftability of Enriques Surfaces (from char. p to zero)

Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...

**5**

votes

**3**answers

2k views

### Cone of curves and Mori Theorem for algebraic Surfaces

In describing part of the geometry of the cone of curves for an algebraic surface $S$, we need to find $(-1)$ curves within $S$. Once we've done that, then we can say that the "negative" part of the ...

**17**

votes

**5**answers

4k views

### blowing up, -1 curves, effective and ample divisors

Lets say we're on a smooth surface, and we blow up at a point.
Is there a simple explicit computation that shows to me the fact that the exceptional divisor E has self intersection -1 ? I don't ...

**2**

votes

**1**answer

2k views

### Algebraic equivalence VS Numerical Equivalence - An Example.

This question is arose from the question
Difference between equivalence relations on algebraic cycles
and the example 3 in lecture 1 in Mumford's book Lectures on curves on an algebraic surface.
...

**6**

votes

**4**answers

582 views

### Interaction of topology and the Picard group of Algebraic surfaces

It is well known that a smooth cubic surface $X\subset \mathbb{P}^3$ has exactly 27 lines in it. Furthermore, it is easy to check that Picard group $$Pic(X)\cong \mathbb{Z}^7$$ Here the generators are ...

**10**

votes

**1**answer

1k views

### When is the canonical divisor of an algebraic surface smooth?

Is there some condition on a complex algebraic surface that implies it has a smooth canonical divisor? I am searching for the sharpest possible condition, but sufficient criteria would be nice as ...

**4**

votes

**1**answer

516 views

### Torsion line bundles with non-vanishing cohomology on smooth ACM surfaces

I am looking for an example of a smooth surface $X$ with a fixed very ample $\mathcal O_X(1)$ such that $H^1(\mathcal O(k))=0$ for all $k$
(such thing is called an ACM surface, I think) and a globally ...

**13**

votes

**4**answers

1k views

### K3 surfaces with good reduction away from finitely many places

Let S be a finite set of primes in Q. What, if anything, do we know about K3 surfaces over Q with good reduction away from S? (To be more precise, I suppose I mean schemes over Spec Z[1/S] whose ...

**11**

votes

**3**answers

1k views

### level sets of multivariate polynomials

Let $p:\mathbb R^n \rightarrow \mathbb R$ be a polynomial of degree at most $d$. Restrict $p$ to the unit cube $Q=[0,1]^n\subset\mathbb R^n$. We assume that $p$ has mean value zero on the unit cube $Q$...

**8**

votes

**3**answers

1k views

### Nonprojective Surface

Let k be an algebraically closed field. It's well known that every complete curve, period, is projective. Also, that every smooth surface is, and that there are smooth 3-folds which are not, and ...

**13**

votes

**6**answers

2k views

### Curves with negative self intersection in the product of two curves

I wonder if the following is known: Are there two compact curves C1 and C2 of genus>1 defined over complex numbers, such that their product contains infinite number of irreducible curves of negative ...

**3**

votes

**1**answer

445 views

**3**

votes

**1**answer

609 views

### The existence of primitive and sufficiently ample line bundles on K3 surfaces?

Let S be a surface and L be a line bundle on S. For any zero-dimensional closed subschemes x of S, there is natural map from global sections of L to the global sections of L restricting to x (which is ...