🔢 mathematics

Projective connections on super Heisenberg coinvariants. I

This paper investigates derived coinvariants of isotropic subbundles on modules over super Heisenberg algebras and constructs natural transitive Lie algebroids that act on these structures.

Original authors: Giovanni Felder, David Kazhdan, Alexander Polishchuk

Published 2026-05-05

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Giovanni Felder, David Kazhdan, Alexander Polishchuk

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

The Big Picture: Building a Map for a Shifting Landscape

Imagine you are trying to navigate a complex, shifting landscape. In mathematics, this landscape is often a "moduli space"—a place where every point represents a different shape or configuration (like different curves or surfaces).

The authors of this paper are studying a specific type of mathematical object called Heisenberg coinvariants. To understand what they are doing, let's break down the jargon into a story.

1. The Characters: The Heisenberg Algebra and the "Fock" Module

The Heisenberg Algebra (The Rulebook): Think of this as a set of strict rules for how things interact. In physics, this is often used to describe how position and momentum relate. In this paper, it's a "super" version, meaning it handles both regular numbers and "ghostly" numbers (mathematical objects that behave like shadows or anti-matter).
The Fock Module (The Inventory): Imagine a warehouse filled with items. The "Fock module" is a specific way of organizing this warehouse based on the rules of the Heisenberg algebra. It's like a catalog of all possible states the system can be in.
Coinvariants (The Filter): Now, imagine you have a specific rule (an "isotropic subbundle") that says, "Throw away anything that doesn't fit this specific pattern." When you apply this filter to your warehouse inventory, you get the coinvariants. It's the "leftover" or "reduced" list of items that survive the filter.

2. The Problem: The Landscape is Moving

The paper asks: What happens if the rules of the game (the Heisenberg algebra) or the filter (the pattern we are keeping) change slightly as we move across our landscape?

In the real world, if you have a map, you need to know how to adjust your compass as you walk from one city to another. In math, this adjustment is called a connection.

Projective Connection: This is a very specific, high-level type of compass adjustment. It tells you how to compare the "leftovers" (coinvariants) at one point on the map with the "leftovers" at a nearby point, even though the rules of the game might have shifted slightly.

3. The Discovery: A Simple, Local Solution

For a long time, mathematicians tried to build these compasses (connections) using very complex, global tools called "vertex algebras." It was like trying to fix a car engine by rebuilding the entire factory.

The authors' breakthrough: They found a much simpler way.

The Analogy: Instead of looking at the whole factory, they realized you only need to look at the local data right next to the "punctures" (the specific points where the rules change).
They discovered that you can build these compasses using only finite-dimensional symplectic bundles. Think of this as realizing you don't need a satellite to navigate; you just need a good local map and a compass that works based on the immediate terrain.

4. The Main Tool: The "Transitive Lie Algebroid"

