arXiv subjects
Publications and source records attributed to David Fisher.
We prove that a closed negatively curved analytic Riemannian manifold that contains infinitely many totally geodesic hypersurfaces is isometric to an arithmetic hyperbolic manifold. Equivalently, any closed analytic Riemannian manifold with negative sectional curvature has only finitely many totally geodesic hypersurfaces, unless it has constant curvature.
We discuss many surprising implications of a positive answer to a question raised in some cases by Greenberg in the $`70$s and more generally by Shalom in the early $2000$s. We refer to this positive answer as the Greenberg-Shalom hypothesis. This hypothesis then says that any infinite discrete subgroup of a semisimple Lie group with dense commensurator is a lattice in a product of some factors. For some applications it is natural to extend the hypothesis to cover semisimple algebraic groups over other fields as well.
We establish a Tukia-type theorem for uniform quasiconformal groups of a Carnot group. More generally we establish a fiber bundle version (or foliated version) of Tukia theorem for uniform quasiconformal groups of a nilpotent Lie group whose Lie algebra admits a diagonalizable derivation with positive eigenvalues. These results have applications to quasi-isometric rigidity of solvable groups [DFX].
In this paper we study uniform quasiconformal groups of Carnot-by-Carnot groups. We show that they can be conjugated into conformal groups provided the induced action on the space of distinct pairs is cocompact. Following the approach of Eskin-Fisher-Whyte these results have applications to quasi-isometric rigidity of certain solvable groups.
The main result is a classification of smooth actions of $SL(n,{\bf R})$, $n \geq 3$, or connected groups locally isomorphic to it, on closed $n$-manifolds, extending a theorem of Uchida. We construct new exotic actions of $SL(n,{\bf Z})$ on the $n$-torus and connected sums of $n$-tori, and we formulate a conjectural classification of actions of lattices in $SL(n,{\bf R})$ on closed $n$-manifolds. We prove some results about invariant rigid geometric structures for $SL(n,{\bf R})$-actions.
We give a new proof of the finiteness of maximal arithmetic reflection groups. Our proof is novel in that it makes no use of trace formulas or other tools from the theory of automorphic forms and instead relies on the arithmetic Margulis lemma of Fraczyk, Hurtado and Raimbault.
We study a question of Greenberg-Shalom concerning arithmeticity of discrete subgroups of semisimple Lie groups with dense commensurators. We answer this question positively for normal subgroups of lattices. This generalizes a result of the second author and T. Koberda for certain normal subgroups of arithmetic lattices in SO(n,1) and SU(n,1).
This article discusses two recent works by the author, one with Brown and Hurtado on Zimmer's conjecture and one with Bader, Miller and Stover on totally geodesic submanifolds of real and complex hyperbolic manifolds. The main purpose of juxtaposing these two very disparate sets of results in one article is to emphasize a common aspect: that the study of invariant and partially invariant measures outside the homogeneous setting is important to questions about rigidity in geometry and dynamics. I will also discuss some open questions including some that seem particularly compelling in light of this juxtaposition.
The Hadwiger-Nelson problem asks for the minimum number of colors, so that each point of the plane can be assigned a single color with the property that no two points unit-distance apart are identically colored. It is now known that the answer is $5$, $6$, or $7$, Here we consider the problem in the context of Minkowski planes, where the unit circle is a regular polygon with $8$, $10$, or $12$ vertices. We prove that in each of these cases, one also needs at least five colors.
We establish finiteness of low-dimensional actions of lattices in higher-rank semisimple Lie groups and establish Zimmer's conjecture for many such groups. This builds on previous work of the authors handling the case of actions by cocompact lattices and of actions by $\Sl(n,\Z)$. While the results are not sharp in all cases, they do dramatically improve all known results. The key difficulty overcome in this paper concerns escape of mass when taking limits of sequences of measures. Due to a need to control Lyapunov exponents for unbounded cocycles when taking such limits, quantitative controls on the concentration of mass at infinity are need and novel techniques are introduced to avoid ``escape of Lyapunov exponent."
For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real hyperbolic manifolds. As in the real hyperbolic case, our primary result is a superrigidity theorem for certain representations of complex hyperbolic lattices. The proof requires developing new general tools not needed in the real hyperbolic case. Our main results also have a number of other applications. For example, we prove nonexistence of certain maps between complex hyperbolic manifolds, which is related to a question of Siu, that certain hyperbolic $3$-manifolds cannot be totally geodesic submanifolds of complex hyperbolic manifolds, and that arithmeticity of complex hyperbolic manifolds is detected purely by the topology of the underlying complex variety, which is related to a question of Margulis. Our results also provide some evidence for a conjecture of Klingler that is a broad generalization of the Zilber--Pink conjecture.
Let $Γ$ be a lattice in $\mathrm{SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $Γ$ is arithmetic. This answers a question of Reid for hyperbolic $n$-manifolds and, independently, McMullen for hyperbolic $3$-manifolds. We prove these results by proving a superrigidity theorem for certain representations of such lattices. The proof of our superrigidity theorem uses results on equidistribution from homogeneous dynamics and our main result also admits a formulation in that language.
We prove Zimmer's conjecture for $C^2$ actions by finite-index subgroups of $\mathrm{SL}(m,\mathbb{Z})$ provided $m>3$. The method utilizes many ingredients from our earlier proof of the conjecture for actions by cocompact lattices in $\mathrm{SL}(m,\mathbb{R})$ but new ideas are needed to overcome the lack of compactness of the space $(G \times M)/Γ$ (admitting the induced $G$-action). Non-compactness allows both measures and Lyapunov exponents to escape to infinity under averaging and a number of algebraic, geometric, and dynamical tools are used control this escape. New ideas are provided by the work of Lubotzky, Mozes, and Raghunathan on the structure of nonuniform lattices and, in particular, of $\mathrm{SL}(m,\mathbb{Z})$ providing a geometric decomposition of the cusp into rank one directions, whose geometry is more easily controlled. The proof also makes use of a precise quantitative form of non-divergence of unipotent orbits by Kleinbock and Margulis, and an extension by de la Salle of strong property (T) to representations of nonuniform lattices.
This essay points to many of the interesting ramifications of Margulis' arithmeticity theorem, the superrigidity theorem, and normal subgroup theorem. We provide some history and background, but the main goal is to point to interesting open questions that stem directly or indirectly from Margulis' work and it's antecedents.
This paper can be viewed as a sequel to the author's long survey on the Zimmer program \cite{F11} published in 2011. The sequel focuses on recent rapid progress on certain aspects of the program particularly concerning rigidity of Anosov actions and Zimmer's conjecture that there are no actions in low dimensions. Some emphasis is put on the surprising connections between these two different sets of developments and also on the key connections and ideas for future research that arise from these works taken together.
We present the relation between stellar specific angular momentum $j_*$, stellar mass $M_*$, and bulge-to-total light ratio $β$ for THINGS, CALIFA and Romanowsky \& Fall datasets, exploring the existence of a fundamental plane between these parameters as first suggested by Obreschkow \& Glazebrook. Our best-fit $M_*-j_*$ relation yields a slope of $α= 1.03 \pm 0.11$ with a trivariate fit including $β$. When ignoring the effect of $β$, the exponent $α= 0.56 \pm 0.06$ is consistent with $α= 2/3$ predicted for dark matter halos. There is a linear $β- j_*/M_*$ relation for $β\lesssim 0.4$, exhibiting a general trend of increasing $β$ with decreasing $j_*/M_*$. Galaxies with $β\gtrsim 0.4$ have higher $j_*$ than predicted by the relation. Pseudobulge galaxies have preferentially lower $β$ for a given $j_*/M_*$ than galaxies that contain classical bulges. Pseudobulge galaxies follow a well-defined track in $β- j_*/M_*$ space, consistent with Obreschkow \& Glazebrook, while galaxies with classical bulges do not. These results are consistent with the hypothesis that while growth in either bulge type is linked to a decrease in $j_*/M_*$, the mechanisms that build pseudobulges seem to be less efficient at increasing bulge mass per decrease in specific angular momentum than those that build classical bulges.
We show that large classes of non-arithmetic hyperbolic $n$-manifolds, including the hybrids introduced by Gromov and Piatetski-Shapiro and many of their generalizations, have only finitely many finite-volume immersed totally geodesic hypersurfaces. In higher codimension, we prove finiteness for geodesic submanifolds of dimension at least $2$ that are maximal, i.e., not properly contained in a proper geodesic submanifold of the ambient $n$-manifold. The proof is a mix of structure theory for arithmetic groups, dynamics, and geometry in negative curvature.
We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.