Showing 1–20 of 20 results for author: Nariman, S

Problem list on Foliations and Diffeomorphism groups

Authors: Sam Nariman, Mehdi Yazdi

Abstract: This document compiles problems proposed and discussed during the problem session at the conference Foliations and Diffeomorphism Groups (CIRM, 2024), organized by Hélène Eynard-Bontemps, Gaël Meigniez, Sam Nariman, and Mehdi Yazdi. The problems were contributed by participants and have been lightly edited by the organizers for clarity and coherence. This document compiles problems proposed and discussed during the problem session at the conference Foliations and Diffeomorphism Groups (CIRM, 2024), organized by Hélène Eynard-Bontemps, Gaël Meigniez, Sam Nariman, and Mehdi Yazdi. The problems were contributed by participants and have been lightly edited by the organizers for clarity and coherence. △ Less

Submitted 23 March, 2025; originally announced March 2025.

Comments: Comments are welcome

MSC Class: 57R50; 57R32; 57R52; 57R65; 57R40; 57R19; 53D10; 58D05; 57Q35

The bounded cohomology of transformation groups of Euclidean spaces and discs

Authors: Francesco Fournier-Facio, Nicolas Monod, Sam Nariman, Alexander Kupers

Abstract: We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result f… ▽ More We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs. △ Less

Submitted 26 September, 2024; v1 submitted 30 May, 2024; originally announced May 2024.

Comments: 43 pages. Main paper by the first three authors, appendix by the fourth author. v2: minor changes

Foliations and diffeomorphism groups

Authors: Sam Nariman

Abstract: This is a survey article on the relationship between algebraic properties of diffeomorphism groups and homotopical properties of foliations, written for the Notices of the AMS. This is a survey article on the relationship between algebraic properties of diffeomorphism groups and homotopical properties of foliations, written for the Notices of the AMS. △ Less

Submitted 20 July, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: to appear in Notices of the AMS

MSC Class: 57R50; 57R32; 57R52; 57R65; 57R40; 57R19; 53D10; 58D05; 57Q35

On invariants of foliated sphere bundles

Authors: Sam Nariman

Abstract: Morita showed that for each power of the Euler class, there are examples of flat $\mathbb{S}^1$-bundles for which the power of the Euler class does not vanish. Haefliger asked if the same holds for flat odd-dimensional sphere bundles. In this paper, for a manifold $M$ with a free torus action, we prove that certain $M$-bundles are cobordant to a flat $M$-bundle and as a consequence, we answer Haef… ▽ More Morita showed that for each power of the Euler class, there are examples of flat $\mathbb{S}^1$-bundles for which the power of the Euler class does not vanish. Haefliger asked if the same holds for flat odd-dimensional sphere bundles. In this paper, for a manifold $M$ with a free torus action, we prove that certain $M$-bundles are cobordant to a flat $M$-bundle and as a consequence, we answer Haefliger's question. We show that the powers of the Euler class and Pontryagin classes $p_i$ for $i\leq n-1$ are all non-trivial in $H^*(\text{BDiff}^δ_+(\mathbb{S}^{2n-1});\mathbb{Q})$. In the appendix, Nils Prigge corrects a claim by Haefliger about the vanishing of certain classes in the smooth group cohomology of $\text{Diff}_+(\mathbb{S}^3)$. △ Less

Submitted 31 July, 2024; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: 13 pages, the appendix by Nils Prigge in the previous version will appear separately. This version will appear in Commentarii Mathematici Helvetici

On $C^0$-stability of compact leaves with amenable fundamental group

Authors: Sam Nariman, Mehdi Yazdi

