Showing 1–50 of 54 results for author: Weinberger, S

Analog category and complexity

Authors: Ben Knudsen, Shmuel Weinberger

Abstract: We study probabilistic variants of the Lusternik--Schnirelmann category and topological complexity, which bound the classical invariants from below. We present a number of computations illustrating both wide agreement and wide disagreement with the classical notions. In the aspherical case, where our invariants are group invariants, we establish a counterpart of the Eilenberg--Ganea theorem in the… ▽ More We study probabilistic variants of the Lusternik--Schnirelmann category and topological complexity, which bound the classical invariants from below. We present a number of computations illustrating both wide agreement and wide disagreement with the classical notions. In the aspherical case, where our invariants are group invariants, we establish a counterpart of the Eilenberg--Ganea theorem in the torsion-free case, as well as a contrasting universal upper bound in the finite case. △ Less

Submitted 21 May, 2024; v1 submitted 28 January, 2024; originally announced January 2024.

Comments: 20 pages. To appear in SIAM Journal on Applied Algebra and Geometry. May differ slightly from published version

Active Third-Person Imitation Learning

Authors: Timo Klein, Susanna Weinberger, Adish Singla, Sebastian Tschiatschek

Abstract: We consider the problem of third-person imitation learning with the additional challenge that the learner must select the perspective from which they observe the expert. In our setting, each perspective provides only limited information about the expert's behavior, and the learning agent must carefully select and combine information from different perspectives to achieve competitive performance. T… ▽ More We consider the problem of third-person imitation learning with the additional challenge that the learner must select the perspective from which they observe the expert. In our setting, each perspective provides only limited information about the expert's behavior, and the learning agent must carefully select and combine information from different perspectives to achieve competitive performance. This setting is inspired by real-world imitation learning applications, e.g., in robotics, a robot might observe a human demonstrator via camera and receive information from different perspectives depending on the camera's position. We formalize the aforementioned active third-person imitation learning problem, theoretically analyze its characteristics, and propose a generative adversarial network-based active learning approach. Empirically, we demstrate that our proposed approach can effectively learn from expert demonstrations and explore the importance of different architectural choices for the learner's performance. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Quantitative PL bordism

Authors: Fedor Manin, Shmuel Weinberger

Abstract: We study PL bordism theories from a quantitative perspective. Such theories include those of PL manifolds, ordinary homology theory, as well as various more exotic theories such as bordism of Witt spaces. In all these cases we show that a null-bordant cycle of bounded geometry and $V$ simplices has a filling of bounded geometry whose number of simplices is slightly superlinear in $V$. This bound i… ▽ More We study PL bordism theories from a quantitative perspective. Such theories include those of PL manifolds, ordinary homology theory, as well as various more exotic theories such as bordism of Witt spaces. In all these cases we show that a null-bordant cycle of bounded geometry and $V$ simplices has a filling of bounded geometry whose number of simplices is slightly superlinear in $V$. This bound is similar to that found in our previous work on smooth cobordism. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 22 pages, 1 figure

MSC Class: 57Q20; 53C23

Stability and instability of lattices in semisimple groups

Authors: Uri Bader, Alexander Lubotzky, Roman Sauer, Shmuel Weinberger

Abstract: Using cohomological methods, we show that lattices in semisimple groups are typically stable with respect to the Frobenius norm but not with respect to the operator norm. Using cohomological methods, we show that lattices in semisimple groups are typically stable with respect to the Frobenius norm but not with respect to the operator norm. △ Less

Submitted 30 August, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: incorporated remarks and corrections of the reviewers

MSC Class: 20G99

Growth of k-dimensional systoles in congruence coverings

Authors: Mikhail Belolipetsky, Shmuel Weinberger

Abstract: We study growth of absolute and homological $k$-dimensional systoles of arithmetic $n$-manifolds along congruence coverings. Our main interest is in the growth of systoles of manifolds whose real rank $r > 1$. We observe, in particular, that in some cases for $k = r$ the growth function tends to oscillate between a power of a logarithm and a power function of the degree of the covering. This is a… ▽ More We study growth of absolute and homological $k$-dimensional systoles of arithmetic $n$-manifolds along congruence coverings. Our main interest is in the growth of systoles of manifolds whose real rank $r > 1$. We observe, in particular, that in some cases for $k = r$ the growth function tends to oscillate between a power of a logarithm and a power function of the degree of the covering. This is a new phenomenon. We also prove the expected polylogarithmic and constant power bounds for small and large $k$, respectively. △ Less

Submitted 1 May, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 27 pages, 1 figure. V2: revision following the referees comments and some small corrections. V3: final revision, to appear in GAFA

Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds

