# Tagged Questions

The algebraic-surfaces tag has no usage guidance.

**5**

votes

**1**answer

226 views

+50

### When is a general sheaf (on the projective plane) globally generated?

Let $v$ be a chern character on $\mathbb P^2$ so that the moduli of sheaves of chern character $v$ is non-empty of the expected dimension. When is it true that the general sheaf in moduli is globally ...

**4**

votes

**0**answers

110 views

### Obstruction to lifting of global sections of invertible sheaves

Are there known examples of smooth projective hypersurface in $\mathbb{P}^3$, say $X$ and an invertible sheaf $L$ on $X$ with $H^0(X,L)>0$ satisfying the following property: There exists an ...

**2**

votes

**0**answers

96 views

### Elliptic fibration arising from a higher genus linear system

Let $H$ be a very ample linear system on a smooth compact complex surface $X$ whose Kodaira dimension is $\geq 0$. A general element of $H$ is smooth and has genus $\geq 2$.
Let $L\subset H$ be a ...

**1**

vote

**0**answers

120 views

### Gromov-Witten invariants for arithmetic surfaces counting sections passing through points

Suppose we are given an arithmetic surface, $X\to \text{Spec}\mathbb{Z}[1/N]$ smooth and quasi-projective, and a finite set of closed points all in different vertical fibers.
Can we count the number ...

**1**

vote

**1**answer

126 views

### Elliptic fibrations with few singular fibers

It is known that non-isotrivial fibrations of genus $g>0$ curves over the projective line have a bunch of singular fibers. There are at least three of them.
It is not difficult to prove that an ...

**2**

votes

**1**answer

116 views

### Pencils in very ample linear systems without curve in its base locus

If $L$ is a very ample line bundle over a smooth complex projective surface $X$ and $s_0, \dots, s_n$ is a basis of the global sections of $L$, is there some choice of $i,j$ such that the pencil ...

**2**

votes

**3**answers

168 views

### Can an ample class be written as a sum of two classes which are not even nef?

Let $X$ be a smooth projective surface over $\mathbb{C}$. We know that nef line bundles form a closed convex cone whose interior is the ample cone. My doubt is the other direction, is it possible to ...

**2**

votes

**2**answers

222 views

### Globally generated, nef and big line bundles which are not ample on a K3 surface

Let $X$ be a K3 surface over $\mathbb{C}$. On a $K3$ surface we know that $Pic(X)\cong Num(X)\cong NS(X)$. A class $L\in Num(X)$ is called movable if $L.C\geq 0$ for every curve $C$ in $X$. It just ...

**2**

votes

**1**answer

120 views

### Relation between curves in a complete linear system contained in another

Let $X$ be a projective surface over $\mathbb{C}$, let $x\in X$ be the only singular point of $X$. Let $L$ be an ample line bundle on $X$. Consider the blow up $Y$ of $X$ along $x$, ...

**3**

votes

**2**answers

120 views

### Quartic symmetroids and 10-points sets

A quartic surface in $\mathbb{P}^3$ is said to be a "symmetroid" if its equation is obtained as the determinant of a 4x4 symmetric matrix of linear forms. It is well known that the general symmetroid ...

**4**

votes

**1**answer

148 views

### Self intersection and deformations

Suppose I have a smooth projective surface $S$ and a curve $C\subset S$. The self-intersection of $C$ is by definition the degree of the restriction to $C$ of the normal bundle of $C$ inside $S$.
By ...

**2**

votes

**1**answer

91 views

### Dimension of Quot scheme of zero dimensional quotients of a locally free sheaf

Given a locally free sheaf $E$ of rank $r$ on a (smooth, projective, algebraic) surface, I want to know the dimension of the scheme parametrizing the zero-dimensional (meaning they have zero ...

**5**

votes

**1**answer

238 views

### A question on young persons guide to canonical singularities

In the Corollary at pag 407 of Young persons guide to canonical singularities there is a formula to compute the contributions $c_q(D)$ to Riemann-Roch of a divisor $D$ passing through a point $q\in ...

**2**

votes

**1**answer

203 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

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

**3**

votes

**3**answers

318 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

350 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

145 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

164 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

102 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

275 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

223 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

155 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

160 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

215 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

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

**7**

votes

**1**answer

142 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

184 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

127 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

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

**2**

votes

**1**answer

119 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

143 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

144 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

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

**22**

votes

**0**answers

597 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

198 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

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

**8**

votes

**1**answer

334 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

220 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

179 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

112 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

350 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

222 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

186 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

67 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

501 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

286 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

109 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

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