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.
169 questions with no upvoted or accepted answers
22
votes
0
answers
772
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 ...
- 6,253
16
votes
0
answers
315
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 ...
- 271
14
votes
0
answers
3k
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 ...
- 5,339
12
votes
0
answers
257
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 ...
- 5,958
11
votes
0
answers
380
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 ...
- 5,701
11
votes
0
answers
310
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 ...
- 66.3k
11
votes
0
answers
524
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)$, ...
- 66.3k
9
votes
0
answers
234
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 ...
- 3,625
8
votes
0
answers
756
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 ...
- 2,300
8
votes
0
answers
307
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, ...
- 3,031
7
votes
0
answers
204
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 ...
- 66.3k
6
votes
0
answers
175
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$ ...
- 66.3k
6
votes
0
answers
196
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:\...
- 481
6
votes
0
answers
185
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 ...
- 427
6
votes
0
answers
218
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 ...
- 515
6
votes
0
answers
168
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 \...
- 1,509
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
674
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,063
6
votes
0
answers
337
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 ...
- 246
5
votes
0
answers
145
views
Symmetric groups acting on rational surfaces
Let $X$ be a complex projective rational surface. Is there an upper bound on $n\in\mathbb{N}$ such that $S_n\subset \text{Aut}(X)$? Here $S_n$ is the symmetric group on $n$ elements.
- 193
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{...
- 66.3k
5
votes
0
answers
218
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 ...
- 71
5
votes
0
answers
347
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' \...
- 1,054
5
votes
0
answers
243
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, ...
- 61
5
votes
0
answers
326
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 ...
- 66.3k
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 ...
- 1,982
5
votes
0
answers
177
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-...
- 1,833
5
votes
0
answers
317
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 ...
- 66.3k
5
votes
0
answers
310
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
100
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 \...
- 3,625
4
votes
0
answers
160
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$...
- 66.3k
4
votes
0
answers
264
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\},$...
- 1,803
4
votes
0
answers
88
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 ...
- 1,833
4
votes
0
answers
299
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 ...
- 5,701
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 ...
- 599
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$ ...
- 5,701
4
votes
0
answers
198
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 ...
- 1,025
4
votes
0
answers
217
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^...
- 417
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 ...
- 625
4
votes
0
answers
173
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 ...
- 1,833
4
votes
0
answers
302
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}(...
- 1,833
4
votes
0
answers
176
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 ...
- 1,833
4
votes
0
answers
223
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,126
4
votes
0
answers
218
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,722
4
votes
0
answers
432
views
When does Bogomolov's inequality become an equality?
The Bogomolov theorem says if $V$ is a rank 2 vector bundle on an algebraic 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....
- 41
4
votes
0
answers
275
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 ...
- 21.3k
3
votes
0
answers
264
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 \...
- 1,841
3
votes
0
answers
285
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 ...
- 1,841
3
votes
0
answers
176
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 (...
- 393
3
votes
0
answers
221
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
...
- 6,028