Authors: Geunho Lim, Shmuel Weinberger

Abstract: We show the existence of linear bounds on Wall $ρ$-invariants of PL manifolds, employing a new combinatorial concept of $G$-colored polyhedra. As application, we show that how the number of h-cobordism classes of manifolds simple homotopy equivalent to a lens space with $V$ simplices and the fundamental group of $\mathbb{Z}_n$ grows in $V$. Furthermore we count the number of homotopy lens spaces w… ▽ More We show the existence of linear bounds on Wall $ρ$-invariants of PL manifolds, employing a new combinatorial concept of $G$-colored polyhedra. As application, we show that how the number of h-cobordism classes of manifolds simple homotopy equivalent to a lens space with $V$ simplices and the fundamental group of $\mathbb{Z}_n$ grows in $V$. Furthermore we count the number of homotopy lens spaces with bounded geometry in $V$. Similarly, we give new linear bounds on Cheeger-Gromov $ρ$-invariants of PL manifolds endowed with a faithful representation also. A key idea is to construct a cobordism with a linear complexity whose boundary is $π_1$-injectively embedded, using relative hyperbolization. As application, we study the complexity theory of high-dimensional lens spaces. Lastly we show the density of $ρ$-invariants over manifolds homotopy equivalent to a given manifold for certain fundamental groups. This implies that the structure set is not finitely generated. △ Less

Submitted 19 January, 2024; v1 submitted 20 January, 2023; originally announced January 2023.

Comments: 22 pages, 5 figures

MSC Class: 57N16; 57N70; 57Q20; 55U10; 55U15

Parametrized motion planning and topological complexity

Authors: Michael Farber, Shmuel Weinberger

Abstract: 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 complexit… ▽ More 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. △ Less

Submitted 23 February, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

MSC Class: 58E05

Parametrized topological complexity of sphere bundles

Authors: Michael Farber, Shmuel Weinberger

Abstract: 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 c… ▽ More 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. △ Less

Submitted 12 May, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

MSC Class: 58E05

Positive scalar curvature on manifolds with boundary and their doubles

Authors: Jonathan Rosenberg, Shmuel Weinberger

Abstract: This paper is about positive scalar curvature on a compact manifold $X$ with non-empty boundary $\partial X$. In some cases, we completely answer the question of when $X$ has a positive scalar curvature metric which is a product metric near $\partial X$, or when $X$ has a positive scalar curvature metric with positive mean curvature on the boundary, and more generally, we study the relationship be… ▽ More This paper is about positive scalar curvature on a compact manifold $X$ with non-empty boundary $\partial X$. In some cases, we completely answer the question of when $X$ has a positive scalar curvature metric which is a product metric near $\partial X$, or when $X$ has a positive scalar curvature metric with positive mean curvature on the boundary, and more generally, we study the relationship between boundary conditions on $\partial X$ for positive scalar curvature metrics on $X$ and the positive scalar curvature problem for the double $M=\operatorname{Dbl}(X,\partial X)$. △ Less

Submitted 25 May, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: 26 pages, 9 figures. A number of small errors corrected and two new references added

MSC Class: 53C21 (Primary); 58J22; 53C27; 19L41; 55N22 (Secondary)

Journal ref: Pure Appl. Math. Q. 19 (2023), no. 6, 2919-2950

On Gromov's compactness question regarding positive scalar curvature

Authors: Shmuel Weinberger, Zhizhang Xie, Guoliang Yu

Abstract: In this paper, we give both positive and negative answers to Gromov's compactness question regarding positive scalar curvature metrics on noncompact manifolds. First we construct examples that give a negative answer to Gromov's compactness question. These examples are based on the non-vanishing of certain index theoretic invariants that arise at the infinity of the given underlying manifold. This… ▽ More In this paper, we give both positive and negative answers to Gromov's compactness question regarding positive scalar curvature metrics on noncompact manifolds. First we construct examples that give a negative answer to Gromov's compactness question. These examples are based on the non-vanishing of certain index theoretic invariants that arise at the infinity of the given underlying manifold. This is a $ \sideset{}{^1}\varprojlim$ phenomenon and naturally leads one to conjecture that Gromov's compactness question has a positive answer provided that these $ \sideset{}{^1}\varprojlim$ invariants also vanish. We prove this is indeed the case for a class of $1$-tame manifolds. △ Less

Submitted 3 February, 2023; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 30 pages, minor revision

