On transversality in flag manifolds and linearity of amalgams

Konstantinos Tsouvalas; Sami Douba

REVIEW 2 major objections 4 minor 104 references

On transversality in flag manifolds and linearity of amalgams

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Every double of a negatively curved locally symmetric manifold along a primitive closed geodesic has a linear fundamental group, with a representation dimension bounded solely by the dimension of the manifold.

desk verdict Theorem 2 is a genuine and likely correct extension to transverse subgroups; the proof has one under-specified 'easy to verify' product-lemma that should be expanded before publication. read the letter →

arxiv 2607.28863 v1 pith:FPTDSROI submitted 2026-07-30 math.GR

Sami Douba , Konstantinos Tsouvalas This is my paper · ORCID

classification math.GR MSC 20F6722E40

keywords linearityofamalgamstransversesubgroupsregularantipodalbiproximalelementsflagmanifoldslocallysymmetricspacesfaithfullinearrepresentationstranscendentalamalgamtrick

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that linearity survives a natural geometric gluing operation: the double of a complete negatively curved locally symmetric manifold along a primitive closed geodesic has a fundamental group that embeds faithfully into a real matrix group whose dimension depends only on the dimension of the original manifold. The proof is actually about a more general class of groups: torsion-free 'transverse' (regular antipodal) subgroups of semisimple Lie groups, whose doubles along a maximal cyclic subgroup generated by a biproximal element are shown to embed into a special linear group. The key is a field-theoretic amalgam construction using a transcendental parameter, which forces alternating products in the double to be non-trivial. For rank-one symmetric spaces, transverse simply means discrete, so the manifold statement follows as a special case; for higher-rank irreducible finite-volume spaces, the paper recalls that linearity can genuinely fail, which shows negative curvature is essential.

What carries the argument

The engine of the proof is Theorem 6, an algebraic amalgam-detection criterion valid over any field. For $\Gamma_1$, $\Gamma_2 < SL_n(K)$ sharing $\Delta$, where each $h$ in $\Delta$ is block-diagonal with three invertible diagonal blocks, and where elements of $\Gamma_1\Delta$ have invertible bottom-left $m\times m$ block while elements of $\Gamma_2\Delta$ have invertible top-right $m\times m$ block, the theorem says that after conjugating one factor by $a_t = diag(t I_m, I_{n-2m}, t^{-1} I_m)$ with $t$ transcendental over $K$, the generated subgroup is exactly the amalgam $\Gamma_1 *_{\Delta} \Gamma_2$. The workhorse is the class of 'sufficiently transcendental' matrices — matrices whose four blocks are finite polynomials in $t$ and $t^{-1}$

What would settle it

Exhibit two matrices $g_1$, $g_2$ over $Q(t)$ with $g_1$ having invertible bottom-left $1\times 1$ block and $g_2$ having invertible top-right $1\times 1$ block such that the bottom-right entry of $g_1 g_2$ is identically zero as a rational function; this would disprove the closure property on which Theorem 6 depends. Alternatively, produce a nontrivial alternating word in $\Gamma_1 *_{\Delta} \Gamma_2$ whose image under the proposed representation equals the identity in $SL_n(L)$.

Watch

Extended reading notes

Core claim

Theorem 2 is the central claim: if $\Gamma < SL_n(R)$ is transverse and $\gamma$ in $\Gamma$ is biproximal, with $\Delta$ the stabilizer of the attracting flag of $\gamma$, then the double $\Gamma *_{\Delta} \Gamma$ embeds in $SL_n(R)$. Because a Plücker–Tits representation embeds any semisimple real algebraic group $G$ with a reflexive parabolic $P$ into some $SL_n(R)$ while preserving transverse and biproximal structure (Proposition 4), this yields Corollary 5: any torsion-free $P$-transverse subgroup doubled along a maximal cyclic subgroup generated by a $P$-biproximal element embeds in a fixed $SL_N(R)$. Theorem 1 is the rank-one shadow of this: in real rank one, every discrete subgroup is transverse and every loxodromic e

Load-bearing premise

