Spectral rigidity of automorphic orbits in free groups. (Q441087): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 02:04, 30 June 2023
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