Fixed Point Sets and the Fundamental Group II: Euler Characteristics

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: For a group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is the Euler characteristic $χ(F)$. He also has the similar results for compact Lie group actions. We show that the analogous problem for $F$ to be the fixed point set of a finite $G$-CW-complex of some given homotopy type is sti… ▽ More For a group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is the Euler characteristic $χ(F)$. He also has the similar results for compact Lie group actions. We show that the analogous problem for $F$ to be the fixed point set of a finite $G$-CW-complex of some given homotopy type is still determined by the Euler characteristic. Using trace maps in $K_0$, we also see that there are interesting roles for the fundamental group and the component structure of the fixed point set. △ Less

Submitted 17 February, 2022; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 25 pages, 2 figures

MSC Class: 57Q91

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

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: 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 co… ▽ More 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. △ Less

Submitted 17 February, 2022; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 26 pages

MSC Class: 57Q91

Parametrized topological complexity of collision-free motion planning in the plane

Authors: Daniel C. Cohen, Michael Farber, Shmuel Weinberger

Abstract: Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without col… ▽ More Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without collision and avoiding multiple distinct obstacles with a priori unknown positions. This complements our prior work [arXiv:2009.06023], where parameterized motion planning algorithms were introduced, and the obstacle-avoiding collision-free motion planning problem in three-dimensional space was fully investigated. The planar case requires different algebraic and topological tools than its spatial analog. △ Less

Submitted 14 October, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: revision includes an appendix on fibrations of certain map** spaces

MSC Class: 55S40; 55M30; 55R80; 70Q05

Topology of parametrised motion planning algorithms

Authors: Daniel C. Cohen, Michael Farber, Shmuel Weinberger

Abstract: In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the pa… ▽ More In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the parameterised topological complexity of obstacle-avoiding collision-free motion of many particles (robots) in 3-dimensional space. Our results show that the parameterised topological complexity can be significantly higher than the standard (nonparametrised) invariant. △ Less

Submitted 21 May, 2021; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: To appear in SIAM Journal of Applied Algebra and Geometry

MSC Class: 55S40; 55M30; 55R80; 70Q05

Journal ref: SIAM Journal on Applied Algebra and Geometry, 5 (2021), 229-249

Algorithmic aspects of immersibility and embeddability

Authors: Fedor Manin, Shmuel Weinberger

Abstract: We analyze an algorithmic question about immersion theory: for which $m$, $n$, and $CAT=\mathbf{Diff}$ or $\mathbf{PL}$ is the question of whether an $m$-dimensional $CAT$-manifold is immersible in $\mathbb{R}^n$ decidable? As a corollary, we show that the smooth embeddability of an $m$-manifold with boundary in $\mathbb{R}^n$ is undecidable when $n-m$ is even and $11m \geq 10n+1$. We analyze an algorithmic question about immersion theory: for which $m$, $n$, and $CAT=\mathbf{Diff}$ or $\mathbf{PL}$ is the question of whether an $m$-dimensional $CAT$-manifold is immersible in $\mathbb{R}^n$ decidable? As a corollary, we show that the smooth embeddability of an $m$-manifold with boundary in $\mathbb{R}^n$ is undecidable when $n-m$ is even and $11m \geq 10n+1$. △ Less

Submitted 8 February, 2024; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 22 pages, 1 figure. New version includes additional minor clarifications in section 2

MSC Class: 57R42; 57Q35; 03D15

The Gromov--Guth--Whitney embedding theorem

Authors: Fedor Manin, Shmuel Weinberger

Abstract: This is an appendix to arXiv:1610.04888, "Quantitative null-cobordism", which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper. This is an appendix to arXiv:1610.04888, "Quantitative null-cobordism", which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper. △ Less

Submitted 16 May, 2018; originally announced May 2018.

Comments: 6 pages. Comments welcome!

MSC Class: 53C23; 57R40

On the stable Cannon Conjecture

Authors: Steve Ferry, Wolfgang Lueck, Shmuel Weinberger

Abstract: The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable version that for any closed manifold N of dimension greater or equal to 2 there exists a closed manifold M together with a simple homotopy equivalence from M to… ▽ More The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable version that for any closed manifold N of dimension greater or equal to 2 there exists a closed manifold M together with a simple homotopy equivalence from M to the cartesian product of N and BG. If N is aspherical and pi_1(N) satisfies the Farrell-Jones Conjecture, then M is unique up to homeomorphism. △ Less

Submitted 17 March, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 34 pages, to appear in Journal of Topology

MSC Class: 20F67; 57M99; 57P10

Integral and rational map** classes

Authors: Fedor Manin, Shmuel Weinberger

