A joinings classification and a special case of Raghunathan's conjecture in positive characteristic (with an appendix by Kevin Wortman) (Q351362): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(K\) be a global field, and \(\mathbb{G}\) be a connected, simply connected, almost simple group defined over \(K\). Let \(S\) be a finite set of places of \(K\). For \(\nu\in S\), denote \(G_\nu:=\mathbb{G}(K_\nu)\) and let \(G:=\prod_{\nu\in S} G_\nu\). Fix two irreducible arithmetic lattices \(\Gamma_1\) and \(\Gamma_2\) of \(G\), and let \(H:=G\times G\) and \(\mathbb{G}_1\) and \(\mathbb{G}_2\) be the associated \(K\)-groups, respectively, which give rise to the same \(G\). Let \(\Delta(G):= \{(g,g): g\in G\}\). For any automorphism \(\tau\) of \(G\), denote \(^\tau \Delta:=(1\times \tau) (\Delta)\). For \(i=1,2\), let \(X_i:=G/\Gamma_i\), and \(X:=X_1\times X_2\). Use the notation \(\pi_i\) for the projection onto the \(i\)-th factor of \(G\) or of \(X\). Let \(\nu\in S\) be an arbitrary place and \(\mathbb{U}_\nu\) be the unipotent radical of a fixed minimal parabolic subgroup \(\mathbb{P}_\nu\) of \(\mathbb{G}\) defined over \(K_v\). Denote \(U_v:=\mathbb{U}_\nu(K_\nu)\). A probability measure \(\mu\) on \(X\) is called joining for the \(U_\nu\)-actions on \(X_1\) and \(X_2\) if it is invariant under \((u,u)\) for all \(u\in U_\nu\) and is such that \((\pi_i)_*(\mu)\) gives the Haar measure on \(X_i\) for \(i=1,2\). The main result of the paper shows that if \(\mu\) is an ergodic joining, then either \(\mu\) is the Haar measure on \(X\) or \(\mu\) is the \(^\tau \Delta(G)\)-invariant measure on some closed orbit of \(^\tau \Delta(G)\) in \(X\), with \(\tau\) being the inner automorphism induced by a centralizer of \(U_\nu\). Moreover, in the latter case, \(\mu\) is the Haar measure of the closed orbit \((g_1, g_2)F_0\Gamma_1\times \Gamma_2\), where \((g_1, g_2)\in G\times G\) is any point of the support of \(\mu\), \(F_0=^{\tau_0}\Delta(G)\) consists of the \(K_S\)-points of a subgroup \(F_0\) of \(\mathbb{G}_1\times \mathbb{G}_2\) defined over \(K\), and \(\tau_0\) is some inner automorphism. This main theorem generalizes Ratner's joining classification [\textit{M. Ratner}, Ann. Math. (2) 118, 277--313 (1983; Zbl 0556.28020)] to the positive characteristic setting. Using the linearization technique, the authors also obtain a special case of Raghunathan's orbit closure classification. They prove that every orbit of \(\Delta(G)\) in \(G\times G / \Gamma_1\times \Gamma_2\) is either closed or dense. The paper contains an appendix written by K. Wortman who applies the results of the paper to characterize the quasi-isometries of higher-rank lattices in semisimple algebraic groups over fields of positive characteristic. | |||
Property / review text: Let \(K\) be a global field, and \(\mathbb{G}\) be a connected, simply connected, almost simple group defined over \(K\). Let \(S\) be a finite set of places of \(K\). For \(\nu\in S\), denote \(G_\nu:=\mathbb{G}(K_\nu)\) and let \(G:=\prod_{\nu\in S} G_\nu\). Fix two irreducible arithmetic lattices \(\Gamma_1\) and \(\Gamma_2\) of \(G\), and let \(H:=G\times G\) and \(\mathbb{G}_1\) and \(\mathbb{G}_2\) be the associated \(K\)-groups, respectively, which give rise to the same \(G\). Let \(\Delta(G):= \{(g,g): g\in G\}\). For any automorphism \(\tau\) of \(G\), denote \(^\tau \Delta:=(1\times \tau) (\Delta)\). For \(i=1,2\), let \(X_i:=G/\Gamma_i\), and \(X:=X_1\times X_2\). Use the notation \(\pi_i\) for the projection onto the \(i\)-th factor of \(G\) or of \(X\). Let \(\nu\in S\) be an arbitrary place and \(\mathbb{U}_\nu\) be the unipotent radical of a fixed minimal parabolic subgroup \(\mathbb{P}_\nu\) of \(\mathbb{G}\) defined over \(K_v\). Denote \(U_v:=\mathbb{U}_\nu(K_\nu)\). A probability measure \(\mu\) on \(X\) is called joining for the \(U_\nu\)-actions on \(X_1\) and \(X_2\) if it is invariant under \((u,u)\) for all \(u\in U_\nu\) and is such that \((\pi_i)_*(\mu)\) gives the Haar measure on \(X_i\) for \(i=1,2\). The main result of the paper shows that if \(\mu\) is an ergodic joining, then either \(\mu\) is the Haar measure on \(X\) or \(\mu\) is the \(^\tau \Delta(G)\)-invariant measure on some closed orbit of \(^\tau \Delta(G)\) in \(X\), with \(\tau\) being the inner automorphism induced by a centralizer of \(U_\nu\). Moreover, in the latter case, \(\mu\) is the Haar measure of the closed orbit \((g_1, g_2)F_0\Gamma_1\times \Gamma_2\), where \((g_1, g_2)\in G\times G\) is any point of the support of \(\mu\), \(F_0=^{\tau_0}\Delta(G)\) consists of the \(K_S\)-points of a subgroup \(F_0\) of \(\mathbb{G}_1\times \mathbb{G}_2\) defined over \(K\), and \(\tau_0\) is some inner automorphism. This main theorem generalizes Ratner's joining classification [\textit{M. Ratner}, Ann. Math. (2) 118, 277--313 (1983; Zbl 0556.28020)] to the positive characteristic setting. Using the linearization technique, the authors also obtain a special case of Raghunathan's orbit closure classification. They prove that every orbit of \(\Delta(G)\) in \(G\times G / \Gamma_1\times \Gamma_2\) is either closed or dense. The paper contains an appendix written by K. Wortman who applies the results of the paper to characterize the quasi-isometries of higher-rank lattices in semisimple algebraic groups over fields of positive characteristic. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Lingmin Liao / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E46 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6186968 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
joining classification | |||
Property / zbMATH Keywords: joining classification / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homogeneous space | |||
Property / zbMATH Keywords: homogeneous space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal horospherical subgroups | |||
Property / zbMATH Keywords: maximal horospherical subgroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive characteristic | |||
Property / zbMATH Keywords: positive characteristic / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123245465 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980572103 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1010.5490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groupes reductifs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rationality properties of linear algebraic groups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: REPRESENTATIONS OF THE GROUP<i>GL</i>(<i>n</i>,<i>F</i>) WHERE<i>F</i>IS A NON-ARCHIMEDEAN LOCAL FIELD / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connectivity properties of horospheres in Euclidean buildings and applications to finiteness properties of discrete groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of measures invariant under semisimple groups in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity of nonuniform lattices in higher rank symmetric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unipotent flows and counting lattice points on homogeneous varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The quasi-isometry classification of lattices in semisimple Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The large-scale geometry of Hilbert modular groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric Diophantine approximation over a local field of positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3895987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flows on homogeneous spaces and Diophantine approximation on manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations for the theory of quasiconformal mappings on the Heisenberg group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flows on \(S\)-arithmetic homogeneous spaces and applications to metric Diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4207973 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant measures for actions of unipotent groups over local fields on homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures invariant under horospherical subgroups in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-conformal mappings in n-space and the rigidity of hyperbolic space forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong approximation for semi-simple groups over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Horocycle flows, joinings and rigidity of products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strict measure rigidity for unipotent subgroups of solvable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On measure rigidity of unipotent subgroups of semisimple groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Raghunathan's topological conjecture and distributions of unipotent flows / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Raghunathan's measure conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Raghunathan's conjectures for Cartesian products of real and \(p\)-adic Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The quasi-isometry classification of rank one lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity and Diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Limit distributions of polynomial trajectories on homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant measures for algebraic actions, Zariski dense subgroups and Kazhdan’s property (T) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity for \(PSL_2 (\mathbb{Z} [1/p])\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4497341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasiconformal extension of quasisymmetric mappings compatible with a Möbius group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity of higher rank \(S\)-arithmetic lattices. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometries of rank one \(S\)-arithmetic lattices / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:47, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A joinings classification and a special case of Raghunathan's conjecture in positive characteristic (with an appendix by Kevin Wortman) |
scientific article |
Statements
A joinings classification and a special case of Raghunathan's conjecture in positive characteristic (with an appendix by Kevin Wortman) (English)
0 references
11 July 2013
0 references
Let \(K\) be a global field, and \(\mathbb{G}\) be a connected, simply connected, almost simple group defined over \(K\). Let \(S\) be a finite set of places of \(K\). For \(\nu\in S\), denote \(G_\nu:=\mathbb{G}(K_\nu)\) and let \(G:=\prod_{\nu\in S} G_\nu\). Fix two irreducible arithmetic lattices \(\Gamma_1\) and \(\Gamma_2\) of \(G\), and let \(H:=G\times G\) and \(\mathbb{G}_1\) and \(\mathbb{G}_2\) be the associated \(K\)-groups, respectively, which give rise to the same \(G\). Let \(\Delta(G):= \{(g,g): g\in G\}\). For any automorphism \(\tau\) of \(G\), denote \(^\tau \Delta:=(1\times \tau) (\Delta)\). For \(i=1,2\), let \(X_i:=G/\Gamma_i\), and \(X:=X_1\times X_2\). Use the notation \(\pi_i\) for the projection onto the \(i\)-th factor of \(G\) or of \(X\). Let \(\nu\in S\) be an arbitrary place and \(\mathbb{U}_\nu\) be the unipotent radical of a fixed minimal parabolic subgroup \(\mathbb{P}_\nu\) of \(\mathbb{G}\) defined over \(K_v\). Denote \(U_v:=\mathbb{U}_\nu(K_\nu)\). A probability measure \(\mu\) on \(X\) is called joining for the \(U_\nu\)-actions on \(X_1\) and \(X_2\) if it is invariant under \((u,u)\) for all \(u\in U_\nu\) and is such that \((\pi_i)_*(\mu)\) gives the Haar measure on \(X_i\) for \(i=1,2\). The main result of the paper shows that if \(\mu\) is an ergodic joining, then either \(\mu\) is the Haar measure on \(X\) or \(\mu\) is the \(^\tau \Delta(G)\)-invariant measure on some closed orbit of \(^\tau \Delta(G)\) in \(X\), with \(\tau\) being the inner automorphism induced by a centralizer of \(U_\nu\). Moreover, in the latter case, \(\mu\) is the Haar measure of the closed orbit \((g_1, g_2)F_0\Gamma_1\times \Gamma_2\), where \((g_1, g_2)\in G\times G\) is any point of the support of \(\mu\), \(F_0=^{\tau_0}\Delta(G)\) consists of the \(K_S\)-points of a subgroup \(F_0\) of \(\mathbb{G}_1\times \mathbb{G}_2\) defined over \(K\), and \(\tau_0\) is some inner automorphism. This main theorem generalizes Ratner's joining classification [\textit{M. Ratner}, Ann. Math. (2) 118, 277--313 (1983; Zbl 0556.28020)] to the positive characteristic setting. Using the linearization technique, the authors also obtain a special case of Raghunathan's orbit closure classification. They prove that every orbit of \(\Delta(G)\) in \(G\times G / \Gamma_1\times \Gamma_2\) is either closed or dense. The paper contains an appendix written by K. Wortman who applies the results of the paper to characterize the quasi-isometries of higher-rank lattices in semisimple algebraic groups over fields of positive characteristic.
0 references
joining classification
0 references
homogeneous space
0 references
maximal horospherical subgroups
0 references
positive characteristic
0 references
0 references
0 references
0 references
0 references