Related papers: Real forms on rational surfaces

Let $f \colon X \to X$ be a surjective endomorphism of a normal projective surface. When $\operatorname{deg} f \geq 2$, applying an (iteration of) $f$-equivariant minimal model program (EMMP), we determine the geometric structure of $X$.…

In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

We construct families of smooth affine surfaces with pairwise non isomorphic A 1-cylinders but whose A 2-cylinders are all isomorphic. These arise as complements of cuspidal hyperplane sections of smooth projective cubic surfaces.

A rational homogeneous (of degree one) positive real matrix-valued function is presented as the Schur complement of a block of the linear pencil with positive semidefinite matrix coefficients. The partial derivative numerators of a rational…

We study the family of rational curves on arbitrary smooth hypersurfaces of low degree using tools from analytic number theory.

We construct rational elliptic surfaces of index two by explicitly constructing their associated Halphen pencils in the projective plane $\mathbb{P}^2$. For each of the types of singular fibers that occur we construct at least one example…

It is proven that for any topological or analytical types of isolated singular points of plane curves, there exists a non-real irreducible plane algebraic curve of degree $d$ which goes through $d^2$ real distinct points and has imaginary…

We show that projective K3 surfaces with odd Picard rank contain infinitely many rational curves. Our proof extends the Bogomolov-Hassett-Tschinkel approach, i.e., uses moduli spaces of stable maps and reduction to positive characteristic.

We study ruled real hypersurfaces whose shape operators have constant squared norm in nonflat complex space forms. In particular, we prove the nonexistence of such hypersurfaces in the projective case. We also show that biharmonic ruled…

We construct a minimal complex surface of general type with $p_g=0$, $K^2 =4$, and $\pi_1=\mathbb{Z}/2\mathbb{Z}$ using a rational blow-down surgery and a $\mathbb{Q}$-Gorenstein smoothing theory. In a similar fashion, we also construct a…

Let X be a scroll over a rational surface. We construct a linear system of surfaces in P^3 yielding a birational map from P^3 to X. We apply this construction to the scrolls of Bordiga and Palatini.

Let X be a rational nonsingular compact connected real algebraic surface. Denote by Aut(X) the group of real algebraic automorphisms of X. We show that the group Aut(X) acts n-transitively on X, for all natural integers n. As an application…

Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $\pi: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor…

We study rationality properties of geodesic cycle integrals of meromorphic modular forms associated to positive definite binary quadratic forms. In particular, we obtain finite rational formulas for the cycle integrals of suitable linear…

Let $R$ be the field of real Puiseux series. It is a real closed field. We construct the first examples of smooth intersections of two quadrics in $\mathbb{P}_R^5$ and smooth cubic hypersurfaces in $\mathbb{P}_R^4$ which are not stably…

Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case…

A rational projective plane ($\mathbb{QP}^2$) is a simply connected, smooth, closed manifold $M$ such that $H^*(M;\mathbb{Q}) \cong \mathbb{Q}[\alpha]/\langle \alpha^3 \rangle$. An open problem is to classify the dimensions at which such a…

We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering.

We classify all smooth projective toric surfaces $S$ containing exactly one exceptional curve. We show that every such surface $S$ is isomorphic to either $\mathbb{F}_1$ or a surface $S_r$ defined by a rational number $r \in \mathbb{Q}…