Abstract: Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of map** classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as the complexity (in a suitable sense) of a rational map** class increases, the… ▽ More Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of map** classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as the complexity (in a suitable sense) of a rational map** class increases, these sizes are at most polynomial. This ``torsion'' information about $[X,Y]$ is in some sense orthogonal to rational homotopy theory but is nevertheless an invariant of the rational homotopy type of $Y$ in at least some cases. The notion of complexity is geometric and we also prove a conjecture of Gromov \cite{GrMS} regarding the number of map** classes that have Lipschitz constant at most $L$. △ Less

Submitted 4 February, 2020; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: 18 pages, 1 figure; new version after several rounds of referee reports

MSC Class: 55P62; 53C23

Journal ref: Duke Math. J. 169, no. 10 (2020), 1943-1969

Quantitative nullhomotopy and rational homotopy type

Authors: Gregory R. Chambers, Fedor Manin, Shmuel Weinberger

Abstract: 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… ▽ More 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. △ Less

Submitted 14 March, 2018; v1 submitted 10 November, 2016; originally announced November 2016.

Comments: 19 pages, 2 figures; version accepted for publication in Geometric and Functional Analysis (GAFA)

MSC Class: 53C23; 55S36

Journal ref: Geom. Funct. Anal. 28 (2018) 563-588

Quantitative null-cobordism

Authors: Gregory R. Chambers, Dominic Dotterrer, Fedor Manin, Shmuel Weinberger

Abstract: 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 sufficien… ▽ More 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$. △ Less

Submitted 24 July, 2017; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: 28 pages, 5 figures. Comments welcome!

MSC Class: 57R75; 53C23

Journal ref: J. Amer. Math. Soc. 31 (2018), 1165-1203

Additivity of higher rho invariants and nonrigidity of topological manifolds

Authors: Shmuel Weinberger, Zhizhang Xie, Guoliang Yu

Abstract: 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… ▽ More 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. △ Less

Submitted 24 February, 2020; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: Minor changes. To appear in Communications on Pure and Applied Mathematics

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

Authors: Sylvain Cappell, Alexander Lubotzky, Shmuel Weinberger

Abstract: 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… ▽ More 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. △ Less

Submitted 3 January, 2016; originally announced January 2016.

On the Vanishing of Homology in Random Čech Complexes

Authors: Omer Bobrowski, Shmuel Weinberger

Abstract: 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 calc… ▽ More 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. △ Less

Submitted 23 March, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

MSC Class: Primary: 60B99; 60D05; 05E45. Secondary: 55U10

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

Authors: Robert J. Adler, Sunder Ram Krishnan, Jonathan E. Taylor, Shmuel Weinberger

Abstract: 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 map**s. 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 dep… ▽ More 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 map**s. 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. △ Less

Submitted 7 August, 2016; v1 submitted 5 March, 2015; originally announced March 2015.

Comments: 38 pages. Removed motivational material from the previous version

MSC Class: 60G15; 57N35; 60D05; 60G60

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

Authors: Shmuel Weinberger, Guoliang Yu

Abstract: 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 group… ▽ More 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. △ Less

Submitted 21 August, 2013; originally announced August 2013.

Comments: 36 pages

Crackle: The Persistent Homology of Noise

Authors: Robert J. Adler, Omer Bobrowski, Shmuel Weinberger

Abstract: 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 underlyi… ▽ More 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. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Homological aperiodic tilings of 3-dimensional geometries

Authors: Piotr W. Nowak, Shmuel Weinberger

Abstract: 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. 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. △ Less

Submitted 16 May, 2012; v1 submitted 4 January, 2012; originally announced January 2012.

Comments: Withdrawn by the authors

Topological Classification of Multiaxial U(n)-Actions

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: 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 pai… ▽ More 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. △ Less

Submitted 13 April, 2013; v1 submitted 11 August, 2011; originally announced August 2011.

Comments: 30 pages

Closed Aspherical Manifolds with Center

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: 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. 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. △ Less

Submitted 13 April, 2013; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 13 pages

Journal ref: Journal of Topology, 2013

Persistent Homology for Random Fields and Complexes

Authors: Robert J. Adler, Omer Bobrowski, Matthew S. Borman, Eliran Subag, Shmuel Weinberger

Abstract: 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… ▽ More 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. △ Less

Submitted 25 March, 2010; v1 submitted 4 March, 2010; originally announced March 2010.

MSC Class: 60G15; 55N35 (Primary); 60G55; 62H35 (Secondary)

Journal ref: Borrowing Strength: Theory Powering Applications, A Festschrift for Lawrence D. Brown, IMS Collections 6, 124-143, 2010

Relative systoles of relative-essential 2-complexes

