arXiv research

Classifies Real line bundles with Real connections on manifolds with involution.

Variant of previous work on smooth algebraic functions with compact and non-compact preimages.

A real 3-manifold is a smooth 3-manifold together with an orientation preserving smooth involution, called a real structure. In this article we study open book decompositions on smooth real 3-manifolds that are compatible with the real structure. We call them real open book decompositions. We show that each real open b…

Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.

We begin by showing that every real analytic orbifold has a real analytic Riemannian metric. It follows that every reduced real analytic orbifold can be expressed as a quotient of a real analytic manifold by a real analytic almost free action of a compact Lie group. We then extend a well-known result of Nomizu and Ozek…

We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all closed manifolds homeomorphic to the real projective $7$-space. We also show that…

Using the Cartan-Kahler theory, and results on real algebraic structures, we prove two embedding theorems. First, the interior of a smooth, compact 3-manifold may be isometrically embedded into a G_2-manifold as an associative submanifold. Second, the interior of a smooth, compact 4-manifold K, whose double has a trivi…

We deal with smooth real manifolds as well as complex analytic manifolds as well. It is well known that the concept of star product is powerful enough to produce all Poisson structures on real manifolds. According to [BdM] it is not known whether holomorphic star products exist on complex analytic manifolds. The main p…

This paper constructs real algebraic maps that are topologically special generic maps.

New homotopy 4-spheres and real projective 4-spaces created.

Proves local bi-integrability of bi-Hamiltonian systems on real smooth manifolds.

Every real 3-manifold can be turned into a real contact structure.

Kontsevich's classes distinguish smooth structures on fiber bundles.

Smooth deformation space of Coxeter polytopes proven for orderable orbifolds.

Constructs real algebraic maps with specific geometric constraints.

Let $N$ be a Riemannian manifold and consider a stationary union of three or more $C^{1,μ}$ hypersurfaces-with-boundary $M_k$ in $N$ with a common boundary $Γ$. We show that if $N$ is smooth, then $Γ$ is smooth and each $M_k$ is smooth up to $Γ$ (real analytic in the case $N$ is real analytic). Consequently we strength…

Formal Normal Form created for special CR singularities.

Smooth actions of the multiplicative monoid $(\mathbb{R},\cdot)$ of real numbers on manifolds lead to an alternative, and for some reasons simpler, definition of a vector bundle, a double vector bundle and related structures like a graded bundle [Grabowski and Rotkiewicz, J. Geom. Phys. 2011]. For these reasons it is n…

Constructs real algebraic functions with both compact and non-compact preimages.

We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.

Describes the space of spherical triangles on a smooth 3-manifold.

For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieti…

We construct a decomposition of the identity operator on a Riemannian manifold $M$ as a sum of smooth orthogonal projections subordinate to an open cover of $M$. This extends a decomposition of the real line by smooth orthogonal projection due to Coifman, Meyer and Auscher, Weiss, Wickerhauser, and a similar decomposit…

Real vector bundles are determined by their Dirac indices on specific spin manifolds.

A flow defined by a nonsingular smooth vector field $X$ on a closed manifold $M$ is said to be parameter rigid if given any real valued smooth function $f$ on $M$, there are a smooth funcion $g$ and a constant $c$ such that $f=X(g)+c$ holds. We show that the parameter rigid flows on closed orientable 3-manifolds are sm…

Researchers reconstruct algebraic maps onto curves based on prescribed Reeb graphs.

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle for pseudoholomorphic discs, on precise estimates of the Kobayashi-Royden infinite…

Smooth manifolds have functions with exactly two critical values.

We classify smooth locally free actions of the real affine group on closed orientable three-dimensional manifolds up to smooth conjugacy. As a corollary, there exists a non-homogeneous action when the manifold is the unit tangent bundle of a closed surface with a hyperbolic metric.

A real 3- or 4-manifold has by definition an orientation preserving smooth involution acting on it. We consider Lefschetz fibrations of 4-dimensional manifolds-with-boundary and open book decompositions on their boundary in the existence of a real structure. We prove that there is a real open book which cannot be fille…

It is proved that a germ of a real analytic CR map from a smooth real-analytic minimal CR manifold M to an essentially finite real-algebraic generic submanifold M' of P^N of the same CR-dimension extends as a holomorphic correspondence along M. Applications are given for pseudoconcave submanifolds of P^N.

Defines manifolds of mappings between function spaces and discusses their properties.

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The proof follows quickly from known results of Fine, Liu and Ma.

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on M is given by composition with a unique diffeomorphism from M to N. An analogou…

New examples of 5D manifolds without certain structures.

After establishing the uniqueness of the continuation of local Cauchy data for harmonic maps between two Riemannian manifolds M and N, we prove (i) a reflection principle for a smooth minimal submanifold Y of a Riemannian manifold M that contains a reflective submanifold of M as a hypersurface and (ii) the reflection p…

We prove that the classical integrability condition for almost complex structures on finite-dimensional smooth manifolds also works in infinite dimensions in the case of almost complex structures that are real analytic on real analytic Banach manifolds. As an application, we extend some known results concerning existen…

Classifies real-analytic SL(n,R) actions on closed manifolds.

We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.

Constructs real algebraic functions with specified preimages.

It is an important question whether it is possible to put a geometry on a given manifold or not. It is well known that any simply connected closed manifold admitting a real projective structure must be a sphere. Therefore, any simply connected manifold $M$ which is not a sphere $(\dim M \geq 4)$ does not admit a real p…

The object of investigations are almost hypercomplex structures with Hermitian-Norden metrics on 4-dimensional Lie groups considered as smooth manifolds. There are studied both the basic classes of a classification of 4-dimensional indecomposable real Lie algebras depending on two parameters. Some geometric characteris…

We prove that for every compact, connected, differentiable 3--manifold $M$ there is a compact complex manifold $X$ which can be obtained from projective 3--space by a sequence of smooth, real blow ups and downs such that $M$ is diffeomorphic to the set of real points of $X$. By earlier results, such an $X$ can almost n…

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the constructio…

Existing dimensionality reduction methods are adept at revealing hidden underlying manifolds arising from high-dimensional data and thereby producing a low-dimensional representation. However, the smoothness of the manifolds produced by classic techniques over sparse and noisy data is not guaranteed. In fact, the embed…

Research explores real algebraic realization of round fold maps of codimension -1.

We analyze the possibility of defining infinite-dimensional manifolds as ringed spaces. More precisely, we consider three definitions of manifolds modeled on locally convex spaces: in terms of charts and atlases, in terms of ringed spaces, and in terms of functored spaces, as introduced by Douady in his thesis. It is s…