Quasihomomorphisms to real algebraic groups

This paper extends the rigidity theory of quasihomomorphisms from discrete groups to real linear algebraic groups by proving that such maps can be constructed from homomorphisms and sections of bounded central extensions.

The Gist

The Big Picture: The "Slightly Sloppy" Translator

Imagine you have a translator, let's call him F, who translates messages from a secret language (Group $\Gamma$) into a complex machine language (Group $G$).

• A Perfect Translator (Homomorphism): If F is perfect, the rule is simple: "Translate the message 'A' then 'B' exactly the same way as translating 'AB' together."
  • $F(A \times B) = F(A) \times F(B)$
• The "Sloppy" Translator (Quasihomomorphism): In the real world, translators make small mistakes. Maybe they add a tiny bit of extra noise, or swap a word for a synonym.
  • $F(A \times B) \approx F(A) \times F(B)$
  • The paper defines "approximate" ($\approx$) as: the result is always within a small, bounded distance of the perfect result. No matter how long the message gets, the translator never drifts too far off course.

The Question: If a translator is only "sloppy" by a small, bounded amount, can we fix them? Can we find a "perfect" translator hidden underneath the noise, or at least understand exactly how they are making mistakes?

The Setting: The "Machine" (Real Algebraic Groups)

The paper looks at translators sending messages into a specific type of machine called a Real Algebraic Group.

• Think of this as: A complex, multi-dimensional geometric shape made of smooth, continuous curves (like a sphere, a torus, or a twisted ribbon) rather than a grid of distinct dots (discrete groups).
• Why it matters: In the world of distinct dots (discrete groups), mathematicians already knew that sloppy translators could be fixed easily. But in this smooth, continuous world, things are messier. A translator might be "sloppy" in a way that looks like a rotation or a slide, which is harder to pin down.

The Main Discovery: The "Rigidity" Theorem

The authors prove a Rigidity Theorem. In math, "rigidity" means "stiffness" or "lack of flexibility." It's the idea that even if something looks wobbly, it's actually locked into a very specific structure.

The Analogy of the Wobbly Tower:
Imagine a tower of blocks that looks like it's leaning and wobbling (the quasihomomorphism).

• Old Knowledge (Discrete Groups): If the blocks were distinct cubes, you could prove the tower was actually just a straight tower with a few blocks slightly shifted.
• New Knowledge (This Paper): The authors prove that even in this smooth, wobbly world, the tower is actually rigid. It's not just "wobbly"; it's wobbling in a very specific, predictable pattern.

The Result (Theorem A & B):
The paper says: "Yes, you can fix the translator! But you might have to do two things first:"

1. Zoom in on a specific part of the message: You might need to ignore the first few words and only translate a specific subset of the language (passing to a finite-index subgroup).
2. Accept a specific type of error: Once you fix the translator, the remaining "sloppiness" (the defect) isn't random. It is Normal.

What does "Normal" mean here?

• Central (The old dream): The error is like a static hum in the background that doesn't change no matter what you do. (This is too strong for smooth groups).
• Normal (The new reality): The error is like a rotating platform. If you push the platform, it spins, but it stays on the same track. The error is contained within a specific "zone" (a normal subgroup) that moves predictably with the rest of the machine.

The "Recipe" for Fixing the Translator

The paper gives us a recipe to take any "sloppy" translator and turn them into a "perfect" one, with a few extra steps:

1. Strip away the "Compact" parts: Imagine the machine has some parts that just spin in place (compact groups). The sloppiness often comes from these spinning parts. If you remove them, the translator becomes much cleaner.
2. Strip away the "Rigid Abelian" parts: These are parts that slide in a straight line but don't rotate. The sloppiness here is related to "bounded cohomology" (a fancy way of saying "measuring the twist").
3. The Final Product: After removing these specific parts, the translator is no longer "sloppy." They are now a perfect homomorphism (a perfect translator) into a simpler machine.

In short: Any sloppy translator in this world is actually just a perfect translator, plus a little bit of "bounded noise" that comes from spinning wheels or sliding rails.

Why This Matters (The "So What?")

The authors also tackle a controversy. Another group of mathematicians claimed there were "unfixable" sloppy translators in certain scenarios.

• The Paper's Verdict: "No, we found a counter-example to that claim."
• The Implication: It turns out that in the world of real algebraic groups, everything is fixable if you know where to look. There are no "wild" sloppy translators that defy all structure.

