An algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold.

learn more… | top users | synonyms

5
votes
3answers
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
5answers
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
1answer
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
4answers
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
1answer
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
1answer
512 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
4answers
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
3answers
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
3answers
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
6answers
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
1answer
444 views

K3 over fields other than C?

How to classify K3 surfaces over an arbitrary field k?
3
votes
1answer
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 ...