🔢 mathematics

Duality properties for induced and coinduced representations in positive characteristic

This paper establishes a duality property for the kernels of coinduced representations of Lie superalgebras in positive characteristic and explores the relationship between induced and coinduced representations within the context of restricted Lie superalgebras.

Original authors: Sophie Chemla

Published 2026-02-10

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Sophie Chemla

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master chef, and you are trying to scale up a secret family recipe (a small representation) to feed an entire city (a large representation). In the world of advanced mathematics, specifically "Lie superalgebras," there are two main ways to do this: Induction and Coinduction.

This paper, written by Sophie Chemla, is essentially a mathematical "instruction manual" that explains how these two scaling methods are actually two sides of the same coin, even when the "kitchen" (the mathematical field) is behaving in very strange, "positive characteristic" ways.

Here is the breakdown of the paper using everyday analogies.

1. The Two Ways to Scale: Induction vs. Coinduction

Imagine you have a small, perfect recipe for a single cupcake (this is your representation $\pi$ ). You want to turn this into a massive banquet.

Induction (The Assembly Line): This is like taking your cupcake recipe and multiplying it by every possible ingredient in the pantry. You build upward, stacking layers of complexity on top of your original recipe. It’s a constructive, "building up" process.
Coinduction (The Feedback Loop): This is more like looking at the entire banquet hall and asking, "What set of instructions would result in this specific cupcake being served at every table?" Instead of building up, you are looking at the relationship between the big space and the small recipe. It’s a "filtering down" or "mapping" process.

For a long time, mathematicians knew these two were related, but they didn't quite know how they mirrored each other when the rules of the kitchen changed.

2. The "Strange Kitchen": Positive Characteristic

In most math, we work in "Characteristic 0," which is like a standard kitchen where $1 + 1$ always equals $2$.

However, this paper works in "Positive Characteristic $p$ ." Imagine a kitchen where, if you add enough ingredients, they suddenly reset to zero. For example, if $p=3$ , then $1+1+1 = 0$ . This makes the math "loop" or "reset," which creates massive headaches for scientists. It’s like trying to bake a cake where, after every three scoops of flour, the bowl magically empties itself.

3. The Discovery: The Mirror Property (Duality)

The core of the paper is proving a Duality Property.

Think of a mirror. If you stand in front of a mirror, your reflection is a "dual" version of you. If you raise your right hand, the reflection raises its left.

Chemla proves that if you take the "Kernel" (the set of instructions that result in nothing/zero) of a Coinduced representation, it is perfectly mirrored by the Induced representation of the "contragredient" (the flipped version) of your original recipe.

She uses a complex mathematical tool called the Berezinian (think of this as a "Super-Scale") to weigh these representations and prove that they balance perfectly on both sides of the mirror, even in that "resetting" kitchen of positive characteristic.

4. Why does this matter?

Why spend all this time proving how mirrors work in a kitchen that resets every three scoops?

Symmetry: In physics and advanced geometry, symmetry is everything. Knowing that Induction and Coinduction are duals allows scientists to solve a hard problem by "flipping" it into an easier one. If the "building up" math is too hard, they can use the "mirror" to solve the "filtering down" math instead.
Completing the Map: Previous mathematicians had solved this for "normal" kitchens (Characteristic 0) or for simpler recipes (Lie algebras). Chemla has extended the map to include the most complex recipes (Lie superalgebras) in the strangest kitchens (Positive Characteristic).

Summary in a Sentence

The paper proves that even in a mathematical world where numbers "reset" periodically, the two main ways of expanding a small mathematical structure into a large one are perfect, symmetrical reflections of each other.

This paper, titled "Duality Properties for Induced and Coinduced Representations in Positive Characteristic" by Sophie Chemla, investigates the relationship between induced and coinduced representations of Lie superalgebras over a field $k$ of positive characteristic $p > 2$ .

1. The Problem

