The algebraic-surfaces tag has no wiki summary.

**2**

votes

**0**answers

369 views

### The cohomology of the relative dualizing sheaf of a relative curve

Let $X\to S$ be a curve over $S=\mathrm{Spec} \ \mathbf{Z}$. Let $\omega$ be the relative dualizing sheaf of $X\to S$. Let $g$ be the genus of the generic fibre. Assume that $g\geq 2$.
I know that ...

**3**

votes

**0**answers

207 views

### An arithmetic analogue of the discriminant curve of a conic bundle threefold

I am looking for an "arithmetic" analogue of a well known result on threefolds with a conic bundle structure. The following result can be found in [Iskovskikh - On the rationality problem for conic ...

**4**

votes

**2**answers

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

**2**

votes

**1**answer

283 views

### Picard/cohomology lattice of surfaces of low degree in $\mathbb P^3$

Let $S_{d>3}\subset\mathbb{P}^3_{\mathbb{C}}$ be a smooth surface of degree $d$. What is known (where to read?) about the Picard/cohomology lattice for small d?
e.g. for $d=4$ the cohomology ...

**5**

votes

**1**answer

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

**2**

votes

**0**answers

293 views

### bielliptic surfaces

Definition:
A surface is called $S$ bielliptic if $S \cong (E \times F) /G$, where $E,F$ are elliptic curves and $G$ is a finite group of translations of $E$ acting on $F$ such that $F /G \cong ...

**2**

votes

**1**answer

246 views

### Sheaves with zero Chern classes on a $K3$ surface.

Let $S$ be a $K3$ surface. Is it true that any sheaf on $S$ with zero Chern classes is isomorphic to $\mathcal{O}_S^{\oplus n}$ for some $n$? If not, do you have any counterexample?

**15**

votes

**2**answers

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

**5**

votes

**2**answers

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

**3**

votes

**3**answers

703 views

### Elliptic curves on abelian surface

Let $Y$ be an abelian surface. Is it true that for every general point $P \in Y$, there exists an elliptic curve passing through $P$?

**7**

votes

**1**answer

455 views

### Pathologies of analytic (non-algebraic) varieties.

Note: By an "analytic non-algebraic" surface below I mean a two dimensional compact analytic variety $X$ (over $\mathbb{C}$) which is not an algebraic variety.
A property of Nagata's example (see ...

**2**

votes

**1**answer

309 views

### Log resolutions on surfaces and 3-folds in characteristic p

If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...

**8**

votes

**2**answers

644 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

**0**answers

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

**4**

votes

**1**answer

447 views

### Del pezzo surfaces in positive characteristic

For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...

**2**

votes

**0**answers

296 views

### canonical bundle of Abelian surface fibrations

For minimal surfaces admitting an elliptic fibration over a smooth curve,
there is a famous analysis of possible singular fibers and a canonical bundle formula due to Kodaira.
There are two papers of ...

**2**

votes

**0**answers

209 views

### surfaces with effective first Chern class

Let $S$ be a smooth complex surface, If $c_1(S) \in N_1(S)$ is nef and non-torsion, then we know that this would imply some restrictions on the cone of effective curves (and surface itself)--see the ...

**3**

votes

**1**answer

161 views

### Boundedness of $C.K$ on a surface with $-K$ pseudoeffective

Let $S$ be a projective surface with pseudoeffective anticanonical divisor $-K_S$. Is it true that if $C$ is an integral curve with $C^2<0$ and $C \cdot K_S >0$, then $\max_C (C \cdot K_S)$ is ...

**0**

votes

**1**answer

236 views

### signature of picard lattice

Let's assume $X$ is a K3 surface. Why the signature of the picard lattice is $(1,\rho(X)-1)$? We know that (by Hodge index theorem) if we have a curve $D$ in $X$ with self intersection $D^2>0$ then ...

**2**

votes

**0**answers

154 views

### selfintersection of curves inside

What are all the possibilities of the self intersection number of a smooth curve inside an Enriques surface?

**2**

votes

**1**answer

362 views

### Two basic questions concerning geometrically ruled surfaces. [closed]

Good Morning,
These questions are a result of trying to understand the proof of Proposition III.18 in Beauville's book 'Complex Algebraic Surfaces'.
Here is the setup - everything is smooth, ...

**1**

vote

**0**answers

170 views

### signature of $Pic(X)$

Let $X$ be a $K3$ surface and $\sigma$ an antisymplectic involution on $X$ and so $X$ is algebraic. 1.Why the signature of $Pic(X)$ is $(1,\rho -1)$? (This is well known but I cant find any direct ...

**4**

votes

**2**answers

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

**2**

votes

**2**answers

1k views

### Generalisations of Riemann-Roch for surfaces

Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have
$$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$
This is the famous ...

**2**

votes

**1**answer

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

**2**

votes

**1**answer

356 views

### Resolution of “nice” and zero-dimensional singularities on a surface

Assume I have a singular algebraic surface $X$ over an algebraically closed field (characteristic zero if you want) which is singular in a finite set of points. I am looking for a condition as to the ...

**17**

votes

**3**answers

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

**4**

votes

**1**answer

1k views

### Hirzebruch Surfaces

Good Morning,
I'm trying to prove that two different definitions of the Hirzebruch Surfaces coincide, and am having problems. Let $a \geq 0$. My first definition for the $a^{th}$ surface is
$X_a= ...

**2**

votes

**2**answers

304 views

### Global sections of a linear system

Recently, following Beauville's book (exercises iv.(1),(2)) I have been working on Hirzebruch surfaces (from the algebraic geometry point of view) and I had to compute the space of global sections of ...

**2**

votes

**1**answer

411 views

### Looking for an inequality between Chern and Todd classes (something in style of Bogomolov-Miyaoka-Yau)

Consider a smooth projective surface $S\subset\Bbb P^N_{\Bbb C}$ which is a complete intersection of hypersurfaces of degrees $(d_1,..,d_{k\ge2})$ with $d_i\ge2$ for all i. Is it true that for such ...

**1**

vote

**0**answers

234 views

### Singular conics on certain algebraic surfaces

Let S be an algebraic surface in 3-dimensional complex projective space. Suppose that:
The degree of S is either 5 or 6;
The generic plane section of S is a curve of genus 1.
(Equivalently, the ...

**2**

votes

**2**answers

525 views

### Elementary transformations of ruled surfaces as maps of vector bundles

This comes as a question in Beauville's Algebraic surfaces book (III.24 (2)). We work over $\mathbb{C}$.
All geometrically ruled surfaces (grs) $p:S\longrightarrow C$ over a curve $C$ can be seen as ...

**1**

vote

**1**answer

582 views

### Hirzebruch surfaces

I am sorry for too naive and stupid question,
How can I express the 2nd Hirzebruch surface, $F_{2}$ in terms of $SO(3)$. Can F_{2} be realizable as the total space of a bundle over $\mathbb{R}_{+}$ ...

**1**

vote

**2**answers

686 views

### Names of certain surfaces

Are there any generally used names for the following algebraic and nonalgebraic surfaces? Any references to literature where the surfaces are studied are also appreciated.
Surface I. Implicit ...

**0**

votes

**0**answers

176 views

### Does there exist a fibration of genus two over P^1 with only 3 singular fibres but two are semi-stable fibers for algebraic surfaces?

We will work over the complex numbers C.
there exist a fibration of genus two over P^1 with only 3 singular fibres but one is semi-stable fiber.
there not exist a fibration of genus two over P^1 ...

**3**

votes

**0**answers

282 views

### Does there exist a non-isotrivial fibration of genus two over P^1 with only 3 singular fibres of general type surfaces?

We will work over the complex numbers C.
This question is based on Beauville's article :
there exist a non-isotrivial fibration of genus 2 over P^1 with only 3 singular fibres.
but not know for ...

**12**

votes

**2**answers

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

**2**

votes

**2**answers

658 views

### Isolated conics on a del Pezzo surface

Is there anything known about isolated conics in a del Pezzo surface: their number, arrangement, and the corresponding elements of the class group of surface's minimal desingularization? (Isolated ...

**3**

votes

**1**answer

422 views

### Mordell-Weil Group of Elliptic Surface

Suppose $ X \to \mathbb{P}^1 $ is an elliptic surface with section, with Weierstrass model defined over $ \mathbb{Q} $. If $ \sigma: \mathbb{P}^1 \to X $ is a torsion section with order $n$, then for ...

**1**

vote

**0**answers

204 views

### On base locus of canoncal linear system on surfaces

Let $S$ be a minimal surface of general type over $\mathbb{C}$ with $p_g=h^0(K_S)>1$. As a convention, we can write $|K_S|=|M|+F$ such that $F$ is the fixed part. We know that $K_SM \le K_S^2$.
...

**6**

votes

**2**answers

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

**7**

votes

**2**answers

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?

**5**

votes

**3**answers

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

**8**

votes

**1**answer

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

**21**

votes

**0**answers

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

**13**

votes

**4**answers

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

**2**

votes

**1**answer

313 views

### Quotient of an abelian surface by a finite group, irreducible components

Given an abelian surface $A$ as the product of two non isogenous elliptic curves $E_1 $ and $E_2$ over $\mathbb{C}$. We also have a smooth 2 dimensional moduli space $M$ of sheaves on $A$ with some ...

**5**

votes

**3**answers

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

**4**

votes

**1**answer

331 views

### Certain double covers of cubic surfaces

Let $S$ be a smooth cubic surface in $\mathbb{P}^3$. I would like to understand that variety $V$ that parametrizes lines $\ell$ such that $\ell \cdot S=3P$ with $P \in S$. At any point $P \in S$, let ...

**5**

votes

**1**answer

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