arXiv research

Computed p-widths for real projective plane.

A new systolic inequality with a remainder for the real projective plane.

Stable planes are locally isomorphic to classical projective planes.

The known upper bounds for the multiplicities of the Laplace-Beltrami operator eigenvalues on the real projective plane are improved for the eigenvalues with even indexes. Upper bounds for Dirichlet, Neumann and Steklov eigenvalues on the real projective plane with holes are also provided.

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.

This paper is motivated by the real symplectic isotopy problem : does there exists a nonsingular real pseudoholomorphic curve not isotopic in the projective plane to any real algebraic curve of the same degree? Here, we focus our study on symmetric real curves on the projective plane. We give a classification of real s…

It is proved that for a 3-dimensional compact metrizable space X the infinite real projective space is an absolute extensor of X if and only if the real projective plane is an absolute extensor of X.

Study on real hypersurfaces in complex projective plane with constant mean curvature.

In this paper, we study a family of curves on $S^2$ that defines a two-dimensional smooth projective plane. We use curve shortening flow to prove that any two-dimensional smooth projective plane can be smoothly deformed through a family of smooth projective planes into one which is isomorphic to the real projective pla…

The spinor representation is developed and used to investigate minimal surfaces in ${\bfR}^3$ with embedded planar ends. The moduli spaces of planar-ended minimal spheres and real projective planes are determined, and new families of minimal tori and Klein bottles are given. These surfaces compactify in $S^3$ to yield …

Study curvatures of diffeomorphisms on non-orientable surfaces.

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

New constraints on embedded spheres and projective planes in 4-manifolds from Seiberg-Witten theory.

We prove an isoperimetric inequality for the second non-zero eigenvalue of the Laplace-Beltrami operator on the real projective plane. For a metric of the unit area this eigenvalue is not greater than 20π. This value is attained in the limit by a sequence of metrics of area one on the projective plane. The limiting met…

We found a unique 4D plane that can't be simplified.

The paper proves a Bonnesen-type inequality for the real projective plane.

We determine non-Hopf hypersurfaces with constant mean curvature in the complex projective plane which attain equality in a basic inequality between the maximum Ricci curvature and the squared mean curvature.

Presented a simple group presentation for degree four cactus group.

We find the first examples of real hypersurfaces with two nonconstant principal curvatures in complex projective and hyperbolic planes, and we classify them. It turns out that each such hypersurface is foliated by equidistant Lagrangian flat surfaces with parallel mean curvature or, equivalently, by principal orbits of…

This small note, without claim of originality, constructs the projective plane over the octonionic numbers and recalls how this can be used to rule out the existence of higher-dimensional real division algebras, using Adams' solution of the Hopf invariant $1$ problem.

Study on totally real flat minimal surfaces in quaternionic projective space.

The authors study smooth lines on projective planes over the algebra C of complex numbers, the algebra C^1 of double numbers, and the algebra C^0 of dual numbers. In the space RP^5, to these smooth lines there correspond families of straight lines describing point three-dimensional tangentially degenerate submanifolds …

For any sequence of properly convex domains in the real projective plane such that the zeros of Pick differentials have bounded multiplicity and get further and further apart, we determined all Hausdorff limit domains that one can obtain after normalizing each member of the sequence by a projective transformation. We t…

We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective space more relevant to robotics.

We show that the Clifford torus and the totally geodesic real projective plane RP^2 in the complex projective plane CP^2 are the unique Hamiltonian stable minimal Lagrangian compact surfaces of CP^2 with genus less than or equal to 4, when the surface is orientable, and with Euler characteristic greater than or equal t…

We study curvature restrictions of Levi-flat real hypersurfaces in complex projective planes, whose existence is in question. We focus on its totally real Ricci curvature, the Ricci curvature of the real hypersurface in the direction of the Reeb vector field, and show that it cannot be greater than -4 along a Levi-flat…

A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In…

New braid invariant derived from octagon solutions.

The "dancing metric" is a pseudo-riemannian metric $\pmb{g}$ of signature $(2,2)$ on the space $M^4$ of non-incident point-line pairs in the real projective plane $\mathbb{RP}^2$. The null-curves of $(M^4,\pmb{g})$ are given by the "dancing condition": the point is moving towards a point on the line, about which the li…

Sharp bounds found for energy in projective space mappings.

Torically maximal curves (known also as simple Harnack curves) are real algebraic curves in the projective plane such that their logarithmic Gauß map is totally real. In this paper we show that hyperplanes in projective spaces are the only torically maximal hypersurfaces of higher dimensions.

Flexible links have symplectic representatives in complex projective space.

The study shows that certain manifolds with positive curvature cannot contain specific geometric structures.

We prove that there is a true asymptotic formula for the number of one sided simple closed curves of length $\leq L$ on any Fuchsian real projective plane with three points removed. The exponent of growth is independent of the hyperbolic structure, and it is noninteger, in contrast to counting results of Mirzakhani for…

The paper calculates the mapping class group of specific complex projective plane bundles.

New triangulations of octonionic projective plane found with restricted symmetry groups.

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…

A result is given to find points where a real valued function on the plane is not smooth. Provided this function is induced by a smooth mapping from three dimensions to the plane, from a function on surfaces in three dimensions. This has applications to numerical methods such as image processing.

Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give sever…

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…

The abstract discusses a new causal structure on manifolds using paths and points.

A projective link is a smooth closed 1-submanifold of the real projective space of dimension three. A projective link is said to be affine if it is isotopic to a link, which does not intersect some projective plane. The main result: a projective link is affine if and only if the fundamental group of its complement cont…

Minimal surfaces in a Riemannian manifold $M^n$ are surfaces which are stationary for area: the first variation of area vanishes. In this paper we focus on surfaces of the topological type of the real projective plane $\R P^2$. We show that a minimal surface $f:\R P^2\to M^3$ which has the smallest area, among those ma…

Study real projective structures on a specific Coxeter orbifold.

Using octonions and the triality property of Spin(8), we find explicit formulae for the Lie brackets of the exceptional simple real Lie algebras $\mathfrak{f}_4$ and $\mathfrak{f}^*_4$, i.e. the Lie algebras of the isometry groups of the Cayley projective plane and the Cayley hyperbolic plane. As an application, we cla…

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

We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in proj…