In representation theory, induction and coinduction are two fundamental ways to extend a representation from a sub-structure (a Lie subsuperalgebra $h$ ) to a larger structure (a Lie superalgebra $\mathfrak{g}$ ). While these processes are dual in a general sense, their specific algebraic properties—particularly regarding their kernels and the relationship between their characters—depend heavily on the characteristic of the base field and the dimension/parity of the quotient space $\mathfrak{g}/h$ .

Prior to this work, duality properties for these representations were well-established for:

Lie algebras in any characteristic (Duflo, 1977).
Lie superalgebras in characteristic 0 (various authors).

The central problem addressed here is the extension of these duality results to Lie superalgebras in positive characteristic, specifically focusing on the case where the quotient $\mathfrak{g}/h$ is finite-dimensional.

2. Methodology

The author employs a sophisticated algebraic framework involving Lie-Rinehart superalgebras and restricted Lie superalgebras. The methodology can be broken down into several technical steps:

New Filtration: The author introduces a new ascending filtration $F$ on the universal enveloping superalgebra $U(\mathfrak{g})$ that consists of $U(h)$ -modules. This is distinct from the standard PBW filtration and is designed to handle the complexities of positive characteristic.
Superalgebra Structure of Coinduction: The paper treats the coinduced representation $\text{Coind}_{\mathfrak{h}}^{\mathfrak{g}}(k)$ as a local $k$ -superalgebra $A$ . By studying the derivations of this algebra, the author transfers the problem of studying differential operators on $\text{Hom}(S(p), V)$ to the study of the coinduced module.
Berezinian Modules: To handle the "super" aspect (the $\mathbb{Z}/2\mathbb{Z}$ grading), the author utilizes the Berezinian module ( $\text{Ber}(M)$ ), which generalizes the concept of a maximal wedge product to superspaces. This is crucial for defining a non-degenerate invariant duality.
Restricted Structures: For the restricted case, the author utilizes the restricted enveloping superalgebra $U'(\mathfrak{g})$ , which incorporates the $p$ -operation characteristic of restricted Lie algebras.

3. Key Contributions and Results

The paper provides several major theoretical results:

Isomorphism between Induction and Coinduction (Theorem 5.7): The author proves that for a restricted Lie superalgebra, the restricted induced representation is isomorphic to the restricted coinduced representation, provided the induction is twisted by a specific one-dimensional representation involving the supertrace ( $\text{str}_{\text{ad}_{\mathfrak{g}/\mathfrak{h}}}$ ) and a parity change functor $\Pi$ .
Non-degenerate Invariant Duality (Theorem 5.10 / Corollary 5.10): The author establishes a non-degenerate $\mathfrak{g}$ -invariant duality between the coinduced representation $\text{Coind}_{\mathfrak{h}}^{\mathfrak{g}}(\pi)$ and a twisted version of the coinduced representation of the contragredient module: $\text{Coind}_{\mathfrak{h}}^{\mathfrak{g}}(\pi^* \otimes \Pi^m \text{Ber}((\mathfrak{g}/\mathfrak{h})^*))$ .
Duality of the Kernel (Theorem 6.6): This is a primary goal of the paper. The author proves that the kernel $I_\pi \subset U(\mathfrak{g})$ of the coinduced representation satisfies:
$\check{I}_\pi = I_{\pi^*} \otimes \Pi^m k_{-\text{str}_{\text{ad}_{\mathfrak{g}/\mathfrak{h}}}}$
This generalizes Duflo's result to the superalgebra setting in positive characteristic, specifically for cases where the quotient $\mathfrak{g}/h$ has an odd dimension $m$ .

4. Significance

The significance of this work lies in its ability to unify and extend classical results into the realm of supermathematics in positive characteristic.

Theoretical Completeness: It fills a gap in the literature by providing the "super" analogue of Duflo's duality for characteristic $p$ .
Computational Utility: By establishing the isomorphism between induction and coinduction (Theorem 5.7), the paper provides tools for researchers to switch between these two constructions, which is often necessary for calculating characters or studying module structures.
Foundation for Restricted Lie Theory: The results regarding restricted Lie superalgebras provide a rigorous foundation for studying modular representations of superalgebras, which are essential in modern mathematical physics and algebraic geometry.