Spectral rigidity of automorphic orbits in free groups. (Q441087): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(F_N\) be the finitely generated free group of rank \(N\geq 2\). The non-projectivized Outer space \(\mathrm{cv}_N\) is introduced by \textit{M. Culler} and \textit{K. Vogtmann} [in Invent. Math. 84, 91-119 (1986; Zbl 0589.20022)]. A basic fact in the theory of Outer space states that every \(T\in\mathrm{cv}_N\) is uniquely determined by its translation length function \(\|\cdot\|\colon F_N\to\mathbb R\), where for every \(g\in F_N\) \(\|g\|_T=\min_{x\in T}d_T(x,gx)\) is the translation length of \(g\) (namely the Marked Length Rigidity Conjecture holds for Outer space). A subset \(R\subseteq F_N\) is called spectrally rigid if whenever \(T_1,T_2\in\mathrm{cv}_N\) are such that \(\|g\|_{T_1}=\|g\|_{T_2}\) for every \(g\in R\), then \(T_1=T_2\) in \(\mathrm{cv}_N\). As noted above \(R=F_N\) is spectrally rigid. It is proved by \textit{J. Smillie} and \textit{K. Vogtmann} [Mich. Math. J. 39, No. 3, 485-493 (1992; Zbl 0773.05058)] for \(N\geq 3\) and by \textit{M. M. Cohen, M. Lustig} and \textit{M. Steiner} [Publ., Math. Sci. Res. Inst. 19, 183-187 (1991; Zbl 0826.20028)] for \(N=2\), that there does not exist a finite spectrally rigid subset of \(F_N\). \textit{I. Kapovich} [Proc. Am. Math. Soc. 140, No. 5, 1549-1560 (2012; Zbl 1268.20043)] has given a class of examples of spectrally rigid subsets of a free group. In paper under consideration the authors obtain a very different class of examples of spectrally rigid subsets of free groups. Their main result is: Theorem A. Let \(N\geq 2\) and let \(H\leq\Aut(F_N)\) be an ample subgroup. Let \(g\in F_N\) be an arbitrary nontrivial element; in the case \(N=2\) we also assume that \(g\in F_2=F(a,b)\) is not conjugate to a nonzero power of \([a,b]\) in \(F_2\). Then the orbit \(Hg=\{\varphi(g):\varphi\in H\}\) is a spectrally rigid subset of \(F_N\). Here the subgroup \(H\) is ample means that the image of \(H\) in \(\mathrm{Out}(F_N)\) contains an infinite normal subgroup of \(\mathrm{Out}(F_N)\). For the proof of this theorem the authors firstly prove that the set \(\mathcal P_N\) of all the primitive elements in \(F_N\) is a spectrally rigid subset in \(F_N\) (Theorem 3.4 in the paper). After that the authors use heavily the machinery of geodesic currents on free groups, and particularly exploit the geometric intersection form between trees and currents, constructed by \textit{I. Kapovich} [Contemp. Math. 394, 149-176 (2006; Zbl 1110.20034)] and \textit{I. Kapovich} and \textit{M. Lustig} [Geom. Topol. 13, No. 3, 1805-1833 (2009; Zbl 1194.20046)]. The arguments for the proof of Theorem 3.4 are derived from \textit{S. Francaviglia} and \textit{A. Martino} [Publ. Mat., Barc. 55, No. 2, 443-473 (2011; Zbl 1268.20042)], these arguments give the following `relative rigidity' result: Theorem B. Let \(T\in\mathrm{cv}_N\) be arbitrary. There exists a finite set \(S\) (depending on \(T\)) of primitive elements in \(F_N\) with the following property: Whenever \(T'\in\mathrm{cv}_N\) is such that \(\|g\|_{T'}=\|g\|_T\) for every \(g\in S\) then \(T=T'\) in \(\mathrm{cv}_N\). Theorem A applies to the cases where \(H=\Aut(F_N)\) (\(N\geq 2\)) or where \(H\leq\Aut(F_N)\) (\(N\geq 3\)) is the kernel of the natural homomorphism from \(\Aut(F_N)\) to \(\Aut(F_N/\gamma_2(F_N))\). This theorem also implies that for \(N\geq 3\) any \(\Aut(F_N)\)-invariant subset of \(F_N\) with more than one element is spectrally rigid in \(F_N\). The paper concludes with the discussion of several open problems motivated by the results of this paper. | |||
Property / review text: Let \(F_N\) be the finitely generated free group of rank \(N\geq 2\). The non-projectivized Outer space \(\mathrm{cv}_N\) is introduced by \textit{M. Culler} and \textit{K. Vogtmann} [in Invent. Math. 84, 91-119 (1986; Zbl 0589.20022)]. A basic fact in the theory of Outer space states that every \(T\in\mathrm{cv}_N\) is uniquely determined by its translation length function \(\|\cdot\|\colon F_N\to\mathbb R\), where for every \(g\in F_N\) \(\|g\|_T=\min_{x\in T}d_T(x,gx)\) is the translation length of \(g\) (namely the Marked Length Rigidity Conjecture holds for Outer space). A subset \(R\subseteq F_N\) is called spectrally rigid if whenever \(T_1,T_2\in\mathrm{cv}_N\) are such that \(\|g\|_{T_1}=\|g\|_{T_2}\) for every \(g\in R\), then \(T_1=T_2\) in \(\mathrm{cv}_N\). As noted above \(R=F_N\) is spectrally rigid. It is proved by \textit{J. Smillie} and \textit{K. Vogtmann} [Mich. Math. J. 39, No. 3, 485-493 (1992; Zbl 0773.05058)] for \(N\geq 3\) and by \textit{M. M. Cohen, M. Lustig} and \textit{M. Steiner} [Publ., Math. Sci. Res. Inst. 19, 183-187 (1991; Zbl 0826.20028)] for \(N=2\), that there does not exist a finite spectrally rigid subset of \(F_N\). \textit{I. Kapovich} [Proc. Am. Math. Soc. 140, No. 5, 1549-1560 (2012; Zbl 1268.20043)] has given a class of examples of spectrally rigid subsets of a free group. In paper under consideration the authors obtain a very different class of examples of spectrally rigid subsets of free groups. Their main result is: Theorem A. Let \(N\geq 2\) and let \(H\leq\Aut(F_N)\) be an ample subgroup. Let \(g\in F_N\) be an arbitrary nontrivial element; in the case \(N=2\) we also assume that \(g\in F_2=F(a,b)\) is not conjugate to a nonzero power of \([a,b]\) in \(F_2\). Then the orbit \(Hg=\{\varphi(g):\varphi\in H\}\) is a spectrally rigid subset of \(F_N\). Here the subgroup \(H\) is ample means that the image of \(H\) in \(\mathrm{Out}(F_N)\) contains an infinite normal subgroup of \(\mathrm{Out}(F_N)\). For the proof of this theorem the authors firstly prove that the set \(\mathcal P_N\) of all the primitive elements in \(F_N\) is a spectrally rigid subset in \(F_N\) (Theorem 3.4 in the paper). After that the authors use heavily the machinery of geodesic currents on free groups, and particularly exploit the geometric intersection form between trees and currents, constructed by \textit{I. Kapovich} [Contemp. Math. 394, 149-176 (2006; Zbl 1110.20034)] and \textit{I. Kapovich} and \textit{M. Lustig} [Geom. Topol. 13, No. 3, 1805-1833 (2009; Zbl 1194.20046)]. The arguments for the proof of Theorem 3.4 are derived from \textit{S. Francaviglia} and \textit{A. Martino} [Publ. Mat., Barc. 55, No. 2, 443-473 (2011; Zbl 1268.20042)], these arguments give the following `relative rigidity' result: Theorem B. Let \(T\in\mathrm{cv}_N\) be arbitrary. There exists a finite set \(S\) (depending on \(T\)) of primitive elements in \(F_N\) with the following property: Whenever \(T'\in\mathrm{cv}_N\) is such that \(\|g\|_{T'}=\|g\|_T\) for every \(g\in S\) then \(T=T'\) in \(\mathrm{cv}_N\). Theorem A applies to the cases where \(H=\Aut(F_N)\) (\(N\geq 2\)) or where \(H\leq\Aut(F_N)\) (\(N\geq 3\)) is the kernel of the natural homomorphism from \(\Aut(F_N)\) to \(\Aut(F_N/\gamma_2(F_N))\). This theorem also implies that for \(N\geq 3\) any \(\Aut(F_N)\)-invariant subset of \(F_N\) with more than one element is spectrally rigid in \(F_N\). The paper concludes with the discussion of several open problems motivated by the results of this paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dimitrios Varsos / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E36 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C24 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6068604 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
marked length spectrum | |||
Property / zbMATH Keywords: marked length spectrum / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral rigidity | |||
Property / zbMATH Keywords: spectral rigidity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free groups | |||
Property / zbMATH Keywords: free groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
outer space | |||
Property / zbMATH Keywords: outer space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
translation length functions | |||
Property / zbMATH Keywords: translation length functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectrally rigid subsets | |||
Property / zbMATH Keywords: spectrally rigid subsets / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2140/agt.2012.12.1457 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2017555647 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A hyperbolic \(\text{Out}(F_n)\)-complex. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Laminations, trees, and irreducible automorphisms of free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Train tracks and automorphisms of free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bouts des variétés hyperboliques de dimension 3. (Ends of hyperbolic 3-dimensional manifolds) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of Teichmüller space via geodesic currents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The symmetries of outer space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3421151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4516130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Current twisting and nonsingular matrices. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Very small group actions on \(\mathbb{R}\)-trees and Dehn twist automorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4028722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What does a basis of F(a,b) look like? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ℝ-trees and laminations for free groups I: algebraic laminations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ℝ-trees and laminations for free groups II: the dual lamination of an ℝ-tree / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity for surfaces of non-positive curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conjugacy and rigidity for nonpositively curved manifolds of higher rank / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The marked length-spectrum of a surface of nonpositive curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3344126 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group Actions On R-Trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moduli of graphs and automorphisms of free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4028723 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Marked length rigidity for symmetric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Length spectra and degeneration of flat metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geodesic currents and length compactness for automorphisms of free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric properties of outer space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximations of stable actions on \(\mathbb{R}\)-trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamics of Out(Fn) on the boundary of outer space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant Radon measures on measured lamination space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lipschitz retraction and distortion for subgroups of \(\mathrm{Out}(F_n)\). / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the rigidity of discrete isometry groups of negatively curved spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE FREQUENCY SPACE OF A FREE GROUP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5488879 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Clusters, Currents, and Whitehead's Algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random length-spectrum rigidity for free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The actions of ${\mathit{Out}(F_k)}$ on the boundary of Outer space and on the space of currents: minimal sets and equivariant incompatibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric intersection number and analogues of the curve complex for free groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Domains of proper discontinuity on the boundary of outer space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection form, laminations and currents on free groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stabilizers of ℝ-trees with free isometric actions of <i>F<sub>N</sub> </i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Patterson-Sullivan embedding and minimal volume entropy for outer space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric entropy of geodesic currents on free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ergodic theory and rigidity on the symmetric space of non-compact type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Marked length rigidity of rank one symmetric spaces and their product / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity on symmetric spaces. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Le spectre marqué des longueurs des surfaces à courbure négative. (The spectrum marked by lengths of surfaces with negative curvature) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Gromov topology on \({\mathbb{R}}\)-trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NON-RIGIDITY OF CYCLIC AUTOMORPHIC ORBITS IN FREE GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Length functions and outer space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3588176 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über Homoeomorphismen \(n\)-dimensionaler Henkelkoerper und endliche Erweiterungen von Schottky-Gruppen / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spectral rigidity of automorphic orbits in free groups. |
scientific article |
Statements
Spectral rigidity of automorphic orbits in free groups. (English)
0 references
20 August 2012
0 references
Let \(F_N\) be the finitely generated free group of rank \(N\geq 2\). The non-projectivized Outer space \(\mathrm{cv}_N\) is introduced by \textit{M. Culler} and \textit{K. Vogtmann} [in Invent. Math. 84, 91-119 (1986; Zbl 0589.20022)]. A basic fact in the theory of Outer space states that every \(T\in\mathrm{cv}_N\) is uniquely determined by its translation length function \(\|\cdot\|\colon F_N\to\mathbb R\), where for every \(g\in F_N\) \(\|g\|_T=\min_{x\in T}d_T(x,gx)\) is the translation length of \(g\) (namely the Marked Length Rigidity Conjecture holds for Outer space). A subset \(R\subseteq F_N\) is called spectrally rigid if whenever \(T_1,T_2\in\mathrm{cv}_N\) are such that \(\|g\|_{T_1}=\|g\|_{T_2}\) for every \(g\in R\), then \(T_1=T_2\) in \(\mathrm{cv}_N\). As noted above \(R=F_N\) is spectrally rigid. It is proved by \textit{J. Smillie} and \textit{K. Vogtmann} [Mich. Math. J. 39, No. 3, 485-493 (1992; Zbl 0773.05058)] for \(N\geq 3\) and by \textit{M. M. Cohen, M. Lustig} and \textit{M. Steiner} [Publ., Math. Sci. Res. Inst. 19, 183-187 (1991; Zbl 0826.20028)] for \(N=2\), that there does not exist a finite spectrally rigid subset of \(F_N\). \textit{I. Kapovich} [Proc. Am. Math. Soc. 140, No. 5, 1549-1560 (2012; Zbl 1268.20043)] has given a class of examples of spectrally rigid subsets of a free group. In paper under consideration the authors obtain a very different class of examples of spectrally rigid subsets of free groups. Their main result is: Theorem A. Let \(N\geq 2\) and let \(H\leq\Aut(F_N)\) be an ample subgroup. Let \(g\in F_N\) be an arbitrary nontrivial element; in the case \(N=2\) we also assume that \(g\in F_2=F(a,b)\) is not conjugate to a nonzero power of \([a,b]\) in \(F_2\). Then the orbit \(Hg=\{\varphi(g):\varphi\in H\}\) is a spectrally rigid subset of \(F_N\). Here the subgroup \(H\) is ample means that the image of \(H\) in \(\mathrm{Out}(F_N)\) contains an infinite normal subgroup of \(\mathrm{Out}(F_N)\). For the proof of this theorem the authors firstly prove that the set \(\mathcal P_N\) of all the primitive elements in \(F_N\) is a spectrally rigid subset in \(F_N\) (Theorem 3.4 in the paper). After that the authors use heavily the machinery of geodesic currents on free groups, and particularly exploit the geometric intersection form between trees and currents, constructed by \textit{I. Kapovich} [Contemp. Math. 394, 149-176 (2006; Zbl 1110.20034)] and \textit{I. Kapovich} and \textit{M. Lustig} [Geom. Topol. 13, No. 3, 1805-1833 (2009; Zbl 1194.20046)]. The arguments for the proof of Theorem 3.4 are derived from \textit{S. Francaviglia} and \textit{A. Martino} [Publ. Mat., Barc. 55, No. 2, 443-473 (2011; Zbl 1268.20042)], these arguments give the following `relative rigidity' result: Theorem B. Let \(T\in\mathrm{cv}_N\) be arbitrary. There exists a finite set \(S\) (depending on \(T\)) of primitive elements in \(F_N\) with the following property: Whenever \(T'\in\mathrm{cv}_N\) is such that \(\|g\|_{T'}=\|g\|_T\) for every \(g\in S\) then \(T=T'\) in \(\mathrm{cv}_N\). Theorem A applies to the cases where \(H=\Aut(F_N)\) (\(N\geq 2\)) or where \(H\leq\Aut(F_N)\) (\(N\geq 3\)) is the kernel of the natural homomorphism from \(\Aut(F_N)\) to \(\Aut(F_N/\gamma_2(F_N))\). This theorem also implies that for \(N\geq 3\) any \(\Aut(F_N)\)-invariant subset of \(F_N\) with more than one element is spectrally rigid in \(F_N\). The paper concludes with the discussion of several open problems motivated by the results of this paper.
0 references
marked length spectrum
0 references
spectral rigidity
0 references
free groups
0 references
outer space
0 references
translation length functions
0 references
spectrally rigid subsets
0 references
0 references