The injectivity of the amalgam embedding rests on the unproved assertion in the proof of Theorem 6 that a product of two 'sufficiently transcendental' matrices is again sufficiently transcendental—specifically that the leading bottom-right coefficient of $g_1 g_2$ cannot cancel when $g_1$ has invertible bottom-left block and $g_2$ has invertible top-right block; if that coefficient could vanish, an alternating word could become unipotent and the desired embedding would collapse.

Editorial extensions

If this is right

The fundamental group of the double of any complete negatively curved locally symmetric manifold along a primitive closed geodesic is linear over the reals (Theorem 1).
For a semisimple real algebraic group G and reflexive parabolic P, every torsion-free P-transverse subgroup doubled along a P-biproximal maximal cyclic subgroup embeds in SL_N(R), with N uniform across conjugacy classes of P (Corollary 5).
The dimension of the faithful representation of the manifold double depends only on the dimension of the manifold, not on the geometry of the chosen geodesic.
The negative-curvature assumption is necessary: for irreducible finite-volume higher-rank locally symmetric manifolds, the double along a generic primitive closed geodesic is generally not linear over any field, as the paper recalls from earlier work.
In rank one, the theorem covers all discrete subgroups, not just convex cocompact ones, extending the previously known case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The transcendental amalgam construction is field-agnostic, so the same scheme should linearize doubles of transverse subgroups of SL_n(K) for any field K, including p-adic fields, whenever the analogous corner-block conditions hold.
A natural testable extension: if the 'sufficiently transcendental product' assertion in Theorem 6 is made explicit, the proof could yield an effective criterion—inspect finitely many leading coefficients—for deciding injectivity of such amalgam representations.
The result hints that transversality, not convex cocompactness, is the right hypothesis for linearity of doubles; one might expect relative versions (e.g. relatively Anosov subgroups with cusps) to satisfy the same conclusion.
Because the proof only needs the blow-up of one eigenvalue scale t, it suggests that other negatively curved manifolds with linear fundamental groups and a transverse pair of boundary flags might admit the same double-linearity phenomenon.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The short version: the main theorem is new, the strategy is Shalen's transcendence trick, and the one gap I found is real but routine. If the authors fill in the product-closure lemma, the paper should be accepted.

What is new: Theorem 2 replaces Anosov with transverse (regular antipodal) subgroups, so Corollary 5 covers all discrete subgroups in rank one, giving Theorem 1 for variable curvature and finite volume. That is a solid step beyond [27] and [9]. The reliance on Canary–Zhang–Zimmer's Proposition 4 is clean; it is external and does the heavy lifting for passing from SL_n to general semisimple G.

Where the soft spot is: In Theorem 6, the proof says 'a product of sufficiently transcendental matrices is sufficiently transcendental' and then 'easy to verify' for g1g2. This is load-bearing: injectivity of the amalgam amounts to showing every alternating even-length word is not unipotent, and that relies on the product of the pair being sufficiently transcendental. The stress-test note we ran checks the natural reading (arbitrary finite negative powers in the expansion) and the lemma is true: the bottom-right block of the product has leading term t^{qA+qB+2} U V, invertible, and the other blocks satisfy the degree bounds. But the text as written is ambiguous—if '...' was meant to stop at t^{-1}, the claim fails for n=3, m=1. The authors should either define 'sufficiently transcendental' with explicit finite ranges or prove the product-closure claim. As written, it is a routine but real gap, not a fatal one.

Minor notes: The proof that any element of an amalgam is conjugate to an even-length alternating product is standard but should be stated. The sum property used for M - Id is fine. I see no circularity; the paper's own prior work is used only for context, not for the key input.

Bottom line: this deserves a serious referee. It is a short paper, the main result is important to the geometric group theory / linearity community, and the missing lemma can be supplied in a page. Send it to review.

Referee Report

2 major / 4 minor

Summary. The paper establishes linearity of doubles of torsion-free transverse subgroups of semisimple Lie groups along biproximal maximal cyclic subgroups. The main result, Theorem 2, states that if Γ < SL_n(R) is transverse and γ ∈ Γ is biproximal, then Γ *_{Stab(γ+)} Γ embeds in SL_n(R). Using a Plücker–Tits representation (Proposition 4), the authors deduce an analogous statement for P-transverse subgroups of semisimple groups (Corollary 5) and, in the rank-one case, the linearity of the fundamental group of a double of a negatively curved locally symmetric manifold along a primitive closed geodesic (Theorem 1). The proof of Theorem 2 is reduced to a purely algebraic lemma (Theorem 6), in which two subgroups of SL_n(K) with certain off-diagonal invertibility conditions are shown to generate an amalgam after conjugating one factor by a diagonal matrix with transcendental t.