Authors: Karin U. Katz, Mikhail G. Katz, Stephane Sabourau, Steven Shnider, Shmuel Weinberger

Abstract: 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 n… ▽ More 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). △ Less

Submitted 21 October, 2010; v1 submitted 22 November, 2009; originally announced November 2009.

Comments: 20 pages, to appear in Algebraic and Geometric Topology

MSC Class: 53C23

On hyperbolic groups with spheres as boundary

Authors: Arthur Bartels, Wolfgang Lueck, Shmuel Weinberger

Abstract: Let G be a torsion-free hyperbolic group and let n > 5 be an integer. We prove that G is the fundamental group of a closed aspherical manifold if the boundary of G is homeomorphic to an (n-1)-dimensional sphere. Let G be a torsion-free hyperbolic group and let n > 5 be an integer. We prove that G is the fundamental group of a closed aspherical manifold if the boundary of G is homeomorphic to an (n-1)-dimensional sphere. △ Less

Submitted 19 November, 2009; originally announced November 2009.

Comments: 12 pages

MSC Class: 20F67; 57N99

Functoriality of Isovariant Homotopy Classification

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend the fact to the isovariant structure set S_G(M, rel M_s) of G-equivariant topological manifolds isovariantly homotopy equivalent to M and restricts to homormo… ▽ More It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend the fact to the isovariant structure set S_G(M, rel M_s) of G-equivariant topological manifolds isovariantly homotopy equivalent to M and restricts to homormorphism on the singular part M_s, consisting of those points fixed by some non-trivial elements of G. We further explain that the structure set S_G(M, rel M_s) is the fibre of the assembly map for the generalized homology theory with the L-spectrum as the coefficient. This relates our result to the Farrell-Jones Conjecture for L-theory. △ Less

Submitted 28 September, 2009; originally announced September 2009.

Comments: 11 pages

MSC Class: 57N80; 55N91; 57R67

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

Authors: Sylvain Cappell, Shmuel Weinberger, Min Yan

Abstract: 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 replace… ▽ More 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. △ Less

Submitted 13 September, 2010; v1 submitted 28 September, 2009; originally announced September 2009.

Comments: 17 pages

MSC Class: 57N80; 55N91

Journal ref: Pure and Applied Math Quarterly 8(2012) 53-78

The intrinsic asymmetry and inhomogeneity of Teichmuller space

Authors: Benson Farb, Shmuel Weinberger

Abstract: Royden proved that any isometry of Teichmuller space in the Teichmuller metric must be an element of the extended map** class group M(S). He also proved that the Teichmuller metric is not symmetric at any point. In this paper we give extensions of Royden's theorems from the Teichmuller metric to an arbitrary complete, finite covolume, M(S)-invariant Finsler (e.g. Riemannian) metric on Teichmul… ▽ More Royden proved that any isometry of Teichmuller space in the Teichmuller metric must be an element of the extended map** class group M(S). He also proved that the Teichmuller metric is not symmetric at any point. In this paper we give extensions of Royden's theorems from the Teichmuller metric to an arbitrary complete, finite covolume, M(S)-invariant Finsler (e.g. Riemannian) metric on Teichmuller space. In particular this gives a new mechanism behind Royden's original theorem. △ Less

Submitted 18 January, 2010; v1 submitted 28 April, 2008; originally announced April 2008.

Comments: 11 pages, major revisions. To appear in Duke Math Jour

Journal ref: Duke Math. J. 155, no. 1 (2010), 91-103

An HIV Feedback-Resistor: Auto-Regulatory Circuit Deactivator and Noise Buffer

Authors: Leor S. Weinberger, Thomas Shenk

Abstract: Many viruses have the cunning ability to enter a hibernative or off state, termed latency or lysogeny. When in a latent state, the virus is unable to replicate, and its gene expression program is largely shut down. This facility for lying dormant typically ensures lifelong persistence of the virus in the host; it is also a particularly problematic obstacle in the treatment of HIV. For most virus… ▽ More Many viruses have the cunning ability to enter a hibernative or off state, termed latency or lysogeny. When in a latent state, the virus is unable to replicate, and its gene expression program is largely shut down. This facility for lying dormant typically ensures lifelong persistence of the virus in the host; it is also a particularly problematic obstacle in the treatment of HIV. For most viruses, the molecular regulation of entry into latency is not completely understood, but it is believed that viral gene expression must be deactivated in some way. In this study, we introduce a new regulatory motif, the feedback resistor, that enables a genetic circuit to shut off without the need for an active repressor molecule. We first show that many animal viruses might encode feedback resistors in their regulatory circuits. Then, by using a combination of mathematical theory and single-cell real-time imaging experiments, we show that a feedback resistor in the HIV Tat transcriptional circuit likely allows the HIV virus to enter into latency. We postulate that feedback resistors may give increased stability and control in the complex noisy signaling environment of the cell. △ Less

