A short note on $π_1\mathrm{Diff}_{\partial} (D^{4k})$ for $k\geq 3$

Wei Wang

2024-04-11

Abstract:Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for $k\geq 3$.

Algebraic Topology,Geometric Topology

What problem does this paper attempt to address?

A short note on $\pi_1\mathrm{Diff}_{\partial} (D^{4k})$ for $k\geq 3$

Wei Wang

DOI: https://doi.org/10.48550/arxiv.2307.03417

2023-01-01

Abstract: Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for $k\geq 3$. We also compute some Gromoll filtration groups $\Gamma^{4k+3}_3$ for $k\geq 3$.
Some Remarks on Circle Action on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.4310/mrl.2011.v18.n3.a5

2011-01-01

Mathematical Research Letters

Abstract:This paper contains several results concerning circle action on almost-complex and smooth manifolds. More precisely, we show that, for an almost-complex manifold $M^{2mn}$(resp. a smooth manifold $N^{4mn}$), if there exists a partition $\lambda=(\lambda_{1},...,\lambda_{u})$ of weight $m$ such that the Chern number $(c_{\lambda_{1}}... c_{\lambda_{u}})^{n}[M]$ (resp. Pontrjagin number $(p_{\lambda_{1}}... p_{\lambda_{u}})^{n}[N]$) is nonzero, then \emph{any} circle action on $M^{2mn}$ (resp. $N^{4mn}$) has at least $n+1$ fixed points. When an even-dimensional smooth manifold $N^{2n}$ admits a semi-free action with isolated fixed points, we show that $N^{2n}$ bounds, which generalizes a well-known fact in the free case. We also provide a topological obstruction, in terms of the first Chern class, to the existence of semi-free circle action with \emph{nonempty} isolated fixed points on almost-complex manifolds. The main ingredients of our proofs are Bott's residue formula and rigidity theorem.
On Curvatures and Fundamental Groups of Finsler Manifolds

Shen Yibing,Zhao Wei

DOI: https://doi.org/10.1360/n012017-00122

2018-01-01

Abstract:Finsler manifolds are differentiable manifolds equipped with Riemannian metrics without the quadratic restriction. In this paper, some recent developments and new results on curvatures and fundamental groups of Finsler manifolds are summarized briefly. The contents contain the growth of fundamental groups, the entropy of manifolds and fundamental groups, the first Betti number and the finiteness of fundamental groups.
Boundedness of bundle diffeomorphism groups over a circle

Kazuhiko Fukui,Tatsuhiko Yagasaki

2024-03-10

Abstract:In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle $\pi : M \to S^1$ with fiber $N$ and structure group $\Gamma$ and $r \in {\Bbb Z}_{\geq 0} \cup \{ \infty \}$ we distinguish an integer $k = k(\pi, r) \in {\Bbb Z}_{\geq 0}$ and construct a function $\widehat{\nu} : {\rm Diff}_\pi(M)_0 \to {\Bbb R}_k$. When $k \geq 1$, it is shown that the bundle diffeomorphism group ${\rm Diff}_\pi(M)_0$ is uniformly perfect and $clb_\pi\,{\rm Diff}^r_\pi(M)_0 \leq k+3$, if ${\rm Diff}_{\rho, c}(E)_0$ is perfect for the trivial fiber bundle $\rho : E \to {\Bbb R}$ with fiber $N$ and structure group $\Gamma$. On the other hand, when $k = 0$, it is shown that $\widehat{\nu}$ is a unbounded quasimorphism, so that ${\rm Diff}_\pi(M)_0$ is unbounded and not uniformly perfect. We also describe the integer $k$ in term of the attaching map $\phi$ for a mapping torus $\pi : M_\phi \to S^1$ and give some explicit examples of (un)bounded groups.

Geometric Topology,Group Theory
Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

Tadayuki Watanabe

DOI: https://doi.org/10.48550/arXiv.2109.01609

2023-02-02

Abstract:In this addendum, we give a differential form interpretation of the proof of the main theorem of <a class="link-https" data-arxiv-id="1812.02448" href="https://arxiv.org/abs/1812.02448">arXiv:1812.02448</a>, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the dimensions of Kontsevich's graph homology, and explain why it can be extended to arbitrary even dimensions $d\geq 4$. We attempted to make the proof accessible to more readers. Thus we do not assume familiarity with configuration space integrals nor knowledge of finite type invariants. Part of this addendum might be joined to the original article when it will be re-submitted to the journal. This is not aimed at giving a correction to the previous version.

Geometric Topology,Algebraic Topology
Circle actions and Z/k-manifolds

