The tag has no wiki summary.

learn more… | top users | synonyms

-1
votes
0answers
11 views

embedding dimension of normal surface singularity

$0\in X$ : a normal surface singularity. $C_1, C_2$ : hypersurface sections of $0\in X$ and $C_1 \cdot C_2=2$. $\stackrel{(1)}{\Longrightarrow}$ $C_i$ is a reduced curve singularity of multiplicity ...
2
votes
0answers
150 views

On Abelian Galois Covering

Consider a complete quadrangle $\Delta$ in $\mathbb{CP}^2$ (i.e. the union of the six lines through points $P_1$, $P_2$, $P_3$ and $P_4$ in general position). Let $f: Y := \hat{\mathbb{CP}^2}(P_1, ...
3
votes
1answer
113 views

Enriques classification of algebraic surfaces in characteristic zero

I am searching for a reference about the classification of algebraic surfaces over an arbitrary algebraically closed field of characteristic zero. In the 1949 book "le superficie algebriche" by ...
0
votes
0answers
53 views

Is a general extension of general stable sheaves on $\mathbb P^2$ stable?

Theorem 2 in this paper by Bhosle gives a nice condition on slopes for when a general extension of general stable bundles on curves is stable. Does anyone know whether there is an analogous result for ...
1
vote
0answers
60 views

Real algebraic surface

Let $f(u,v,z)\in \mathbb{Q}[u,v,z]$ be a polynomial in three variables such that $X_{\mathbb{R}}\subset \mathbb{R}^{3} $ (the associated surface of real solution) is smooth. Suppose that the set of ...
0
votes
1answer
121 views

Why does this vector bundle on the surface sit in this exact sequence?

Let $X$ be a K3 surface. Let $E$ be a semistable rank 3 vector bundle. Now suppose $0 = E_0\subset E_1\cdots\subset E_s=E$ be the Harder-Narasimhan filtration. Suppose $E_1$ is $\mu$-stable and rank ...
1
vote
0answers
150 views

What is the co-kernel of the morphism of vector bundles?

Let $X$ be a surface, and $i:C\subset X$ be a smooth curve. Let $A$ be a line bundle on $C$, and $E$ be a vector bundle of rank $r$ on $X$. Suppose there is a surjection: $E\longrightarrow ...
18
votes
0answers
489 views

Enriques surfaces over $\mathbb Z$

Does there exist a smooth proper morphism $E \to \operatorname{Spec} \mathbb Z$ whose fibers are Enriques surfaces? By a theorem of, independently, Fontaine and Abrashkin, combined with the ...
2
votes
1answer
176 views

Smoothing transverse intersections

Let $S$ be a complex surface with ample canonical class. Let $C_1$ and $C_2$ be smooth complex curves in $S$ that intersect transversally at $n $ points. Furthermore, assume that the self-intersection ...
5
votes
2answers
177 views

Disjoint curves in an algebraic surface

Let $X$ be an algebraic surface (over the complex) with $p_g=q=0$. Is it possible to have disjoint curves $C_1,\ldots, C_b$, of positive genus, spanning $H_2(X,{\mathbb Q})$, $b=b_2(X)$? (When $X$ is ...
7
votes
1answer
265 views

A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...
5
votes
0answers
199 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 ...
3
votes
0answers
98 views

Pic^0 of the surface of bitangents of a quartic

Let $S$ be a generic quartic surface in $\mathbf{P}^3$. Let $T$ be the surface of the lines bitangent to $S$. What can we say about $Pic^0(T)$?
2
votes
1answer
145 views

Computing Euler Characteristics of Line Bundles on the Hilbert Scheme of n points

Let $S^{[n]}$ be the Hilbert scheme of $n$ points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
4
votes
0answers
95 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
votes
1answer
294 views

Is there a description of the moduli space of elliptic surfaces?

In this question elliptic surface means a smooth projective complex surface $X$, such that there is an elliptic fibration $\pi \colon X \to C$. (I.e., there is a curve $C$ and a proper map $\pi$, such ...
3
votes
0answers
195 views

Hypersurface with singularities

I heard once about one open problem. That was about existing a hypersurface of a small degree (5? or 6?) passing through some number (5? 6?) of 3-fold points and 2-fold lines (3 lines?). It was said ...
2
votes
0answers
161 views

Stable Lefschetz fibrations

Let $S$ be a non-singular complex projective surface, then construct the Lefschetz fibration $\pi:\widetilde S\longrightarrow\mathbb P^1$ associated to $S$ (we have a birational morphism ...
2
votes
0answers
65 views

Topological/numerical constraints for the existence of more than one pencil

A famous theorem of Castelnuovo and de Franchis tells us that for $S$ a smooth projective complex algebraic surface that for $b \geq 2$, pencils $f : S \to B$ of genus $b :=g(B)$ are in bijective ...
6
votes
2answers
405 views

Isotrivial fibrations over $\mathbb P^1$

First of all I want to say that algebraic geometry is not "my field of research" so I apologize if the notation is not standard. $S$ is a smooth complex projective surface with a fibration $f$ over ...
2
votes
1answer
275 views

Kummer Coverings

Let $L_1$, $\cdots$, $L_k$ be homogenous linear forms in three variables $z_0$, $z_1$, $z_2$ defining $k$ lines in $\mathbb{P}_{2}$. Consider the abelian extension $K ((L_2/L_1)^{1/n}, \cdots, ...
2
votes
0answers
98 views

Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces

Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
2
votes
1answer
195 views

Number of minimal models of a surface

I would like to know if the following statement is true or false: Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism). ...
2
votes
1answer
221 views

discriminant of smooth quartic del Pezzo surface in $\mathbb{P}^4$

I can't understand the proof of Lemma3.3 in Stability of genus 5 canonical curves. Let $C$ be a complete intersection of three quadrics in $\mathbb{P}^4$ and let $\Lambda$ be the net of quadrics ...
0
votes
0answers
212 views

Understanding a proof of a lemma in elliptic surfaces

In the following paper , The Kahler-Ricci flow on surfaces of positive Kodaira dimension (Sung and Tian) in page 621, I am trying to understand the proof of part 1 of Lemma 3.4. In the part 1 of ...
2
votes
1answer
245 views

Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true): ...
2
votes
1answer
103 views

Degree of a smooth curve in an abelian variety

Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$. Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in ...
2
votes
1answer
199 views

vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$

Let $A = \mathbb{C}[x,y,z]/(x y - z^k)$. In fact $A$ is the ring of $\mu_k$ invariants: $A = \mathbb{C}[u,v]^{\mu_k}$ where $g \in \mu_k$ acts by $g(u,v) = (g u, g^{-1} v)$. This allows one to ...
1
vote
1answer
141 views

Divisors on an abelian surface

Let $A$ be an abelian surface given by the quotient of a product of two generic elliptic curves $E_1 \times E_2$ by the product $T_1 \times T_2$ of two translations by $2$-torsion points. Then $A$ ...
5
votes
1answer
154 views

Linear systems on bielliptic surfaces

A bielliptic surface is a surface of type $S=E_1 \times E_2/G$ where $E_1, E_2$ are elliptic curves and $G$ is a finite group of translations of $E_1$ acting on $E_2$ such that $E_2/G=\mathbf{P}^1$. ...
1
vote
1answer
143 views

Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...
6
votes
1answer
225 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 ...
3
votes
1answer
140 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 ...
1
vote
1answer
114 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 ...
0
votes
1answer
100 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 ...
4
votes
2answers
154 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 ...
4
votes
1answer
134 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 ...
0
votes
1answer
131 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 ...
1
vote
1answer
150 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 ...
2
votes
1answer
220 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 ...
0
votes
1answer
345 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 ...
4
votes
3answers
322 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,\; ...
7
votes
1answer
266 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 ...
5
votes
1answer
218 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 ...
3
votes
1answer
218 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 ...
1
vote
1answer
201 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 ...
1
vote
1answer
117 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 ...
5
votes
1answer
229 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 ...
4
votes
1answer
183 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 ...
2
votes
1answer
152 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}) ...