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.
32 questions from the last 365 days
8
votes
1
answer
786
views
What is the smallest and "best" 27 lines configuration? And what is its symmetry group?
I was this past year working with a bright high-schooler on algebraic geometry following Reid's book Undergraduate Algebraic Geometry, and we got all the way to proving that there is at least one line ...
- 35.5k
2
votes
1
answer
268
views
Jacobian fibration of elliptic fibration: basic relations between Enriques invariants
Let $f: X \to B$ be an elliptic fibration, so proper map from smooth surface $X$ onto smooth conn. curve over alg closed base field $k$ with connected fibers such that almost all fibers are elliptic ...
- 6,018
0
votes
0
answers
101
views
Image of K3 surface under finite map with pure ramification rational
Let $X$ be a projective K3 surface and $f: X \to Y$ a non etale, finite map, restricting to etale on non empty open $U \subset Y$ of degree prime to char of alg closed base field of $k$. Assume ...
- 6,018
4
votes
1
answer
175
views
Every elliptic surface contains only finitely many negative self-intersection rational curves?
By a properly elliptic surface, I mean an algebraic surface $X$ with Kodaira dimension $\kappa(X)=1$. It has a natural elliptic fibration $\pi\colon X\rightarrow S$.
According to section 5.2 of this ...
- 141
1
vote
0
answers
117
views
Quotient of K3 surface: complex vs positive characteristic
Let $f: X \to X$ be a non-symplectic automorphism of finite order of complex projective K3 surface $X$. (Recall: Non-symplectic means that the induced action on $H(X,K_X)=H^0(X, \Omega_X^2)$ is not ...
- 6,018
0
votes
0
answers
112
views
Irregularity of surfaces for dominant maps
I have a question about an argument in the proof of Lemma 1.2.(1) in Quotients of K3 surfaces modulo involutions by D. Q. Zhang:
Let Let $(X, \sigma)$ be X be a smooth projective K3 surface with an ...
- 6,018
0
votes
1
answer
128
views
Chern Classes of $\mathcal{O}_E(1)$ on $\mathbb{P}(E)$ for $E = \mathcal{O} \oplus \mathcal{O}(n) \to \mathbb{P}^2$
Let $E =\mathcal{O} \oplus \mathcal{O}(n) \to \mathbb{P}^2$ and denote by $\mathcal{O}_E(1)$ the dual of the tautological bundle.
How can I compute $c_1^2(\mathcal{O}_E(1)), c_1^3(\mathcal{O}_E(1))$, $...
- 233
0
votes
0
answers
99
views
Quotients of K3 surfaces vs cyclic covers
Let $X$ be an algebraic K3 surface (for sake of simplicity, with base field of char $\neq 2$) and $f: X \to X$ a non-symplectic morphism (i.e. non-symplectic in sense of that that the induced action ...
- 6,018
0
votes
0
answers
110
views
Lefschetz Theorem in Dolgachev's On automorphisms of Enriques Surfaces
Let $F$ be a Enriques surface over $\Bbb C$. I have a question about a detail in the proof of Proposition 2.1. from Dolgachev's On automorphisms of Enriques surfaces.
This 2.1. Proposition. states ...
- 6,018
1
vote
0
answers
219
views
Quotient of K3 surfaces by non-symplectic automorphism of finite order
Let $X$ be a $K3$ surface and $f: X \to X$ a non-symplectic morphism (ie non symplectic in sense of that that the induced action on $H(X,K_X=H^0(X, \Omega_X^2)$ is not trivial) of finite order.
...
- 6,018
0
votes
0
answers
89
views
Contraction of extremal ray on a smooth projective threefold
I have some issues about understanding the contraction of extremal ray in a concrete situation:
Let $\mathcal{E}=\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1\times \...
- 41
0
votes
0
answers
127
views
Relative minimal models of pencils of surfaces
I would like to ask for recomendation for literature on theory relative minimal models of surfaces, where "relative" in sense of that the study objects are not surfaces alone (="absolue ...
- 6,018
1
vote
0
answers
161
views
Special elliptic pencil of an Enriques surface (arguments in a proof)
I have a couple of questions about arguments in the proof of Lemma 2.6 (see absol page 199, rel p 9) from Shigeyuki Kondo's paper Enriques surfaces with finite automorphism groups:
The setup: Let $Y$ ...
- 6,018
1
vote
0
answers
139
views
Estimation of the degree of a projective surface
Let $S \subset \mathbb{P}^{n}_{\mathbb{C}}$ a projective integral smooth surface lying in no hyperplane (I adopt the point of view of scheme). I will denote by $d$ its degree. The following questions ...
- 73
3
votes
1
answer
163
views
Is a pseudo-effective divisor on a rational surface numerically effective?
Let $D$ be a pseudo-effective $\mathbb{R}$-divisor on a rational surface. Can we find an example that the numerical class of $D$ contains no effective divisor?
- 393
4
votes
1
answer
296
views
Fundamental group of the smooth locus of a normal algebraic surface is a quotient of that of a Zariski open subset
Let $X$ be a normal algebraic surface (over $\mathbb{C}$) and $Y$ its smooth locus, i.e., the complement of the singularities of $X$. Suppose $Z\subset Y$ is a Zariski open subset of $X$. Then is it ...
- 335
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
0
votes
0
answers
51
views
Does this tangent developable-like surface have a cusp along a curve or is it smooth?
Consider the following surface $X$ which is a subvariety of the full flag variety $Y=\{0 \subset V_1 \subset V_2 \subset V\}$ where $V$ is a fixed three-dimensional vector space and ${\rm dim} V_i =i$....
- 2,964
3
votes
1
answer
271
views
degeneration of a Veronese surface
Let $V$ be the Veronese surface, obtained as the image of $\mathbb{P}^2$ in $\mathbb{P}^5$ by the complete linear system of conics. I understand that $V$ can degenerate to the union of a cubic scroll $...
- 3,779
2
votes
0
answers
149
views
Non-proper intersection between divisors on $\mathbb{P}^1$-bundle of Hirzebruch surfaces
We are working on algebraic closed field $k$. Let $\mathbb{F}_1$ be the Hirzebruch surface $\mathbb{P}(\mathcal{O}\oplus\mathcal{O}(-1))$, $C_0$ and $C_{\infty}$ are its zero and infinity sections ...
- 41
4
votes
1
answer
218
views
Topological interpretation of the canonical cover of a logarithmic Enriques surface
A normal projective surface $Z$ with at worst quotient singularities is called a logarithmic (log) Enriques surface if its canonical Weil divisor $K_Z$ is numerically equivalent to zero, and $H^1(Z,\...
- 213
6
votes
2
answers
276
views
Embedding degree 1 Del Pezzo surfaces in $\mathbb{P}(1,1,2,3)$
In the projective bundle $\mathbb{P}(\mathcal{O}(-1)\oplus \mathcal{O}(-1)\oplus \mathcal{O})\rightarrow\mathbb{P}^1$ consider the hypersruface
$$
X := \{a_{00}y_0^2+a_{01}y_0y_1+a_{02}y_0y_2+a_{11}...
- 193
2
votes
1
answer
137
views
Contraction of $(-1)$ curve and extremal ray
I want to prove Castelnuovo's contraction theorem by Mori's contraction theorem.
Question. How can one show that a $(-1)$ curve on a smooth surface is an extremal ray?
- 328
1
vote
0
answers
47
views
Positivity of self-intersection of dicisor associated to meromorphic function
In the book "Holomorphic Vector Bundles over Compact Complex Surfaces" by Vasile Brînzănescu, in the proof of theorem 2.13 there is the following claim
Let $X$ be a compact non-algebraic ...
- 111
2
votes
0
answers
95
views
Reference request The support of $f$-nef divisor
I'm seaching for a proof of the theorem below.
Do you know any reference?
Consider $f:X\rightarrow Y$ projective birational map between normal varieties and $\mathbb{R}$ cartier divisor $D$ whose ...
- 328
2
votes
0
answers
55
views
Fundamental group of cyclic branched cover of affine plane
Let $f\in \mathbb{C}[x,y]$ be an irreducible polynomial. Let $n>0$ be an integer such that the hypersurface $S:=\{ (x,y,z)\in \mathbb{C}^3|z^n=f(x,y) \}$ is a connected complex submanifold of $\...
- 615
1
vote
0
answers
109
views
One question about Manetti surface
I am reading Ascher-Devleming-Liu's paper "Wall crossing for K-moduli spaces of plane curves" theorem 5.2 ADL19 and l have some confusions about the proof.
Theorem 5.2 states that fixed a ...
- 41
3
votes
2
answers
429
views
Question about surface singularities
Throughout, $X$ will be a projective surface. I am looking for examples of the following surface singularities,
I) A rational singularity that is not quotient. Obviously, it has to be non-Gorenstein, ...
- 335
2
votes
0
answers
120
views
Equality case of the log-Bogomolov-Miyaoka-Yau inequality
The Bogomolov-Miyaoka-Yau inequality for sufaces says that if $X$ is a smooth projective minimal surface of general type then $c_1(X)^2 \le 3 c_2(X)$. It is a theorem of Yau (I think) that equality ...
- 3,625
1
vote
0
answers
212
views
Formula for Pushforward of structure sheaf for branched coverings
I have some questions of same flavour about two following constructions in Daniel Huybrechts's notes on K3 surfaces.
Construction 1: Kummer surface (Example 1.3 (iii), page 8) Let $k$ be a field of $...
- 6,018
1
vote
0
answers
181
views
On the positivity of cotangent bundle of elliptic surfaces
I am working on the complex numbers field $\mathbb{C}$, for simplicity. However you can relax this assumption if you want.
Let $X$ be an elliptic surface, id est there is a proper morphism $\pi\colon ...
- 828
1
vote
0
answers
200
views
Action on Enriques surface by sections of Jacobian fibration
A question about a statement in Shigeyuki Kondo's paper Enriques surfaces with finite automorphism groups:
The setup: Let $\pi: Y \to \mathbb{P}^1$ be a special elliptic pencil of complex Enriques ...
- 6,018