The "Gotcha" (Why we can't always get a "Central" error)

The paper ends with a warning (Proposition 6.1).

• The Dream: We wish the error was always "Central" (a static hum).
• The Reality: Sometimes, the error is "Normal" (a rotating platform).
• The Analogy: Imagine a translator who is perfect, except they always rotate the final sentence by 90 degrees. You can't fix that rotation to make it a "static hum" because the rotation is essential to how the machine works. The paper proves that this rotation is the only thing that can go wrong in the most general cases.

Summary for the General Audience

This paper is about finding order in chaos.
Mathematicians study maps that are "almost" perfect. In the past, we knew how to fix these maps in simple, discrete worlds. This paper proves that even in complex, smooth, continuous worlds (Real Algebraic Groups), these maps are still rigid.

They aren't random messes. They are structured. If you peel away the layers of "spinning wheels" and "sliding rails," you will always find a perfect, mathematical core underneath. The paper tells us exactly what those layers are and how to remove them to see the truth.

Technical Summary

1. Problem Statement and Context

The Core Problem:
The paper investigates quasihomomorphisms (maps that are homomorphisms up to a bounded error) from an arbitrary group $\Gamma$ into a real linear algebraic group $G$.

• Definition: A map $f: \Gamma \to G$ is a quasihomomorphism if there exists a bounded subset $D_f \subset G$ such that $f(xy) \in f(x)f(y)D_f$ for all $x, y \in \Gamma$.
• The Gap: While the structure of quasihomomorphisms into discrete groups was established by Fujiwara and Kapovich (2016), showing they are "constructible" from homomorphisms and central extensions, the case for non-discrete (specifically real algebraic) targets was open. In the non-discrete setting, the concept of a "central" defect (error term) is too restrictive; the authors aim to find the correct generalization of rigidity for continuous targets.

Motivation:

• Quasihomomorphisms appear in diverse fields: bounded cohomology, stable commutator length, geometric group theory, and model theory (approximate subgroups).
• Previous work by Hrushovski suggested that "normal" is the correct generalization of "central" in non-discrete settings, but a rigorous structural theorem for real algebraic groups was missing.
• There was confusion in the literature (specifically regarding a claim by Breuillard and Vertesi) about the existence of non-constructible quasihomomorphisms into unipotent groups, which this paper aims to resolve.

2. Methodology

The authors employ a blend of geometric group theory, Lie theory, and algebraic group theory.

1. Reduction to Zariski-Dense Images:
   The proof begins by reducing the problem to the case where the image of the quasihomomorphism generates a Zariski-dense subgroup. They show that one can pass to a finite-index subgroup of $\Gamma$ and a closed subgroup of $G$ to ensure the image is Zariski-dense and the target is Zariski-connected.

2. Analysis of the Defect Group ($\Delta_f$):
   Let $D_f$ be the defect set and $\Delta_f$ be the topological closure of the group generated by $D_f$. The core strategy involves analyzing the conjugacy action of the image $f(\Gamma)$ on $\Delta_f$ and its Zariski closure $\Delta_f^{\text{Zar}}$.

   • They utilize the Baker-Campbell-Hausdorff (BCH) formula and properties of the exponential map in real algebraic groups (specifically Proposition 4.3) to relate the group structure to the Lie algebra.
   • They prove that the conjugacy action of $f(\Gamma)$ on $\Delta_f^{\text{Zar}}$ is "bounded" in a specific sense, meaning the image lies within a compact neighborhood of the centralizer of the defect.

3. Decomposition of the Target Group:
   The authors decompose the real algebraic group $G$ into its Levi decomposition components:

   • $G \cong (R/F) \ltimes U$, where $R$ is reductive, $U$ is unipotent, and $F$ is finite.
   • The reductive part $R$ is further split into simple factors based on the behavior of the quasihomomorphism: factors where the image is bounded, and factors where the defect is central.

4. Rigidity via Simple Groups (Theorem D):
   A crucial intermediate result (Theorem D) establishes that if a quasihomomorphism into a simple adjoint group has an unbounded, Zariski-dense image, it must be a true homomorphism. This relies on the dynamics of contracting sequences in parabolic subgroups (using tools from the work of Kapovich, Leeb, and Porti).

5. Bounded Cohomology:
   To refine the structure of the defect (specifically for abelian parts), the authors utilize bounded cohomology ($H^2_b$). They show that vanishing conditions on bounded cohomology allow the "lifting" of the quasihomomorphism to a true homomorphism modulo compact or central extensions.

3. Key Contributions and Results

The paper establishes a hierarchy of rigidity theorems, culminating in a structural classification of quasihomomorphisms.

Theorem A (Main Theorem, Succinct Form)

For any quasihomomorphism $f: \Gamma \to G$ (where $G$ is a real algebraic group), there exists a bounded modification $f'$ (defined on a finite-index subgroup $\Gamma'$) such that the defect set $D_{f'}$ is contained in a bounded normal subset of the target group $G'$.

• Significance: This generalizes the Fujiwara-Kapovich result. Instead of the defect being central (as in the discrete case), it is "normal," which is the appropriate generalization for continuous groups.

Theorem B (Main Theorem, Stronger Form)

This theorem provides a precise structural decomposition. There exists a bounded modification $f': \Gamma' \to G'$ such that:

1. There is a compact normal subgroup $C \triangleleft G'$.
2. There is a rigid abelian algebraic normal subgroup $A \triangleleft G'/C$.
3. The defect $D_{f'}$ is contained in the preimage of $A$ in $G'$.

• Definition of Rigid: An abelian normal subgroup $A$ is rigid if the conjugation action of $G$ on $A$ has a compact image (essentially, $A \cong \mathbb{R}^n$ and the action factors through $O(n)$).
• Consequence: The composition $\Gamma' \to G' \to (G'/C)/A$ is a true homomorphism. Thus, quasihomomorphisms are built from homomorphisms, sections of bounded abelian extensions, and sections of compact extensions.

Corollary C (Cohomological Vanishing)

If the group $\Gamma$ has vanishing second bounded cohomology ($H^2_b(\Gamma; \pi) = 0$) for all relevant representations, then the quasihomomorphism can be modified to have a central defect.

• If $H^2_b(\Gamma; \mathbb{R})$ also vanishes, the map can be modified to be a true homomorphism (an "almost homomorphism").
• Application: This applies to lattices in higher-rank simple groups, amenable groups, and Thompson's group $F$.

Theorem D (Rigidity for Simple Groups)

If $G$ is a connected adjoint simple real algebraic group and $f: \Gamma \to G$ is a quasihomomorphism with an unbounded, Zariski-dense image, then $f$ is a homomorphism.

• Significance: This is the "engine" of the proof. It shows that in the "hardest" case (simple groups), there is no room for quasihomomorphisms that aren't homomorphisms.

Theorem E (Analogue to Fujiwara-Kapovich)

If the Zariski closure of the image has no non-trivial compact algebraic quotients, then the defect can be made central.

• This recovers the discrete-group result (where compact quotients are trivial) as a special case.

Resolution of Literature Confusion (Counterexamples)

• The authors provide a counterexample to a claim in [BV24] (Theorem 4.28) regarding the existence of non-constructible quasihomomorphisms into non-abelian unipotent groups. They show that such maps do not exist in the context of their rigidity theorem.
• They demonstrate that the distinction between "normal" and "central" defect is entirely due to the presence of compact quotients (Proposition 6.1).

4. Significance and Impact

1. Unification of Discrete and Continuous Theory: The paper successfully bridges the gap between the discrete rigidity theory (Fujiwara-Kapovich) and the continuous setting. It identifies "normal defect" as the correct continuous analogue of "central defect."
2. Clarification of Model Theory Connections: By confirming that quasihomomorphisms with normal defects are highly restricted, the paper supports the central role these maps play in Hrushovski's work on approximate subgroups and model theory.
3. Structural Classification: The result provides a complete "recipe" for constructing quasihomomorphisms into real algebraic groups: they are essentially homomorphisms perturbed by bounded errors that live in compact or rigid abelian extensions.
4. Correction of Previous Errors: The paper corrects misconceptions in recent literature regarding the constructibility of quasihomomorphisms, specifically refuting claims about non-constructible maps into unipotent groups.
5. Methodological Innovation: The use of the BCH formula to analyze the interaction between the defect group and the Lie algebra, combined with the dynamics of contracting sequences in simple groups, offers a powerful new toolkit for studying maps into Lie groups.

In summary, this paper establishes a comprehensive rigidity theory for quasihomomorphisms into real algebraic groups, proving that they are structurally simple (built from homomorphisms and specific types of extensions) and that the apparent complexity arises only from compact factors in the target group.