# 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.

398 questions
Filter by
Sorted by
Tagged with
117 views

### Tri-homogenous polynomials of tridegree $(3,3,3)$ to add three points on an elliptic curve

Consider an elliptic curve $E \subset \mathbb{P}^2$ with the zero point $\mathcal{O}$. There are classical articles about complete systems of addition laws on $E$ (see Lange and Ruppert - Complete ...
282 views

### A constructive proof of the theorem of the cube

Do you know a constructive proof of the theorem of the cube ? More precisely, let $X$, $Y$, $Z$ be projective varieties (e.g., over an algebraically closed field $k$) with points $x$, $y$, $z$ ...
91 views

### Surfaces with rational double points

Let $S\rightarrow \mathbb{P}^1$ a surface fibered in conics over a field. Assume that $S$ has a single non reduced fiber $F$ with two points of type $A_1$ on it. Blowing-up the two points and ...
126 views

### Singularities of surfaces fibered in rational curves

Let $S$ be a projective surface with a morphism $S\rightarrow\mathbb{P}^1$ whose fibers are either smooth $\mathbb{P}^1$'s or the union of two smooth $\mathbb{P}^1$'s intersecting in a point. ...
329 views

### Relating the holomorphic Euler characteristic of a family of algebraic varieties to properties of the base and fibers

Let $f : X\rightarrow Y$ be a proper flat morphism (of schemes) with connected fibers over a smooth projective curve $Y$ over $\mathbb{C}$. Let $X_{y_0}$ denote a smooth fiber over $y_0\in Y$. If $f$ ...
726 views

### Restriction of a Cartier divisor

Let $X$ be a surface (so $2$-dimensional proper $k$-scheme) $D \subset X$ an effective Cartier divisor of $X$ which corresponding to an invertible sheaf $\mathcal{L}=O_X(D)$ and $C \subset X$ a closed ...
149 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 ...
735 views

1 vote
60 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 ...
129 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 (...
95 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 ...
199 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)$,...
180 views

### $0$-cycles and $0$-cycles of degree $0$

$\DeclareMathOperator\Rat{Rat}$Let $S$ be a surface, $\Rat_0(S)$ the set of $0$-cycles rationally equivalent to zero on $S$, and $\Rat_0^0(S)$ the set of $0$-cycles of degree $0$ rationally equivalent ...
1 vote
177 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 ...
208 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 ...
349 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 ...
307 views

1 vote
125 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 ...