Related papers: The Vaserstein symbol on real smooth affine threef…
We give a new proof for the local existence of a smooth isometric embedding of a smooth $3$-dimensional Riemannian manifold with nonzero Riemannian curvature tensor into $6$-dimensional Euclidean space. Our proof avoids the sophisticated…
A unit vector field on a Riemannian manifold $M$ is called geodesic if all of its integral curves are geodesics. We show, in the case of $M$ being a flat 3-manifold not equal to $\mathbb{E}^3$, that every such vector field is tangent to a…
The celebrated Poncelet porism is usually studied for a pair of smooth conics that are in a general position. Here we discuss Poncelet porism in the real plane - affine or projective, when that is not the case, i.e. the conics have at least…
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…
Surfaces of finite geometric type are complete, immersed into the tree-dimensional Euclidean space with finite total curvature and Gauss map extending to an oriented compact surface as a smooth branched covering map over the unit sphere of…
In this paper, we complete the classification of which compact 3-manifolds have a virtually compact special fundamental group by addressing the case of mixed 3-manifolds. A compact aspherical 3-manifold is mixed if has at least one JSJ…
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a…
The disk complex of a surface in a 3-manifold is used to define its {\it topological index}. Surfaces with well-defined topological index are shown to generalize well-known classes, such as incompressible, strongly irreducible, and critical…
A certain real number, depending on two neighbouring sides of a quadrilateral and the diagonal meeting these two sides at their common point, is shown to be invariant under affinity. As an application we demonstrate a nice formula for the…
A spherical set is called convex if for every pair of its points there is at least one minimal geodesic segment that joins these points and lies in the set. We prove that for n >= 3 a complete locally-convex (topological) immersion of a…
We give necessary and sufficient conditions for a real-valued quasiconvex function f on a Baire topological vector space X (in particular, Banach or Frechet space) to be continuous at the points of a residual subset of X. These conditions…
Recent observations seem to indicate that we live in a universe whose spatial sections are nearly or exactly flat. Motivated by this we study the problem of observational detection of the topology of universes with flat spatial sections. We…
We prove that an injective map $f:X\to Y$ between connected metrizable spaces $X,Y$ is continuous if for every connected subset $C\subset X$ the image $f(C)$ is connected and one of the following conditions is satisfied: (1) $Y$ is a…
Previously work of the author with Meier and Starkston showed that every closed symplectic manifold $(X,\omega)$ with a rational symplectic form admits a trisection compatible with the symplectic topology. In this paper, we describe the…
We prove that a holomorphic projective connection on a complex projective threefold is either flat, or it is a translation invariant holomorphic projective connection on an abelian threefold. In the second case, a generic translation…
For a holomorphic one-form $\mathbf{\xi}$ on a weakly 1-complete manifold $X$ with certain properties, we discussed the connectivity of the pair $(\hat{X}, F^{-1}(z))$, where $\pi : \hat{X} \to X$ is a covering map and…
A (flat) affine $3$-manifold is a $3$-manifold with an atlas of charts to an affine space $\mathbb{R}^3$ with transition maps in the affine transformation group $\mathrm{Aff}(\mathbb{R}^3)$. We will show that a connected closed affine…
We prove that every Vaisman solvmanifold is a finite quotient of a Kodaira-Thurston manifold. More generally, we show that every aspherical compact Vaisman manifold with strongly polycyclic fundamental group is a finite quotient of a…
We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…
Let $X_{\mathbb{C}}$ be a smooth real affine variety with compact real points $X_{\mathbb{R}}$. We show that $X_{\mathbb{C}}$ is diffeomorphic to the normal bundle of $X_{\mathbb{R}}$ provided that $X_{\mathbb{C}}$ admits a complete…