Source author record

Shmuel Weinberger

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.AT math.DG math.PR math.GR math.KT math.MG math.OA math.CO math.DS Robotics

Catalog footprint

Research overview

20works

11topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Fixed Point Sets and the Fundamental Group I: Semi-free Actions on G-CW-Complexes

Smith theory says that the fixed point of a semi-free action of a group $G$ on a contractible space is ${\bb Z}_p$-acyclic for any prime factor $p$ of $G$ . Jones proved the converse of Smith theory for the case $G$ is a cyclic group acting on finite CW-complexes. We extend the theory to semi-free group action on finite CW-complexes of given homotopy type, in various settings. In particular, the converse of Smith theory holds if and only if certain $K$ -theoretical obstruction vanishes. We also give some examples that show the effects of different types of the $K$ -theoretical obstruction.

preprint2022arXiv

Parametrized motion planning and topological complexity

In this paper we study paramertized motion planning algorithms which provide universal and flexible solutions to diverse motion planning problems. Such algorithms are intended to function under a variety of external conditions which are viewed as parameters and serve as part of the input of the algorithm. Continuing a recent paper, we study further the concept of parametrized topological complexity. We analyse in full detail the problem of controlling a swarm of robots in the presence of multiple obstacles in Euclidean space which served for us a natural motivating example. We present an explicit parametrized motion planning algorithm solving the motion planning problem for any number of robots and obstacles.. This algorithm is optimal, it has minimal possible topological complexity for any d odd. Besides, we describe a modification of this algorithm which is optimal for d even. We also analyse the parametrized topological complexity of sphere bundles using the Stiefel - Whitney characteristic classes.

preprint2022arXiv

Parametrized topological complexity of sphere bundles

Parametrized motion planning algorithms have high degree of flexibility and universality, they can work under a variety of external conditions, which are viewed as parameters and form part of the input of the algorithm. In this paper we analyse the parameterized motion planning problem in the case of sphere bundles. Our main results provide upper and lower bounds for the parametrized topological complexity; the upper bounds typically involve sectional categories of the associated fibrations and the lower bounds are given in terms of characteristic classes and their properties. We explicitly compute the parametrized topological complexity in many examples and show that it may assume arbitrarily large values.

preprint2020arXiv

Additivity of higher rho invariants and nonrigidity of topological manifolds

Let $X$ be a closed oriented connected topological manifold of dimension $n\geq 5$ . The structure group of $X$ is the abelian group of equivalence classes of all pairs $(f, M)$ such that $M$ is a closed oriented manifold and $f\colon M \to X$ is an orientation-preserving homotopy equivalence. The main purpose of this article is to prove that a higher rho invariant defines a group homomorphism from the topological structure group of $X$ to the $C^*$ -algebraic structure group of $X$ . In fact, we introduce a higher rho invariant map on the homology manifold structure group of a closed oriented connected $\textit{topological}$ manifold, and prove its additivity. This higher rho invariant map restricts to the higher rho invariant map on the topological structure group. More generally, the same techniques developed in this paper can be applied to define a higher rho invariant map on the homology manifold structure group of a closed oriented connected $\textit{homology}$ manifold. As an application, we use the additivity of the higher rho invariant map to study non-rigidity of topological manifolds. More precisely, we give a lower bound for the free rank of the $\textit{algebraically reduced}$ structure group of $X$ by the number of torsion elements in $π_1 X$ . Here the algebraic reduced structure group of $X$ is the quotient of the topological structure group of $X$ modulo a certain action of self-homotopy equivalences of $X$ . We also introduce a notion of homological higher rho invariant, which can be used to detect many elements in the structure group of a closed oriented topological manifold, even when the fundamental group of the manifold is torsion free. In particular, we apply this homological higher rho invariant to show that the structure group is not finitely generated for a class of manifolds.

preprint2018arXiv

Quantitative nullhomotopy and rational homotopy type

