Decorated Local Systems and Character Varieties

This paper establishes a unified categorical framework for defining decorated Betti moduli spaces on surfaces with boundary marked points, thereby systematically connecting various existing approaches to studying representations of fundamental groupoids with irregular singularities.

The Gist

Imagine you have a piece of fabric, like a T-shirt or a tablecloth. In mathematics, this fabric is called a surface (it could be a sphere, a donut, or a pretzel shape). Now, imagine you want to paint a pattern on this fabric, but with a twist: the pattern isn't just a static picture. It's a set of instructions that tells you how to move around the fabric.

If you start at a point, walk in a circle, and come back to where you started, the instructions might tell you to rotate your view, flip the image, or stretch it. This collection of instructions is called a Local System.

Mathematicians have been studying these "instruction sets" for a long time. They realized that you can describe the same pattern in three different ways:

1. The Map: Looking at the fabric and the instructions directly.
2. The Story: Telling a story about how you walk around the loops on the fabric.
3. The Code: Writing down a list of numbers (matrices) that represent the rotations and flips.

For a long time, mathematicians knew these three ways were just different languages for the same thing. They could translate between them perfectly.

The Problem: The "Spiky" Fabric

However, real-world problems often involve "spikes" or "singularities." Imagine your fabric has some sharp points where the pattern goes wild or becomes undefined. In math, these are called irregular singularities (like a tornado on the fabric).

To handle these spikes, different groups of mathematicians invented different ways to "decorate" the fabric:

• Group A added "flags" (like little windsocks) at the spikes to track the direction of the wind.
• Group B added "frames" (like a camera tripod) to lock the view in place.
• Group C added "cusps" (sharp corners) and treated them as special points.

The problem was that while everyone agreed these decorations described the same underlying reality, no one had built a universal translator to show exactly how Group A's flags, Group B's frames, and Group C's cusps fit together. It was like having three different apps that all do the same thing, but they don't talk to each other.

The Solution: The "Universal Adapter"

This paper, written by Benedetta Facciotti, Marta Mazzocco, and Nikita Nikolaev, builds that universal adapter. They created a categorical framework—think of it as a master blueprint or a universal translator.

Here is how they did it, using a simple analogy:

1. The Discrete Map (The "Stitch Count")

Instead of looking at the fabric as a smooth, continuous surface, the authors decided to look at it as a collection of dots (marked points) and strings connecting them.

• Imagine the fabric is a city. Instead of studying the smooth flow of traffic, they only care about the intersections (dots) and the roads between them (strings).
• This turns a complex, infinite problem into a finite, manageable puzzle. They call this the Discrete Fundamental Groupoid. It's like turning a continuous movie into a storyboard of key frames.

2. The Decorations (The "Hats and Gloves")

Now, they apply the different "decorations" to these dots:

• Filtered: Putting a stack of hats on the dots (a hierarchy of layers).
• Framed: Putting a specific pair of gloves on the dots (a specific orientation).
• Projectively Framed: Putting a hat that can be resized but keeps its shape.

3. The Grand Unification

The authors proved that no matter which decoration you choose (hats, gloves, or resizing), if you translate them into their "Discrete Map" language, they all turn out to be the same thing.

They showed that:

• The Local Systems (the fabric instructions)
• The Groupoid Representations (the story of walking)
• The Character Varieties (the list of numbers)

...are all just different views of the same mathematical object. They provided a formula to convert between any of these views instantly.

Why Does This Matter?

Think of this like the USB-C port. Before USB-C, you had different cables for your phone, your laptop, and your camera. They all did the same thing (transfer data), but they didn't fit together.

This paper designs the "USB-C" for the world of decorated surfaces.

• For Physicists: It helps them understand the quantum behavior of particles near "spikes" in space-time.
• For Geometers: It allows them to mix and match tools from different fields to solve hard problems.
• For Everyone: It proves that the universe of these mathematical shapes is more connected and unified than we thought.

The "Shuffled Deck" Analogy

One of the most beautiful parts of the paper deals with what happens when you "forget" some decorations.
Imagine you have a deck of cards where every card has a specific suit and rank (a Flag).

• If you have a deck where every card is unique, there is only one way to order them perfectly.
• But if you have a deck with duplicates (like two Aces of Spades), you can shuffle them in many ways.