Significance. The result is significant: it extends earlier linearity results for Anosov/convex cocompact subgroups to the broader class of transverse subgroups, and it gives a uniform proof covering all rank-one locally symmetric manifolds. The argument is elegant: the dynamical transversality assumption is used exactly to produce the nonzero off-diagonal entries needed to apply the algebraic embedding lemma. The paper is concise and mostly self-contained, relying on standard facts and one cited proposition. The main gap is an unproved computational claim in Theorem 6, which is load-bearing for injectivity but appears readily fixable; if fixed, the central claim is sound.

major comments (2)

[Proof of Theorem 6, p. 4] The definition of 'sufficiently transcendental' is ambiguous: the leading '...' is not explained. If it is meant to allow only t^{-1} as the lowest power, the assertion that a product of sufficiently transcendental matrices is sufficiently transcendental is false (e.g., for n=3, m=1 the (1,1)-block of a product can contain a t^{q_A+q_B+1} term). Under the natural reading that arbitrary finite negative powers are allowed, the claim is true: with q = q_A+q_B+1, one checks block-by-block that the degrees of M11, M12, M21, M22 are respectively ≤ q, ≤ q+1, ≤ q, ≤ q+1, and the leading coefficient of M22 is the product of the two invertible leading coefficients. This verification must be supplied, since the injectivity argument in Theorem 6 uses exactly this closure to show that alternating words are not unipotent.
[Proof of Theorem 6, p. 4] The sentence 'It is easy to verify that g1g2 is sufficiently transcendental' is not a consequence of the product closure just discussed, because neither g1 nor g2 is in general sufficiently transcendental (g1 has entries in K and g2 = a_t h a_t^{-1} has a constant bottom-right block). A direct computation is needed: g1 has invertible bottom-left m×m block, g2 has top-right m×m block of the form t^2 H_{13} with H_{13} invertible; hence the bottom-right m×m block of g1g2 has leading term t^2 times an invertible matrix, and the remaining blocks satisfy the bounds with q=1. This step is load-bearing and should be written out.

minor comments (4)

[Proof of Theorem 6, p. 4] The reduction to even-length alternating products should be justified by a sentence on normal forms/cyclic reduction: an odd-length reduced word not conjugate into a factor is conjugate to a reduced word of the form g1 g2 ... g_{2r}.
[Definition of sufficiently transcendental, p. 4] Specify that the entries are Laurent polynomials in t with coefficients in K, with finite support, and state explicitly which leading coefficients are required to be nonzero or invertible.
[Proof of Theorem 2, p. 5] The statement 'an identical argument' for the top-right entry is correct but should be spelled out: apply the same transversality argument to γ−.
[Rank-one case, p. 4] The assertion that in rank one a P-transverse subgroup is 'nothing but a discrete subgroup' is used to pass from Corollary 5 to Theorem 1; a reference or one-line justification would help.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central linearity proof is self-contained, with self-citations only contextual and one unproved algebraic closure lemma that is a gap, not a circular reduction.

full rationale

Walking the derivation chain: Theorem 2 is proved from Theorem 6, and Theorem 6 is an algebraic statement whose proof reduces injectivity to showing alternating products are non-unipotent via the 'sufficiently transcendental' condition. That condition is not defined in terms of the theorem's conclusion, and no fitted parameter is later renamed as a prediction. The cited Proposition 4 is external (Canary–Zhang–Zimmer), not the authors' own prior work, and is used to transfer transversality from G/P to SL_n(R); its content does not include the double-linearity conclusion. The authors' earlier results ([8], [9], [27]) appear only in the introduction and remarks as context (e.g., 'Theorem 1 was previously established...'), not as load-bearing inputs to the proof of Theorem 2 or Corollary 5. One genuine omission must be flagged, located at the proof of Theorem 6, p. 4: the paper asserts 'a product of sufficiently transcendental matrices is sufficiently transcendental' and 'It is easy to verify that g1g2 is sufficiently transcendental...' without supplying the matrix computation. This is load-bearing for injectivity, and the text itself marks it as 'easy to verify'. Under a too-strict reading of the displayed exponents the assertion can fail; under the natural finite-Laurent-series reading it is true. This is an omitted proof/correctness gap, not circularity: the target conclusion ('g is not unipotent') is not assumed in the definition, and the closure statement is a lemma that could be checked independently. No step in the paper reduces by construction to its own input, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to any target conclusion: the transcendental t is a generic auxiliary variable chosen for the embedding, not a data-fitted constant. No new entities are postulated. The load-bearing external inputs are Proposition 4 from Canary–Zhang–Zimmer and the standard normal-form theorem for amalgams, neither of which depends on the conclusion being proved.

