Related papers: Real Algebraic Threefolds IV: Del Pezzo Fibrations

The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…

This is a first graduate course in algebraic geometry. It aims to give the student a lift up into the subject at the research level, with lots of interesting topics taken from the classification of surfaces, and a human-oriented discussion…

In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure…

We prove that for any of a wide class of elliptic surfaces $X$ defined over a number field $k$, if there is an algebraic point on $X$ that lies on only finitely many rational curves, then there is an algebraic point on $X$ that lies on no…

Let X be a surface whose Cox ring has a single relation satisfying moreover a kind of linearity property. Under a simple assumption, we show that the geometric Manin's conjectures hold for some degrees lying in the dual of the effective…

We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but…

We undertake a study of topological properties of the real Mordell-Weil group $\operatorname{MW}_{\mathbb R}$ of real rational elliptic surfaces $X$ which we accompany by a related study of real lines on $X$ and on the "subordinate" del…

This is an experimental case study in real algebraic geometry, aimed at computing the image of a semialgebraic subset of 3-space under a polynomial map into the plane. For general instances, the boundary of the image is given by two highly…

A real algebraic link in the 3-sphere is defined as the zero locus in the 3-sphere of a real algebraic function from $\mathbb{R}^4$ to $\mathbb{R}^2$. A real algebraic open book decomposition on the 3-sphere is by definition the Milnor…

Let $(X, \omega, c_X)$ be a real symplectic 4-manifold with real part $R X$. Let $L \subset R X$ be a smooth curve such that $[L] = 0 \in H_1 (R X ; Z / 2Z)$. We construct invariants under deformation of the quadruple $(X, \omega, c_X, L)$…

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation…

Suppose X is a smooth projective 3-fold of general type and |mK_X| is composed of a pencil of surfaces with m>1. This pencil naturally induces a fibration f:X->C onto a smooth curve C after the Stein-factorization, which is the main objects…

One method for obtaining every closed orientable 3-manifold is as branched covering of the 3-sphere over a link. There is a classical topological result showing that the minimun possible number of sheets in the covering is three. In this…

Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties.…

A $\textit{regular polygon surface}$ $M$ is a surface graph $(\Sigma, \Gamma)$ together with a continuous map $\psi$ from $\Sigma$ into Euclidean 3-space which maps faces to regular Euclidean polygons. When $\Sigma$ is homeomorphic to the…

Given a cubic hypersurface $X\subset \mathbb{P}^4$, we study the existence of Pfaffian representations of $X$, namely of $6\times 6$ skew-symmetric matrices of linear forms $M$ such that $X$ is defined by the equation $Pf(M)=0$. It was…

In this article we prove the following theorems about weak approximation of smooth cubic hypersurfaces and del Pezzo surfaces of degree 4 defined over global fields. (1) For cubic hypersurfaces defined over global function fields, if there…

We compute the oriented cobordism group of fold maps of 4-manifolds into the space with all the possible restrictions (and also with no restriction) to the singular fibers. We also give geometric invariants which describe completely the…

This is a survey of the geometry of complex cubic fourfolds with a view toward rationality questions. Topics include classical constructions of rational examples, Hodge structures and special cubic fourfolds, associated K3 surfaces and…

In this paper, we show that there is a natural Lagrangian fibration structure on the map $\Phi$ from the cotangent bundle of a del Pezzo surface $X$ of degree 4 to $\mathbb C^2$. Moreover, we describe explicitly all level surfaces of the…