The tag has no wiki summary.

learn more… | top users | synonyms

31
votes
5answers
2k views

Surfaces in $\mathbb{P}^3$ with isolated singularities

It is classically known that every smooth, complex, projective surface $S$ is birational to a surface $S' \subset \mathbb{P}^3$ having only ordinary singularities, i.e. a curve $C$ of double points, ...
21
votes
0answers
504 views

bound on the genus of a fiber of the Albanese map of a surface with $h^1({\mathcal O})=1$?

This is maybe more an open problem than a question, since I have seriously thought about it and asked several people working on algebraic surfaces with no success. I hope somebody here can ...
20
votes
4answers
2k views

Abundance for algebraic surfaces

I am currently teaching a course in algebraic geometry where one of the aims is to give an overview of the Enriques-Kodaira classification of surfaces. I am trying to throw in some modern aspects so I ...
17
votes
3answers
718 views

Hyperbolic Coxeter polytopes and Del-Pezzo surfaces

Added. In the following link there is a proof of the observation made in this question: http://dl.dropbox.com/u/5546138/DelpezzoCoxeter.pdf I would like to find a reference for a beautiful ...
15
votes
2answers
676 views

When does the blow-up of $CP^2$ at N points embed in $CP^4$?

Write $X_N$ for this blow up. Place the N points in 'general position' as needed. Then $X_6$ embeds in $CP^2$ as a smooth cubic surface. (See, eg, Griffiths and Harris.) But there is no other ...
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 ...
13
votes
4answers
884 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 ...
13
votes
4answers
985 views

Algebraic surfaces and their (intrinsic) geometry

Recently I began to consider algebraic surfaces, that is, the zero set of a polynomial in 3 (or more variables). My algebraic geometry background is poor, and I'm more used to differential and ...
12
votes
5answers
3k 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 ...
12
votes
2answers
1k views

Surfaces containing curves of arbitrarily negative self-intersection

Olivier Wittenberg and I are curious about the following : Let $S$ be a smooth projective complex surface. Are the self-intersection numbers of integral curves on $S$ always bounded below ? Or can ...
12
votes
3answers
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$, ...
12
votes
1answer
571 views

Is the set of surfaces over Spec Z with ample canonical sheaf empty