Submitted 9 January, 2007; originally announced January 2007.

Comments: pdf freely available online http://biology.plosjournals.org/perlserv/?request=get-document&doi=10.1371/journal.pbio.0050009

Journal ref: Weinberger LS, Shenk T (2007) An HIV Feedback Resistor: Auto-Regulatory Circuit Deactivator and Noise Buffer. PLoS Biol 5(1): e9

An infinite-dimensional phenomenon in finite-dimensional metric topology

Authors: A. Dranishnikov, S. Ferry, S. Weinberger

Abstract: We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all suc… ▽ More We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all such homotopy equivalences. As an application, we show that such homotopy equivalences are realized by deformations of Riemannian manifolds in Gromov-Hausdorff space preserving a contractibility function. △ Less

Submitted 28 May, 2016; v1 submitted 31 October, 2006; originally announced November 2006.

MSC Class: 53C23; 53C20; 57R65; 57N60

Betti numbers of finitely presented groups and very rapidly growing functions

Authors: Alexander Nabutovsky, Shmuel Weinberger

Abstract: Define the length of a finite presentation of a group $G$ as the sum of lengths of all relators plus the number of generators. How large can be the $k$th Betti number $b_k(G)=$ rank $H_k(G)$ providing that $G$ has length $\leq N$ and $b_k(G)$ is finite? We prove that for every $k\geq 3$ the maximum $b_k(N)$ of $k$th Betti numbers of all such groups is an extremely rapidly growing function of… ▽ More Define the length of a finite presentation of a group $G$ as the sum of lengths of all relators plus the number of generators. How large can be the $k$th Betti number $b_k(G)=$ rank $H_k(G)$ providing that $G$ has length $\leq N$ and $b_k(G)$ is finite? We prove that for every $k\geq 3$ the maximum $b_k(N)$ of $k$th Betti numbers of all such groups is an extremely rapidly growing function of $N$. It grows faster that all functions previously encountered in Mathematics (outside of Logic) including non-computable functions (at least those that are known to us). More formally, $b_k$ grows as the third busy beaver function that measures the maximal productivity of Turing machines with $\leq N$ states that use the oracle for the halting problem of Turing machines using the oracle for the halting problem of usual Turing machines. We also describe the fastest possible growth of a sequence of finite Betti numbers of a finitely presented group. In particular, it cannot grow as fast as the third busy beaver function but can grow faster than the second busy beaver function that measures the maximal productivity of Turing machines using an oracle for the halting problem for usual Turing machines. We describe a natural problem about Betti numbers of finitely presented groups such that its answer is expressed by a function that grows as the fifth busy beaver function. Also, we outline a construction of a finitely presented group all of whose homology groups are either ${\bf Z}$ or trivial such that its Betti numbers form a random binary sequence. △ Less

Submitted 25 October, 2006; originally announced October 2006.

Comments: To appear in Topology

Supplemental Data: Stochastic Gene Expression in a Lentiviral Positive Feedback Loop: HIV-1 Tat Fluctuations Drive Phenotypic Diversity

Authors: Leor S. Weinberger, John C. Burnett, Jared E. Toettcher, Adam P. Arkin, David V. Schaffer

Abstract: Supplemental data for "Stochastic Gene Expression in a Lentiviral Positive Feedback Loop: HIV-1 Tat Fluctuations Drive Phenotypic Diversity" [q-bio.MN/0608002, Cell. 2005 Jul 29;122(2):169-82]. Supplemental data for "Stochastic Gene Expression in a Lentiviral Positive Feedback Loop: HIV-1 Tat Fluctuations Drive Phenotypic Diversity" [q-bio.MN/0608002, Cell. 2005 Jul 29;122(2):169-82]. △ Less

Submitted 2 August, 2006; originally announced August 2006.

Comments: Supplemental data for q-bio.MN/0608002

Stochastic Gene Expression in a Lentiviral Positive Feedback Loop: HIV-1 Tat Fluctuations Drive Phenotypic Diversity

Authors: Leor S. Weinberger, John C. Burnett, Jared E. Toettcher, Adam P. Arkin, David V. Schaffer

