arXiv research

We establish cohomological and extension dimension versions of the Hurewicz dimension-raising theorem

Study distance maps on spaces with curvature bound, proving regularity and sphere theorem.

We introduce a geometric property complementary-finite asymptotic dimension (coas- dim). Similar with asymptotic dimension, we prove the corresponding coarse invariant theorem, union theorem and Hurewicz-type theorem.

We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As a…

We discuss homotopy properties of endpoint maps for affine control systems. We prove that these maps are Hurewicz fibrations with respect to some $W^{1,p}$ topology on the space of trajectories, for a certain $p>1$. We study critical points of geometric costs for these affine control systems, proving that if the base m…

The paper discusses abelian integration and monodromy groups for Lie algebroids.

Introduces Hurewicz fibrations for embedding maps of orbifold charts.

Extends topological groupoids and studies their properties.

Let $f : X \lo Y$ be a map of compact metric spaces. A classical theorem of Hurewicz asserts that $\dim X \leq \dim Y +\dim f$ where $\dim f =\sup \{\dim f^{-1}(y): y \in Y \}$. The first author conjectured that {\em $\dim Y + \dim f$ in Hurewicz's theorem can be replaced by $\sup \{\dim (Y \times f^{-1}(y)): y \in Y \…

We consider a twisted version of the Hurewicz map on the complement of a hyperplane arrangement. The purpose of this paper is to prove surjectivity of the twisted Hurewicz map under some genericity conditions. As a corollary, we also prove that a generic section of the complement of a hyperplane arrangement has non-tri…

The paper proves mapping class groups of closed surfaces are simply connected at infinity.

Proves uniform index bound for loops in Alexandrov spaces.

We extend Gromov's notion of asymptotic dimension of finitely generated groups to all discrete groups. In particular, we extend the Hurewicz type theorem proven in [B-D2] to general groups. Then we use this extension to prove a formula for the asymptotic dimension of finitely generated solvable groups in terms of their…

Study detects Hopf elements and Kervaire classes in sphere spectra.

Enhances Floer homology for fibrations without simple connectivity assumption.

We describe the second homotopy group of any CW-complex $K$ by analyzing the universal cover of a locally finite model of $K$ using the notion of $G$-coloring of a partially ordered set. As applications we prove a generalization of the Hurewicz theorem, which relates the homotopy and homology of non-necessarily simply-…

Proves Arnol'd's chord conjecture for conormal bundles.

The paper is devoted to generalizations of Cencelj-Dranishnikov theorems relating extension properties of nilpotent CW complexes to its homology groups. Here are the main results of the paper: \par {\bf Theorem}. Suppose $L$ is a nilpotent CW complex and $F$ is the homotopy fiber of the inclusion $i$ of $L$ into its in…

Curious examples of lifting spaces not as inverse limits of covering spaces.

Recent work of M. Yoshinaga shows that in some instances certain higher homotopy groups of arrangements map onto non-resonant homology. This is in contrast to the usual Hurewicz map to untwisted homology, which is always the zero homomorphism in degree greater than one. In this work we examine this dichotomy, generaliz…

Here are two of our main results: Theorem 1. Let X be a normal space with dim X=n and m\geq n+1. Then the space C*(X,R^m) of all bounded maps from X into R^m equipped with the uniform convergence topology contains a dense G_δ-subset consisting of maps g such that \bar{g(X)}\capΠ^d is at most (n+d-m)-dimensional for eve…

We propose an intuitive interpretation for nontrivial $L^2$-Betti numbers of compact Riemann surfaces in terms of certain loops in embedded pairs of pants. This description uses twisted homology associated to the Hurewicz map of the surface, and it satisfies a sewing property with respect to a large class of pair-of-pa…

Given a function $f\colon X\to Y$ of metric spaces, its {\it asymptotic dimension} $\asdim(f)$ is the supremum of $\asdim(A)$ such that $A\subset X$ and $\asdim(f(A))=0$. Our main result is \begin{Thm} \label{ThmAInAbstract} $\asdim(X)\leq \asdim(f)+\asdim(Y)$ for any large scale uniform function $f\colon X\to Y$. \end…

Develops Morse homology with DG coefficients for manifolds and spaces.

We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which coincides with the Hurewicz image of Koschorke's stabilized bordism invariant. To defin…

We introduce a notion of vanishing Maslov index for lagrangian varifolds and lagrangian integral cycles in a Calabi-Yau manifold. We construct mass-decreasing flows of lagrangian varifolds and lagrangian cycles which satisfy this condition. The flow of cycles converges, at infinite time, to a sum of special lagrangian …

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This paper is primarily concerned with the case of compacta, in which Steenrod homot…

The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes $\dim(A)$ of graded groups $A$. There are two geometric interpretations of thos…

A self-transverse immersion of a smooth manifold M^{k+2} in R^{2k+2} has a double point self-intersection set which is the image of an immersion of a smooth surface, the double point self-intersection surface. We prove that this surface may have odd Euler characteristic if and only if k is congruent to 1 modulo 4 or k+…

We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, ω)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This holds, in particular, when $π_2(M)=0$. The Arnold conjecture asserts that the number of…

Develops a unified theory for various covering structures in noncommutative geometry.

This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the universal covering. We then establish the Galois correspondence between connecte…

Given a manifold $M$ and a proper sub-bundle $Δ\subset TM$, we study homotopy properties of the horizontal base-point free loop space $Λ$, i.e. the space of absolutely continuous maps $γ:S^1\to M$ whose velocities are constrained to $Δ$ (for example: legendrian knots in a contact manifold). A key technical ingredient f…

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

The paper proves a new theorem in Riemannian geometry and offers a new proof for Toponogov's theorem in Alexandrov geometry.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Paper develops formulas and theorems in Hermitian geometry.

Proves Markov theorem for trivalent braids using L-move approach.

Proofs for Moon's theorem and its generalization.

New theorem for doodles on sphere, similar to Markov's.

Investigates proving geometric theorems over complex and real numbers using tilings.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Extends calculus theorem to higher dimensions.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.