The authors discovered that when you remove the "secondary" decorations (the extra points on the fabric), the number of ways the pattern can change is exactly equal to the number of ways you can shuffle a deck of cards with specific duplicates. This "Shuffled Jordan Type" is a new way to count the possibilities, linking the geometry of the fabric to the combinatorics of card games.

In Summary

This paper is a Rosetta Stone for a specific branch of mathematics. It takes three different dialects (Local Systems, Groupoid Representations, and Character Varieties) that were used to describe surfaces with "spikes," and it proves they are all the same language. By building a "discrete" model (a map of dots and lines), they created a system where you can translate any decoration into any other, unifying the work of many different mathematicians into one coherent, powerful framework.

Technical Summary

1. Problem Statement

The paper addresses the fragmentation in the mathematical literature regarding the moduli spaces of representations of fundamental groupoids of surfaces with boundaries, specifically in the presence of irregular singularities (higher-order poles).

While the classical case (surfaces without marked points) is well-understood, where the moduli space of linear local systems ($Loc_G(\Sigma)$), the moduli space of fundamental groupoid representations ($Rep_G(\Pi_1(\Sigma))$), and the character variety ($X_G(\Sigma)$) are known to be equivalent, the situation becomes complex when boundaries are "decorated" with marked points to capture irregular singularities.

Existing literature has generalized these spaces in several distinct ways:

• Filtered/Framed Local Systems: Introduced by Deligne, Simpson, and Boalch, involving filtrations (flags) at marked points.
• Lie Groupoid Representations: Generalized by Gualtieri, Li, and Pym using Lie algebroids to handle higher-order poles.
• Wild Character Varieties: Introduced by Boalch, utilizing real-oriented blow-ups and Stokes representations.
• Decorated/Bordered Cusped Character Varieties: Defined by Chekhov, Mazzocco, and Rubtsov, involving mixed conjugation actions by unipotent radicals of Borel subgroups.

The Core Gap: Although these approaches describe essentially the same mathematical objects, there has been no established categorical framework that unifies them, nor a rigorous proof of their equivalence. The paper aims to bridge this gap by providing a systematic, categorical definition of "decorated Betti moduli spaces" that specializes to all these existing viewpoints.

2. Methodology

The authors employ a categorical framework based on groupoids to unify the different perspectives. Their methodology proceeds through the following steps:

1. Geometric Setup: They define a surface with marked boundary $(\Sigma, P)$, where $P$ is partitioned into:

   • Primary marked points ($P_I$): Located on "irregular" boundary circles (associated with irregular singularities).
   • Secondary marked points ($P_{II}$): Located on "regular" boundary circles (associated with simple poles or unmarked boundaries).
   • Simple boundaries: Unmarked boundary circles.

2. Discretization: Instead of working directly with continuous fundamental groupoids $\Pi_1(\Sigma)$, they introduce the discrete fundamental groupoid $\pi_1(\Sigma, P)$, restricted to the set of marked points $P$. This allows for a finite-dimensional algebraic description.

3. Categorical Equivalences: They establish a chain of equivalences between four distinct categories:

   • Decorated Local Systems: Geometric objects (vector bundles with filtrations/frames).
   • Fundamental Groupoid Representations: Representations of the continuous groupoid $\Pi_1(\Sigma)$ with local decorations.
   • Discrete Groupoid Representations: Representations of the discrete groupoid $\pi_1(\Sigma, P)$.
   • Decorated Representation Varieties: Algebraic varieties of homomorphisms modulo specific group actions.

4. Decorated Structures: They define three types of decorations, corresponding to different levels of structure on the flags at marked points:

   • Filtered ($Fi$): Flags (filtrations) are present.
   • Framed ($Fr$): Flags are equipped with a basis (frame).
   • Projectively Framed ($PFr$): Flags are equipped with a basis up to scalar multiplication.

5. Mixed Conjugation Action: They define the moduli spaces as quotient stacks of a decorated representation variety $R_G(\Sigma, P)$ by specific affine algebraic groups acting via mixed conjugation:

   • $B_P$ (product of Borel subgroups) for the filtered case.
   • $U_P$ (product of unipotent subgroups) for the framed case.
   • $U^\times_P$ (product of projective unipotent groups) for the projectively framed case.

3. Key Contributions

A. Unification of Approaches

