The algebraic-surfaces tag has no wiki summary.

**16**

votes

**0**answers

411 views

### Enriques surfaces over $\mathbb Z$

Does there exist a smooth proper morphism $E \to \operatorname{Spec} \mathbb Z$ whose fibers are Enriques surfaces?
By a theorem of, independently, Fontaine and Abrashkin, combined with the ...

**2**

votes

**1**answer

155 views

### Smoothing transverse intersections

Let $S$ be a complex surface with ample canonical class. Let $C_1$ and $C_2$ be smooth complex curves in $S$ that intersect transversally at $n $ points. Furthermore, assume that the self-intersection ...

**5**

votes

**2**answers

162 views

### Disjoint curves in an algebraic surface

Let $X$ be an algebraic surface (over the complex) with $p_g=q=0$. Is it possible to have disjoint curves $C_1,\ldots, C_b$, of positive genus, spanning $H_2(X,{\mathbb Q})$, $b=b_2(X)$?
(When $X$ is ...

**-1**

votes

**0**answers

40 views

### A question about minimal rational surface [migrated]

Let $S$ be a minimal rational surface. We can find a smooth rational curve $C$ with $C^2\ge 0$ [Complex Algebraic Surfaces, Beauville,p59]. Further more we assume that $C^2=m$ is minimal and $C.H$ ...

**7**

votes

**1**answer

240 views

### A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...

**5**

votes

**0**answers

157 views

### Adjunction map for projective surfaces

Before stating my question, let me recall (part of) the classical result on the adjunction map for complex projective surfaces, due in this modern form to Beltrametti and Sommese:
Adjunction ...

**3**

votes

**0**answers

98 views

### Pic^0 of the surface of bitangents of a quartic

Let $S$ be a generic quartic surface in $\mathbf{P}^3$.
Let $T$ be the surface of the lines bitangent to $S$.
What can we say about $Pic^0(T)$?

**2**

votes

**0**answers

92 views

### Computing Euler Characteristics of Line Bundles on the Hilbert Scheme of n points

Let $S^{[n]}$ be the Hilbert scheme of $n$ points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...

**4**

votes

**0**answers

83 views

### Blow-up of $\mathbb{P}^4$ along a smooth surface

Let $\pi \colon X\to \mathbb{P}^4$ be the blow-up of a smooth surface $S\subset \mathbb{P}^4$. Is there a formula to compute $(K_X)^4$ ? (which should be dependent on invariants of $S$).
In dimension ...

**7**

votes

**1**answer

280 views

### Is there a description of the moduli space of elliptic surfaces?

In this question elliptic surface means a smooth projective complex surface $X$, such that there is an elliptic fibration $\pi \colon X \to C$. (I.e., there is a curve $C$ and a proper map $\pi$, such ...

**3**

votes

**0**answers

184 views

### Hypersurface with singularities

I heard once about one open problem. That was about existing a hypersurface of a small degree (5? or 6?) passing through some number (5? 6?) of 3-fold points and 2-fold lines (3 lines?).
It was said ...

**2**

votes

**0**answers

152 views

### Stable Lefschetz fibrations

Let $S$ be a non-singular complex projective surface, then construct the Lefschetz fibration $\pi:\widetilde S\longrightarrow\mathbb P^1$ associated to $S$ (we have a birational morphism ...

**2**

votes

**0**answers

63 views

### Topological/numerical constraints for the existence of more than one pencil

A famous theorem of Castelnuovo and de Franchis tells us that for $S$ a smooth projective complex algebraic surface that for $b \geq 2$, pencils $f : S \to B$ of genus $b :=g(B)$ are in bijective ...

**6**

votes

**2**answers

383 views

### Isotrivial fibrations over $\mathbb P^1$

First of all I want to say that algebraic geometry is not "my field of research" so I apologize if the notation is not standard.
$S$ is a smooth complex projective surface with a fibration $f$ over ...

**2**

votes

**1**answer

264 views

### Kummer Coverings

Let $L_1$, $\cdots$, $L_k$ be homogenous linear forms in three variables $z_0$, $z_1$, $z_2$ defining $k$ lines in $\mathbb{P}_{2}$. Consider the abelian extension $K
((L_2/L_1)^{1/n}, \cdots, ...

**2**

votes

**0**answers

95 views

### Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces

Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...

**2**

votes

**1**answer

193 views

### Number of minimal models of a surface

I would like to know if the following statement is true or false:
Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism).
...

**2**

votes

**1**answer

215 views

### discriminant of smooth quartic del Pezzo surface in $\mathbb{P}^4$

I can't understand the proof of Lemma3.3 in Stability of genus 5 canonical curves.
Let $C$ be a complete intersection of three quadrics in $\mathbb{P}^4$ and let $\Lambda$ be the net of quadrics ...

**0**

votes

**0**answers

209 views

### Understanding a proof of a lemma in elliptic surfaces

In the following paper , The Kahler-Ricci flow on surfaces of positive Kodaira dimension (Sung and Tian) in page 621, I am trying to understand the proof of part 1 of Lemma 3.4.
In the part 1 of ...

**2**

votes

**1**answer

240 views

### Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true):
...

**2**

votes

**1**answer

103 views

### Degree of a smooth curve in an abelian variety

Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$.
Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in ...

**2**

votes

**1**answer

196 views

### vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$

Let $A = \mathbb{C}[x,y,z]/(x y - z^k)$. In fact $A$ is the ring of $\mu_k$ invariants: $A = \mathbb{C}[u,v]^{\mu_k}$ where $g \in \mu_k$ acts by $g(u,v) = (g u, g^{-1} v)$.
This allows one to ...

**1**

vote

**1**answer

136 views

### Divisors on an abelian surface

Let $A$ be an abelian surface given by the quotient of a product of two generic elliptic curves $E_1 \times E_2$ by the product $T_1 \times T_2$ of two translations by $2$-torsion points. Then $A$ ...

**5**

votes

**1**answer

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

**1**

vote

**1**answer

142 views

### Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...

**6**

votes

**1**answer

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

**3**

votes

**1**answer

137 views

### Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]

For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...

**1**

vote

**1**answer

113 views

### Boundedness of the number of curves negative on a varying big divisor

For a divisor $D$ on a smooth complex projective surface $X$, the stable fixed part is the maximal effective divisor $E$ which, for every $n \in \mathbb{N}$, is contained in every memeber of the ...

**0**

votes

**1**answer

97 views

### Cohomology of a fibered surface

Let $R$ be a complete Henselian discrete valuation ring, $\pi:X \to \mathrm{Spec} (R)$ be a smooth, proper, integral, flat $\mathrm{Spec} (R)$-scheme of dimension $2$. Assume that the genus of the ...

**4**

votes

**2**answers

153 views

### First cohomological support locus of a fibration

I have a fibration $f \colon S \longrightarrow E$, where $S$ is a compact, complex surface of general type belonging to a special class I'm studying and $E$ is an elliptic curve.
I computed the ...

**4**

votes

**1**answer

133 views

### Castelnuovo's rationality criterion on singular surfaces?

Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...

**3**

votes

**0**answers

112 views

### Non-vanishing of $H^0$ on rational surface

Let $X$ be a smooth rational surface that admits a proper birational morphism to $\mathbb{P}^2$ and $D$ a simple normal crossing divisor on $X$ such that $K_X+D$ is big, is it true that ...

**0**

votes

**1**answer

128 views

### Linear system on an abelian surface

On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$.
For $g_a(C) > 2$, if ...

**1**

vote

**1**answer

145 views

### Intrinsically proving a singularity is rational

In general, how to prove a variety has rational singularities intrinsically? i.e., don't use the Artin's criterion concerning the exceptional locus. And what kinds of varieties have only rational ...

**2**

votes

**1**answer

217 views

### Surfaces singular along a curve

Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$.
What is ...

**0**

votes

**1**answer

306 views

### Kleiman's and Nakai-Moishezon's ampleness criteria

I would like to work out a simple example to understand the relation between Kleiman ampleness criterion and Nakai-Moishezon ampleness criterion.
Namely, let $X$ be the blow-up of $\mathbb{P}^{2}$ at ...

**4**

votes

**3**answers

304 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,\; ...

**7**

votes

**1**answer

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

**5**

votes

**1**answer

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

**3**

votes

**1**answer

213 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

197 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

116 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

229 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

176 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

150 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

126 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

381 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

171 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

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