Bruno P. Zimmermann
We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the word length entropy of automorphisms of residually nilpotent groups, and how the entropy of such group automorphisms relates to the entropy of induced automorphisms on various nilpotent quotients. We show that much like the structure of a nilpotent group is dictated to a large degree by its abelianization, the entropy of an automorphism of a nilpotent group is dictated by its entropy on the abelianization. We give some applications to the study of pseudo-Anosov homeomorphisms of surfaces. In particular, we show that if $ψ$ is a non--homological pseudo-Anosov homeomorphism of a sur…
The final result of this article gives the order of the extension $$\xymatrix{1\ar[r] & P/[P,P] \ar^{j}[r] & B/[P,P] \ar^-{p}[r] & W \ar[r] & 1}$$ as an element of the cohomology group $H^2(W,P/[P,P])$ (where $B$ and $P$ stands for the braid group and the pure braid group associated to the complex reflection group $W$). To obtain this result, we describe the abelianization of the stabilizer $N_H$ of a hyperplane $H$. Contrary to the case of Coxeter groups, $N_H$ is not in general a reflection subgroup of the complex reflection group $W$. So the first step is to refine Stanley-Springer's theore…
Lifting graph automorphisms along solvable regular covers
本文提出将图的可解正则覆盖分解为阿贝尔覆盖层，并把基图自同构的提升逐层分解，进而用该方法分类以面中心为分支点的四面体亚循环覆盖。
Finite generation of abelianizations of the genus 3 Johnson kernel and the commutator subgroup of the Torelli group for $\mathrm{Out}(F_3)$
本文证明了当g=3时，约翰逊核和极小群的交换化是有限生成的，提出了一个新的充分条件来判断模是否有限生成。
Let A denote either the automorphism group of the free group of rank n>=4 or the mapping class group of an orientable surface of genus n>=12 with at most 1 boundary component, and let G be either the subgroup of IA-automorphisms or the Torelli subgroup of A, respectively. For a natural number N denote by G_N the Nth term of the lower central series of G. We prove that (i) any subgroup of G containing [G,G] (in particular, the Johnson kernel in the mapping class group case) is finitely generated; (ii) if N=2 or n>=8N-4 and K is any subgroup of G containing G_N (for instance, K can be the Nth te…
In this paper, we investigate the structure of the automorphism groups of pure braid groups. We prove that, for $n>3$, $\Aut(P_n)$ is generated by the subgroup $\Aut_c(P_n)$ of central automorphisms of $P_n$, the subgroup $\Aut(B_n)$ of restrictions of automorphisms of $B_n$ on $P_n$ and one extra automorphism $w_n$. We also investigate the lifting and extension problem for automorphisms of some well-known exact sequences arising from braid groups, and prove that that answers are negative in most cases. Specifically, we prove that no non-trivial central automorphism of $P_n$ can be extended to…
The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an abelian extension of quandles. A non-abelian counterpart of this sequence involving dynamical cohomology classes is also established, and some applications to lifting of quandle automorphisms are given. Viewing the construction of the conjugation, the core and the generalised Alexander quandle of a group as an adjoint functor of some appropriate functor from the c…
Representation stability for the first homology of congruence subgroups
研究映射类群和自由群自同构群的同余子群的第一同调，以及Torelli群交换化的余不变模在有限域上的模表示序列，确定其合成因子和重数，并建立Church-Farb意义下的周期表征稳定性，应用于研究带level 2结构的曲线模空间上的平坦线丛。
Let F_n be the free group on n generators. Define IA_n to be group of automorphisms of F_n that act trivially on first homology. The Johnson homomorphism in this setting is a map from IA_n to its abelianization. The first goal of this paper is to determine how much this map contributes to the second rational cohomology of IA_n. A descending central series of IA_n is given by the subgroups K_n^(i) which act trivially on F_n/F_n^(i+1), the free rank n, degree i nilpotent group. It is a conjecture of Andreadakis that K_n^(i) is equal to the lower central series of IA_n; indeed K_n^(2) is known to…
On the wheeled PROP of stable cohomology of Aut(F_n) with bivariant coefficients
该研究在代数拓扑领域，证明带双变系数的自由群自同构群稳定上同调有带轮PROP H结构，定义带轮PROP E并构造同态φ:E→H，其像由上同调类h₁生成。
We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the automorphism group of a free group $\operatorname{Aut}(F_{n})$. The extended ones are {\it not} homomorphisms, but satisfy an infinite sequence of coboundary relations, so that we call them {\it the Johnson maps}. In this paper we confine ourselves to studying the first and the second relations, which have cohomological consequences about the group $\operatorname{…
In this article we relate two different densities. Let $F_k$ be the free group of finite rank $k \ge 2$ and let $α$ be the abelianization map from $F_k$ onto $ \mathbb{Z}^k$. We prove that if $S \subseteq \mathbb{Z}^k$ is invariant under the natural action of $SL(k, \mathbb{Z})$ then the asymptotic density of $S$ in $\mathbb Z^k$ and the annular density of its full preimage $α^{-1}(S)$ in $F_k$ are equal. This implies, in particular, that for every integer $t\ge 1$, the annular density of the set of elements in $F_k$ that map to $t$-th powers of primitive elements in $\mathbb{Z}^k$ is equal to…
If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some $x\in X$ whose stabilizer $G_x\leq G$ satisfies $[G:G_x]\leq C$. We say that $X$ has no odd cohomology if its integral cohomology is torsion free and supported in even degrees. We prove that if $X$ is compact and possibly with boundary and has no odd cohomology then $(X,Diff(X))$ has the almost fixed point property. Combining this with a result of Petrie an…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。