# Questions tagged [algebraic-surfaces]

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.

156
questions with no upvoted or accepted answers

22
votes

0
answers

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

16
votes

0
answers

303
views

### A question on surfaces in $\mathbb{P}^4$

On surfaces in $\mathbb P^4$,Ellingsrud and Peskine has proved that
There exists an integer $d_0$ such that for any integer $d>d_0$,any smooth surface of degree $d$ in $\mathbb P^4$ is of ...

14
votes

0
answers

2k
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 ...

12
votes

0
answers

244
views

### Curves on rational surfaces and Lang's conjecture for M_g

There are a group of related conjectures associated to Lang's name - for this question I'll consider only the weakest one, namely that rational curves in a projective variety of general type are not ...

11
votes

0
answers

362
views

### Moduli stacks of algebraic surfaces—obstructions to existence?

The moduli stack $\mathcal{M}_g$ of genus $g$ curves is one of the deepest objects in mathematics, so of course you wonder to what extent you can construct an (Artin?) stack parametrising algebraic ...

11
votes

0
answers

303
views

### Surfaces with $q=2$ and generically finite Albanese map

I have a family of surfaces of general type $S$ with $q(S)=2$, and such that the Albanese map $$\alpha \colon S \longrightarrow A:=\mathrm{Alb}(S)$$ is generically finite of degree $n$. By a result of ...

11
votes

0
answers

510
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)$, ...

9
votes

0
answers

231
views

### How many characteristics is a random surface unirational in?

Suppose I have a surface $X$ defined over $\mathbb{Z}$. I am interested in the set $S_X$ of primes $p$ such that $X_{\overline{\mathbb{F}}_p}$ is unirational. If I choose a "random" surface ...

8
votes

0
answers

288
views

### Very ample divisors on blow ups of the projective plane

Let $X$ be $\mathbb{P}^2$ blown up at $k$ points in general position. The Picard group of $X$ is just $\mathbb{Z}^{k+1}$ and one knows the intersection product explicitly. If $D$ is an ample divisor, ...

7
votes

0
answers

201
views

### Global generation of $S^n \Omega_X$ for a fake projective plane

Let $X$ be a fake projective plane, namely, a compact complex surface with
$$p_g(X)=q(X)=0, \quad K_X^2=9$$ and $K_X$ ample.
Since $K_X^2=9 \chi(\mathcal{O}_X)$, Yau's celebrated proof of the Calabi ...

7
votes

0
answers

608
views

### nonvanishing higher cohomology of a very ample divisor

I am looking for smooth projective varieties $X$, with $h^i(X, \mathcal{O}_X) = 0$ for $i > 0$, with a very ample line bundle $L$ with some nonvanishing higher cohomology.
What is clear:
(1) Curves ...

6
votes

0
answers

171
views

### Lower bound for $h^0(X, \operatorname{Sym}^n \Omega_X)$

This is a weaker version of my previous (unanswered) question MO429574.
Let us start with a smooth, ample divisor $X$ in an abelian threefold $A$. It is a surface of general type such that $\Omega_X$ ...

6
votes

0
answers

171
views

### Weyl group and Galois action on cubic surfaces

Let $X$ be a smooth cubic surface over a field $k$. Denote by $\bar{k}$ the separable closure of $k$ and $\bar{X}:=X\times_{k}\bar{k}$. Then it is well know that there exists a homomorphism
$$
\phi:\...

6
votes

0
answers

179
views

### Arnold's theorem on small denominators and holomorphic tubular neighborhoods

By a theorem of Grauert, along a curve with negative self-intersection a complex surface is locally biholomorphic to a neighborhood of the zero section of that curve inside its normal bundle. For ...

6
votes

0
answers

206
views

### Can the base of an elliptically fibered Calabi-Yau threefold be an Enriques surface?

For this question, a Calabi-Yau manifold or variety of dimension $n$ is defined as a non-singular projective variety with trivial canonical bundle and $h^{i,0} = 0$ unless $i = 0$ or $i = n$.
If ...

6
votes

0
answers

161
views

### How does the "todd class operator" commute with Nakajima's q operators on Hilbert schemes of points on surfaces