Abstract: In his work on the generalization of the Reeb stability theorem, Thurston conjectured that if the fundamental group of a compact leaf $L$ in a codimension-one transversely orientable foliation is amenable and if the first cohomology group $H^1(L;\mathbb{R})$ is trivial, then $L$ has a neighborhood foliated as a product. This was later proved as a consequence of Witte-Morris' theorem on the local i… ▽ More In his work on the generalization of the Reeb stability theorem, Thurston conjectured that if the fundamental group of a compact leaf $L$ in a codimension-one transversely orientable foliation is amenable and if the first cohomology group $H^1(L;\mathbb{R})$ is trivial, then $L$ has a neighborhood foliated as a product. This was later proved as a consequence of Witte-Morris' theorem on the local indicability of amenable left orderable groups and Navas' theorem on the left orderability of the group of germs of orientation-preserving homeomorphisms of the real line at the origin. In this note, we prove that Thurston's conjecture also holds for any foliation that is sufficiently close to the original foliation. Hence, if the fundamental group $π_1(L)$ is amenable and $H^1(L;\mathbb{R})=0$, then for every transversely orientable codimension-one foliation $\mathcal{F}$ having $L$ as a leaf, there is a neighborhood of $\mathcal{F}$ in the space of $C^{1,0}$ foliations with Epstein $C^0$ topology consisting entirely of foliations that are locally a product $L \times \mathbb{R}$. △ Less

Submitted 13 February, 2024; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: 16 pages, comments are welcome. v2: this version to appear in MRL

MSC Class: 57R30; 58H05; 22A22; 20F60; 43A07

PL homeomorphisms of surfaces and codimension $2$ PL foliations

Authors: Sam Nariman

Abstract: Haefliger-Thurston's conjecture predicts that Haefliger's classifying space for $C^r$-foliations of codimension $n$ whose normal bundles are trivial is $2n$-connected. In this paper, we confirm this conjecture for PL foliations of codimension $2$. As a consequence, we use a version of Mather-Thurston's theorem for PL homeomorphisms due to the author to derive new homological properties for PL surf… ▽ More Haefliger-Thurston's conjecture predicts that Haefliger's classifying space for $C^r$-foliations of codimension $n$ whose normal bundles are trivial is $2n$-connected. In this paper, we confirm this conjecture for PL foliations of codimension $2$. As a consequence, we use a version of Mather-Thurston's theorem for PL homeomorphisms due to the author to derive new homological properties for PL surface homeomorphisms. In particular, we answer a question of Epstein in dimension $2$ and prove the simplicity of the identity component of PL surface homeomorphisms. △ Less

Submitted 16 May, 2024; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 19 pages, this version to appear in Compositio Mathematica. arXiv admin note: text overlap with arXiv:2202.00052

MSC Class: 57R30; 57R32; 58D05; 55R40; 57Q60

The free factor complex and the dualizing module for the automorphism group of a free group

Authors: Zachary Himes, Jeremy Miller, Sam Nariman, Andrew Putman

Abstract: Answering a question of Hatcher-Vogtmann, we prove that the top homology group of the free factor complex is not the dualizing module for $\text{Aut}(F_n)$, at least for $n = 5$. Answering a question of Hatcher-Vogtmann, we prove that the top homology group of the free factor complex is not the dualizing module for $\text{Aut}(F_n)$, at least for $n = 5$. △ Less

Submitted 8 November, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: 30 pages, minor revision; to appear in IMRN

Journal ref: Int. Math. Res. Not. (2023), no. 22, 19020-19068

On flat manifold bundles and the connectivity of Haefliger's classifying spaces

Authors: Sam Nariman

Abstract: We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston's conjecture predicts that every $M$-bundle over a manifold $B$ where $\text{dim}(B)\leq \text{dim}(M)$ is cobordant to a flat $M$-bundle. In particular, we study the bordism class of flat $M$-bundles over low dimensional manifolds, comparing a finite dimension… ▽ More We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston's conjecture predicts that every $M$-bundle over a manifold $B$ where $\text{dim}(B)\leq \text{dim}(M)$ is cobordant to a flat $M$-bundle. In particular, we study the bordism class of flat $M$-bundles over low dimensional manifolds, comparing a finite dimensional Lie group $G$ with $\text{Diff}_0(G)$ and localizing the holonomy of flat M-bundles to be supported in a ball. △ Less

Submitted 15 May, 2024; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: This version is to appear in the Proceedings of the AMS

MSC Class: 57R50; 57R32; 57R52; 57R65; 57R40; 57R19; 53D10; 58D05; 57Q35

Bounded and unbounded cohomology of homeomorphism and diffeomorphism groups

Authors: Nicolas Monod, Sam Nariman

