The algebraic-surfaces tag has no usage guidance.

**2**

votes

**1**answer

183 views

### On surfaces with $p_g=0$, $q=1$, and $K^2=-3$ [closed]

I am having a trouble in understanding the Example 4.7 (pages 65-66), the genus two fibrations with $p_g=0$, $q=1$, and $K^2 = -3$, in "Surfaces fibrées en courbes de genre deux", Lecture Notes in ...

**10**

votes

**1**answer

202 views

### Euler Characteristic of Real Algebraic Surfaces

Given a (compact if needed) real smooth surface $V(f)$ defined by $f\in \mathbb{R}[X,Y,Z]$, in particular it is oriented. Is there a formula which gives the Euler character of $V(f)$ ?
Thanks.

**0**

votes

**0**answers

27 views

### How to construct muitiple fiber of elliptic surface

We have kodaira's classification of singular fiber of elliptic surface, my question is do we have specific example correspond to each of them(Yes, I need everyone of them). Is there any ...

**3**

votes

**3**answers

308 views

### Does there exist a holomorphic fibration of genus two over $\mathbb{P}^{1}$ with $7$ nodal singularities?

This is a problem about the holomorphic fibration on a complex manifold.
Does there exist a holomorphic fibration of genus two over $\mathbb{CP}^{1}$ with 7 nodal singularities?
If you are aware of ...

**18**

votes

**1**answer

331 views

### Del Pezzo surfaces and homotopy groups of spheres

A (complex) del Pezzo surface is a smooth projective complex surface with ample anticanonical line bundle. Such surface has a degree defined as the self intersection of the canonical divisor. It is ...

**3**

votes

**0**answers

127 views

### Does the Bombieri-Lang conjecture imply severe restrictions on rational points on twists of hyperelliptic curves?

According to Silverman, the Bombieri-Lang conjecture implies
that the rational points of surface on general type lie on
finite set of curves, except for a finite set of points.
Let $f$ be univariate ...

**3**

votes

**1**answer

147 views

### What is the type of the surfaces $x^5 - y^5 + z^2 + x=0$ and $x^5 - y^5 + z^2 + x+1=0$?

Crossposted from MSE.
I am interested what is the type of the surfaces over the
rationals
$$ x^5 - y^5 + z^2 + x=0$$
and
$$ x^5 - y^5 + z^2 + x+1=0$$
Magma's ...

**1**

vote

**0**answers

98 views

### How to check with a CAS if a surface is of general type?

The main question is:
How to check with a CAS if a surface is of general type?
Magma's function KodairaEnriquesType is close to this,
but doesn't always work.
...

**3**

votes

**2**answers

268 views

### Is it normal surface of general type to have infinitely many positive rank elliptic curves?

Cross-posted from MSE.
I am not good at algebraic geometry and almost surely am
misunderstanding something.
Got an alleged argument against Bombieri-Lang conjecture and
would like to know what the ...

**8**

votes

**1**answer

186 views

### Automorphisms of del Pezzo surfaces

Let $S$ be a del Pezzo surface of degree six over $\mathbb{C}$. Then $S$ is the blow-up of $\mathbb{P}^2$ in three general points $p_1,p_2,p_3$.
Is it true that its automorphism group is ...

**1**

vote

**1**answer

148 views

### Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve.
...

**1**

vote

**1**answer

158 views

### Göttsche's formula for non-compact complex surfaces?

Is the Göttsche's formula (Eq (2.1) of this paper) expressing the Poincare polynomial (or the Euler char version) of the Hilbert scheme of points on a projective surface valid for non-compact complex ...

**3**

votes

**1**answer

205 views

### Automorphisms of surfaces

Let $X$ be a projective surface with a morphism $f:X\rightarrow\mathbb{P}^1$. Assume that $f^{-1}(t)\cong\mathbb{P}^1$ for any $t\neq 0$ but $f^{-1}(0)$ is the union of two $\mathbb{P}^1$'s ...

**6**

votes

**1**answer

196 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**6**

votes

**0**answers

104 views

### Endomorphism algebras of abelian surfaces with real multiplication

Given an abelian variety $A$ over a field $F$, one may consider the ring of endomorphisms $End(A)$, the ring of $F$-rational maps $A \to A$ respecting the group structure on $A$. We may also consider ...

**2**

votes

**0**answers

179 views

### On Abelian Galois Covering

Consider a complete quadrangle $\Delta$ in $\mathbb{CP}^2$ (i.e. the union of the six
lines through points $P_1$, $P_2$, $P_3$ and $P_4$ in general position). Let $f: Y := \hat{\mathbb{CP}^2}(P_1, ...

**3**

votes

**1**answer

125 views

### Enriques classification of algebraic surfaces in characteristic zero

I am searching for a reference about the classification of algebraic surfaces over an arbitrary algebraically closed field of characteristic zero. In the 1949 book "le superficie algebriche" by ...

**0**

votes

**0**answers

59 views

### Is a general extension of general stable sheaves on $\mathbb P^2$ stable?

Theorem 2 in this paper by Bhosle gives a nice condition on slopes for when a general extension of general stable bundles on curves is stable. Does anyone know whether there is an analogous result for ...

**1**

vote

**0**answers

72 views

### Real algebraic surface

Let $f(u,v,z)\in \mathbb{Q}[u,v,z]$ be a polynomial in three variables such that $X_{\mathbb{R}}\subset \mathbb{R}^{3} $ (the associated surface of real solution) is smooth. Suppose that the set of ...

**0**

votes

**1**answer

128 views

### Why does this vector bundle on the surface sit in this exact sequence?

Let $X$ be a K3 surface. Let $E$ be a semistable rank 3 vector bundle. Now suppose $0 = E_0\subset E_1\cdots\subset E_s=E$ be the Harder-Narasimhan filtration. Suppose $E_1$ is $\mu$-stable and rank ...

**5**

votes

**0**answers

135 views

### Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...

**1**

vote

**0**answers

160 views

### What is the co-kernel of the morphism of vector bundles?

Let $X$ be a surface, and $i:C\subset X$ be a smooth curve. Let $A$ be a line bundle on $C$, and $E$ be a vector bundle of rank $r$ on $X$.
Suppose there is a surjection: $E\longrightarrow ...

**19**

votes

**0**answers

550 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

195 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

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

**7**

votes

**1**answer

294 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

209 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

103 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

**1**answer

167 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

106 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

324 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

217 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

176 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

65 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

450 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

283 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

104 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

200 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

226 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

221 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

267 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

104 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

207 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

142 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

161 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

144 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

229 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

151 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

118 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

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