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.
443
questions
8
votes
1
answer
374
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 ...
- 83
3
votes
1
answer
275
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 ...
- 13.7k
1
vote
1
answer
179
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 ...
- 13.7k
0
votes
1
answer
150
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 ...
- 823
4
votes
2
answers
183
views
First cohomological support locus of a fibration
I have a fibration $f \colon S \longrightarrow E$, where $S$ is a compact, complex surface of general type belonging to a special class I'm studying and $E$ is an elliptic curve.
I computed the ...
- 65.1k
5
votes
1
answer
383
views
Castelnuovo's rationality criterion on singular surfaces?
Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...
- 2,205
1
vote
1
answer
254
views
Linear system on an abelian surface
On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$.
For $g_a(C) > 2$, if $|C|...
- 453
1
vote
1
answer
319
views
Intrinsically proving a singularity is rational
In general, how to prove a variety has rational singularities intrinsically? i.e., don't use the Artin's criterion concerning the exceptional locus. And what kinds of varieties have only rational ...
- 11
2
votes
1
answer
376
views
Surfaces singular along a curve
Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$.
What is ...
user47036
3
votes
1
answer
3k
views
Kleiman's and Nakai-Moishezon's ampleness criteria
I would like to work out a simple example to understand the relation between Kleiman ampleness criterion and Nakai-Moishezon ampleness criterion.
Namely, let $X$ be the blow-up of $\mathbb{P}^{2}$ at ...
user47036
6
votes
3
answers
1k
views
Automorphisms of a smooth quadric surface $Q\subset\mathbb{P}^{3}$
Let $Q\cong\mathbb{P^{1}_{1}}\times\mathbb{P^{1}_{2}}\subset\mathbb{P}^{3}$ be a smooth quadric surface. We have the following two actions on $Q$:
$$S_2\times Q\rightarrow Q,\; (\sigma,(x,y))\mapsto\...
user47036
9
votes
1
answer
1k
views
Finite morphisms to projective space
Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism.
Let $d^\prime ...
- 91
5
votes
1
answer
300
views
Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?
Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$.
We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...
- 761
5
votes
1
answer
298
views
K3 surface with $D_{14}$ singular fiber
Let $X$ be an elliptic K3 surface with $D_{14}$ singular fiber. Do you know an explicit equation for such $X$? Also, how many disjoint sections such fibration admits? Any reference would be greatly ...
- 73
1
vote
1
answer
872
views
On the dualizing sheaf of a curve
Let $X$ be a smooth projective surface in $\mathbb{P}^n$ and $C$ be an effective curve. I know that the dualizing sheaf, $\omega_C$ of $C$ is $\mathcal{E}xt^{n-1}_{\mathbb{P}^n}(\mathcal{O}_C,K_{\...
- 823
1
vote
1
answer
309
views
A question on very ample line bundle on smooth projective surfaces
I had been reading a couple of texts by J.P. Demailly, one of them titled "Effective bounds for very ample line bundles". In the introduction the author mentions a result due to I. Reider (stated in "...
- 823
5
votes
1
answer
493
views
Torsion of the Picard group for surfaces isogenous to a product
We say that a complex surface $S$ is isogenous to an (unmixed) product if there exists a finite group $G$, acting faithfully on
two smooth projective curves $C_1$ and $C_2$ and freely on their
product ...
- 65.1k
4
votes
1
answer
381
views
Blowing up rational singularities
Let $X$ be a projective surface embedded into $\mathbb{P}^n_{\mathbb{C}}$ having at most rational singularities. Let $\tilde{X} \to X$ be the minimal resolution of $X$. Is it possible to embed $\tilde{...
- 1,949
2
votes
1
answer
323
views
Locally trivial deformations of surfaces with quotient singularities
Let us consider the surface $\mathbb{A}^{2}/\mu_{6}$ where the action is given by
$$
\begin{array}{ccc}
\mu_{6}\times\mathbb{A}^{2} & \longrightarrow & \mathbb{A}^{2}\\
(\epsilon,x_{1},x_{2}) ...
- 8,852
2
votes
1
answer
195
views
Weyl group of a K3 surface
I am wondering wether the action of the Weyl group $W_X$ of a K3 surface $X$ is transitive on the sets of curves of fixed genus.
Suppose $W_X$ is non-trivial. Given two curves $C,C'$ of genus $g\...
- 761
8
votes
1
answer
727
views
Why can you deform singularities in two dimensions but not in higher dimensions?
I've been trying to read this paper to understand deformations of surface quotient singularities. I'm particularly interested in when one can deform certain cyclic quotient singularities into other ...
- 2,890
0
votes
0
answers
161
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)...
- 109
0
votes
0
answers
247
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 ...
- 3,362
3
votes
2
answers
279
views
Points of a linear system on a cubic surface
Let $S$ be a generic cubic surface and let $C$ be its intersection with a generic quadric surface.
In the linear system of hyperplane sections of $S$, how many points represent the planes $H$ tangent ...
- 453
1
vote
1
answer
307
views
Smoothness of the quotient surface by an involution with nice fixed locus
Let $X$ be a (smooth complex algebraic) surface. Suppose $\theta$ is an automorphism of order $2$ of $X$, such that its fixed locus is a disjoint union of smooth curves. I am trying to prove that the ...
- 761
4
votes
1
answer
467
views
Kodaira classification and the McKay correspondence
Kodaira's table of singular fibers has a singular fiber
for each of $\tilde{A}_n$, $\tilde{D}_n$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$; these are chains or cycles of (-2)-curves connected ...
3
votes
1
answer
930
views
Do there exist double points on an algebraic surface in $\mathbb{P}_{\mathbb{C}}^3$ that are not rational?
The title explains it all.
I'm familiar with the du val singularities on surfaces, also known as rational double points. In http://homepages.warwick.ac.uk/~masda/surf/more/DuVal.pdf, 2.1, they are ...
- 459
0
votes
0
answers
114
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|$, ...
- 3,717
2
votes
2
answers
1k
views
singularities of the dual variety of a surface
I am looking for a proof/reference of the following simple fact, which I think it holds true.
Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...
- 3,717
2
votes
1
answer
587
views
Dual of a Complex 2-Torus
Is a complex torus $A$ of dimension 2 always isomorphic to its dual torus (i.e. the torus obtained by taking the dual lattice), or are there counterexamples to this?
- 761
5
votes
2
answers
451
views
Reference for Automorphisms of K3 surfaces
I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?
- 761
2
votes
1
answer
304
views
Complete Linear system on Del Pezzo surfaces
Is there always a reducible curve (EDIT: with exactly two irreducible components intersecting in at least 2 points) in a complete linear system (EDIT: of dimension at least 2 with curves of genus at ...
- 453
2
votes
1
answer
667
views
On complex surfaces with Kodaira dimension 1
Let $S$ be a complex surface of Kodaira dimension $1$ and $\pi_{1}(S) \neq 1 $.
What is known on possible diffeomorphism types of such $complex$ surfaces with a given fundamental group? Is it true ...
- 73
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+\...
- 4,761
10
votes
2
answers
823
views
Uniformization of Kodaira fibered surfaces
Consider a Kodaira fibration. i.e. a smooth non-isotrivial fibration $X\rightarrow C$ with $X$ a smooth complex surface and $C$ a smooth complex curve, such that both the genus of $C$ and genus of the ...
- 2,181
3
votes
0
answers
408
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....
- 31
8
votes
1
answer
686
views
A question on an elliptic fibration of the Enriques surface
Let $S$ be an Enriques surface over complex numbers. It is known that $S$ admits an elliptic fibration over $\mathbb{P}^1$ with $12$ nodal singular fibers and $2$ double fibers. How can I see this ...
- 1,653
16
votes
1
answer
4k
views
what is the cyclic cover trick?
What do people mean by the "cyclic cover trick"? I have found this expression a couple of times with no complete explanation, both talking about curves and surfaces...
- 3,717
3
votes
0
answers
292
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 ...
- 43
3
votes
1
answer
522
views
A question on existence of degeneration of Enriques surface.
Let $S$ be an Enriques surface, i.e. a quotient of a K3 surface by a free involution. Enriques surfaces arise as elliptic fibrations $S\rightarrow \mathbb{P}^1$ with 12 singular fibers and 2 double ...
- 1,653
3
votes
0
answers
262
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 ...
- 1,653
3
votes
1
answer
172
views
What can a quartic surface in $\mathbb{P}^3$ with an ordinary quadruple point look like?
All varieties will be projective and over $\mathbb{C}$.
If $S$ is any surface in $\mathbb{P}^3$ of degree 2 that posseses an ordinary double point, it follows easily that $S$ is projectively ...
- 459
6
votes
3
answers
2k
views
Surfaces ruled over elliptic curves
Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve.
Suppose $E$ is an elliptic curve ...
- 105
4
votes
1
answer
319
views
Basics of minimal Elliptic Surfaces [following Beauville]
I am reading Beauville's chapter IX on Elliptic surfaces.
Let $S$ be a minimal elliptic surface with $\kappa=1$ and $p:S\rightarrow C$ be the elliptic fibration.
We know $K^2=0$. Suppose the $m$-...
- 105
5
votes
1
answer
314
views
Embeddings of smooth projective surfaces
Let $X$ be a smooth projective surface not contained in $\mathbb{P}^3$.
Is there any known condition on $X$ under which I can embed it into $\mathbb{P}^3$ such that the its image contains at most ...
- 2,022
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 ...
- 236
4
votes
2
answers
627
views
Existence of smooth surfaces containing a curve
Let $C$ be a curve in $\mathbb{P}^3$, possibly non-reduced. Assume, there exists a smooth surface in $\mathbb{P}^3$ containing $C$. Is it true that for $d \gg 0$, a generic element of $I_d(C)$ defines ...
- 2,022
3
votes
3
answers
322
views
families of curves on surfaces which are products of curves
Let $C$ be a projective curve (over an algebraically closed field) of genus $\geq 1$. Let $S = C \times C$. By normalisation we have a ramified cover $C \to \mathbb{P}^1$ and so a map $p: S \to \...
- 4,060
8
votes
1
answer
2k
views
Contracting a curve of negative self-intersection on a surface
It is easy to show using birational factorization that the only curves on a surface which can be contracted to get an algebraic, smooth surface are smooth $(-1)$-curves. Furthermore, I know of ...
- 1,493
3
votes
2
answers
436
views
A classification of rational surfaces with effective $K$
I would like to know if there can be some kind of classification of normal rational surfaces with Gorenstein singularities, such that their canonical divisor is effective.
Additional question. Are ...
- 14k