Abstract: We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring generated by the bounded Euler class. These seem to be the first examples of groups for which the entire bounded cohomology can be described with… ▽ More We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring generated by the bounded Euler class. These seem to be the first examples of groups for which the entire bounded cohomology can be described without being trivial. We further prove that, contrary to ordinary cohomology, the diffeomorphisms groups of the circle and of the closed 2-disc have the same bounded cohomology as their homeomorphism groups and that both differ from the ordinary cohomology. Finally, we determine the low-dimensional bounded cohomology of homeo- and diffeomorphism of the spheres $S^n$ and of certain 3-manifolds. In particular, we answer a question of Ghys by showing that the Euler class in $H^4(Homeo_\circ(S^3))$ is unbounded. △ Less

Submitted 30 January, 2023; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: v3: Major revision to include also diffeomorphisms and an answer to a question by Ghys. v4: Some statements from v3 about the case of R^n have been removed. v5: Expanded some of the preliminary lemmas; this version to appear in Inv. Math

On the finiteness of the classifying space of diffeomorphisms of reducible three manifolds

Authors: Sam Nariman

Abstract: Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We prove a homological version of Kontsevich's conjecture. More precisely, we show that $\text{BDiff}(M, \text{rel }\partial)$ has finitely many nonzero homology grou… ▽ More Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We prove a homological version of Kontsevich's conjecture. More precisely, we show that $\text{BDiff}(M, \text{rel }\partial)$ has finitely many nonzero homology groups, each finitely generated, when $M$ is a connected sum of irreducible $3$-manifolds that each have a nontrivial and non-spherical boundary. △ Less

Submitted 4 April, 2025; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 22 pages, thoroughly revised. to appear in Forum of Mathematics, Sigma

MSC Class: 57R50; 57R19; 57M60; 57M07; 55R40; 57S05; 58D05

Journal ref: Forum of Mathematics, Sigma 13 (2025) e82

Thurston's fragmentation and c-principles

Authors: Sam Nariman

Abstract: In this paper, we generalize the original idea of Thurston for the so called Mather-Thurston's theorem for foliated bundles to prove new variants of this theorem for PL homeomorphisms, contactormorphisms. These versions answer questions posed by Gelfand -Fuks and Greenberg on PL foliations and Rybicki on contactomorphisms. The interesting point about the original Thurston's technique compared to t… ▽ More In this paper, we generalize the original idea of Thurston for the so called Mather-Thurston's theorem for foliated bundles to prove new variants of this theorem for PL homeomorphisms, contactormorphisms. These versions answer questions posed by Gelfand -Fuks and Greenberg on PL foliations and Rybicki on contactomorphisms. The interesting point about the original Thurston's technique compared to the better known Segal-McDuff's proof of the Mather-Thurston theorem is that it gives a compactly supported c-principle theorem without knowing the relevant local statement on open balls. In the appendix, we show that Thurston's fragmentation implies the non-abelian Poincare duality theorem and its generalization using blob complexes. △ Less

Submitted 26 March, 2023; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: 37 pages, to appear in Forum of Mathematics, Sigma

MSC Class: 57R50; 57R32; 57R52; 57R65; 57R40; 57R19; 53D10; 58D05; 57Q35

On the bordism group for group actions on the torus

Authors: Kathryn Mann, Sam Nariman

Abstract: In this short note, we study the bordism problem for group actions on the torus and give examples of groups acting on the torus by diffeomorphisms isotopic to the identity that cannot be extended to an action on a bounding 3-manifold. This solves a question raised in the previous work of the authors. In this short note, we study the bordism problem for group actions on the torus and give examples of groups acting on the torus by diffeomorphisms isotopic to the identity that cannot be extended to an action on a bounding 3-manifold. This solves a question raised in the previous work of the authors. △ Less

Submitted 7 May, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: To appear at Annales de l'Institut Fourier

Report number: GeoTop-DNRF151 MSC Class: 57R50; 57R19; 57M60; 19J35; 55R40; 37C85

Topological aspects of the dynamical moduli space of rational maps

Authors: Maxime Bergeron, Khashayar Filom, Sam Nariman