The paper constructs a mathematical machine called a transitive Lie algebroid (let's call it the Navigator).

What it does: This Navigator acts on all the "leftover" lists (coinvariants). It tells you exactly how to move from one state to another as you travel across the landscape.
How they built it: They built it in two ways:
1. Symmetry: They looked at the symmetries of the "right Fock module" (a specific type of inventory) and found the Navigator hiding inside those symmetries.
2. Universal Pullback: They took a "Universal Navigator" that exists for all possible shapes of filters and pulled it down to their specific situation.

5. Key Findings and "Magic Tricks"

The paper proves several specific things about how this Navigator works:

The "Reduction" Trick: If you have a complex filter and you simplify it (isotropic reduction), the Navigator doesn't break; it adapts perfectly. The math stays consistent even when you simplify the rules.
The "Berezinian" Connection: In a special case where the filter is a "Lagrangian" (a perfectly balanced filter), the Navigator is directly related to something called the Berezinian bundle.
- Analogy: Imagine the Berezinian is a special kind of "volume" or "area" measurement for these super-shapes. The paper shows that the Navigator is essentially the "square root" of this volume measurement. This is a deep link between the movement rules and the geometry of the space.
Vanishing Higher Coinvariants: The authors prove a rule for when the "leftovers" become simple. If the filters (Lagrangians) intersect in a specific way (their "even" parts don't overlap too much), then all the complicated, higher-level leftovers disappear, leaving only a single, clean line of data. This is like saying, "If you filter the water through two specific screens, you don't get any sludge; you just get clear water."

6. Why "Super" Matters

The paper deals with "Super" Heisenberg algebras.

The Analogy: Regular math deals with "even" things (like counting apples). "Super" math deals with "odd" things too (like shadows or fermions in physics).
The authors show that their Navigator works even when these "odd" shadows are involved. They even generalize a concept called the Pfaffian (a way of calculating the volume of a specific type of matrix) to handle these "odd" numbers, creating a "Generalized Pfaffian."

Summary

In short, this paper is about building a better, simpler map for navigating a complex mathematical landscape involving "super" rules.

They identified a problem: How do you compare "filtered" mathematical objects when the rules change?
They found a solution: A "Navigator" (Lie algebroid) built from local data, rather than complex global machinery.
They proved: This Navigator works consistently, connects to geometric volumes (Berezinians), and simplifies the math when the filters are arranged just right.

They aren't applying this to medicine or engineering yet; they are laying the abstract foundation (the "underlying abstract construction") so that in the future, others can use these tools to study curves, surfaces, and quantum systems more effectively.

Technical Summary: Projective Connections on Super Heisenberg Coinvariants. I

Problem Statement
The paper addresses the construction and understanding of projective connections on sheaves of derived coinvariants associated with modules over super Heisenberg algebras. While the traditional approach to defining projective connections on coinvariants sheaves (specifically in the context of conformal blocks over moduli spaces of curves and supercurves) relies on vertex algebras, the authors aim to provide a simpler, more natural construction. This construction utilizes only finite-dimensional symplectic and Heisenberg bundles derived from local data near punctures. The primary goal is to establish the underlying abstract framework for these projective connections, which will subsequently be applied to (super) Heisenberg coinvariants on moduli spaces of (SUSY) curves and $bc/\beta\gamma$ -systems.

Methodology
The authors employ a geometric and algebraic approach centered on the study of derived coinvariants of isotropic subbundles within bundles of Heisenberg Lie (super) algebras. The methodology proceeds through several key stages:

Derived Coinvariants Analysis: The paper first establishes general results regarding the derived coinvariants $C_I(M)$ for a module $M$ over a Heisenberg algebra bundle $H$ and an isotropic subbundle $I \subset H$ . This involves analyzing the behavior of these coinvariants under isotropic reduction and their relationship with Berezinian bundles.
Lie Algebroid Construction: A central methodological innovation is the construction of a transitive Lie algebroid, denoted $A_I$ $A_{I}$ , which acts on the sheaves of derived coinvariants. The authors provide two distinct constructions for this algebroid:
- As a Lie subalgebroid within the Lie algebroid of infinitesimal symmetries of the right Fock module $M^r(I)$ .
- As a pullback of a universal Lie algebroid defined over the isotropic Grassmannian.
- The construction is generalized to cases where the Heisenberg bundle $H$ is not constant but equipped with a flat connection.
Picard Algebroids and Connections: The authors investigate the conditions under which $A_I$ reduces to a Picard algebroid (a transitive Lie algebroid with kernel identified with the structure sheaf $\mathcal{O}$ ). This occurs specifically when $I$ is a Lagrangian subbundle or when the reduced Heisenberg algebra $H_I$ is equipped with a flat connection. In these cases, the derived coinvariants acquire natural projective connections.
Equivariant Structures: The paper develops a framework for equipping these Lie algebroids with equivariant data relative to the action of a (super) group, which is crucial for applications to moduli spaces where formal parameters at marked points must be eliminated.

Key Contributions and Results

Abstract Construction of Projective Connections: The paper presents a construction of projective connections that bypasses vertex algebras, relying instead on finite-dimensional symplectic geometry and Heisenberg bundles.
Transitive Lie Algebroids ( $A_I$ ): The authors define and characterize the transitive Lie algebroid $A_I$ acting on derived coinvariants. They prove that for a Lagrangian subbundle $L$ , $A_L$ is a Picard algebroid, thereby endowing the derived coinvariants $C_L(M)$ with projective connections.
Isotropic Reduction and Compatibility: The paper establishes compatibility results between derived coinvariants and isotropic reduction (Theorem 2.4, Proposition 3.16). It shows that under specific transversality conditions, the derived coinvariants are concentrated in a single degree and isomorphic to a Berezinian bundle (Theorem 2.2, Corollary 2.3).
Relation to Berezinian Bundles: In the Lagrangian case, the authors connect the Lie algebroid $A_L$ to the Atiyah algebroid of the square root of the Berezinian bundle $\text{Ber}(L)$ (Theorem 3.17). This result crucially relies on the use of derived coinvariants.
Generalized Pfaffian: In the case of purely odd symplectic bundles, the authors derive a generalization of the Pfaffian (Proposition 2.20), which arises naturally from the study of coinvariants in purely odd intersections.
Vanishing Criterion: A significant result is a general criterion for the vanishing of higher derived coinvariants $C_{L_1}(M(L_2))$ for a pair of Lagrangian subbundles. This vanishing occurs under specific codimension conditions on the loci where the intersection dimensions of the Lagrangians vary (Theorem 3.27). This is proven using the holonomicity of the coinvariants viewed as twisted $\mathcal{D}$ -modules.
Explicit Calculations: The paper includes explicit computations of the class of the Picard algebroid over the Lagrangian Grassmannian for a 3-dimensional Heisenberg algebra (Appendix A) and formulas for generalized Pfaffians (Appendix B).

Significance and Claims
The authors claim that this work provides the "underlying abstract construction" of projective connections on super Heisenberg coinvariants. By demonstrating that these connections arise from finite-dimensional symplectic and Heisenberg bundles, the paper offers a more direct alternative to the vertex algebra approach.

The significance of the results is twofold:

Theoretical Unification: It unifies the study of coinvariants, isotropic reduction, and projective connections under the framework of transitive Lie algebroids.
Foundational for Future Applications: The paper explicitly states that these results are foundational for a sequel. The sequel will apply this theory to sheaves of (super) Heisenberg coinvariants on the moduli spaces of (SUSY) curves and to $bc/\beta\gamma$ -systems. Specifically, the equivariant structures developed here are intended to resolve issues regarding the choice of formal parameters at marked points in moduli problems.

The paper does not claim to solve the moduli problems directly but rather to provide the necessary algebraic and geometric machinery (the Lie algebroids and their actions) required to define and study the projective connections in those contexts. The vanishing criterion for higher derived coinvariants is presented as a general tool applicable to pairs of Lagrangian subbundles, with the specific application to moduli spaces reserved for future work.