assumptions (4)

domain assumption Proposition 4 of Canary–Zhang–Zimmer [4, Prop. B.1]: for a semisimple real algebraic group G and reflexive proper parabolic P, there is a Plücker–Tits representation τ:G→SL_n(R) and an equivariant embedding G/P→F_{1,n-1} that preserves transversality, limit sets, and biproximality.
This external theorem is the bridge from general semisimple Lie groups to SL_n(R) and is essential for Corollary 5 and Theorem 1.
standard math Standard normal-form theorem for amalgamated free products: every element not conjugate into one factor is conjugate to an alternating product of even length with syllables outside the amalgamated subgroup.
Invoked near the start of the proof of Theorem 6 to reduce injectivity to showing that such alternating products are non-unipotent.
standard math A countable subfield K of R admits an element t∈R transcendental over K.
Used in the proof of Theorem 2 to choose the transcendental parameter t after observing that the entry field of a countable discrete group Γ is countable.
domain assumption Standard facts about transverse subgroups from [4,19]: a transverse subgroup has transverse limit set, the action on the limit set is a convergence action, and stabilizers of biproximal points are virtually cyclic.
These facts justify the structural claims about Δ and the transversality of γ+ with gγ+ in the proof of Theorem 2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On transversality in flag manifolds and linearity of amalgams." pith.science (2026). https://pith.science/paper/FPTDSROI

@misc{pith2026260728863,
  author       = {Pith},
  title        = {Pith review of: On transversality in flag manifolds and linearity of amalgams},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FPTDSROI}},
  note         = {Machine review of arXiv:2607.28863}
}

read the original abstract

We show that the fundamental group of the double of a complete negatively curved locally symmetric manifold along a closed geodesic is linear. More generally, we establish linearity of doubles of torsion-free transverse subgroups (also known in the literature as regular antipodal subgroups) of semisimple Lie groups along biproximal maximal cyclic subgroups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

104 extracted references · 32 canonical work pages

[27]

1991 , publisher=

Discrete subgroups of semisimple Lie groups , author=. 1991 , publisher=

1991
[9]

1977 , publisher=

Combinatorial group theory , author=. 1977 , publisher=

1977
[1]

International Mathematics Research Notices, 2023, rnad258, https://doi.org/10.1093/imrn/rnad258 , year=

Anosov groups that are indiscrete in rank one , Author=. International Mathematics Research Notices, 2023, rnad258, https://doi.org/10.1093/imrn/rnad258 , year=

work page doi:10.1093/imrn/rnad258 2023
[2]

Drutu, Cornelia and Sapir, Mark , TITLE =. J. Algebra , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jalgebra.2004.06.025 , URL =

doi:10.1016/j.jalgebra.2004.06.025 2005
[3]

Gehring, F. W. and Martin, G. J. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1987 , NUMBER =. doi:10.1093/plms/s3-55\_2.331 , URL =

work page doi:10.1093/plms/s3-55 1987
[4]

Corlette, Kevin , Title =. Ann. Math. (2) , ISSN =. 1992 , Language =. doi:10.2307/2946567 , Keywords =

doi:10.2307/2946567 1992
[5]

Essays in group theory , pages=

Hyperbolic groups , author=. Essays in group theory , pages=. 1987 , publisher=

1987
[6]

Erschler, Anna , TITLE =. J. Algebra , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jalgebra.2002.11.005 , URL =

work page doi:10.1016/j.jalgebra.2002.11.005 2004

