arXiv research

Study when idempotent barycenter map results in trivial bundle.

The paper studies the topology of hyperspaces of k-dimensional convex sets.

Is a given map between compact topological manifolds homotopic to the projection map of a fiber bundle? In this paper obstructions to this question are introduced with values in higher algebraic K-theory. Their vanishing implies that the given map fibers stably. The methods also provide results for the corresponding un…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent diagrams and their homotopy colimits. We also comment on the simple homotopy ty…

We demonstrate the homogeneity of the Hilbert Cube. In particular, we construct explicit self-homeomorphisms of the Hilbert cube so that given any two points, a homeomorphism moving one to the other may be realized.

We study and classify topologically invariant $σ$-ideals with a Borel base on the Hilbert cube and evaluate their cardinal characteristics. One of the results of this paper solves (positively) a known problem whether the minimal cardinalities of the families of Cantor sets covering the unit interval and the Hilbert cub…

We prove that for every $n>2$, the Banach-Mazur compactum Q(n) is the compactification of a Hilbert cube manifold by the Euclidean point. For $n=2$ this result was proved earlier.

We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.

We present short proofs of Toruńczyk's well-known characterization theorems of the Hilbert cube and Hilbert space, respectively.

If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.

We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by combining the theory of special cube complexes, the surface subgroup result of Ka…

Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces: a singleton, the real line, a closed half-plane, the Hilbert cube multiplied by…

Adapts Bartnik method to Hilbert manifold structure for vacuum constraint equations.

The paper studies critical points and flows of a $G_2$-Hilbert functional on manifolds with circle actions.

We characterize groups quasi-isometric to a right-angled Artin group $G$ with finite outer automorphism group. In particular all such groups admit a geometric action on a $CAT(0)$ cube complex that has an equivariant "fibering" over the Davis building of $G$.

Lectures on link homology and its algebraic/geometric models.

A Wasserstein spaces is a metric space of sufficiently concentrated probability measures over a general metric space. The main goal of this paper is to estimate the largeness of Wasserstein spaces, in a sense to be precised. In a first part, we generalize the Hausdorff dimension by defining a family of bi-Lipschitz inv…

We determine the homeomorphism type of the space of smooth complete nonnegatively curved metrics on surfaces of positive Euler characteristic equipped with the topology of $C^γ$ uniform convergence on compact sets, when $γ$ is infinite or is not an integer. If $γ=\infty$, the space of metrics is homeomorphic to the sep…

For an infinite cardinal $κ$ let $\ell_2(κ)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(κ)$ of density $κ$. We prove that a non-separable convex subset $X$ of density $κ$ in a locally convex linear metric space if homeomorphic to the space (i) $\ell_2^f(κ)$ if and only if $X$ can be…

In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a closed nowhere dense subset $S\subset M$ (called a spongy set) which is a universal nowhere dense set in $M$ in the sense that for each nowhere dense subset $A\subset M$ there is a homeomorphism $h:M\to M$ such that $h(A)\sub…

Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and [Hi] suggest to view $H_s$ as fibers of a Hilbert bundle $H$, introduce a connec…

In 2009 Gaiotto, Moore and Neitzke presented a new construction of hyperkähler metrics on the total spaces of certain complex integrable systems, represented as a torus fibration $\mathcal{M}$ over a base space $\mathcal{B}$, except for a divisor $D$ in $\mathcal{B}$, in which the torus fiber degenerates into a nodal t…

A weakly reflective submanifold is a minimal submanifold of a Riemannian manifold which has a certain symmetry at each point. In this paper we introduce this notion into a class of proper Fredholm (PF) submanifolds in Hilbert spaces and show that there exist so many infinite dimensional weakly reflective PF submanifold…

In this paper, we develop a geometric procedure for producing a reverse to Quillen's plus construction, a construction called a 1-sided h-cobordism or semi-h-cobordism. We then use this reverse to the plus construction to produce uncountably many distinct ends of manifolds called pseudo-collars, which are stackings of …

The paper studies the topological properties of convex sets and their polar mappings.

Guilbault and author prove sufficient conditions for $\mathcal{Z}$-compactifiability of certain manifolds.

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable and locally finite CW complex L the following conditions are equivalent: (i) L is quasi-finite. (ii) There exists a [L]-invertible mapping of a metrizable compactum X with e-dim X = [L] onto the Hilbert cube. Final…

In the following paper we investigate the question: when is a transitive topological groupoid continuously isomorphic to a Lie groupoid? We present many results on the matter which may be considered generalizations of the Hilbert's fifth problem to this context. Most notably we present a "solution" to the problem for p…

In the following paper we investigate the question: when is a transitive topological groupoid continuously isomorphic to a Lie groupoid? We present many results on the matter which may be considered generalizations of the Hilbert's fifth problem to this context. Most notably we present a "solution" to the problem for p…

We present an alternative proof of the following fact: the hyperspace of compact closed subsets of constant width in $\mathbb R^n$ is a contractible Hilbert cube manifold. The proof also works for certain subspaces of compact convex sets of constant width as well as for the pairs of compact convex sets of constant rela…

We define a local Riemann-Roch number for an open symplectic manifold when a complete integrable system without Bohr-Sommerfeld fiber is provided on its end. In particular when a structure of a singular Lagrangian fibration is given on a closed symplectic manifold, its Riemann-Roch number is described as the sum of the…

We prove an effective version of a theorem relating curve complex distance to electric distance in hyperbolic 3-manifolds, up to errors that are polynomial in the complexity of the underlying surface. We use this to give an effective proof of a result regarding maps between curve complexes of surfaces induced by finite…

Paper proves Gromov's cube inequality in all dimensions.

A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells…

New techniques compute $L^2$-cohomology of quasi-fibered metrics.

Simplified and extended a method for rearranging infinite configurations of cubes.

New method for quantizing symplectic manifolds with Lagrangian bundles.

Generalizes Leighton's theorem to cube complexes.

Study curvature in holomorphic fibration fields.

In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot homology is constructed from cube diagrams and shown to be equivalent to knot Fl…

Seidel and Smith have constructed an invariant of links as the Floer cohomology for two Lagrangians inside a complex affine variety Y. This variety is the intersection of a semisimple orbit with a transverse slice at a nilpotent in the Lie algebra $sl_{2m}.$ We exhibit bijections between a set of generators for the Sei…

Given a triangulation of a closed topological cube, we show that (under some technical condition) there is an essentially unique tiling of a rectangular parallelepiped by cubes, indexed by the vertices of the triangulation. Moreover, i - the combinatorics is preserved, and ii- the boundary is preserved: vertices corres…

New geometric spine for Artin groups defined by cube complexes.

Study mapping class groups on CAT(0) cube complexes.

For a knot K the cube number is a knot invariant defined to be the smallest n for which there is a cube diagram of size n for K. We will show that the cube number detects chirality in all cases computed thus far, and distinguishes certain legendrian knots.

We give a characterization of alternating link exteriors in terms of cubed complexes. To this end, we introduce the concept of a "signed BW cubed-complex", and give a characterization for a signed BW cubed-complex to have the underlying space which is homeomorphic to an alternating link exterior.

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non…

We apply the ADM approach to obtain a Hamiltonian description of the Einstein-Hilbert action. In doing so we add four new ingredients: (i) We eliminate the diffeomorphism constraints. (ii) We replace the densities $\sqrt g$ by a function $\f(x,g_{ij})$ with the help of a fixed metric $χ$ such that the Lagrangian and he…