Abstract: Stochastic gene expression has been implicated in a variety of cellular processes, including cell differentiation and disease. In this issue of Cell, Weinberger et al. (2005) take an integrated computational-experimental approach to study the Tat transactivation feedback loop in HIV-1 and show that fluctuations in a key regulator, Tat, can result in a phenotypic bifurcation. This phenomenon is o… ▽ More Stochastic gene expression has been implicated in a variety of cellular processes, including cell differentiation and disease. In this issue of Cell, Weinberger et al. (2005) take an integrated computational-experimental approach to study the Tat transactivation feedback loop in HIV-1 and show that fluctuations in a key regulator, Tat, can result in a phenotypic bifurcation. This phenomenon is observed in an isogenic population where individual cells display two distinct expression states corresponding to latent and productive infection by HIV-1. These findings demonstrate the importance of stochastic gene expression in molecular "decision-making." △ Less

Submitted 1 August, 2006; originally announced August 2006.

Comments: Supplemental data available as q-bio.MN/0608003

Journal ref: Cell. 2005 Jul 29;122(2):169-82

E_7, Wirtinger inequalities, Cayley 4-form, and homotopy

Authors: Victor Bangert, Mikhail G. Katz, Steven Shnider, Shmuel Weinberger

Abstract: We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds turn out not to be the systolically optimal metrics on those manifolds. We poin… ▽ More We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds turn out not to be the systolically optimal metrics on those manifolds. We point out the unexpected role played by the exceptional Lie algebra E_7 in systolic geometry, via the calculation of Wirtinger constants. Using a technique of pullback with controlled systolic ratio, we calculate the optimal systolic ratio of the quaternionic projective plane, modulo the existence of a Joyce manifold with Spin(7) holonomy and unit middle-dimensional Betti number. △ Less

Submitted 3 January, 2008; v1 submitted 31 July, 2006; originally announced August 2006.

Comments: 32 pages

MSC Class: 53C23 (Primary) 55R37; 17B25 (Secondary)

Higher Todd classes and holomorphic group actions

Authors: Jonathan Block, Shmuel Weinberger

Abstract: This paper attempts to provide an analogue of the Novikov conjecture for algebraic (or Kähler) manifolds. Inter alia, we prove a conjecture of Rosenberg's on the birational invariance of higher Todd genera. We argue that in the algebraic geometric setting the Novikov philosophy naturally includes non-birational map**s. This paper attempts to provide an analogue of the Novikov conjecture for algebraic (or Kähler) manifolds. Inter alia, we prove a conjecture of Rosenberg's on the birational invariance of higher Todd genera. We argue that in the algebraic geometric setting the Novikov philosophy naturally includes non-birational map**s. △ Less

Submitted 13 November, 2005; v1 submitted 11 November, 2005; originally announced November 2005.

MSC Class: 14J50; 58g03

An etale approach to the Novikov conjecture

Authors: A. Dranishnikov, S. Ferry, S. Weinberger

Abstract: We show that the rational Novikov conjecture for a group $Γ$ of finite homological type follows from the mod 2 acyclicity of the Higson compactifcation of an E$Γ$. We then show that for groups of finite asymptotic dimension the Higson compactification is mod p acyclic for all p, and deduce the integral Novikov conjecture for these groups. We show that the rational Novikov conjecture for a group $Γ$ of finite homological type follows from the mod 2 acyclicity of the Higson compactifcation of an E$Γ$. We then show that for groups of finite asymptotic dimension the Higson compactification is mod p acyclic for all p, and deduce the integral Novikov conjecture for these groups. △ Less

Submitted 10 October, 2005; v1 submitted 27 September, 2005; originally announced September 2005.

Comments: Preprint of Max-Planck Institut fur Mathematik

On the generalized Nielsen realization problem

Authors: Jonathan Block, Shmuel Weinberger

Abstract: The main goal of this paper is to give the first examples of equivariant aspherical Poincare complexes, that are not realized by group actions on closed aspherical manifolds $M$. These will also provide new counterexamples to the Nielsen realization problem about lifting homotopy actions of finite groups to honest group actions. Our examples show that one cannot guarantee that a given action of… ▽ More The main goal of this paper is to give the first examples of equivariant aspherical Poincare complexes, that are not realized by group actions on closed aspherical manifolds $M$. These will also provide new counterexamples to the Nielsen realization problem about lifting homotopy actions of finite groups to honest group actions. Our examples show that one cannot guarantee that a given action of a finitely generated group $π$ on Euclidean space extends to an action of $Π$, a group containing $π$ as a subgroup of finite index, even when all the torsion of $Π$ lives in $π$. △ Less

Submitted 7 August, 2005; originally announced August 2005.

MSC Class: 57N

Isometries, rigidity, and universal covers

Authors: Benson Farb, Shmuel Weinberger