Show all 104 references

[7]

, TITLE =

Tits, J. , TITLE =. J. Algebra , FJOURNAL =. 1972 , PAGES =. doi:10.1016/0021-8693(72)90058-0 , URL =

1972 doi
[8]

, Title =

Shalen, Peter B. , Title =. J. Pure Appl. Algebra , ISSN =. 1979 , Language =. doi:10.1016/0022-4049(79)90033-1 , Keywords =

1979 doi
[10]

Grunewald, Fritz and Segal, Daniel , title =. J. Algebra , issn =. 1979 , language =. doi:10.1016/0021-8693(79)90294-1 , keywords =

1979 doi
[11]

2025 , howpublished =

Konstantinos Tsouvalas , title =. 2025 , howpublished =

2025
[12]

and Gelander, T

Bergeron, N. and Gelander, T. , title =. Geom. Dedicata , issn =. 2004 , language =. doi:10.1023/B:GEOM.0000049122.75284.06 , keywords =

2004
[13]

Breuillard, Emmanuel and Gelander, Tsachik and Souto, Juan and Storm, Peter , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.1373 , URL =

2006 doi
[14]

Labourie, Francois , TITLE =. Invent. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00222-005-0487-3 , URL =

2006 doi
[15]

1980 , PAGES =

Serre, Jean-Pierre , TITLE =. 1980 , PAGES =

1980
[16]

Journal of Differential Geometry , volume=

A combination theorem for negatively curved groups , author=. Journal of Differential Geometry , volume=. 1992 , publisher=

1992
[17]

Emery, Vincent and Kim, Inkang and Murillo, Plinio G. P. , title =. Bull. Lond. Math. Soc. , issn =. 2022 , language =. doi:10.1112/blms.12627 , keywords =

2022 doi
[18]

Guichard, Olivier and Wienhard, Anna , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-012-0382-7 , URL =

2012 doi
[19]

, title =

Canary, Richard D. , title =. 2025 , howpublished =

2025
[20]

2025 , howpublished =

Dey, Subhadip and Tsouvalas, Konstantinos , title =. 2025 , howpublished =

2025
[21]

Mostow, G. D. and Tamagawa, T. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1962 , PAGES =. doi:10.2307/1970368 , URL =

1962 doi
[22]

Borel, Armand and Harish-Chandra , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1962 , PAGES =. doi:10.2307/1970210 , URL =

1962 doi
[23]

Bochi, Jairo and Potrie, Rafael and Sambarino, Andr\'es , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/905 , URL =

2019 doi
[24]

2026 , howpublished =

Sami Douba and Konstantinos Tsouvalas , title =. 2026 , howpublished =

2026
[25]

Tholozan, Nicolas and Tsouvalas, Konstantinos , Title =. Int. Math. Res. Not. , ISSN =. 2023 , Language =. doi:10.1093/imrn/rnac302 , Keywords =

2023 doi
[26]

Parnami, J. C. and Agrawal, M. K. and Rajwade, A. R. , TITLE =. J. Number Theory , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0022-314X(91)90094-R , URL =

1991 doi
[28]

Mal'cev, A. I. , Title =. Uchen. Zap. Ivanov Gos. Ped. Inst. , Volume =. 1956 , Language =

1956
[29]

arXiv e-prints , keywords =

Quantifying separability in RAAGs via representations. arXiv e-prints , keywords =. doi:10.48550/arXiv.2403.17964 , archivePrefix =. 2403.17964 , primaryClass =

doi arXiv
[30]

Combination of convergence groups

Dahmani, Fran. Combination of convergence groups. , fjournal =. Geom. Topol. , issn =. 2003 , language =. doi:10.2140/gt.2003.7.933 , keywords =

2003 doi
[31]

, title =

Wolf, Joseph A. , title =. Ill. J. Math. , issn =. 1963 , language =

1963
[32]

Onishchik, A. L. , title =. Geom. Metody Zadachakh Algebry Anal. , volume =. 1980 , language =

1980
[33]

1966 , language =

Iwahori, Nagayoshi , title =. 1966 , language =

1966
[34]

McReynolds, D. B. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.721 , URL =

2004 doi
[35]

, TITLE =

