arXiv research

We give a systematic method to calculate some homological data from the global monodromy of a topological elliptic surface. We apply this method to the cases 1) the transcendental lattice of an extremal elliptic K3 surface, 2) the torsion part of Mordell-Weil group of a general elliptic surface, and 3) the Mordell-Weil…

Study trisections on rational elliptic surfaces to find new Zariski pairs.

We study the Abel-Jacobi map for bisections of a certain rational elliptic surface. As an application, we construct examples of Zariski $N$-plets for conic arrangements.

Study real Mordell-Weil group and real lines on rational elliptic surfaces and del Pezzo surfaces.

Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber cla…

Authors prove Torelli theorem for a specific type of gravitational instantons.

Researchers prove mirror symmetry for certain non-compact Calabi-Yau surfaces.

The study creates symplectic Lefschetz fibrations and rational blowdowns for new 4-manifolds.

We prove that a Lefschetz fibration over the disc that, after compactification, has the same singular fibers as an extremal rational elliptic surface can be obtained by deleting a singular fiber and a section from the rational extremal elliptic surface, i.e. such a Lefschetz fibration is determined up to topological eq…

Let $S$ be an elliptic surface over a smooth curve $C$ with a section $O$. We denote its generic fiber by $E_S$. For a divisor $D$ on $S$, we canonically associate a $C(C)$-rational point $P_D$. In this note, we give a description of $P_D$ of $E_S$, when the rank of the group of $C(C)$-rational points is one. We apply …

Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive hom…

Harer, Kas and Kirby have conjectured that every handle decomposition of the elliptic surface $E(1)_{2,3}$ requires both 1- and 3-handles. In this article, we construct a smooth 4-manifold which has the same Seiberg-Witten invariant as $E(1)_{2,3}$ and admits neither 1- nor 3-handles, by using rational blow-downs and K…

New proof for curved 3-cohom manifold rational ellipticity.

We study the existence of special Lagrangian submanifolds of log Calabi-Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian-Yau. We prove that if $X$ is a Tian-Yau manifold, and if the compact Calabi-Yau manifold at infinty admits a single special Lagrangian, then $X$ admits infinitely…

Proves SYZ mirror symmetry for del Pezzo and rational elliptic surfaces.

Machine learning classifies complex geometric patterns with high accuracy.

Rational ellipticity proven for $G$-manifolds with specific quotient properties.

Let G be a cyclic group of order 3, 5 or 7, and X=E(n) be the relatively minimal elliptic surface with rational base. In this paper, we prove that under certain conditions on n, there exists a locally linear G-action on X which is nonsmoothable with respect to infinitely many smooth structures on X. This extends the ma…

In this article we prove that Fintushel-Stern's construction of Horikawa surface, which is obtained from an elliptic surface via a rational blow-down surgery in smooth category, can be performed in complex category. The main technique involved is Q-Gorenstein smoothings.

We give new rational blowdown constructions of exotic CP^2#n(-CP^2) (5\leq n\leq 9) without using elliptic fibrations. We also show that our 4-manifolds admit handle decompositions without 1- and 3-handles, for 7\leq n\leq 9. A strategy for rational blowdown constructions of exotic CP^2#n(-CP^2) (1\leq n\leq 4) is also…

We give a characterization of closed, simply connected, rationally elliptic 6-manifolds in terms of their rational cohomology rings and a partial classification of their real cohomology rings. We classify rational, real and complex homotopy types of closed, simply connected, rationally elliptic 7-manifolds. We give par…

Study shows conditions for rational ellipticity of manifolds with symmetries.

In this work, it is shown that a simply-connected, rationally-elliptic torus orbifold is equivariantly rationally homotopy equivalent to the quotient of a product of spheres by an almost-free, linear torus action, where this torus has rank equal to the number of odd-dimensional spherical factors in the product. As an a…

We study local, global and local-to-global properties of threefolds with certain singularities. We prove criteria for these threefolds to be rational homology manifolds and conditions for threefolds to satisfy rational Poincaré duality. We relate the topological Euler characteristic of elliptic Calabi-Yau threefolds wi…

