The algebraic-surfaces tag has no usage guidance.

**4**

votes

**1**answer

570 views

### Contracting a curve of negative self-intersection on a surface

It is easy to show using birational factorization that the only curves on a surface which can be contracted to get an algebraic, smooth surface are smooth $(-1)$-curves. Furthermore, I know of ...

**3**

votes

**2**answers

261 views

### A classification of rational surfaces with effective $K$

I would like to know if there can be some kind of classification of normal rational surfaces with Gorenstein singularities, such that their canonical divisor is effective.
Additional question. Are ...

**2**

votes

**3**answers

397 views

### Divisor class group on blowup of nodal surface

The following got no answer on mathstackexchange. I believe it not to be hard, but maybe it is a little specialized?
All varieties will be over $\mathbb{C}$ and projective unless stated otherwise.
...

**3**

votes

**1**answer

162 views

### Counting nodal singularities on a surface

How many lines in $\mathbf{P}^5$ passing through a fixed point $p$ meet in at least two points a fixed smooth surface $S$ given by the intersection of three quadrics?
Or equivalently, calling $T$ the ...

**2**

votes

**1**answer

248 views

### Absorbing ramification and factoring finite flat maps

In his Algebraic surfaces book, Beauville gives a result allowing one to "absorb ramification" for certain maps (see below). There are also something similar one can do with number fields. I would ...

**5**

votes

**0**answers

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

**12**

votes

**1**answer

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

**6**

votes

**2**answers

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

**3**

votes

**0**answers

216 views

### Contracting rational curves on surfaces and getting something non-algebraic

Recently I posted an "announcement" on arxiv where I said something to the effect of "this is the first example we know where contracting (a tree of) rational curves from a non-singular algebraic ...

**5**

votes

**2**answers

593 views

### Vector Bundles on normal surfaces

Let $X$ be a projective normal surface over $\mathbb{C}$. In this related question it is stated as soon as $X$ is smooth any vector bundle defined on the compliment of a codimension 2 subset extends ...

**3**

votes

**1**answer

252 views

### Hilbert scheme of 2 points on an elliptic curve

The Hilbert scheme of 2 points on an elliptic curve $C$, $Hilb^2(C)$, has a natural structure of ruled surface, given by the map $f:Hilb^2(C) \to C$ such that $f(P,Q)=P+Q$.
What can we say about the ...

**2**

votes

**1**answer

274 views

### octic K3s inside cubic 4-folds

From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...

**1**

vote

**1**answer

180 views

### Constructing a curve with good reduction over a function field

Let $K$ be the function field of a smooth projective connected curve $B$ over $\mathbf{C}$.
Let $g\geq 0$ be an integer.
Does there exist an nonsingular integral $\mathbf{C}$-scheme $X$ with a ...

**4**

votes

**2**answers

884 views

### Bertini's Theorem small print

Suppose $S\subset \mathbb{P}^n$ is a smooth del Pezzo surface and $C$ is an irreducible smooth curve (you can make it rational if it simplifies the setting) such that $\mathcal{L}=\vert -K_S-C\vert $ ...

**1**

vote

**2**answers

402 views

### How to construct Enriques surface from Fermat K3

Let $x_1^4+x_2^4+x_3^4+x_4^4=0 \subset \mathbb{P}^4$ be the Fermat K3 surface. Is it possible to start from some involution on $\mathbb{P}^3$, do blow-ups to get rid of fixed points and then quotient ...

**4**

votes

**1**answer

281 views

### Invariant lattice of algebraic surface.

Given an algebraic surface $S$ with action of a finite group $G$. Is it true that the invariant lattice $H^2(X,\mathbb{Z})^G$ is generated by elements pulled back from the $H^2(X/G,\mathbb{Z})$ (or ...

**3**

votes

**2**answers

616 views

### blowing up general k points on the plane

Del Pezzo surfaces are obtained by blowing up $1 \leq k \leq 8$ points on general position in $\mathbb{P}^2$. What does it happen when the number of points is larger than nine? In this sense, ...

**4**

votes

**1**answer

340 views

### Divisorial contraction: when is the image an algebraic space or a stack?

Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already ...

**2**

votes

**1**answer

287 views

### Question on Ball Quotients

Let $X$ be a compact Kahler surface which is a ball quotient. Can such $X$ contain a torus $T$ such that the fudamental class of $T$ is non-trivial? I expect this is false as $\pi_{1}(X)$ is a ...

**3**

votes

**1**answer

438 views

### Algebraic surfaces of general type

Question. Are there smooth complex surfaces of general type with an irregularity $q = 1$ and
Euler characteristic $3$.
If the answer is yes, what is known about the geometry of such surfaces? Are ...

**3**

votes

**0**answers

186 views

### On $\pi_1$ of surface of general type

Let $X$ be an algebraic surface of general type. Assume $K_X$ is an integer multiple of another class $A$, and the class $A$ can be represented by a symplectic submanifold $S$ of $X$ with non-negative ...

**2**

votes

**1**answer

411 views

### Genus two pencil in K3 surface

It is known that smooth $K3$ surface can be obtained as two fold branched cover of rational elliptic surface $E(1) = \mathbb{CP}^2 9 \bar{{\mathbb{{CP}^2}}}$ along the smooth divisor $2F_{E(1)} = 6H - ...

**3**

votes

**2**answers

624 views

### Question on K3 Surface

Is it possible to realize $K3$ surface as a ramified double cover of rational elliptic surface? If so, is there way to see an elliptic fibration structure on $K3$ from such cover? It seems to me one ...

**1**

vote

**0**answers

141 views

### Classification of fibres in pencils of curves of genus two

For the case of characteristic positive, there exist some clasification of families of curves of genus two over a elliptic curve?.

**2**

votes

**0**answers

386 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

216 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

676 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

287 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

766 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

305 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

254 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

743 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

459 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

736 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

461 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

335 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

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

**10**

votes

**0**answers

977 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

470 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

317 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

217 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

163 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

244 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

156 views

### selfintersection of curves inside

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

**3**

votes

**1**answer

429 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

470 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

411 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

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