Let $S$ be a surface, and $S^{[n]}$ the Hilbert scheme of $n$ points on $S$. One defines
$$
\mathbb H = \bigoplus_n H^*(S^{[n]}).
$$
One has Nakajima's operators $\mathfrak q_n(\alpha)$ (with $\alpha \...

6
votes

0
answers

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

6
votes

0
answers

663
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+\...

5
votes

0
answers

229
views

### Computation of $H^i(X, \, \operatorname{Sym}^n \Omega_X)$ for a surface of general type $(i=0, \, 1)$

Let $X$ be a smooth, complex surface of general type such that $\Omega_X$ is globally generated, and let $n \geq 2$ be a natural number.
Question. Is there a way to compute $h^i(X, \, \operatorname{...

5
votes

0
answers

309
views

### Deformations of a blow up

My question is related to this question, but I'm looking for something a bit more explicit.
Let $S$ be a smooth surface over $\mathbb C$, fix a point $s\in S$ and take the blow up $\beta \colon S' \...

5
votes

0
answers

230
views

### Map associated to linear system onto curve is morphism

In Mumford's first paper on Surfaces in char $p$ [1], part 2 Step (II), he wants to show that, given an indecomposable curve of canonical type $D$ on a smooth projective surface $F$ with $p_g(F)=0, ...

5
votes

0
answers

310
views

### Max Noether's theorem for algebraic surfaces

The well-known Max Noether's theorem for curves [see Arbarello-Cornalba-Griffiths-Harris Geometry of Algebraic Curves vol.1, p. 117] states that, if a smooth curve $C$ is non-hyperelliptic, then the ...

5
votes

0
answers

254
views

### How to prove a statement on weak del pezzo surface?

Let $X$ be a weak del pezzo surface($-K_X$ is nef and $K_X^2>0$) with $3\leq K_X^2\leq 5$. Let $H$ be a $1$-class on $X$ such that $H.C\geq 1$ for any $C\in I^{irr}(X)$. Then $2H+K_X$ is effective ...

5
votes

0
answers

173
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

0
answers

316
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

0
answers

324
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

0
answers

302
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

0
answers

95
views

### Fundamental groups of Hirzebruch's line arrangement varities

Let $\Lambda$ be a line arrangement in $\mathbb{P}^2$ and $n > 0$ an integer. Then Hirzebruch defined a smooth projective surface $H(\Lambda, n)$ as the minimal desingularization of a covering $Y \...

4
votes

0
answers

151
views

### Surface with $\Omega_X$ globally generated and singular Albanese image

This question is inspired by abx's comment to my previous question MO430933.
Let $X$ be a complex surface of general type, and denote by $$a \colon X \to \operatorname{Alb}(X)$$ the Albanese map of $X$...

4
votes

0
answers

206
views

### Reducible surface as a degeneration

I am interested in the following situation. If $S_1\cup_D S_2$ is a union of two irreducible smooth projective surfaces over $k=\overline{k}$(over $k=\mathbb{C}$ is enough, if it's relevant) glued ...

4
votes

0
answers

87
views

### Is there a way to calculate the Picard $\mathbb{F}_q$-number of an (rational or K3) elliptic surface?

Consider a finite field $\mathbb{F}_{q}$ and an elliptic surface
$$
\mathcal{E}\!: y^2 + a_1(t)xy + a_3(t)y = x^3 + a_2(t)x^2 + a_4(t)x + a_6,
$$
where $a_i(t) \in \mathbb{F}_{q}[t]$. Is there a way ...

4
votes

0
answers

286
views

### Del Pezzo surfaces and Picard--Lefschetz theory

Let $X$ be a del Pezzo surface, say of degree $3$ for concreteness. Then compare:
the $27$ $(-1)$-curves form a lattice $E_6\subseteq H^2(X;\mathbf{Z})$; the Weyl group is generated by the simple ...

4
votes

0
answers

169
views

### Fibered surfaces degenerating to Frobenius

Let $R$ be a DVR with algebraically closed, positive characteristic residue field $k$. Let $X\rightarrow Spec(R)$ and $C\rightarrow Spec(R)$ be smooth projective morphisms of relative dimension 2 and ...

4
votes

0
answers

143
views

### Is there a $\sum e_if_i=n$ in higher dimensions?

If $X\to Y$ is a finite map of connected proper algebraic curves over a field, then for any point $y\in Y$, the sum $\sum e_xf_x=n$ of ramification times inertia degrees over points $x$ mapping to $y$ ...

4
votes

0
answers

187
views

### Can Kummer surfaces coming from the same abelian surface be Cremona equivalent / isomorphic?

Assume we are given a simple abelian surface $A$ which has 2 non-equivalent principal polarizations $D_1$ and $D_2$ in $NS(A)$ (up to isomorphism), thus giving rise to two non-isomorphic smooth ...

4
votes

0
answers

203
views

### Finding Rational Curves on a Surface

Let the field of rational numbers be our base field $k$. I hope to find all rational curves on the following surface $S$ defined by $f$. You can find the motivation in the end.
$f= (x^2y^2)z^3 + (5x^...

4
votes

0
answers

172
views

### How close is $h^0(mD)$ to be a polynomial?

Let $X$ be a normal (or smooth if it helps) projective variety over an algebraically closed field $k$. Fix a Cartier divisor $D$: I am interested in knowing how $h^0(mD)$ behaves as $m$ varies.
At ...

4
votes

0
answers

164
views

### Are there methods to compute the induced action of Frobenius map on the Neron-Severi group of a supersingular abelian surface over a finite field?

Let $A$ be a supersingular abelian surface over a finite field $\mathbb{F}_q$. In that case the Neron-Severi group $NS(A\otimes\overline{\mathbb{F}_q})$ is the lattice of rank $6$. Are there methods ...

4
votes

0
answers

287
views

### What is the Artin invariant of an elliptic supersingular K3 surface?

Let $X$ be a supersingular K3 surface over an algebraically closed field $k$ of positive characteristic $\!p$. Artin proved in the paper https://eudml.org/doc/81948 that the determinant $\mathrm{disc}(...

4
votes

0
answers

175
views

### Is a Kummer surface unirational over a sufficiently large finite field of characteristic 2?

Let $A$ be a supersingular abelian surface over a sufficiently large finite field $\mathbb{F}_q$ of characteristic $2$ and let $K_A = A/(-1)$ be the Kummer surface. Shioda ("Kummer surfaces in ...

4
votes

0
answers

218
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

0
answers

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

4
votes

0
answers

272
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

0
answers

242
views

### Ample divisor of degree two on a blow-up of $\mathbb P^2$ at nine points

Let $\pi:S \rightarrow \mathbb P^2$ be a blow-up at nine points in general position.
I am finding an ample divisor $L$ on $S$ of degree two ($L^2=2$).
Since $Pic(S) = \mathbb Z h \oplus \mathbb Z e_1 \...

3
votes

0
answers

266
views

### A K3 cover over a Del Pezzo surface

Let $V \rightarrow \mathbb P^2$ be the blow-up at two distinct points. ($V$ is a Del Pezzo surface of degree 7.)
Choose a smooth curve $C$ from the linear system $|-2K_V|$ and let $S \rightarrow V$ be ...

3
votes

0
answers

296
views

### Articles of Casnati on algebraic varieties

I am attempting to track down online copies of the following two algebraic geometry articles.
Is there some repository where these might be found? If necessary I could use the first few pages of each ...

3
votes

0
answers

160
views

### Log canonical surface with an elliptic singularity

I would like to know if there is an example as follows:
$X$ is a log canonical surface and $x \in X$ is an elliptic singularity such that
The minimal resolution of $x$ is a circle of rational curves (...

3
votes

0
answers

219
views

### Historical proof of Leschetz Hyperplane Theorem

I browse in Phillip Griffiths' Slides
on historical development of
Hodge-theory and these include a sketch of the original approach
with Lefschetz used to study complex surfaces in his famous
...

3
votes

0
answers

247
views

### Singular del Pezzo surfaces and degeneration of root systems

Let $S$ be a smooth del Pezzo surface of degree $d$ and $K_S^*$ the anticanonical class. It is well known that the set of classes
$$R(S)=\{\alpha\in H^2(S,\mathbb Z)|\alpha^2=-2,\alpha\cdot K_S^*=0\},$...

3
votes

0
answers

62
views

### "Simplification" of the map constructed at the proof of Castelnuovo's contractibility theorem

I'm reading the proof of the Castelnuovo's contractibility criterion in Beauville's book(Theorem II.17), and I guess I could understand all its affirmations. But I still has one question.
For those ...