We show that there is a complex structure on the symplectic 4-manifold $W_{4, k}$ obtained from the elliptic surface E(4) by rationally blowing down $k$ sections for $2\le k\le 9$. And we interpret it via ${\mathbb Q}$-Gorenstein smoothing. This answers affirmatively to a question raised by R. Gompf.

Let M be a compact, connected and simply-connected Riemannian manifold, and suppose that G is a compact, connected Lie group acting on M by isometries. The dimension of the space of orbits is called the cohomogeneity of the action. If the direct sum of the higher homotopy groups of M, tensored with the field of rationa…

We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rat…

We construct simply connected, minimal, symplectic 4-manifolds with exotic smooth structures and each with one Seiberg-Witten basic class up to sign, on the Noether line and between the Noether and half Noether lines by star surgeries introduced by Karakurt and Starkston, and by using complex singularities. We also con…

An upper bound is obtained on the rank of a torus which can act smoothly and effectively on a smooth, closed, simply connected, rationally elliptic manifold. In the maximal-rank case, the manifolds admitting such actions are classified up to equivariant rational homotopy type.

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this examination we classify rationally elliptic homotopy types and characterise 7-di…

An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in particular the Hilbert schemes of the projective plane and show that a generic deform…

In this paper, we pose several conjectures on structures and images of maximal rationally connected fibrations of smooth projective varieties admitting semi-positive holomorphic sectional curvature. Toward these conjectures, we prove that the canonical bundle of images of such fibrations is not big. Our proof gives a g…

The article proves estimates on homotopy and cohomology dimensions in fibrations.

Researchers prove a complex geometric conjecture about certain manifolds.

We formulate a very general conjecture relating the analytical invariants of a normal surface singularity to the Seiberg-Witten invariants of its link provided that the link is a rational homology sphere. As supporting evidence, we establish its validity for a large class of singularities: some rational and minimally e…

By carrying out a rational transformation on the base curve $\mathbb{CP}^1$ of the Seiberg-Witten curve for $\mathcal{N}=2$ supersymmetric pure $\mathrm{SU}(2)$-gauge theory, we obtain a family of Jacobian elliptic K3 surfaces of Picard rank 17. The isogeny relating the Seiberg-Witten curve for pure $\mathrm{SU}(2)$-ga…

Consider a family of K3 surfaces over a hyperbolic curve (i.e. Riemann surface). Their second cohomology groups form a local system, and we show that its top Lyapunov exponent is a rational number. One proof uses the Kuga-Satake construction, which reduces the question to Hodge structures of weight 1. A second proof us…

Simply-connected manifolds of positive sectional curvature $M$ are speculated to have a rigid topological structure. In particular, they are conjectured to be rationally elliptic, i.e., all but finitely many homotopy groups are conjectured to be finite. In this article we combine positive curvature with rational ellipt…

We will first clarify the loop group formulations for both hyperbolic and elliptic definite affine spheres in R^3. Then we classify the rational elements with 3 poles or 6 poles in a real twisted loop group, and compute dressing actions of them on such surfaces. Some new examples with pictures will be produced at last.

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and …

Study finite-type solutions of elliptic sinh-Gordon equation with Durham boundary conditions.

This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connect…

Study eigenvalues of curvature operators to annihilate cobordism invariants.

The paper proves properties of manifolds under certain conditions.

The Seiberg-Witten family of elliptic curves defines a Jacobian rational elliptic surface $\Z$ over $\mathbb{C}\mathrm{P}^1$. We show that for the $\bar{\partial}$-operator along the fiber the logarithm of the regularized determinant $-1/2 \log \det' (\bar\partial^* \bar\partial)$ satisfies the anomaly equation of the …

Proves approximation and interpolation for regular immersions directed by algebraically elliptic cones.

We study algebraic solutions of the Riccati equation over the field of rational functions $\mathbb C(t)$, and over the elliptic function field $\mathbb C(\wp,\wp^\prime)$.

In this paper, we construct for the first time the projective elliptic genera for a compact oriented manifold equipped with a projective complex vector bundle. Such projective elliptic genera are rational q-series that have topological definition and also have analytic interpretation via the fractional index theorem in…