As of May 31, 2023, we have updated our Code of Conduct.

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

427 questions
Filter by
Sorted by
Tagged with
120 views

144 views

191 views

### What is the surface area of the finite part of the Cayley nodal cubic surface?

The Cayley nodal surface is defined by the equation $x^2+y^2+z^2-2xyz=1$. The finite part of the surface is the tetrahedral part bounded by the 4 nodes $(1,1,1)$, $(1,-1,-1)$, $(-1,1,-1)$, $(-1,-1,1)$....
189 views

### Global generation of $S^n \Omega_X$ for a fake projective plane

Let $X$ be a fake projective plane, namely, a compact complex surface with $$p_g(X)=q(X)=0, \quad K_X^2=9$$ and $K_X$ ample. Since $K_X^2=9 \chi(\mathcal{O}_X)$, Yau's celebrated proof of the Calabi ...
1 vote
62 views

### Diffeomorphism induced by small perturbation

Consider the surface $S_{\epsilon}$ defined as: \begin{align} %S&=\{\vec x \in \mathbf{R}^3: x=0\}, \\ S_{\epsilon}&=\{\vec x \in \mathbf{R}^3:\epsilon (x^2 + y^2 + z^2 - 1) + x=0\}. \end{...
137 views

### Surface with $\Omega_X$ globally generated and singular Albanese image

This question is inspired by abx's comment to my previous question MO430933. Let $X$ be a complex surface of general type, and denote by $$a \colon X \to \operatorname{Alb}(X)$$ the Albanese map of $X$...
459 views

### Topology change induced by small perturbation

Consider the surface $S_{\epsilon}$ defined as: \begin{align} %S&=\{\vec x \in \mathbf{R}^3: x=0\}, \\ S_{\epsilon}&=\{\vec x \in \mathbf{R}^3:f_{\epsilon}(\vec x)\equiv\epsilon ((x^2 + y^2 - ...
161 views

### Lower bound for $h^0(X, \operatorname{Sym}^n \Omega_X)$

This is a weaker version of my previous (unanswered) question MO429574. Let us start with a smooth, ample divisor $X$ in an abelian threefold $A$. It is a surface of general type such that $\Omega_X$ ...
203 views

### Different algebraic structures on complements to divisors

Complements to square-zero curves in projective surfaces sometimes have several non-isomorphic algebraic structures. Serre’s example is possibly the most famous illustration of this phenomenon (see f....
225 views

244 views

216 views

### A K3 cover over a Del Pezzo surface

Let $V \rightarrow \mathbb P^2$ be the blow-up at two distinct points. ($V$ is a Del Pezzo surface of degree 7.) Choose a smooth curve $C$ from the linear system $|-2K_V|$ and let $S \rightarrow V$ be ...
108 views

469 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$ ...
129 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 ...
151 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. ...
146 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 ...
1k 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$ ...
163 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 ...
111 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.
920 views

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 147 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 288 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 194 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 247 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$... 306 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 ...
491 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 ...
292 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}))$. ...
236 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 ...