Skip to main content

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.

5 questions from the last 30 days
Filter by
Sorted by
Tagged with
8 votes
1 answer
788 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 ...
David Roberts's user avatar
  • 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 ...
user267839's user avatar
  • 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 ...
user267839's user avatar
  • 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 ...
notime's user avatar
  • 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 ...
user267839's user avatar
  • 6,018