arXiv research

Study on rational projective planes with small index singularities.

Study shows no smooth embeddings of rational homology balls into complex projective plane.

Classifies degenerations of complex projective plane with rational singularities.

All rational homology groups of unordered configuration spaces of the Moebius strip and the projective plane are calculated

Paper proves conditions for rational homology complex projective planes with singularities.

Classifies curves up to symplectic isotopy.

In this paper, we study the existence of high-dimensional, closed, smooth manifolds whose rational homotopy type resembles that of a projective plane. Applying rational surgery, the problem can be reduced to finding possible Pontryagin numbers satisfying the Hirzebruch signature formula and a set of congruence relation…

Formula conjectured for rational cuspidal curves in projective plane.

We exhibit an infinite family of rational homology balls which embed smoothly but not symplectically in the complex projective plane. We also obtain a new lattice embedding obstruction from Donaldson's diagonalisation theorem, and use this to show that no two of our examples may be embedded disjointly.

In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to co…

Solved a conjecture about rational homology projective planes with quotient singularities.

Study Markov staircases in symplectic embeddings of rational homology ellipsoids.

We consider projective rational strong Calabi dream surfaces: projective smooth rational surfaces which admit a constant scalar curvature Kähler metric for every Kähler class. We show that there are only two such rational surfaces, namely the projective plane and the quadric surface. In particular, we show that all rat…

A rational projective plane ($\mathbb{QP}^2$) is a simply connected, smooth, closed manifold $M$ such that $H^*(M;\mathbb{Q}) \cong \mathbb{Q}[α]/\langle α^3 \rangle$. An open problem is to classify the dimensions at which such a manifold exists. The Barge-Sullivan rational surgery realization theorem provides necessar…

We use invariants of Hendricks and Manolescu coming from involutive Heegaard Floer theory to find constraints on possible configurations of singular points of a rational cuspidal curve of odd degree in the projective plane. We show that the results do not carry over to rational cuspidal curves of even degree.

Study contact structures on projective spaces, proving infinite non-isotopic structures.

New symplectic caps and embeddings found in complex projective plane.

Explicit formulas for Hattori-Stong integrability conditions and manifolds' signature properties.

In 1992, Brehm and Kühnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a projective plane" in the sense of Eells and Kuiper. However, it was not known until …

The aim of this paper is to consider a possible extension of the Bogomolov--Miyaoka--Yau inequality to differentiable orbifolds. The conjectured extension is related to the Montgomery--Yang problem about circle actions on the 5--sphere and also to the H--cobordism of Seifert fibered 3--manifolds. Related conjectures on…

In this paper we study rational real algebraic knots in $\R P^3$. We show that two real algebraic knots of degree $\leq5$ are rigidly isotopic if and only if their degrees and encomplexed writhes are equal. We also show that any irreducible smooth knot which admits a plane projection with less than or equal to four cro…

The study provides a criterion for fractional-linear integrals of geodesics on surfaces.

We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. …

Smooth 4-manifolds have simple horizontal decompositions.

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…

In this paper, we adapt the differential signature construction to the equivalence problem for complex plane algebraic curves under the actions of the projective group and its subgroups. Given an action of a group $G$, a signature map assigns to a plane algebraic curve another plane algebraic curve (a signature curve) …

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the modul…

In this work we study some problems related with algebraic hypersurfaces invariant by foliations on weighted projective spaces $\mathbb{P}_{\mathbb{C}}(\varpi_0,...,\varpi_n)$ generalizing some results known for $\p$, as for example: the number of singularities, with multiplicities, contained in the invariant quasi-smo…

Study symplectic forms on manifolds to find Lagrangian pinwheels that can be separated.

We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex proje…

Classifies 4-manifolds with genus one horizontal handlebody decomposition.

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…

This article shows that every non-isotropic harmonic 2-torus in complex projective space factors through a generalised Jacobi variety related to the spectral curve. Each map is composed of a homomorphism into the variety and a rational map off it. The same ideas allow one to construct (pluri)-harmonic maps of finite ty…

In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9χ_h$, the fake projective planes and Cartwright-Steger surfaces. Our construction yields an infinite family of fake rational homology $(2n-1)\CP#(2n-…

We present an approach of computing the intersection curve $\mathcal{C}$ of two rational parametric surface $§_1(u,s)$ and $§_2(v,t)$, one being projectable and hence can easily be implicitized. Plugging the parametric surface to the implicit surface yields a plane algebraic curve $G(v,t)=0$. By analyzing the topology …

Study rationality of meromorphic functions between real algebraic sets in the plane.

We apply the methods of Heegaard Floer homology to identify topological properties of complex curves in the complex projective plane. As one application, we resolve an open conjecture that constrains the Alexander polynomial of the link of the singular point of the curve in the case that there is exactly one singular p…

The study classifies semiaffine stable planes into affine, projective, or punctured projective planes.

Using symplectic topology and the Radon transform, we prove that smooth 4-dimensional projective planes are diffeomorphic to $\mathbb{CP}^2$. We define the notion of a plane curve in a smooth projective plane, show that plane curves in high dimensional regular planes are lines, prove that homeomorphisms preserving plan…

We use reduced homogeneous coordinates to study Riemannian geometry of the octonionic (or Cayley) projective plane. Our method extends to the para-octonionic (or split octonionic) projective plane, the octonionic projective plane of indefinite signature, and the hyperbolic dual of the octonionic projective plane; we di…

New geometric proof for rational tangles links-quivers correspondence.

In this paper we provide a classification of all Moishezon twistor spaces on the connected sum of four complex projective planes. This is given by means of the anticanonical system of the twistor spaces. In particular, we show that the anticanonical map is birational, two to one over the image, or otherwise the image o…

We derive the quantum Teichmüller space, previously constructed by Kashaev and by Fock and Chekhov, from tensor products of a single canonical representation of the modular double of the quantum plane. We show that the quantum dilogarithm function appears naturally in the decomposition of the tensor square, the quantum…

Survey on minimal rational curves and their geometric structures.

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

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.

The paper characterizes coverings over the projective plane with minimal defect.

Stable planes are locally isomorphic to classical projective planes.