Related papers: Mappings into the Stiefel manifold and cross-cap s…
Homotopy type theory is a version of Martin-L\"of type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this…
We have been interested in understanding the class of 7-dimensional closed and simply-connected manifolds in geometric and constructive ways. We have constructed explicit fold maps, which are higher dimensional versions of Morse functions,…
We consider mappings of domains of Riemannian manifolds that admit branch points and satisfy a certain condition regarding the distortion of the modulus of families of paths. We have established logarithmic estimates of distance distortion…
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…
The possibility that our space is multi - rather than singly - connected has gained a renewed interest after the discovery of the low power for the first multipoles of the CMB by WMAP. To test the possibility that our space is a…
We recall a group-theoretic description of the first non-vanishing homotopy group of a certain (n+1)-ad of spaces and show how it yields several formulae for homotopy and homology groups of specific spaces. In particular we obtain an…
Let $G(k,n)$ be the complex Grassmann manifold of $k$-planes in $\mathbb C^{k+n}$. In this note, we show that for $1<k<n$ and for any selfmap $f:G(k,n)\to G(k,n)$, there exists a $k$-plane $V^k\in G(k,n)$ such that $f(V^k)\cap V^k\ne…
We investigate polyhedral $2k$-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex {\it $k$-Hamiltonian} if it contains the full $k$-skeleton of the polytope. Since the case of the cube is well…
Manin associated to a quadratic algebra (quantum space) the quantum matrix group of its automorphisms. This Talk aims to demonstrate that Manin's construction can be extended for quantum spaces which are non-quadratic homogeneous algebras.…
We compute the mapping class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments…
Let $M$ be an analytic complete finite volume pseudo-Riemannian manifold and $\widetilde{Sp}(n,\mathbb{R})\times\widetilde{Sp}(1,\mathbb{R})$ a connected semisimple Lie group such that its Lie algebra is…
For a 4-manifold $M$ and a knot $k\colon\mathbb{S}^1\hookrightarrow\partial M$ with dual sphere $G\colon\mathbb{S}^2\hookrightarrow\partial M$, we compute the set $\mathbb{D}(M;k)$ of smooth isotopy classes of neat embeddings…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…
The symplectic Stiefel manifold, denoted by $\mathrm{Sp}(2p,2n)$, is the set of linear symplectic maps between the standard symplectic spaces $\mathbb{R}^{2p}$ and $\mathbb{R}^{2n}$. When $p=n$, it reduces to the well-known set of $2n\times…
A geometric approach to the stable homotopy groups of spheres is developed in this paper, based on the Pontryagin-Thom construction. The task of this approach is to obtain an alternative proof of the Hill-Hopkins-Ravenel theorem [H-H-R] on…
First order invariants of generic immersions of manifolds of dimension nm-1 into manifolds of dimension n(m+1)-1, m,n>1 are constructed using the geometry of self-intersections. The range of one of these invariants is related to Bernoulli…
We prove the simultaneous (k,n-k)-systolic freedom, for a pair of adjacent integers k smaller than n/2, of a simply connected n-manifold X. Our construction, related to recent results of I. Babenko, is concentrated in a neighborhood of…
In this paper we have build the modified Hamiltonian formalism for geometric objects like the Jacobi fields and metric tensors. In this approach Jacobi fields and metric tensors are mapped among manifold. As an application, we have mapped a…
It is proved that there exists an integer $L$ such that a framed manifold of dimension $2^l-2$, $l\le L$ has the trivial Kervaire Invariant.
For each odd integer r greater than one and not divisible by three we give explicit examples of infinite families of simply and tangentially homotopy equivalent but pairwise non-homeomorphic closed homogeneous spaces with fundamental group…