Abstract: We investigate the topology of the space of Möbius conjugacy classes of degree $d$ rational maps on the Riemann sphere. We show that it is rationally acyclic and we compute its fundamental group. As a byproduct, we also obtain the ranks of some higher homotopy groups of the parameter space of degree $d$ rational maps allowing us to extend the previously known range. Moreover, we show that this par… ▽ More We investigate the topology of the space of Möbius conjugacy classes of degree $d$ rational maps on the Riemann sphere. We show that it is rationally acyclic and we compute its fundamental group. As a byproduct, we also obtain the ranks of some higher homotopy groups of the parameter space of degree $d$ rational maps allowing us to extend the previously known range. Moreover, we show that this parameter space is not nilpotent. △ Less

Submitted 10 December, 2021; v1 submitted 28 August, 2019; originally announced August 2019.

Comments: 35 pages. Minor corrections. To appear in Advances in Mathematics

Report number: GeoTop-DNRF151 MSC Class: 14L30; 37P45; 55Q52; 55R80; 58D15

Journal ref: Advances in Mathematics 397 (2022)

Dynamical and cohomological obstructions to extending group actions

Authors: Kathryn Mann, Sam Nariman

Abstract: We study cohomological obstructions to extending group actions on the boundary $\partial M$ of a $3$-manifold to a $C^0$-action on $M$ when $\partial M$ is diffeomorphic to a torus or a sphere. In particular, we show that for a $3$-manifold $M$ with torus boundary which is not diffeomorphic to a solid torus, the torus action on the boundary does not extend to a $C^0$-action on $M$. We study cohomological obstructions to extending group actions on the boundary $\partial M$ of a $3$-manifold to a $C^0$-action on $M$ when $\partial M$ is diffeomorphic to a torus or a sphere. In particular, we show that for a $3$-manifold $M$ with torus boundary which is not diffeomorphic to a solid torus, the torus action on the boundary does not extend to a $C^0$-action on $M$. △ Less

Submitted 28 December, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: Minor correction to statement of Theorem 1.3

Report number: CPH-SYM-DNRF92 MSC Class: 57R50; 57R19; 57M60; 19J35; 55R40; 37C85

A local to global argument on low dimensional manifolds

Authors: Sam Nariman

Abstract: For an oriented manifold $M$ whose dimension is less than $4$, we use the contractibility of certain complexes associated to its submanifolds to cut $M$ into simpler pieces in order to do local to global arguments. In particular, in these dimensions, we give a different proof of a deep theorem of Thurston in foliation theory which says that the natural map between classifying spaces… ▽ More For an oriented manifold $M$ whose dimension is less than $4$, we use the contractibility of certain complexes associated to its submanifolds to cut $M$ into simpler pieces in order to do local to global arguments. In particular, in these dimensions, we give a different proof of a deep theorem of Thurston in foliation theory which says that the natural map between classifying spaces $\mathrm{B}\text{Homeo}^δ(M)\to \mathrm{B}\text{Homeo}(M)$ induces a homology isomorphism where $\text{Homeo}^δ(M)$ denotes the group of homeomorphisms of $M$ made discrete. Our proof shows that in low dimensions, Thurston's theorem can be proved without using foliation theory. Finally, we show that this technique gives a new perspective on the homotopy type of homeomorphism groups in low dimensions. In particular, we give a different proof of Hacher's theorem that the homeomorphism groups of Haken $3$-manifolds with boundary are homotopically discrete without using his disjunction techniques. △ Less

Submitted 1 August, 2019; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: Thoroughly revised. To appear in Transactions of the AMS

MSC Class: 57R50; 57R32; 57R52; 57R65; 57R40; 57R19

On the moduli space of flat symplectic surface bundles

Authors: Sam Nariman

Abstract: In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spaces to study characteristic classes of surface bundles whose holonomy groups are… ▽ More In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spaces to study characteristic classes of surface bundles whose holonomy groups are area preserving, in particular we give a homotopy theoretic proof of the Kotschick-Morita theorem. △ Less

Submitted 2 March, 2018; v1 submitted 30 November, 2016; originally announced December 2016.

Comments: 37 pages, accepted for publication in Journal of Differential Geometry

MSC Class: 57R50; 58D05; 57R32; 55R40; 55P47

On powers of the Euler class for flat circle bundles

Authors: Sam Nariman