Weiping Zhang

DOI: https://doi.org/10.1016/S1631-073X(03)00279-6

2003-01-01

Comptes Rendus Mathematique

Abstract:We establish an S1-equivariant index theorem for Dirac operators on Z/k-manifolds. As an application, we generalize the Atiyah–Hirzebruch vanishing theorem for S1-actions on closed spin manifolds to the case of Z/k-manifolds. To cite this article: W. Zhang, C. R. Acad. Sci. Paris, Ser. I 337 (2003).
Remarks on the $\mathbb{Z}/p$ Dijkgraaf-Witten invariants of 3D mapping tori

William Chen,Alex Kontorovich,Shehryar Sikander

2023-11-16

Abstract:We make some remarks on the $\mathbb{Z}/p$ Dijkgraaf-Witten invariants of 3D mapping tori and determine the asymptotic behavior of their sum over all diffeomorphism classes of genus one mapping tori.

Mathematical Physics
Finite generation of fundamental groups for manifolds with nonnegative Ricci curvature whose universal cover is almost $k$-polar at infinity

Hongzhi Huang

2024-05-29

Abstract:In this article, we prove that the fundamental group $\pi_1(M)$ of a complete open manifold $M$ with nonnegative Ricci curvature is finitely generated, under the condition that the Riemannian universal cover $\tilde M$ satisfies an "almost $k$-polar at infinity" condition. Additionally, such $\pi_1(M)$ is virtually abelian. Furthermore, we demonstrate that the base point of any tangent cone at infinity of such a manifold is nearly a pole. In the case where $\tilde M$ exhibits almost maximal Euclidean volume growth, we prove that $M$ deformation retracts to a closed submanifold $F$ which is diffeomorphic to a flat manifold, provided $M$ is not simply connected.

Differential Geometry
On fundamental groups of spaces of (framed) embeddings of the circle in 4-manifolds

Danica Kosanović

2024-07-10

Abstract:Motivated by recent results on diffeomorphisms, this paper investigates fundamental groups of spaces of embeddings of $S^1$ and $S^1\times D^3$ in 4-manifolds. We express the latter (framed) case in terms of the former, and study examples of the form $M\# S^1\times S^3$ in detail.

Geometric Topology,Algebraic Topology
A note on the topology of the complements of fiber-type line arrangements in ℂℙ<sup>2</sup>

Sheng-Li Tan,Stephen S.-T. Yau,Fei Ye

DOI: https://doi.org/10.2140/pjm.2011.251.207

2011-01-01

Pacific Journal of Mathematics

Abstract:We prove that BDiff + (S 2 , {x 1 , . . ., x n+1 }) is a K (π, 1) space, where π is the mapping class group of an (n+1)-punctured sphere.As a consequence we derive that the center-projecting braid monodromy of a fiber-type projective line arrangement determines the diffeomorphic type of its complement.
On the limit of simply connected manifolds with discrete isometric cocompact group actions

Jikang Wang

2023-07-15