The paper provides the first rigorous proof that the various moduli spaces defined in the literature (Fock-Goncharov-Shen, Boalch, Chekhov-Mazzocco-Rubtsov, etc.) are canonically equivalent. They prove that:
$$Loc^\square_G(\Sigma, P) \cong Rep^\square_G(\Pi_1(\Sigma), P) \cong Rep^\square_G(\pi_1(\Sigma, P)) \cong K^\square_P \ltimes R_G(\Sigma, P)$$
where $\square \in \{Fi, Fr, PFr\}$ and $K^\square_P$ is the appropriate acting group ($B_P, U_P, U^\times_P$).

B. Finite-Dimensional Presentation

By utilizing the discrete fundamental groupoid, the authors provide an explicit finite-dimensional presentation of these moduli spaces. They show that the moduli space is isomorphic to an affine algebraic quotient stack:
$$X^\square_G(\Sigma, P) \cong R_G(\Sigma, P) / K^\square_P$$
where $R_G(\Sigma, P)$ is a smooth affine algebraic variety defined by matrix relations derived from the generators of $\pi_1(\Sigma, P)$.

C. Analysis of Forgetful Functors

The paper investigates the relationship between moduli spaces with secondary marked points and those without (or with fewer points). They prove that the map induced by the forgetful functor (dropping secondary marked points) is a ramified covering of degree $(n!)^r$ (where $r$ is the number of secondary points).

• They characterize the fibers of this covering using Shuffled Jordan Types.
• They introduce the concept of Shuffled Jordan Matrices (upper-triangular matrices conjugate to Jordan matrices by permutations) to describe the combinatorial structure of the fibers.

D. Dimension Formulas

The authors derive explicit formulas for the dimensions of these moduli spaces (as algebraic stacks), distinguishing between filtered, framed, and projectively framed cases. For example, the dimension of the filtered character stack is:
$$\dim X^{Fi}_G(\Sigma, P) = (2g + s - 2)n^2 + \frac{1}{2}m(n^2 - n)$$
(where $g$ is genus, $s$ is the number of holes, and $m$ is the number of primary marked points).

4. Key Results

1. The Main Theorem (Theorem 6.12): Establishes the canonical equivalence of categories between decorated local systems, continuous groupoid representations, discrete groupoid representations, and mixed conjugation action groupoids.
2. Corollary 6.13: Confirms that the underlying sets of these moduli spaces are in canonical bijection, justifying the use of the term "decorated Betti moduli space" as a unified concept.
3. Proposition 5.5 & 5.7: Proves that forgetting secondary marked points results in a ramified covering. The branching behavior is determined by the Jordan type of the local monodromy at the secondary points.
4. Proposition B.1 & B.11: Introduces Shuffled Jordan Types as a complete invariant for $\phi$-invariant flags up to $\phi$-equivariant automorphism. This combinatorial tool is crucial for understanding the fibers of the forgetful maps.
5. Cluster Structure Compatibility: The paper notes that since the filtered Betti moduli space carries a natural cluster variety structure (from Fock-Goncharov), the equivalence theorem implies this structure is intrinsic to the filtered Betti moduli space regardless of the specific presentation (local system vs. character variety).

5. Significance

• Conceptual Clarity: The paper resolves long-standing ambiguity about the relationship between different "decorated" moduli spaces. It provides a single categorical language that encompasses the works of Simpson, Boalch, Fock, Goncharov, Shen, Chekhov, Mazzocco, and Rubtsov.
• Computational Utility: By reducing the problem to a finite-dimensional algebraic quotient (the decorated character variety), the paper makes these moduli spaces more accessible for explicit computation, particularly in the context of Higher Teichmüller theory and cluster algebras.
• Riemann-Hilbert Correspondence: The categorical perspective aligns naturally with the Riemann-Hilbert correspondence, facilitating future work on relating the Betti moduli space (this paper) to the de Rham moduli space (connections with irregular singularities).
• New Combinatorial Tools: The introduction of "Shuffled Jordan Types" provides a new combinatorial invariant for studying invariant flags and the geometry of conjugacy classes in Borel subgroups, which may have applications beyond this specific context.

In summary, this paper serves as a foundational "Rosetta Stone" for the field of decorated moduli spaces, translating between geometric, representation-theoretic, and algebraic viewpoints and establishing their rigorous equivalence.