An algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold.

learn more… | top users | synonyms

24
votes
0answers
637 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 Enriques-...
21
votes
0answers
582 views

bound on the genus of a fiber of the Albanese map of a surface with $h^1({\mathcal O})=1$?

This is maybe more an open problem than a question, since I have seriously thought about it and asked several people working on algebraic surfaces with no success. I hope somebody here can ...
11
votes
0answers
1k 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 ...
10
votes
0answers
274 views

Singular curve on an abelian surface

Let $C_2$ be a smooth genus $2$ curve and $J(C_2)$ its Jacobian. It is well known that the blow-up of $J(C_2)$ at the origin $o$ is isomorphic to the second symmetric product $\textrm{Sym}^2(C_2)$, ...
6
votes
0answers
532 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 m_1^2+m_2^2+\...
6
votes
0answers
191 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 ...
5
votes
0answers
91 views

Is a Kummer surface over an finite field $\mathbb{F}_q$ supersingular iff $\mathbb{F}_q$-unirational?

Let $A$ be an abelian surface over an finite field $\mathbb{F}_q$. In particular, I am interested in the case when $A$ is a Jacobian variety. Is the Kummer surface $K_A/\mathbb{F}_q$ Shioda-...
5
votes
0answers
149 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 $...
5
votes
0answers
229 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 ...
5
votes
0answers
175 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 ...
4
votes
0answers
120 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 ...
4
votes
0answers
122 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 ...
3
votes
0answers
118 views

What is the integral cohomology of an Enriques surface over a finite field?

Probably this is well-known, but I could not find it. I would like to understand the integral $2$-adic etale cohomology of an Enriques surface over $\mathbb{F}_q$ in dimension 2: $H_{et}^2(X, \mathbb{...
3
votes
0answers
157 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
0answers
110 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)$?
3
votes
0answers
229 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 ...
3
votes
0answers
131 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
0answers
220 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 ...
3
votes
0answers
194 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 ...
3
votes
0answers
222 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 ...
3
votes
0answers
301 views

Does there exist a non-isotrivial fibration of genus two over P^1 with only 3 singular fibres of general type surfaces?

We will work over the complex numbers C. This question is based on Beauville's article : there exist a non-isotrivial fibration of genus 2 over P^1 with only 3 singular fibres. but not know for ...
2
votes
0answers
77 views

What is $\mathrm{Num}(X)$ for the canonical cover $X$ of a bielliptic surface $S$?

A bielliptic surface $S$ is a smooth projective complex surface of Kodaira dimension 0 with $h^1(\mathcal O_S)=1$ and $h^2(\mathcal O_S)=0$. It is well known that $S=(A\times B)/G$, where $G$ is a ...
2
votes
0answers
99 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 ...
2
votes
0answers
187 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, \...
2
votes
0answers
70 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 ...
2
votes
0answers
116 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
0answers
149 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)$ holds....
2
votes
0answers
172 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 ...
2
votes
0answers
401 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 $\...
2
votes
0answers
331 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
0answers
377 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
0answers
224 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 ...
2
votes
0answers
157 views

selfintersection of curves inside

What are all the possibilities of the self intersection number of a smooth curve inside an Enriques surface?
2
votes
0answers
212 views

On base locus of canoncal linear system on surfaces

Let $S$ be a minimal surface of general type over $\mathbb{C}$ with $p_g=h^0(K_S)>1$. As a convention, we can write $|K_S|=|M|+F$ such that $F$ is the fixed part. We know that $K_SM \le K_S^2$. ...
2
votes
0answers
255 views

quasi-trigonal curves

I have read in the literature about quasi-trigonal curves. Such a curve C is a hyperelliptic curve X with two points p,q identified (basically a pinch). They seem to be pretty important in the theory ...
1
vote
0answers
129 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
0answers
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. ...
1
vote
0answers
167 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 i_*A\...
1
vote
0answers
145 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?.
1
vote
0answers
174 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 ...
1
vote
0answers
243 views

Singular conics on certain algebraic surfaces

Let S be an algebraic surface in 3-dimensional complex projective space. Suppose that: The degree of S is either 5 or 6; The generic plane section of S is a curve of genus 1. (Equivalently, the ...
0
votes
0answers
223 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 ...
0
votes
0answers
132 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 $h^i(S,\mathcal{O}_S)=dimH^i(S,\mathcal{O}_S)...
0
votes
0answers
178 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 ...
0
votes
0answers
85 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|$, ...