Questions tagged [elliptic-surfaces]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
12 votes
3 answers
1k views

A K3 over $P^1$ with six singular $A_1$- fibers?

Hirzebruch, in the paper 'Arrangements of Lines and Algebraic Surfaces' constructs a special $K3$ surface out of a 'complete quadrilateral' in $CP^2$. A complete quadritlateral consists of 4 ...
Richard Montgomery's user avatar
12 votes
1 answer
674 views

Dodecahedral K3?

In pondering this MO question and in particularly its 1st answer, and answers to this one recently posed, I realized there ought to be a dodecahedral K3 surface $X$. This $X$ would fiber as an ...
Richard Montgomery's user avatar
9 votes
2 answers
727 views

Do singular fibers determine the elliptic K3 surface, generically?

General elliptic K3 surfaces. Consider K3 surfaces of Picard rank two with Neron-Severi lattice isomorphic to $$\left[\begin{array}{cc} 2d & t \\ t & 0 \end{array}\right]$$ for some positive ...
Evgeny Shinder's user avatar
7 votes
1 answer
548 views

Discriminant locus of elliptic K3 surfaces

Given a complex elliptic K3 surface $\pi\colon X\rightarrow \mathbb P^1$, its discriminant locus is the divisor $$D = \sum_{i = 1}^s n_i P_i$$ on $\mathbb P^1$ such that $n_i$ is equal to the Euler-...
Davide Cesare Veniani's user avatar
7 votes
1 answer
1k 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 ...
jmc's user avatar
  • 5,414
7 votes
1 answer
222 views

Question on paper of Stewart and Top about ranks of elliptic curves over Q(t)

I'm reading "On Ranks of Twists of Elliptic Curves and Power-Free Values of Binary Forms" by Stewart and Top, and struggling to understand the argument on pg 962 which shows that the rank of a ...
stl's user avatar
  • 585
7 votes
0 answers
658 views

Explicit family of generalized elliptic curves with level n structure

Let $\pi:\mathcal{E}\rightarrow U$ be a family of elliptic curves with level $n$ structure (in the sense of Deligne-Rapoport) where $U\subseteq C$ is some (non-empty) Zariski open set of a smooth ...
Hugo Chapdelaine's user avatar
6 votes
2 answers
346 views

Mordell-Weil of an elliptic surface after adjoining a nontorsion section: as small as possible?

Let $k$ be an algebraically closed field of characteristic $0$, let $C_{/k}$ be a nice (smooth, projective, geometrically integral curve), let $K = k(C)$, and let $\overline{K}$ be an algebraic ...
Pete L. Clark's user avatar
6 votes
3 answers
2k views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic curve ...
Heitor's user avatar
  • 105
6 votes
1 answer
444 views

Two definitions of the narrow Mordell-Weil group

Let: $K = k(C)$, where $C/k$ is a projective non-singular curve, $E/K$ - an elliptic curve, $\mathcal{E} \to C$ - the minimal elliptic surface associated to $E$. Consider the "narrow Mordell-Weil ...
Jędrzej Garnek's user avatar
6 votes
1 answer
296 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$. ...
sqrt2sqrt2's user avatar
6 votes
0 answers
198 views

Produce supersingular K3 from rational elliptic surfaces

Given a rational elliptic surface $R \to \Bbb P^1$, is there a way to know if there exists a supersingular K3 surface that arises as a base curve change $S=R\times_{\Bbb P^1} \Bbb P^1 \to \Bbb P^1$, ...
Vinicius M.'s user avatar
5 votes
3 answers
480 views

Is there a way to find any non-trivial $\mathbb{F}_p(t)$-point on the given elliptic curve?

Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$) and the elliptic curve $$ E\!:y^2 = x^3 + (t^6 + 1)^2 $$ over the univariate ...
Dimitri Koshelev's user avatar
5 votes
1 answer
297 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 ...
guest2014's user avatar
5 votes
1 answer
420 views

Properly elliptic surface with no multiple fibers and without a section