Main question. Does there exist a smooth projective morphism $X\to$ Spec $\mathbf Z$ of relative dimension two such that the canonical sheaf $\omega_{X_{\mathbf Q}}$ of the generic fibre $X_{\mathbf ...
10
votes
3answers
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 ...
10
votes
1answer
682 views

what is the cyclic cover trick?

What do people mean by the "cyclic cover trick"? I have found this expression a couple of times with no complete explaination, both talking about curves and surfaces...
10
votes
1answer
901 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 ...
9
votes
3answers
846 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 ...
8
votes
2answers
623 views

Is the square of a curve minus its diagonal affine?

Let $X$ be a smooth irreducible projective algebraic curve of genus $g\geq 1$ and $S=X^2$ the surface one obtains as the cartesian product of $X$ with itself. Let $\Delta$ be the diagonal in $S$, that ...
8
votes
2answers
323 views

Uniformization of Kodaira fibered surfaces

Consider a Kodaira fibration. i.e. a smooth non-isotrivial fibration $X\rightarrow C$ with $X$ a smooth complex surface and $C$ a smooth complex curve, such that both the genus of $C$ and genus of the ...
8
votes
1answer
363 views

Why can you deform singularities in two dimensions but not in higher dimensions?

I've been trying to read this paper to understand deformations of surface quotient singularities. I'm particularly interested in when one can deform certain cyclic quotient singularities into other ...
8
votes
1answer
375 views

Are there non-projective normal surfaces which are rational?

Every non-singular complete surface is projective. On the other hand, there are non-projective complete surfaces (see e.g. Excercise II.7.13 of Hartshorne) - and there are such examples where the ...
8
votes
0answers
784 views

Ample divisors on projective surfaces

Question: If $X$ is a projective surface and $U$ is an open affine subset of $X$, then is it true that $X \setminus U$ is the support of an (effective) ample divisor on $X$? Background: I was reading ...
7
votes
3answers
933 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 ...
7
votes
1answer
215 views

Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism. Let $d^\prime ...
7
votes
2answers
1k views

rational curve on varieties of general type

Let $S$ be a complex surface of general type. Are there infinitely many smooth rational curves on $S$? And more general, what if $V$ is a variety of general type?
7
votes
1answer
287 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 ...
7
votes
1answer
369 views

How do branched coverings of complex surfaces “fit” with branched coverings of curves?

Since I'm used to working with algebraic $\pi_1$'s, which don't work well with surfaces, I find myself lacking geometric intuition when I attempt to do these types of purely geometric arguments. I'm ...
7
votes
1answer
197 views

A question on an elliptic fibration of the Enriques surface

Let $S$ be an Enriques surface over complex numbers. It is known that $S$ admits an elliptic fibration over $\mathbb{P}^1$ with $12$ nodal singular fibers and $2$ double fibers. How can I see this ...
6
votes
2answers
538 views

Embedding of algebraic surfaces

If I am not mistaken there is a theorem that says any curve $C$ can be embedded in $\mathbf{P}^3$. What can be said about surfaces? Do we have a theorem like: All surfaces can be embedded in ...
6
votes
2answers
341 views

Quotients of rational surfaces

Let $X$ be a projective surface defined over a field $k$ of characteristic $0$, and let $G$ be a finite group acting biregularly on $X$. Assuming that $X$ is rational over $k$, is the quotient $X/G$ ...
6
votes
1answer
204 views

Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
6
votes
0answers
496 views

Bezout Theorem in $\mathbb P^3$

For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ curve passes then $d^2\geq ...
6
votes
0answers
172 views

pencils on varieties of general type

I was wondering about a generalization of the following property of surfaces of general type. Let $X$ be a smooth projective surface of general type. Then there is no pencil of rational or elliptic ...
5
votes
3answers
604 views

Are there (-2)-curves on an Enriques surface?

Let $X$ be an Enriques surface. A $(-2)$-curve is an irriducible rational curve on X such that $C^2 = -2$. By Proposition [VIII,16.1] from Barth-Peters-Van de Ven, we have that if $D^2 = -2$, then it ...
5
votes
3answers
563 views

Basepoints in the Canonical System of Algebraic Surfaces

Let X be an smooth projective variety defined over $\mathbb{C}$. In the context of the minimal model program it is often important to understand the geometry of the maps defined by the complete ...
5
votes
4answers
517 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 ...
5
votes
3answers
360 views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic curve ...
5
votes
3answers
1k 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 ...
5
votes
1answer
207 views

Embeddings of smooth projective surfaces

Let $X$ be a smooth projective surface not contained in $\mathbb{P}^3$. Is there any known condition on $X$ under which I can embed it into $\mathbb{P}^3$ such that the its image contains at most ...
5
votes
1answer
665 views

Minimal Model Program for surfaces over algebraically closed fields of characteristic p

Let $k$ be an algebraically closed field of characteristic $p>0$. I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
5
votes
2answers
443 views

On a result about genus two pencils

I am reading the paper "Canonical models of surfaces of general type" by E. Bombieri. In the last section of this paper, there is a statement saying that surfaces with $K^2=1$ and $p_g=0$ do not have ...
5
votes
1answer
602 views

an exercise about elliptic surface in Beauville's book

In Beauville's "Complex Algebraic Surfaces", given an elliptic surface $f : X \to C$ with a generic fiber $E$. Then either $\text{Alb}(X) \cong \text{Jac}(C)$ or there is an exact sequence of abelian ...
5
votes
2answers
581 views

Ramification in morphisms of surfaces

The question can be generalized, but we might as well restrict to this case. Let $X \rightarrow Y$ be a morphism between nonsingular surfaces (say over $\mathbb{C}$). Let $R_1$ be an irreducible ...
5
votes
1answer
140 views

Linear systems on bielliptic surfaces

A bielliptic surface is a surface of type $S=E_1 \times E_2/G$ where $E_1, E_2$ are elliptic curves and $G$ is a finite group of translations of $E_1$ acting on $E_2$ such that $E_2/G=\mathbf{P}^1$. ...
5
votes
1answer
207 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
1answer
219 views

Torsion of the Picard group for surfaces isogenous to a product

We say that a complex surface $S$ is isogenous to an (unmixed) product if there exists a finite group $G$, acting faithfully on two smooth projective curves $C_1$ and $C_2$ and freely on their product ...
5
votes
0answers
158 views

Can you get an Enrique surface from quotient of Abelian surface?

Let $A=\mathbb{C}^2/\Lambda^2$, where $\Lambda=\mathbb{Z}+i\mathbb{Z}$, be an abelian surface. Then every body knows that the resolution of the quotient $A/<\pm>$ is a K3 surface. Question: Is ...
4
votes
2answers
450 views

every involution of an Enriques surface is

Is it true that every involution $\sigma$ (i.e., $\sigma^2=identity$) of an Enriques surface $X$ acts trivially on $K_X^{\otimes 2}$ i.e., for any $\omega\in K_X^{\otimes 2}$ we have $\sigma^* ...
4
votes
3answers
275 views

Automorphisms of a smooth quadric surface $Q\subset\mathbb{P}^{3}$

Let $Q\cong\mathbb{P^{1}_{1}}\times\mathbb{P^{1}_{2}}\subset\mathbb{P}^{3}$ be a smooth quadric surface. We have the following two actions on $Q$: $$S_2\times Q\rightarrow Q,\; ...
4
votes
2answers
304 views

Reference for Automorphisms of K3 surfaces

I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?
4
votes
2answers
524 views

Q-factorial and rational singularities on surfaces

Let $X$ be a normal surface. Is any rational singularity $\mathbf{Q}$-factorial? I've seen this somewhere for surfaces over fields, but what about the general case of an integral 2-dimensional ...