A conjecture by Margulis on matrix groups

Reference: arxiv/2504.17644v3 Bounded diagonal orbits in homogeneous spaces over function fields by Qianlin Huang, Ronggang Shi

theorem Margulis.conjecture_1_1 {n : ℕ} (hn : 3 ≤ n) (g : Matrix.SpecialLinearGroup (Fin n) ℝ ⧸ Subgroup.map (Matrix.SpecialLinearGroup.map (Int.castRingHom ℝ)) ⊤) (hg : IsCompact (closure (MulAction.orbit (↥(Matrix.SpecialLinearGroup.diagonalSubgroup (Fin n) ℝ)) g))) : IsClosed (MulAction.orbit (↥(Matrix.SpecialLinearGroup.diagonalSubgroup (Fin n) ℝ)) g)

Let D be the diagonal group of SL_n(ℝ) where n ≥ 3. Then any relatively compact D-orbit in SL_n(ℝ) / SL_n(ℤ) is closed.

noncomputable def Margulis.polyToLaurent (F : Type u) [Field F] : Polynomial F →+* LaurentSeries F

The natural inclusion F[t] →+* F((t⁻¹)).

Equations

• Margulis.polyToLaurent F = (HahnSeries.ofPowerSeries ℤ F).comp Polynomial.coeToPowerSeries.ringHom

theorem Margulis.huang_shi_theorem_1_2 (F : Type u) [Field F] [Fintype F] (hchar : ringChar F ∈ {3, 5, 7, 11}) : ∃ (z : Matrix.SpecialLinearGroup (Fin 4) (LaurentSeries F) ⧸ (Matrix.SpecialLinearGroup.map (polyToLaurent F)).range), IsCompact (closure (MulAction.orbit (↥(Matrix.SpecialLinearGroup.diagonalSubgroup (Fin 4) (LaurentSeries F))) z)) ∧ ¬IsClosed (MulAction.orbit (↥(Matrix.SpecialLinearGroup.diagonalSubgroup (Fin 4) (LaurentSeries F))) z)

Huang–Shi, Theorem 1.2

Let F be a finite field of characteristic p ∈ {3, 5, 7, 11}, and set K = F((t⁻¹)), A = F[t]. Let

• D be the diagonal subgroup of SL₄(K),
• Γ = SL₄(A) the lattice subgroup embedded into SL₄(K) via the natural inclusion A →+* K.

Then there exists z : SL₄(K)/Γ such that the D-orbit of z has compact closure but is not closed.