Prasad, Gopal and Rapinchuk, Andrei S. , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2009 , PAGES =. doi:10.1007/s10240-009-0019-6 , URL =

2009 doi
[36]

Forum Math

Emery, Vincent and Kim, Inkang , TITLE =. Forum Math. Sigma , FJOURNAL =. 2022 , PAGES =. doi:10.1017/fms.2022.43 , URL =

2022 doi
[37]

Chevalley, Claude , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1951 , PAGES =. doi:10.2969/jmsj/00310036 , URL =

1951
[38]

Prasad, Gopal and Raghunathan, M. S. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1972 , PAGES =. doi:10.2307/1970790 , URL =

1972 doi
[39]

, TITLE =

Prasad, Gopal and Rapinchuk, Andrei S. , TITLE =. Math. Res. Lett. , FJOURNAL =. 2003 , NUMBER =. doi:10.4310/MRL.2003.v10.n1.a3 , URL =

2003 doi
[40]

Louder, Larsen and McReynolds, D. B. and Patel, Priyam , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00029-016-0300-8 , URL =

2017 doi
[41]

Berger, Marcel , title =. Ann. Sci. 1957 , language =. doi:10.24033/asens.1054 , keywords =

1957 doi
[42]

2025 , howpublished =

Belolipetsky, Mikhail and Bogachev, Nikolay and Kolpakov, Alexander and Slavich, Leone , title =. 2025 , howpublished =

2025
[43]

G\'eom\'etries \`a

Benoist, Yves , TITLE =. G\'eom\'etries \`a. 2009 , ISBN =

2009
[44]

Parkkonen, Jouni and Paulin, Fr\'ed\'eric , TITLE =. Math. Scand. , FJOURNAL =. 2017 , NUMBER =. doi:10.7146/math.scand.a-26128 , URL =

2017 doi
[45]

Topology Proc

Chinburg, Ted and Stover, Matthew , TITLE =. Topology Proc. , FJOURNAL =. 2018 , PAGES =

2018
[46]

2006 , howpublished =

Agol, Ian , title =. 2006 , howpublished =

2006
[47]

, TITLE =

Haglund, Fr\'ed\'eric and Wise, Daniel T. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2012 , NUMBER =. doi:10.4007/annals.2012.176.3.2 , URL =

2012 doi
[48]

Wehrfritz, B. A. F. , Title =. Proc. Lond. Math. Soc. (3) , ISSN =. 1973 , Language =. doi:10.1112/plms/s3-27.3.402 , Keywords =

1973 doi
[49]

Baker, Mark and Cooper, Daryl , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtn013 , URL =

2008 doi
[50]

, TITLE =

Bourbaki, N. , TITLE =. 1968 , PAGES =

1968
[51]

, TITLE =

