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.
442
questions
2
votes
0
answers
184
views
rational curves over K3 surfaces over $\mathbb{Q}$
There are many partial results towards the following conjecture:
Every projective K3 surface over an algebraically closed field contains infinitely many integral rational curves.
My question is: is ...
3
votes
1
answer
129
views
du Val singularities in Magma
Is there any way to decide whether a singularity of a surface embedded in $\mathbb{P}^5(\mathbb{Q})$ is a du Val/rational double point in Magma?
Any help is much appreciated.
8
votes
3
answers
1k
views
Seeking concrete examples of "generic" elliptic fibrations of K3 surfaces
For me a K3 surface will be a smooth complex projective variety of dimension 2 that is simply-connected and has trivial canonical bundle. Given a K3 surface $X$, an elliptic fibration $\pi \colon X \...
6
votes
0
answers
169
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:\...
5
votes
1
answer
332
views
K3 surfaces with small Picard number and symmetry
I am looking for examples of K3 surfaces that have a low Picard rank and at least one holomorphic involution.
Here, low is no mathematically precise concept.
I want to do computations with Monad ...
1
vote
1
answer
218
views
Characterization of an Abelian surface
I have a smooth projective surface $X$, and two flat family of elliptic curves on it: $E_{1,t}$ and $E_{2,t}$, (I don't know what either $t$ runs through!) such that
(1), for any i={1,2}, the closed ...
2
votes
0
answers
263
views
Rational points on surfaces
Let $k$ be a field of characteristic zero. In the affine space $\mathbb{A}_{x,y,t}^3$ consider a surface $S$ of the form
$$
S = \{a_0(t)x^2+a_1(t)xy+a_2(t)x+a_3(t)y^2+a_4(t)y+a_5(t) = 0\}
$$
where $...
9
votes
1
answer
326
views
Does $X\times Y$ have the resolution property if both $X$ and $Y$ have?
We say a complex manifold $X$ has the resolution property if every coherent sheaf $\mathcal{M}$ on $X$ admits a surjection $\mathcal{E}\twoheadrightarrow \mathcal{M}$ by some finite rank locally free ...
3
votes
1
answer
610
views
Cohomology of singular projective cubic surface
Let $X\subset \mathbb{P}_{\mathbb{C}}^3$ be a projective singular cubic surface with two singular points. Is the rationalcohomology of such objects known? As an example of the type of surfaces I'd be ...
3
votes
2
answers
344
views
Abelian varieties corresponding to Hodge substructures
In an exercise of Voisin book, says:
Let $j:C\rightarrow S$ the inclusion of a smooth curve on a smooth connected projective surface. Set
$H=ker(j_*:H^1(C,\mathbb{Z})\rightarrow H^3(S,\mathbb{Z}))$.
...
3
votes
0
answers
291
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 ...
6
votes
2
answers
380
views
Nef divisors on surfaces
Let $X$ be a smooth projective rational surface over an algebraically closed field of characteristic zero, and $D$ a divisor on $X$ such that $D$ is nef and $D^2 = 0$ with the following properties:
$...
4
votes
2
answers
196
views
Newton polygon notation for algebraic surface singularities
In various sources (e.g. here, Theorem 1.1 and here, Theorem 2.1 (3)), a certain notation which uses a fraction followed by a tuple is used to describe surface singularities. For example, the first ...
2
votes
1
answer
425
views
Behavior of canonical divisor under a finite group quotient
Given a smooth algebraic surface $X$, and a group $G$ acting on it and letting $Y := X / G$, how can we compute $K_Y^2$ from from $K_X^2$?
Current progress: In Borisov and Fatighenti - New explicit ...
11
votes
2
answers
2k
views
Motivation for birational geometry
I'm interested in how do people that work in birational geometry view their field — specifically, what are the kinds of geometric questions (as opposed to commutative-algebraic questions) that ...
1
vote
0
answers
152
views
Rational classes of $(-2)$-curves in a minimal surface of general type
Let $X$ be a minimal surface of general type over $\mathbb{C}$. One can show that if for any set of $(-2)$-curves $C_1,\cdots,C_l$ on $X$, there exists $k$, $1\le k\le l$ such that $$\sum_{i=1}^k\...
0
votes
1
answer
253
views
Pseudoeffective divisors on surfaces
Consider a minimal smooth conic bundle $S$ of dimension two. Assume that there are two curves $C,F$ on $S$ such that $C^2 < 0$ and $F^2 = 0$. Let $D$ be a pseudoeffective divisor on $S$ such that $...
1
vote
0
answers
75
views
Elliptic fibrations on some Kummer surface in characteristic $2$
In the question I ask about one elliptic fibration on the surface
$$
K\!: y^2 + x_1x_2y = (x_1x_2)^2(x_1 + x_2 + 1) + (x_1 + x_2)^2.
$$
over a finite field $\mathbb{F}_q$ of characteristic $2$ such ...
3
votes
0
answers
157
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 (...
2
votes
0
answers
110
views
Semi-stable sheaves on quadric surface
https://downloads.hindawi.com/journals/tswj/2014/346126.pdf
In this paper, Stable sheaves on a smooth quadric surface with linear Hilbert bipolynomials(E. Ballico and S.Huh), I have a question.
On the ...
3
votes
1
answer
437
views
When does the Hirzebruch surface have a nef anticanonical divisor?
Let $\mathcal H_r=\mathbb P (\mathcal O_{\mathbb P^1}\oplus \mathcal O_{\mathbb P^1}(r))$ be a Hirzebruch surface for some $r\in\mathbb Z$. As a toric variety, the fan structure is spanned by $(-1,0)$,...
1
vote
0
answers
297
views
Rational and rationally chain connected surfaces
A projective variety $X$ over the complex numbers is rationally connected if two general points of $X$ can be joined by a rational curve in $X$, and rationally chain connected if two general points of ...
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
...
6
votes
2
answers
423
views
Representability of flat cohomology by a group scheme
In his paper "Supersingular K3 surfaces", Artin states the following theorem (Theorem 3.1) without proof:
Let $\pi:X \to S = \mathrm{Spec}(k)$ be a smooth proper surface with $k$ an ...
4
votes
1
answer
189
views
Jacobians $\mathbb{F}_q$-isogenous to the direct square of an ordinary elliptic $\mathbb{F}_q$-curve of $j$-invariant $0$
Consider an ordinary elliptic curve $E_b\!: y^2 = x^3 + b$, of $j$-invariant $0$ over a finite field $\mathbb{F}_q$, such that $\sqrt{b} \not\in \mathbb{F}_q$.
Question. What are some examples of ...
5
votes
1
answer
500
views
Volume of a divisor on a smooth projective surface
Let $X$ be a smooth projective surface (over complex numbers). Let $D$ be a divisor on $X$. Then we know that its volume is defined as $$\text{vol}_X(D):= \lim \sup_{m \rightarrow \infty} \frac{h^0(X,...
3
votes
0
answers
244
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\},$...
2
votes
0
answers
542
views
description of very ample bundle of Hirzebruch surface
I learned some basic properties of Hirzebruch surface mainly from Vakil's notes "the rising sea", section 20.2.9. the Hirzebruch surface is defined as $\mathbb{F}_n:=\operatorname{Proj} (\...
1
vote
0
answers
133
views
Surfaces of general type with $h^1(-K_X)\neq 0$
By a result of Ekedahl, in characteristic 2 one may have minimal surfaces of general type such that $h^1(X,-K_X)\neq 0$ and $X$ is birational to an inseparable double cover of a rational surface. How ...
3
votes
0
answers
61
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 ...
1
vote
1
answer
70
views
Intersection of the tautological bundle with a fiber of a geometrically ruled surface
I'm reading Beauville's book, Complex Algebraic Surfaces, and I'm trying to understand an affirmation in a proposition that characterizes the Picard group of a geometrically ruled surface.
First, let $...
9
votes
0
answers
230
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
votes
0
answers
241
views
Is the surface in $\mathbb{A}^3$ rational?
Consider the surface
$$
(u_1^6 + 1)w^3 = (u_2^6 + 1) \subset \mathbb{A}^3
$$
over an algebraically closed field of characteristic $p \neq 2,3$. Is it rational, i.e., is there its proper ...
5
votes
2
answers
247
views
Surface of type $(2,2)$ on the Segre cubic scroll $\mathbb{P}^1 \times \mathbb{P}^2 \subset \mathbb{P}^5$
Let $S=\mathbb{P}^1 \times \mathbb{P}^2 \subset \mathbb{P}^5$ embedded with the Segre embedding given by $\mathcal{O}_S(1,1)$.
If we intersect $S$ with a general smooth quadric $Q \subset \mathbb{P}^5$...
2
votes
1
answer
343
views
Is the positive part of the Zariski decomposition of a big $\mathbb{R}$-divisor big?
I can't understand why the positive part of the Zariski decomposition of a big class is itself big. More concretely:
let $X$ be a smooth projective surface over $\mathbb{C}$. Let $N^1_{\mathbb{R}}(X)$...
4
votes
1
answer
156
views
Existence of perfect Morse functions on Fermat surfaces $x^n+y^n+z^n+w^n=0$
It seems that whether a simply connected 4 manifold needs 1-handles and 3-handles is still an open question, see Existence of Morse functions on simply connected manifolds.
I am wondering if it is ...
7
votes
0
answers
596
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 ...
14
votes
1
answer
355
views
Are any of these complex surfaces ever projective?
Let $C$ and $T$ be compact connected Riemann surfaces (or: smooth projective connected curves over $\mathbb{C}$) of genus at least two and let $X:=C\times T$. Let $(c,t)$ be a point of $X$, and let $...
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 ...
7
votes
1
answer
451
views
General conditions for normality of blow-up
Let $X$ be an integral, affine, normal complex surface. I am looking for conditions on zero-dimensional closed subschemes $Z$ in $X$ such that the reduced scheme associated to the blow-up of $X$ along ...
2
votes
0
answers
478
views
Minimal model vs canonical model of a surface
When I have a projective surface $X$, for simplicity smooth, I can find a simpler smooth surface on its binational class. In this way we find in a finite number of steps the simplest surface $Y$, i.e. ...
6
votes
2
answers
438
views
Smooth projective surface with geometrically integral reduction
Let $S$ be a geometrically connected smooth projective surface over $\mathbb{Q}_p$. Can it be put in a proper flat $\mathbb{Z}_p$-scheme with a geometrically integral special fiber?
2
votes
0
answers
102
views
arithmetic del Pezzo surfaces in comparison with del Pezzo surfaces over a field
A del Pezzo surface is a smooth, 2-dimensional projective variety $X$ with ample anticanonical divisor, i.e. a 2-dimensional Fano variety.
I am interested in the arithmetic analogue, a 2-dimensional ...
1
vote
1
answer
219
views
Non-isotrival fiber bundle over compact Riemann surface
In this paper, Kodaira constructed a fiber bundle $\Phi:M_{m,n}\to S$ from a compact complex surface $M_{m,n}$ to a compact Rieman surface $S$ of genus $>0$. In particular, (on p.212) for any point ...
10
votes
1
answer
415
views
A diffeomorphism of complex surfaces mapping subvarieties to subvarieties
Let $X$ and $Y$ be smooth projective complex surfaces. If a diffeomorphism from $X$ to $Y$ maps subvarieties to subvarieties does it have to be holomorphic or antiholomorphic? Can we at least verify ...
1
vote
1
answer
212
views
On a quadratic diophantine equation
Given a quadratic diophantine equation in $\mathbb Z[x,y,z]$ of form
$$ax^2+by^2+cx+dy+ez+f=0$$ are there standard methods to solve for it when $$\|(x^2,y^2,z)\|_\infty\leq e^{1/2}$$
$$\|(a,b,c,d,e,f)...
5
votes
0
answers
305
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' \...
2
votes
0
answers
108
views
Nef and effective cone of minimal conic bundle
Let $\pi: S\to C$ be a minimal conic bundle over a field $k$ of characteristic zero. That is, $S$ is a geometrically irreducible smooth surface with Picard rank $2$ and $C$ a geometrically ...
11
votes
1
answer
477
views
A property of varieties between unirational and retract rational
EDIT: The vague question Q1 below is partially answered, while the concrete question Q2 seems to be still open.
Let $V$ be a geometrically integral variety over a field $K$.
I consider the following ...
1
vote
0
answers
94
views
Is there an infinite order $\mathbb{F}_{p}$-section for a certain elliptic surface $\mathcal{E}_n$?
Consider a natural number $n$, a finite field $\mathbb{F}_{p}$ (such that $p$ is prime, $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$, and $\sqrt[3]{2} \notin \mathbb{F}_p$), ...