Abstract: Apparently a lost theorem of Thurston states that the cube of the Euler class $e^3\in H^6(BDiff^δ_ω(S^1);\mathbb{Q})$ is zero where $Diff^δ_ω(S^1)$ is the analytic orientation preserving diffeomorphisms of the circle with the discrete topology. This is in contrast with Morita's theorem that the powers of the Euler class are nonzero in $H^*(BDiff^δ(S^1);\mathbb{Q})$ where $Diff^δ(S^1)$ is the orien… ▽ More Apparently a lost theorem of Thurston states that the cube of the Euler class $e^3\in H^6(BDiff^δ_ω(S^1);\mathbb{Q})$ is zero where $Diff^δ_ω(S^1)$ is the analytic orientation preserving diffeomorphisms of the circle with the discrete topology. This is in contrast with Morita's theorem that the powers of the Euler class are nonzero in $H^*(BDiff^δ(S^1);\mathbb{Q})$ where $Diff^δ(S^1)$ is the orientation preserving $C^{\infty}$- diffeomorphisms of the circle with the discrete topology. The purpose of this short note is to prove that the powers of the Euler class $e^k \in H^*(BDiff^δ_ω(S^1);\mathbb{Z})$ in fact are nonzero in cohomology with integer coefficients. We also give a short proof of Morita's theorem. △ Less

Submitted 2 October, 2016; originally announced October 2016.

Comments: Accepted for publication by Journal of Topology and Analysis

MSC Class: 55R10; 57R32; 57R50; 58D05

Braid groups and discrete diffeomorphisms of the punctured disk

Authors: Sam Nariman

Abstract: We show that the group cohomology of the diffeomorphisms of the disk with $n$ punctures has the cohomology of the braid group of $n$ strands as the summand. As an application of this method, we also prove that there is no cohomological obstruction to lifting the "standard" embedding $\mathrm{Br}_{2g+2}\hookrightarrow \mathrm{Mod}_{g,2}$ to a group homomorphism between diffeomorphism groups. We show that the group cohomology of the diffeomorphisms of the disk with $n$ punctures has the cohomology of the braid group of $n$ strands as the summand. As an application of this method, we also prove that there is no cohomological obstruction to lifting the "standard" embedding $\mathrm{Br}_{2g+2}\hookrightarrow \mathrm{Mod}_{g,2}$ to a group homomorphism between diffeomorphism groups. △ Less

Submitted 26 May, 2017; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: Thoroughly revised. To appear in Mathematische Zeitschrift

MSC Class: 55R10; 57R32; 57R50; 58D05

Stable homology of surface diffeomorphism groups made discrete

Authors: Sam Nariman

Abstract: We answer affirmatively a question posed by Morita on homological stability of surface diffeomorphisms made discrete. In particular, we prove that $C^{\infty}$-diffeomorphisms and volume preserving diffeomorphisms of surfaces as family of discrete groups exhibit homological stability. We show that the stable homology of $C^{\infty}$-diffeomorphims of surfaces as discrete groups is the same as homo… ▽ More We answer affirmatively a question posed by Morita on homological stability of surface diffeomorphisms made discrete. In particular, we prove that $C^{\infty}$-diffeomorphisms and volume preserving diffeomorphisms of surfaces as family of discrete groups exhibit homological stability. We show that the stable homology of $C^{\infty}$-diffeomorphims of surfaces as discrete groups is the same as homology of certain infinite loop space related to Haefliger's classifying space of foliations of codimension 2. We use this infinite loop space to obtain new results about (non)triviality of characteristic classes of flat surface bundles. △ Less

Submitted 1 January, 2017; v1 submitted 29 May, 2015; originally announced June 2015.

Comments: 34 pages. Final submitted version, to appear in Geometry and Topology

Journal ref: Geom. Topol. 21 (2017) 3047-3092

Homological stability and stable moduli of flat manifold bundles

Authors: Sam Nariman

Abstract: We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifyin… ▽ More We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifying space of foliations. One geometric consequence of this description of the stable homology is a splitting theorem that implies certain classes called generalized Mumford-Morita-Miller classes can be detected on flat $(\#^g S^n \times S^n)$-bundles for $g$ large enough. △ Less

Submitted 10 September, 2017; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: Final version, to appear in Advances in Mathematics