I am aware that if an elliptic surface contains multiple fibers, then it has no section. Is the converse false? In particular, I am looking for an example of a projective, properly elliptic surface (...
user564401's user avatar
5 votes
0 answers
312 views

Jacobian fibration of an abelian fibration

Let $f \colon S \rightarrow C$ be a minimal elliptic surface and let $g \colon J \rightarrow C$ be its jacobian fibration. In this case, we know that the fibers of $g$ are better behaved that the ones ...
Stefano's user avatar
  • 625
4 votes
1 answer
455 views

Kodaira classification and the McKay correspondence

Kodaira's table of singular fibers has a singular fiber for each of $\tilde{A}_n$, $\tilde{D}_n$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$; these are chains or cycles of (-2)-curves connected ...
Mohammad Farajzadeh-Tehrani's user avatar
4 votes
1 answer
291 views

Generators of cohomology groups of higher push-forward sheaves

Let $\phi:S\rightarrow \mathbb{P}^1$ be an elliptic fibration of a compact complex surface. Assume that there is a multiple section $s$ of $\phi$. Is it true that $H^0(\mathbb{P}^1,R^2f_*\mathbb{R})$ ...
Hua's user avatar
  • 41
4 votes
0 answers
86 views

Is there a way to calculate the Picard $\mathbb{F}_q$-number of an (rational or K3) elliptic surface?

Consider a finite field $\mathbb{F}_{q}$ and an elliptic surface $$ \mathcal{E}\!: y^2 + a_1(t)xy + a_3(t)y = x^3 + a_2(t)x^2 + a_4(t)x + a_6, $$ where $a_i(t) \in \mathbb{F}_{q}[t]$. Is there a way ...
Dimitri Koshelev's user avatar
4 votes
0 answers
290 views

Action of the Picard Scheme of an Elliptic Fibration

Suppose that we have a surface $X$ defined over a field $k$ (I am interested in $k$ being a number field) and an elliptic fibration $f: X \rightarrow \mathbb{P}^1$, i.e. $f$ is proper and almost all ...
Sam Streeter's user avatar
4 votes
0 answers
279 views

What is the Artin invariant of an elliptic supersingular K3 surface?

Let $X$ be a supersingular K3 surface over an algebraically closed field $k$ of positive characteristic $\!p$. Artin proved in the paper https://eudml.org/doc/81948 that the determinant $\mathrm{disc}(...
Dimitri Koshelev's user avatar
4 votes
0 answers
540 views

Singular fibers of an elliptic fibered K3 surface.

Let $f:S\rightarrow \mathbb{P}^1$ be an elliptic K3 surface. Assume that $\mathrm{Pic}(S)\cong U$, where $U$ stands for the hyperbolic lattice. I think that the elliptic fibration has only singular ...
Charls's user avatar
  • 41
3 votes
2 answers
1k views

Singular fibres in the definition of an elliptic surface

I have a question about the definition of an elliptic surface. One defines an elliptic surface $S$ over a base curve $C$ (over some field $k$) as a surjective morphism $f: S \to C$ such that almost ...
Wanderer's user avatar
  • 5,103
3 votes
1 answer
149 views

Foliation by Asymptotic lines

Suppose $(M,g)$ is a compact Riemannian manifold with boundary. I am interested about existence of surfaces $\Gamma$ embedded in $M$ with the following property: $\Gamma$ is foliated by geodesics (...
Ali's user avatar
  • 3,987
3 votes
1 answer
287 views

elliptic fibration over $\mathbb{P}^1$ with exactly two fibres with monodromy of unipotency rank 1

Despite the apparent simplicity of the following question I couldn't find the answer so far. I am looking to construct an elliptic fibration $X \to \mathbb{P}^1$ with $X$ smooth, and exactly two ...
Dima Sustretov's user avatar
3 votes
1 answer
309 views

Spectral sequence associated to elliptic fibration degenerates?

Let $\phi:S\rightarrow \mathbb{CP}^1$ be an elliptic fibration of a K3 surface. When is the Leray spectral sequence associated to the fibration $E_2$-degenerate? Are there any good criteria for the $...
Hua's user avatar
  • 31
3 votes
1 answer
898 views

Elliptic fibrations with few singular fibers

It is known that non-isotrivial fibrations of genus $g>0$ curves over the projective line have a bunch of singular fibers. There are at least three of them. It is not difficult to prove that an ...
Alan Muniz's user avatar
3 votes
1 answer
368 views

Mordell–Weil rank of some elliptic $K3$ surface

Consider a finite field $\mathbb{F}_q$ such that $q \equiv 1 \pmod3$ (i.e., $\omega \mathrel{:=} \sqrt[3]{1} \in \mathbb{F}_q$ for $\omega \neq 1$) and an element $b \in (\mathbb{F}_q^*)^2 \setminus (\...
Dimitri Koshelev's user avatar
3 votes
1 answer
229 views

Existence of elliptic surface on Riemann surface with marked points

Is there any proof for the following statement? It has been used as trivial fact in the one of papers of Edward Witten Let $\Sigma$ be a compact connected Riemann surface as orbifold, with marked ...
user avatar
3 votes
1 answer
356 views

Specializing p-torsion in a family of elliptic surfaces

Let $R$ be a DVR of mixed characteristic, with algebraically closed residue field of characteristic $p$ and fraction field $K$. Let $Y\longrightarrow \operatorname{Spec} R$ be a smooth projective ...
pozio's user avatar
  • 599
3 votes
1 answer
506 views

A question on existence of degeneration of Enriques surface.

Let $S$ be an Enriques surface, i.e. a quotient of a K3 surface by a free involution. Enriques surfaces arise as elliptic fibrations $S\rightarrow \mathbb{P}^1$ with 12 singular fibers and 2 double ...
user2013's user avatar
  • 1,633
3 votes
0 answers
222 views

Ample divisor of degree two on a blow-up of $\mathbb P^2$ at nine points

Let $\pi:S \rightarrow \mathbb P^2$ be a blow-up at nine points in general position. I am finding an ample divisor $L$ on $S$ of degree two ($L^2=2$). Since $Pic(S) = \mathbb Z h \oplus \mathbb Z e_1 \...
Basics's user avatar
  • 1,821
3 votes
0 answers
155 views

Reference Request: CM Motives over Function Fields

Inspired by Schutt and Shioda's lovely "An interesting elliptic surface over an elliptic curve", I have been investigating the following surface: $$ \mathcal{E} : y^2 = x^3 - 27ux - 54v \...
Angus McAndrew's user avatar
3 votes
0 answers
142 views

Are there three ordinary elliptic curves $E$, $E_1$, $E_2$ such that $E^2 \cong E_1 \!\times\! E_2$?

Consider the elliptic curve $E\!: y^2 = x^3 + 1$ of $j$-invariant $0$ over an algebraically closed field $k$ of characteristics $p$. Let me remind that $E$ is ordinary (i.e., non-supersingular) iff $p ...
Dimitri Koshelev's user avatar
3 votes
0 answers
541 views

The Jacobian surface of an elliptic surface

Let $\mathcal{X}$ be an elliptic surface over $\mathbb{P}^1$ without a section and let $\mathcal{J}$ be an elliptic surface over $\mathbb{P}^1$ with a section. Assume we have the commutative diagram \...
Dimitri Koshelev's user avatar
3 votes
0 answers
161 views

Can a toric surface be an elliptic surface?

It is known that a rational elliptic surface is a blow-up of $\mathbb{P}^2$ at 9 points. More precisely it is obtained as the blow-up of the base locus of a pencil of cubic curves in $\mathbb{P}^2$. ...
Fan's user avatar
  • 31
3 votes
0 answers
172 views

Elliptic fibration arising from a higher genus linear system

Let $H$ be a very ample linear system on a smooth compact complex surface $X$ whose Kodaira dimension is $\geq 0$. A general element of $H$ is smooth and has genus $\geq 2$. Let $L\subset H$ be a ...
Alan Muniz's user avatar
3 votes
0 answers
153 views

Topology of K3 as a sum of two abelian fibrations.

Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$). K3 surfaces is obtained by removing a fiber from two copies of $E$ ...
Mohammad Farajzadeh-Tehrani's user avatar
2 votes
1 answer
418 views

Example of non-modular elliptic surface?

In "On elliptic modular surfaces", Shioda proves some interesting theorems on smooth elliptic surfaces (admitting a section); he then focuses on "modular elliptic surfaces" and proves some more ...
Mohammad Farajzadeh-Tehrani's user avatar
2 votes
1 answer
183 views

Is there a way to find any $\mathbb{F}_2(t)$-point on the elliptic curve $\mathcal{E}$?

Consider the ordinary elliptic curves $$ E\!:y_1^2 + x_1y_1 = x_1^3 + 1,\qquad E^\prime\!: y_2^2 + x_2y_2 = x_2^3 + x_2^2 + 1 $$ over the field $\mathbb{F}_2$. They are quadratic twists to each other....
Dimitri Koshelev's user avatar
2 votes
1 answer
242 views

Analogue of Kodaira surfaces

Let $E_1$ and $E_2$ be elliptic curves over $\mathbb{C}$. A (primary) Kodaira surface is a principal bundle $X \to E_1$ with fibre $E_2$. $X$ is a compact complex surface with trivial canonical bundle ...
Andrei Halanay's user avatar
2 votes
1 answer
249 views

Looking for Schmickler-Hirzebruch' monograph on elliptic surfaces

I wonder if it is possible to find (and if yes, where?) an electronic copy of the following monograph: Author: Schmickler-Hirzebruch, Ulrike Title: Elliptische Flächen über $\mathbb P^1(\mathbb C)$...
Lucien's user avatar
  • 818
2 votes
1 answer
429 views

Specialization of sections in an elliptic fibration

Let $\pi: X \rightarrow S$ be the Neron model of an elliptic curve over a dedekind domain (but probably any minimal elliptic fibration will suffice). Let $\eta$ be the generic point of $S$, $K = S(\...
None's user avatar
  • 33
2 votes
0 answers
65 views

What conditions are sufficient for two points to be independent in the Mordell-Weil group?

Consider a finite field $\mathbb{F}_{q}$ and an elliptic surface $$ \mathcal{E}\!: y^2 + a_1(t)xy + a_3(t)y = x^3 + a_2(t)x^2 + a_4(t)x + a_6(t), $$ where $a_i(t) \in \mathbb{F}_{q}[t]$. I am mainly ...
Dimitri Koshelev's user avatar
2 votes
0 answers
133 views

Global sections of ample line bundles over (rational) elliptic fibration

Let $S$ be a smooth, complex elliptic fibration over $\mathbb{P}^1$ and $L$ be an ample invertible sheaf on $S$. I am looking for criterion under which $L$ has a non-trivial global section. Any idea/...
Ron's user avatar
  • 2,106
2 votes
0 answers
137 views

Is a supersingular Kummer surface $k$-unirational in characteristic 2?

Let $k$ be a perfect field of even characteristic. Consider the simplest example of a supersingular genus 2 curve, i.e., $$ C\!: y^2 + y = x^5. $$ By the article of J. S. Müller "Explicit Kummer ...
Dimitri Koshelev's user avatar
2 votes
0 answers
115 views

Elliptic surfaces with different Kodaira symbols

Are there examples of surfaces $E$ of Kodaira dimension one that have two elliptic fibrations $p,q:E\to C$ over some curve $C$ such that $p$ has semi-stable fibres but $q$ has an additive fibre? Can ...
Ste3an's user avatar
  • 133
2 votes
0 answers
409 views

Average rank of elliptic curves over function fields

De Jong showed in 2002 if the finite field $\mathbb{F}_q$ has characteristic not equal to 3, then the limsup of the average of 3-Selmer rank is bounded above, where the average is taken over the ...
Pig's user avatar
  • 809
1 vote
1 answer
230 views

Blow-up of a pencil of cubic curves (from Miranda's basic theory of elliptic surfaces)

Rick Miranda's "The basic theory of elliptic surfaces" the Example (I.5.1) see page 7 on a pencil of plane curves contains an argument that I do not understand yet. Let $C_1$ be a smooth ...
user267839's user avatar
  • 5,716
1 vote
1 answer
588 views

Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...
ozheidi's user avatar
  • 229