In \cite{GrOrang}, Gromov asks the following question: given a nullhomotopic map $f:S^m \to S^n$ of Lipschitz constant $L$ , how does the Lipschitz constant of an optimal nullhomotopy of $f$ depend on $L$ , $m$ , and $n$ ? We establish that for fixed $m$ and $n$ , the answer is at worst quadratic in $L$ . More precisely, we construct a nullhomotopy whose \emph{thickness} (Lipschitz constant in the space variable) is $C(m,n)(L+1)$ and whose \emph{width} (Lipschitz constant in the time variable) is $C(m,n)(L+1)^2$ . More generally, we prove a similar result for maps $f:X \to Y$ for any compact Riemannian manifold $X$ and $Y$ a compact simply connected Riemannian manifold in a class which includes complex projective spaces, Grassmannians, and all other simply connected homogeneous spaces. Moreover, for all simply connected $Y$ , asymptotic restrictions on the size of nullhomotopies are determined by rational homotopy type.

preprint2017arXiv

Quantitative null-cobordism

For a given null-cobordant Riemannian $n$ -manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$ . This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficiently nice compact metric spaces, such as Riemannian manifolds or simplicial complexes. Suppose $Y$ is simply connected and rationally homotopy equivalent to a product of Eilenberg-MacLane spaces: for example, any simply connected Lie group. Then two homotopic L-Lipschitz maps $f, g : X \rightarrow Y$ are homotopic via a $CL$ -Lipschitz homotopy. We present a counterexample to show that this is not true for larger classes of spaces $Y$ .

preprint2016arXiv

A trichotomy theorem for transformation groups of locally symmetric manifolds and topological rigidity

Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$ . A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is isomorphic to a subgroup of $G$ . Borel [Bo] asked if there exist $M$ 's with $G(M)$ trivial and if the number of conjugacy classes of finite subgroups of $\text{Homeo}^+(M)$ is finite. We answer both questions: (1) For every finite group $G$ there exist $M$ 's with $G(M) = G$ , and (2) the number of maximal subgroups of $\text{Homeo}^+(M)$ can be either one, countably many or continuum and we determine (at least for $\dim M \neq 4$ ) when each case occurs. Our detailed analysis of (2) also gives a complete characterization of the topological local rigidity and topological strong rigidity (for dim $M\neq 4$ ) of proper discontinuous actions of uniform lattices in semisimple Lie groups on the associated symmetric spaces.

preprint2016arXiv

Convergence of the Reach for a Sequence of Gaussian-Embedded Manifolds

Motivated by questions of manifold learning, we study a sequence of random manifolds, generated by embedding a fixed, compact manifold $M$ into Euclidean spheres of increasing dimension via a sequence of Gaussian mappings. One of the fundamental smoothness parameters of manifold learning theorems is the reach, or critical radius, of $M$ . Roughly speaking, the reach is a measure of a manifold's departure from convexity, which incorporates both local curvature and global topology. This paper develops limit theory for the reach of a family of random, Gaussian-embedded, manifolds, establishing both almost sure convergence for the global reach, and a fluctuation theory for both it and its local version. The global reach converges to a constant well known both in the reproducing kernel Hilbert space theory of Gaussian processes, as well as in their extremal theory.

preprint2016arXiv

On the Vanishing of Homology in Random Čech Complexes

We compute the homology of random Čech complexes over a homogeneous Poisson process on the d-dimensional torus, and show that there are, coarsely, two phase transitions. The first transition is analogous to the Erdős-Rényi phase transition, where the Čech complex becomes connected. The second transition is where all the other homology groups are computed correctly (almost simultaneously). Our calculations also suggest a finer measurement of scales, where there is a further refinement to this picture and separation between different homology groups.

preprint2013arXiv

Closed Aspherical Manifolds with Center

We show that in all dimensions >7 there are closed aspherical manifolds whose fundamental groups have nontrivial center but do not possess any topological circle actions. This disproves a conjectured converse (proposed by Conner and Raymond) to a classical theorem of Borel.

preprint2013arXiv

Crackle: The Persistent Homology of Noise