Abstract:We study complete, connected and simply connected $n$-dim Riemannian manifold $M$ satisfying Ricci curvature lower bound; moreover, suppose that it admits discrete isometric group actions $G$ so that the diameter of the quotient space $\mathrm{diam}(M/G)$ is bounded. In particular, for any $n$-manifold $M'$ satisfying $\mathrm{diam}(M') \le D$ and $\mathrm{Ric} \ge -(n-1)$, the universal cover and fundamental group $(\tilde{M}',G)$ satisfies the above condition. Let $\{(M_i,p_i)\}_{i \in \mathbb{N}}$ be a sequence of complete, connected and simply connected $n$-dim Riemmannian manifolds satisfying $\mathrm{Ric} \ge -(n-1)$. Let $G_i$ be a discrete subgroup of $\mathrm{Iso}(M_i)$ with $\mathrm{diam}(M_i/G_i) \le D$ where $D>0$ is fixed. Passing to a subsequence, $(M_i, p_i,G_i)$ equivariantly pointed-Gromov-Hausdorff converges to $(X,p,G)$. Then $G$ is a Lie group by Cheeger-Colding and Colding-Naber. We shall show that the identity component $G_0$ is a nilpotent Lie group. Therefore there is a maximal torus $T^k$ in $G$. Our first main result is that the fundamental group $\pi_1(X,p)$ is generated by loops in the $T^k$ orbit of $p$. In particular, $\pi_1(X)$ is a finitely generated abelian group. Assume that $M$ is a complete, connect and simply connected $n$-manifold with $\mathrm{Ric} \ge 0$ and $G$ is a discrete subgroup of $\mathrm{Iso}(M)$ with $\mathrm{diam}(M/G) \le D$. The celebrated splitting theorem by Cheeger-Gromoll shows that $M$ splits, $M=\mathbb{R}^k \times N$, where $N$ is a simply connected compact $(n-k)$-manifold. Our second result is that $\mathrm{diam}(N) \le D'(n,D)$.

Differential Geometry
Diffeotopy groups of non-compact 4-manifolds

Isacco Nonino

2024-06-17

Abstract:We provide information on diffeotopy groups of exotic smoothings of punctured 4-manifolds, extending previous results on diffeotopy groups of exotic $\mathbb{R}^4$'s. In particular, we prove that for a smoothable 4-manifold $M$ and for a non-empty, discrete set of points $S \subsetneq \mathring{M}$, there are uncountably many distinct smoothings of $M\smallsetminus S$ whose diffeotopy groups are uncountable. We then prove that for a smoothable 4-manifold $M$ and for a non-empty, discrete set of points $S \subsetneq \mathring{M}$, there exists a smoothing of $M\smallsetminus S$ whose diffeotopy groups have similar properties as $\mathcal{R}_U$, Freedman and Taylor's universal $\mathbb{R}^4$. Moreover, we prove that if $M$ is non-smoothable, both results still hold under the assumption that $|S| \ge 2$.

Geometric Topology
Braid groups and discrete diffeomorphisms of the punctured disk

Sam Nariman

DOI: https://doi.org/10.48550/arXiv.1511.09369

2017-05-27

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.

Algebraic Topology,Geometric Topology
Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction

Juan Alonso,Sébastien Alvarez,Dominique Malicet,Carlos Meniño Cotón,Michele Triestino

2023-11-10

Abstract:Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group $\mathsf{Diff}^\omega_+(\mathbb S^1)$ of orientation preserving real-analytic circle diffeomorphisms, which include all subgroups of $\mathsf{Diff}^\omega_+(\mathbb S^1)$ acting with an invariant Cantor set. An important tool that we develop, of independent interest, is the extension of classical ping-pong lemma to actions of fundamental groups of graphs of groups. Our main motivation is an old conjecture by P. R. Dippolito [Ann. Math. 107 (1978), 403--453] from foliation theory, which we solve in this restricted but significant setting: this and other consequences of the classification will be treated in more detail in a companion work.

Group Theory,Dynamical Systems
On extension of closed complex (basic) differential forms: (basic) Hodge numbers and (transversely) $p$-Kähler structures

Sheng Rao,Runze Zhang

2023-10-16

Abstract:Inspired by a recent work of D. Wei--S. Zhu on the extension of closed complex differential forms and Voisin's usage of the $\partial\bar{\partial}$-lemma, we obtain several new theorems of deformation invariance of Hodge numbers and reprove the local stabilities of $p$-Kähler structures with the $\partial\bar{\partial}$-property. Our approach is more concerned with the $d$-closed extension by means of the exponential operator $e^{\iota_\varphi}$. Furthermore, we prove the local stabilities of transversely $p$-Kähler structures with mild $\partial\bar{\partial}$-property by adapting the power series method to the foliated case, which strengthens the works of A. El Kacimi Alaoui--B. Gmira and P. Raźny on that of the transversely Kähler foliations with homologically orientability. We observe that a transversely Kähler foliation, even without homologically orientability, also satisfies the $\partial\bar{\partial}$-property. So even when $p=1$ (transversely Kähler), our results are new as we can drop the assumption in question on the initial foliation. Several theorems on the deformation invariance of basic Hodge/Bott--Chern numbers with mild $\partial\bar{\partial}$-properties are also presented.

Complex Variables,Differential Geometry
A note on $p$-Kähler structures on compact quotients of Lie groups

Anna Fino,Asia Mainenti

DOI: https://doi.org/10.1007/s10231-024-01438-y

2024-04-03

Abstract:A $p$-Kähler structure on a complex manifold of complex dimension $n$ is given by a $d$-closed transverse real $(p,p)$-form. In the paper we study the existence of $p$-Kähler structures on compact quotients of simply connected Lie groups by discrete subgroups endowed with an invariant complex structure. In particular, we discuss the existence of $p$-Kähler structures on nilmanifolds, with a focus on the case $p =2$ and complex dimension $n = 4$. Moreover, we prove that a $(n-2)$-Kähler almost abelian solvmanifold of complex dimension $n\geq3$ has to be Kähler.

Mathematics
On Discrete Differential Geometry in Twistor Space

George Shapiro

DOI: https://doi.org/10.48550/arXiv.1103.5711

2013-02-13

Abstract:In this paper we introduce a discrete integrable system generalizing the discrete (real) cross-ratio system in $S^4$ to complex values of a generalized cross-ratio by considering $S^4$ as a real section of the complex Plücker quadric, realized as the space of two-spheres in $S^4.$ We develop the geometry of the Plücker quadric by examining the novel contact properties of two-spheres in $S^4,$ generalizing classical Lie geometry in $S^3.$ Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. We define discrete principal contact element nets for the Plücker quadric and prove several elementary results. Employing a second real real structure, we show that these results generalize previous results by Bobenko and Suris $(2007)$ on discrete differential geometry in the Lie quadric.

Differential Geometry
Fundamental groups of finite volume, bounded negatively curved 4-manifolds are not 3-manifold groups

grigori avramidi,t tam nguyen phan,yunhui wu

2013-01-01

Abstract: We study noncompact, complete, finite volume, Riemannian 4-manifolds $M$ with sectional curvature $-1<K<0$. We prove that $\pi_1 M$ cannot be a 3-manifold group. A classical theorem of Gromov says that $M$ is homeomorphic to the interior of a compact manifold $\M$ with boundary $\partial\barM$. We show that for each $\pi_1$-injective boundary component $C$ of $\M$, the map $i_*$ induced by inclusion $i\colon C\rightarrow \M$ has infinite index image $i_*(\pi_1 C)$ in $\pi_1 \M$. We also prove that $M$ cannot be homotoped to be contained in $\partial\M$.
Residual finiteness of some automorphism groups of high dimensional manifolds

Fadi Mezher

2024-10-11

Abstract:We show that for a smooth, closed 2-connected manifold $M$ of dimension $d \geq 6$, the topological mapping class group $\pi_0 \mathrm{Homeo}(M)$ is residually finite, in contrast to the situation for the smooth mapping class group $\pi_0 \mathrm{Diff}(M)$. Combined with a result of Sullivan, this implies that $\pi_0 \mathrm{Homeo}(M)$ is an arithmetic group. The proof uses embedding calculus, and is of independent interest: we show that the $T_k$-mapping class group, $\pi_0 T_k \mathrm{Diff}(M)$, is residually finite, for all $k \in \mathbb{N}$. The statement on the topological mapping class group is then deduced from the Weiss fibre sequence, convergence of the embedding calculus tower and smoothing theory.

Geometric Topology,Algebraic Topology
A note on the topology of the complements of fiber-type line arrangements in CP 2

Shengli Tan,Stephen Yau,Fei Ye

DOI: https://doi.org/10.2140/pjm.2011.251.207

2011-01-01

Pacific Journal of Mathematics

Abstract:We prove that BDiff + (S 2, {x 1,...,x n+1}) is a K(π, 1) space, where π is the mapping class group of an (n+1)-punctured sphere. As a consequence we derive that the center-projecting braid monodromy of a fiber-type projective line arrangement determines the diffeomorphic type of its complement. © 2011 by Pacific Journal of Mathematics.

A short note on $π_1\mathrm{Diff}_{\partial} (D^{4k})$ for $k\geq 3$

A short note on $\pi_1\mathrm{Diff}_{\partial} (D^{4k})$ for $k\geq 3$

Some Remarks on Circle Action on Manifolds

On Curvatures and Fundamental Groups of Finsler Manifolds

Boundedness of bundle diffeomorphism groups over a circle

Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

Circle actions and Z/k-manifolds

Remarks on the $\mathbb{Z}/p$ Dijkgraaf-Witten invariants of 3D mapping tori

Finite generation of fundamental groups for manifolds with nonnegative Ricci curvature whose universal cover is almost $k$-polar at infinity

On fundamental groups of spaces of (framed) embeddings of the circle in 4-manifolds

A note on the topology of the complements of fiber-type line arrangements in ℂℙ<sup>2</sup>

On the limit of simply connected manifolds with discrete isometric cocompact group actions

Diffeotopy groups of non-compact 4-manifolds

Braid groups and discrete diffeomorphisms of the punctured disk

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction

On extension of closed complex (basic) differential forms: (basic) Hodge numbers and (transversely) $p$-Kähler structures

A note on $p$-Kähler structures on compact quotients of Lie groups

On Discrete Differential Geometry in Twistor Space

Fundamental groups of finite volume, bounded negatively curved 4-manifolds are not 3-manifold groups

Residual finiteness of some automorphism groups of high dimensional manifolds

A note on the topology of the complements of fiber-type line arrangements in CP 2