Abstract: We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively curved, locally symmetric manifold. Another application is the classification of all contractible Riemannian manifolds covering both compact and (noncompact, co… ▽ More We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively curved, locally symmetric manifold. Another application is the classification of all contractible Riemannian manifolds covering both compact and (noncompact, complete) finite volume manifold. There are also applications to the Hopf Conjecture, a new proof of Kazhdan's Conjecture (Frankel's Theorem) in complex geometry, etc. Ideas in the proof come from Lie theory, the homological theory of transformation groups, harmonic maps, and large-scale geometry. An extension to the non-aspherical case is also given. △ Less

Submitted 4 February, 2007; v1 submitted 27 June, 2005; originally announced June 2005.

Comments: 26 pages. to appear in Annals of Math

MSC Class: 57S20; 53C30

Hidden symmetry and arithmetic manifolds

Authors: Benson Farb, Shmuel Weinberger

Abstract: A "hidden symmetry" of a Riemannian manifold M is an isometry of a d-sheeted, 1<d<\infty, Riemannian cover of M which is not the lift of any isometry. In this paper we characterize the locally symmetric metric(s) on a closed, arithmetic manifold as the unique metric with infinitely many hidden symmetries. A "hidden symmetry" of a Riemannian manifold M is an isometry of a d-sheeted, 1<d<\infty, Riemannian cover of M which is not the lift of any isometry. In this paper we characterize the locally symmetric metric(s) on a closed, arithmetic manifold as the unique metric with infinitely many hidden symmetries. △ Less

Submitted 9 May, 2004; originally announced May 2004.

Comments: 13 pages

On Invariants of Hirzebruch and Cheeger-Gromov

Authors: Stanley Chang, Shmuel Weinberger

Abstract: 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 particul… ▽ More 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. △ Less

Submitted 17 June, 2003; originally announced June 2003.

Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper9.abs.html

MSC Class: 57R67; 46L80; 58G10

Journal ref: Geom. Topol. 7 (2003) 311-319

On the zero-in-the-spectrum conjecture

Authors: M. Farber, S. Weinberger

Abstract: We prove that the answer to the "zero-in-the-spectrum" conjecture, in its form, suggested by J. Lott, is negative. Namely, we show that for any n > 5 there exists a closed n-dimensional manifold M, so that zero does not belong to the spectrum of the Laplace-Beltrami operator acting on the L^2 forms of all degrees on the universal covering of M. We prove that the answer to the "zero-in-the-spectrum" conjecture, in its form, suggested by J. Lott, is negative. Namely, we show that for any n > 5 there exists a closed n-dimensional manifold M, so that zero does not belong to the spectrum of the Laplace-Beltrami operator acting on the L^2 forms of all degrees on the universal covering of M. △ Less

Submitted 11 November, 1999; originally announced November 1999.

Comments: 13 pages

MSC Class: 57Q10

Neighborhoods in Stratified Spaces with Two Strata

Authors: Bruce Hughes, Laurence R. Taylor, Shmuel Weinberger, Bruce Williams

Abstract: We develop a theory of tubular neighborhoods for the lower strata in manifold stratified spaces with two strata. In these topologically stratified spaces, manifold approximate fibrations and teardrops play the role that fibre bundles and map** cylinders play in smoothly stratified spaces. Applications include the classification of neighborhood germs, the construction of exotic stratifications,… ▽ More We develop a theory of tubular neighborhoods for the lower strata in manifold stratified spaces with two strata. In these topologically stratified spaces, manifold approximate fibrations and teardrops play the role that fibre bundles and map** cylinders play in smoothly stratified spaces. Applications include the classification of neighborhood germs, the construction of exotic stratifications, a multiparameter isotopy extension theorem and an h-coborsism extension theorem. △ Less

Submitted 27 August, 1998; originally announced August 1998.

Comments: 60 pages

MSC Class: 57N80; 57N40; 57R80; 19J99

Journal ref: Topology 39 (2000), pages 873-919; Geometry & Topology 11 (2007), pages 1477-1505

Surgery and Stratified Spaces

Authors: Bruce Hughes, Shmuel Weinberger

Abstract: This paper surveys the significant progress over the past couple of decades in the theory of stratified spaces through the application of controlled methods as well as through the application of intersection homology. This paper surveys the significant progress over the past couple of decades in the theory of stratified spaces through the application of controlled methods as well as through the application of intersection homology. △ Less

Submitted 27 July, 1998; originally announced July 1998.

Comments: 26 pages. To appear in C. T. C. Wall's 60th birthday volume

MSC Class: 57N80; 57R65

Journal ref: Surveys in Surgery, Vol. 2 (2001) 319-352 (Princeton University Press)