We study the homology of simplicial complexes built via deterministic rules from a random set of vertices. In particular, we show that, depending on the randomness that generates the vertices, the homology of these complexes can either become trivial as the number $n$ of vertices grows, or can contain more and more complex structures. The different behaviours are consequences of different underlying distributions for the generation of vertices, and we consider three illustrative examples, when the vertices are sampled from Gaussian, exponential, and power-law distributions in $\R^d$ . We also discuss consequences of our results for manifold learning with noisy data, describing the topological phenomena that arise in this scenario as `crackle', in analogy to audio crackle in temporal signal analysis.

preprint2013arXiv

Finite part of operator K-theory for groups finitely embeddable into Hilbert space and the degree of non-rigidity of manifolds

In this paper, we study lower bounds on the K-theory of the maximal $C^*$ -algebra of a discrete group based on the amount of torsion it contains. We call this the finite part of the operator K-theory and give a lower bound that is valid for a large class of groups, called the "finitely embeddable groups". The class of finitely embeddable groups includes all residually finite groups, amenable groups, Gromov's monster groups, virtually torsion free groups (e.g. $Out(F_n)$ ), and any group of analytic diffeomorphisms of an analytic connected manifold fixing a given point. It is an open question if every countable group is finitely embeddable. We apply this result to measure the degree of non-rigidity for any compact oriented manifold $M$ with dimension $4k-1$ $(k>1)$ . We derive a lower bound on the rank of the structure group $S(M)$ in this case. For a compact Riemannian manifold $M$ with dimension greater than or equal to 5 and positive scalar curvature metric, there is an abelian group $P(M)$ that measures the size of the space of all positive scalar curvature metrics on $M$ . We obtain a lower bound on the rank of the abelian group $P(M)$ when the compact smooth spin manifold $M$ has dimension $2k-1$ $(k>2)$ and the fundamental group of $M$ is finitely embeddable.

preprint2013arXiv

Topological Classification of Multiaxial U(n)-Actions

A U(n)-manifold is multiaxial if the isotropy groups are always conjugate to unitary subgroups. The classification and the concordance of such manifolds have been studied by Davis, Hsiang and Morgan under much more strict conditions. We show that in general, without much extra condition, the homotopy classification of multiaxial manifolds can be split into a direct sum of the classification of pairs of adjacent strata, which can be computed by the classical surgery theory. Moreover, we also compute the homotopy classification for the case of the standard representation sphere. We also present the result for the similar multiaxial Sp(n)-manifolds.

preprint2012arXiv

Homological aperiodic tilings of 3-dimensional geometries

We construct the first aperiodic tiles for two amenable 3-dimensional Lie groups: Sol and the Heisenberg group. Our construction relies on the use of higher-dimensional uniformly finite homology. In particular, we settle completely the existence of aperiodic tiles for all of the non-compact geometries of 3-manifolds appearing in the geometrization conjecture.

preprint2010arXiv

Persistent Homology for Random Fields and Complexes

We discuss and review recent developments in the area of applied algebraic topology, such as persistent homology and barcodes. In particular, we discuss how these are related to understanding more about manifold learning from random point cloud data, the algebraic structure of simplicial complexes determined by random vertices, and, in most detail, the algebraic topology of the excursion sets of random fields.

preprint2010arXiv

Relative systoles of relative-essential 2-complexes

We prove a systolic inequality for the phi-relative 1-systole of a phi-essential 2-complex, where phi is a homomorphism from the fundamental group of the complex, to a finitely presented group G. Indeed we show that universally for any phi-essential Riemannian 2-complex, and any G, the area of X is bounded below by 1/8 of sys(X,phi)^2. Combining our results with a method of Larry Guth, we obtain new quantitative results for certain 3-manifolds: in particular for Sigma the Poincare homology sphere, we have sys(Sigma)^3 < 24 vol(Sigma).

preprint2010arXiv

Replacement of fixed sets for compact group actions: The 2ρtheorem

If M and N are equivariantly homotopy equivalent G-manifolds, then the fixed sets M^G and N^G are also homotopy equivalent. The replacement problem asks the converse question: If F is homotopy equivalent to the fixed set M^G, is F = N^G for a G-manifold equivariantly homotopy equivalent to M? We prove that for locally linear actions on topological or PL manifolds by compact Lie groups, the replacement is always possible if the normal bundle of the fixed set is twice of a complex bundle over a 1-skeleton of the fixed set. Moreover, we also study some specific examples, where the answer to the replacement problem ranges from always possible to the rigidity.

preprint2003arXiv

On Invariants of Hirzebruch and Cheeger-Gromov

We prove that, if M is a compact oriented manifold of dimension 4k+3, where k>0, such that pi_1(M) is not torsion-free, then there are infinitely many manifolds that are homotopic equivalent to M but not homeomorphic to it. To show the infinite size of the structure set of M, we construct a secondary invariant tau_(2): S(M)-->R that coincides with the rho-invariant of Cheeger-Gromov. In particular, our result shows that the rho-invariant is not a homotopy invariant for the manifolds in question.

preprint1997arXiv

Algorithmic aspects of homeomorphism problems

We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be recognized among simply connected manifolds. That is, there is an algorithm to decide whether or not another simply connected manifold is Top, PL or Diff isomorphic to M. Moreover, an analogous statement is true for embeddings in codimension at least three: one can algorithmically recognize any given embedding of one simply connected manifold in another up to isomorphism of pairs, or up to isotopy, if the codimension of the embedding is not two.

preprint1997arXiv

Variational problems for Riemannian functionals and arithmetic groups

In this paper we introduce a new approach to variational problems on the space Riem(M^n) of Riemannian structures (i.e. isometry classes of Riemannan metrics) on any fixed compact manifold M^n of dimension n >= 5. This approach often enables one to replace the considered variational problem on Riem(M^n) (or on some subset of Riem(M^n)) by the same problem but on spaces Riem(N^n) for every manifold N^n from a class of compact manifolds of the same dimension and with the same homology as M^n but with the following two useful properties: (1) If νis any Riemannian structure on any manifold N^n from this class such that Ric_(N^n,ν) >= -(n-1), then the volume of (N^n,ν) is greater than one; and (2) Manifolds from this class do not admit Riemannian metrics of non-negative scalar curvature. As a first application we prove a theorem which can be informally explained as follows: Let M be any compact connected smooth manifold of dimension greater than four, M et(M) be the space of isometry classes of compact metric spaces homeomorphic to M endowed with the Gromov-Hausdorff topology, Riem_1(M) in M et(M ) be the space of Riemannian structures on M such that the absolute values of sectional curvature do not exceed one, and R_1(M) denote the closure of Riem_1(M) in M et(M ). Then diameter regarded as a functional on R_1(M) has infinitely many "very deep" local minima.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Shmuel Weinberger

Research overview

Is this your work?

20 publications

Fixed Point Sets and the Fundamental Group I: Semi-free Actions on G-CW-Complexes

Parametrized motion planning and topological complexity

Parametrized topological complexity of sphere bundles

Additivity of higher rho invariants and nonrigidity of topological manifolds

Quantitative nullhomotopy and rational homotopy type

Quantitative null-cobordism

A trichotomy theorem for transformation groups of locally symmetric manifolds and topological rigidity

Convergence of the Reach for a Sequence of Gaussian-Embedded Manifolds

On the Vanishing of Homology in Random Čech Complexes

Closed Aspherical Manifolds with Center

Crackle: The Persistent Homology of Noise

Finite part of operator K-theory for groups finitely embeddable into Hilbert space and the degree of non-rigidity of manifolds

Topological Classification of Multiaxial U(n)-Actions

Homological aperiodic tilings of 3-dimensional geometries

Persistent Homology for Random Fields and Complexes

Relative systoles of relative-essential 2-complexes

Replacement of fixed sets for compact group actions: The 2ρtheorem

On Invariants of Hirzebruch and Cheeger-Gromov

Algorithmic aspects of homeomorphism problems

Variational problems for Riemannian functionals and arithmetic groups

See the researcher in context

Building this map preview