Vinberg, \`E.\ B. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1971 , PAGES =

1971
[52]

Potyagailo, Leonid and Vinberg, Ernest , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2005 , NUMBER =. doi:10.4171/CMH/4 , URL =

2005 doi
[53]

2026 , howpublished =

Changqian Li , title =. 2026 , howpublished =

2026
[54]

, TITLE =

Huang, Jingyin and Wise, Daniel T. , TITLE =. Math. Ann. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00208-022-02527-0 , URL =

2024 doi
[55]

arXiv preprint arXiv:2407.09439 , year=

Combination theorems in convex projective geometry , author=. arXiv preprint arXiv:2407.09439 , year=

arXiv
[56]

Pacific J

Manning, Jason Fox and Mart\'inez-Pedroza, Eduardo , TITLE =. Pacific J. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/pjm.2010.244.309 , URL =

2010 doi
[57]

, TITLE =

Wise, Daniel T. , TITLE =. [2021] 2021 , PAGES =

2021
[58]

Groups Geom

Kapovich, Michael and Leeb, Bernhard , title =. Groups Geom. Dyn. , issn =. 2023 , language =. doi:10.4171/GGD/723 , keywords =

2023 doi
[59]

Anosov representations and proper actions , fjournal =

Gu. Anosov representations and proper actions , fjournal =. Geom. Topol. , issn =. 2017 , language =. doi:10.2140/gt.2017.21.485 , keywords =

2017 doi
[60]

Zhu, Feng , title =. Ann. Inst. Fourier , issn =. 2021 , language =. doi:10.5802/aif.3449 , keywords =

2021 doi
[61]

, TITLE =

Wise, Daniel T. , TITLE =. Invent. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s002220200224 , URL =

2002 doi
[62]

A short note on

Yaman, Asl. A short note on. Groups Geom. Dyn. , issn =. 2007 , language =. doi:10.4171/GGD/10 , keywords =

2007 doi
[63]

, title =

Furstenberg, H. , title =. Bull. Am. Math. Soc. , issn =. 1967 , language =. doi:10.1090/S0002-9904-1967-11748-8 , zbMATH =

1967 doi
[64]

, TITLE =

Haglund, Fr\'ed\'eric and Wise, Daniel T. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00039-007-0629-4 , URL =

2008 doi
[65]

Lubotzky, Alexander and Mozes, Shahar and Raghunathan, M. S. , Title =. Publ. Math., Inst. Hautes. 2000 , Language =. doi:10.1007/BF02698740 , Keywords =

2000 doi
[66]

Gromov, Mikhail and Schoen, Richard , Title =. Publ. Math., Inst. Hautes. 1992 , Language =. doi:10.1007/BF02699433 , Keywords =

1992 doi
[67]

and Thomson, Scott A

Belolipetsky, Mikhail V. and Thomson, Scott A. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/agt.2011.11.1455 , URL =

2011 doi
[68]

Kapovich, Michael and Leeb, Bernhard and Porti, Joan , TITLE =. Eur. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s40879-017-0192-y , URL =

2017 doi
[69]

Kapovich, Michael , Title =. Geom. Topol. , ISSN =. 2005 , Language =. doi:10.2140/gt.2005.9.1915 , Keywords =

2005 doi
[70]

2012 , publisher=

Lie groups and algebraic groups , author=. 2012 , publisher=

2012
[71]

Minasyan, Ashot , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz249 , URL =

2021 doi
[72]

Acta Math

Namazi, Hossein and Souto, Juan , TITLE =. Acta Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s11511-012-0088-0 , URL =

2012 doi
[73]

and Canary, Richard D

Brock, Jeffrey F. and Canary, Richard D. and Minsky, Yair N. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2012 , NUMBER =. doi:10.4007/annals.2012.176.1.1 , URL =

2012 doi
[74]

Ohshika, Ken'ichi , TITLE =. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/gt.2011.15.827 , URL =

2011 doi
[75]

Brooks, Robert , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01389263 , URL =

1986 doi
[76]

and Bromberg, Kenneth W

Brock, Jeffrey F. and Bromberg, Kenneth W. , TITLE =. Acta Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/BF02441085 , URL =

2004 doi
[77]

Chesebro, Eric and DeBlois, Jason and Wilton, Henry , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2012 , NUMBER =. doi:10.4171/CMH/267 , URL =

2012 doi
[78]

Christopher , TITLE =

Hruska, G. Christopher , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/agt.2010.10.1807 , URL =

2010 doi
[79]

2015 , PAGES =

Morris, Dave Witte , TITLE =. 2015 , PAGES =

2015
[80]

On groups isomorphically representable by matrices over a commutative field , author=. Mat. Sb , volume=
[81]

Agol, Ian , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =

2013
[82]

Leung, D. S. P. , TITLE =. J. Differential Geometry , FJOURNAL =. 1979 , NUMBER =

1979
[83]

Leung, Dominic S. P. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1974/75 , PAGES =. doi:10.1512/iumj.1974.24.24029 , URL =

1974 doi
[84]

Agol, Ian , Title =. Doc. Math. , ISSN =. 2013 , Language =

2013
[85]

, Title =

Hsu, Tim and Wise, Daniel T. , Title =. Invent. Math. , ISSN =. 2015 , Language =. doi:10.1007/s00222-014-0513-4 , Keywords =

2015 doi
[86]

Kneser, Martin , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1979 , PAGES =. doi:10.1515/crll.1979.311-312.191 , URL =

1979 doi
[87]

, title =

Baumslag, G. , title =. Trans. Am. Math. Soc. , issn =. 1963 , language =. doi:10.2307/1993762 , keywords =

1963 doi
[88]

Tholozan, Nicolas and Tsouvalas, Konstantinos , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2025 , NUMBER =. doi:10.4171/cmh/581 , URL =

2025 doi
[89]

, TITLE =

Chong, Hip Kuen and Wise, Daniel T. , TITLE =. Glasg. Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1017/s0017089523000137 , URL =

2023 doi
[90]

, TITLE =

Millson, John J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971046 , URL =

1976 doi
[91]

, TITLE =

Chong, Hip Kuen and Wise, Daniel T. , TITLE =. J. Group Theory , FJOURNAL =. 2022 , NUMBER =. doi:10.1515/jgth-2021-0094 , URL =

2022 doi
[92]

Grigorchuk, R. I. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1984 , NUMBER =

1984
[93]

, TITLE =

Bergeron, Nicolas and Haglund, Fr\'ed\'eric and Wise, Daniel T. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jlms/jdq082 , URL =

2011 doi
[94]

1979 , PAGES =

Jacobson, Nathan , TITLE =. 1979 , PAGES =

1979
[95]

Bergeron, Nicolas , TITLE =. Enseign. Math. (2) , FJOURNAL =. 2000 , NUMBER =

2000
[96]

Venkataramana, T. N. , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1999 , NUMBER =. doi:10.1155/S1073792899000422 , URL =

1999 doi
[97]

2004 , howpublished =

Agol, Ian , title =. 2004 , howpublished =

2004
[98]

Calegari, Danny and Gabai, David , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S0894-0347-05-00513-8 , URL =

2006 doi
[99]

, TITLE =

Canary, Richard D. , TITLE =. Topology , FJOURNAL =. 1996 , NUMBER =. doi:10.1016/0040-9383(94)00055-7 , URL =

1996 doi
[100]

Canary, Richard and Zhang, Tengren and Zimmer, Andrew , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2024 , PAGES =. doi:10.3934/jmd.2024009 , URL =

2024 doi
[101]

Long, D. D. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1987 , NUMBER =. doi:10.1112/blms/19.5.481 , URL =

1987 doi
[102]

and Stover, Matthew and Tsouvalas, Konstantinos , Title =

Canary, Richard D. and Stover, Matthew and Tsouvalas, Konstantinos , Title =. Bull. Lond. Math. Soc. , ISSN =. 2019 , Language =. doi:10.1112/blms.12248 , Keywords =

2019 doi
[103]

, Title =

Wallach, Nolan R. , Title =. 2017 , Publisher =. doi:10.1007/978-3-319-65907-7 , Keywords =

2017 doi
[104]

2012 , publisher=

Linear algebraic groups , author=. 2012 , publisher=

2012

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [27]

1991 , publisher=

Discrete subgroups of semisimple Lie groups , author=. 1991 , publisher=

1991

[2] [9]

1977 , publisher=

Combinatorial group theory , author=. 1977 , publisher=

1977

[3] [1]

International Mathematics Research Notices, 2023, rnad258, https://doi.org/10.1093/imrn/rnad258 , year=

Anosov groups that are indiscrete in rank one , Author=. International Mathematics Research Notices, 2023, rnad258, https://doi.org/10.1093/imrn/rnad258 , year=

work page doi:10.1093/imrn/rnad258 2023

[4] [2]

Drutu, Cornelia and Sapir, Mark , TITLE =. J. Algebra , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jalgebra.2004.06.025 , URL =

doi:10.1016/j.jalgebra.2004.06.025 2005

[5] [3]

Gehring, F. W. and Martin, G. J. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1987 , NUMBER =. doi:10.1093/plms/s3-55\_2.331 , URL =

work page doi:10.1093/plms/s3-55 1987

[6] [4]

Corlette, Kevin , Title =. Ann. Math. (2) , ISSN =. 1992 , Language =. doi:10.2307/2946567 , Keywords =

doi:10.2307/2946567 1992

[7] [5]

Essays in group theory , pages=

Hyperbolic groups , author=. Essays in group theory , pages=. 1987 , publisher=

1987

[8] [6]

Erschler, Anna , TITLE =. J. Algebra , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jalgebra.2002.11.005 , URL =

work page doi:10.1016/j.jalgebra.2002.11.005 2004