The algebraic-surfaces tag has no wiki summary.

**3**

votes

**1**answer

219 views

### K3 surface with $D_{14}$ singular fiber

Let $X$ be an elliptic K3 surface with $D_{14}$ singular fiber. Do you know an explicit equation for such $X$? Also, how many disjoint sections such fibration admits? Any reference would be greatly ...

**1**

vote

**1**answer

205 views

### On the dualizing sheaf of a curve

Let $X$ be a smooth projective surface in $\mathbb{P}^n$ and $C$ be an effective curve. I know that the dualizing sheaf, $\omega_C$ of $C$ is ...

**1**

vote

**1**answer

119 views

### A question on very ample line bundle on smooth projective surfaces

I had been reading a couple of texts by J.P. Demailly, one of them titled "Effective bounds for very ample line bundles". In the introduction the author mentions a result due to I. Reider (stated in ...

**5**

votes

**1**answer

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

**4**

votes

**1**answer

186 views

### Blowing up rational singularities

Let $X$ be a projective surface embedded into $\mathbb{P}^n_{\mathbb{C}}$ having at most rational singularities. Let $\tilde{X} \to X$ be the minimal resolution of $X$. Is it possible to embed ...

**2**

votes

**1**answer

155 views

### Locally trivial deformations of surfaces with quotient singularities

Let us consider the surface $\mathbb{A}^{2}/\mu_{6}$ where the action is given by
$$
\begin{array}{ccc}
\mu_{6}\times\mathbb{A}^{2} & \longrightarrow & \mathbb{A}^{2}\\
(\epsilon,x_{1},x_{2}) ...

**2**

votes

**1**answer

128 views

### Weyl group of a K3 surface

I am wondering wether the action of the Weyl group $W_X$ of a K3 surface $X$ is transitive on the sets of curves of fixed genus.
Suppose $W_X$ is non-trivial. Given two curves $C,C'$ of genus ...

**8**

votes

**1**answer

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

**0**

votes

**0**answers

125 views

### birational invariants of projective surfaces

I am studying Castelnuovo's rationality criterion for surfaces.
Let $S$ be a projective surface and $K$ a canonical divisor on $S$.
Let's use the notation ...

**0**

votes

**0**answers

172 views

### Hodge structure of abelian surfaces

In my case, I have an abelian surface $A$ of (2,8)-polarization, and I have some finite group (may not be abelian group) $G$ acting on $A$ without fixed point. I want to understand when there is a ...

**3**

votes

**2**answers

168 views

### Points of a linear system on a cubic surface

Let $S$ be a generic cubic surface and let $C$ be its intersection with a generic quadric surface.
In the linear system of hyperplane sections of $S$, how many points represent the planes $H$ tangent ...

**1**

vote

**1**answer

147 views

### Smoothness of the quotient surface by an involution with nice fixed locus

Let $X$ be a (smooth complex algebraic) surface. Suppose $\theta$ is an automorphism of order $2$ of $X$, such that its fixed locus is a disjoint union of smooth curves. I am trying to prove that the ...

**4**

votes

**1**answer

196 views

### Kodaira classification and the McKay correspondence

Kodaira's table of singular fibers has a singular fiber
for each of $\tilde{A}_n$, $\tilde{D}_n$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$; these are chains or cycles of (-2)-curves connected ...

**2**

votes

**1**answer

276 views

### Do there exist double points on an algebraic surface in $\mathbb{P}_{\mathbb{C}}^3$ that are not rational?

The title explains it all.
I'm familiar with the du val singularities on surfaces, also known as rational double points. In http://homepages.warwick.ac.uk/~masda/surf/more/DuVal.pdf, 2.1, they are ...

**0**

votes

**0**answers

73 views

### invariance of the dimension of severi varieties of surfaces

Suppose I have a smooth projective surface $S\subset P^n$ embedded by a very ample linear system $|L|$. Consider now the generalized Severi varieties that parametrize curves on $S$ belonging to $|L|$, ...

**0**

votes

**1**answer

257 views

### singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true.
Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...

**2**

votes

**1**answer

144 views

### Dual of a Complex 2-Torus

Is a complex torus $A$ of dimension 2 always isomorphic to its dual torus (i.e. the torus obtained by taking the dual lattice), or are there counterexamples to this?

**4**

votes

**2**answers

324 views

### Reference for Automorphisms of K3 surfaces

I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?

**1**

vote

**1**answer

188 views

### Complete Linear system on Del Pezzo surfaces

Is there always a reducible curve (EDIT: with exactly two irreducible components intersecting in at least 2 points) in a complete linear system (EDIT: of dimension at least 2 with curves of genus at ...

**2**

votes

**1**answer

307 views

### On complex surfaces with Kodaira dimension 1

Let $S$ be a complex surface of Kodaira dimension $1$ and $\pi_{1}(S) \neq 1 $.
What is known on possible diffeomorphism types of such $complex$ surfaces with a given fundamental group? Is it true ...

**6**

votes

**0**answers

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

**8**

votes

**2**answers

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

**2**

votes

**0**answers

138 views

### When does Bogomolov's inequality become an equality?

The Bogomolov theorem says if $V$ is a rank 2 vector bundle on an algebriac surfaces $S$ is $H$-stable (in the sense of Mumford-Takemoto) for some ample divisor $H$, then $c_1^2(V) \leq 4c_2(V)$ ...

**7**

votes

**1**answer

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

**10**

votes

**1**answer

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

**2**

votes

**0**answers

145 views

### What does Hodge theory tell us about simply connected surfaces of general type

Let $X$ be a smooth complex projective variety. We know that $\Omega^1_X$ has a non-zero section if and only if the abelianization of the fundamental group of X is infinite. This follows from Hodge ...

**3**

votes

**1**answer

221 views

### A question on existence of degeneration of Enriques surface.

Let $S$ be an Enriques surface, i.e. a quotient of a K3 surface by a free involution. Enriques surfaces arise as elliptic fibrations $S\rightarrow \mathbb{P}^1$ with 12 singular fibers and 2 double ...

**3**

votes

**0**answers

110 views

### The central fiber of this family of surfaces?

I have a question on a description of a central fiber of the following family of surfaces.
Let $B,C \subset \mathbb{P}^2$ be smooth curve of degree $2d$ and $d$ respectively. Let's consider the ...

**3**

votes

**1**answer

121 views

### What can a quartic surface in $\mathbb{P}^3$ with an ordinary quadruple point look like?

All varieties will be projective and over $\mathbb{C}$.
If $S$ is any surface in $\mathbb{P}^3$ of degree 2 that posseses an ordinary double point, it follows easily that $S$ is projectively ...

**5**

votes

**3**answers

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

**4**

votes

**1**answer

201 views

### Basics of minimal Elliptic Surfaces [following Beauville]

I am reading Beauville's chapter IX on Elliptic surfaces.
Let $S$ be a minimal elliptic surface with $\kappa=1$ and $p:S\rightarrow C$ be the elliptic fibration.
We know $K^2=0$. Suppose the ...

**5**

votes

**1**answer

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

**6**

votes

**0**answers

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

**2**

votes

**2**answers

349 views

### Existence of smooth surfaces containing a curve

Let $C$ be a curve in $\mathbb{P}^3$, possibly non-reduced. Assume, there exists a smooth surface in $\mathbb{P}^3$ containing $C$. Is it true that for $d \gg 0$, a generic element of $I_d(C)$ defines ...

**3**

votes

**3**answers

291 views

### families of curves on surfaces which are products of curves

Let $C$ be a projective curve (over an algebraically closed field) of genus $\geq 1$. Let $S = C \times C$. By normalisation we have a ramified cover $C \to \mathbb{P}^1$ and so a map $p: S \to ...

**4**

votes

**1**answer

516 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

259 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

375 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

160 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

240 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

166 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

645 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

353 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

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

**4**

votes

**2**answers

514 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

249 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

260 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

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

**3**

votes

**2**answers

823 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

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