Gordan-Rankin-Cohen operators on the spaces of weighted densities in superdimension $1\vert 1$

This paper classifies differential operators between spaces of weighted densities in the superdimension $(1|1)$ setting, effectively superizing a previous result on modular forms and identifying open problems in the field.

The Gist

Imagine you are a chef in a very special kitchen. This kitchen isn't just for normal food; it's for "super-food" that exists in a world with both regular dimensions (like length) and "ghost" dimensions (like a shadow that can move on its own). This is the world of Superstrings and Supermanifolds.

The paper you are asking about is essentially a cookbook for mixing ingredients in this weird kitchen. Specifically, it figures out the rules for how to combine two different types of "flavors" (mathematical objects called weighted densities) to create a new, stable flavor, without breaking the laws of physics (or in this case, the laws of symmetry).

Here is the breakdown using simple analogies:

1. The Two Kinds of Ingredients: "Modular Forms" vs. "Weighted Densities"

The authors start by clarifying a common confusion. Imagine you have two types of dough:

• Type A (Modular Forms): This is like a specific recipe for a cake. If you change the size of the pan (change coordinates), the cake changes shape in a very specific, rigid way.
• Type B (Weighted Densities): This is like a liquid soup. If you pour it into a different shaped bowl, the liquid flows and changes shape, but the amount of soup stays the same.

For a long time, mathematicians thought these two were the same because they both reacted to "stretching" the kitchen in a similar way. But the authors say: "Wait a minute! They are different."

• The cake (Modular Form) gets multiplied by a magic number when you stretch the pan.
• The soup (Weighted Density) gets poured into a new shape, which involves a more complex calculation (changing variables).

The paper focuses on Type B (The Soup) in a 1-dimensional world with one "ghost" dimension (1|1).

2. The Goal: The "Rankin-Cohen" Mixer

The main question the paper answers is: "How can we take two bowls of soup and mix them together to make a third bowl of soup, such that the mixing process is fair and doesn't care how we rotated or stretched the kitchen?"

In math terms, they are looking for Gordan-Rankin-Cohen (GRC) operators.

• Think of this as a magic blender.
• You put in Soup A and Soup B.
• The blender spits out a new Soup C.
• The rule is: No matter how you twist the kitchen (change coordinates), the relationship between the ingredients and the result stays the same.

3. The "Ghost" Dimension (The 1|1 World)

The kitchen they are working in is special. It has:

• 1 Real Dimension: Like a straight line (time or space).
• 1 Ghost Dimension: A dimension that behaves like a "switch" or a "parity" (on/off). In math, this is called "odd."

Because of this ghost dimension, the mixing rules get weird.

• In a normal kitchen, if you mix two things, you just add them.
• In this ghost kitchen, sometimes you have to subtract or flip signs depending on which ingredient is "ghostly."

The authors had to solve a giant puzzle: "What are all the possible ways to mix these soups so the result is still stable?"

4. The Solution: Finding the "Singular Vectors"

To find the perfect mixing recipes, the authors used a trick involving Symmetry.
Imagine the kitchen has a "Guardian" (a mathematical group called osp(1|2)). This Guardian only allows mixes that look the same from its perspective.

The authors looked for "Singular Vectors."

• Analogy: Imagine you are trying to balance a stack of plates. Most stacks fall over if you push them. But a "Singular Vector" is a stack that is perfectly balanced; if you push it with a specific force (the "Guardian's" push), it doesn't move at all.
• The authors found all the possible "perfectly balanced stacks" of ingredients.
• They discovered that depending on the "weight" (the size/type) of the ingredients, there are different numbers of ways to balance them:
  • Sometimes there is 1 way to mix them.
  • Sometimes there are 2 ways (one "real" way and one "ghost" way).
  • Sometimes there are no ways (you can't mix those specific ingredients without breaking the rules).

5. The "Open Problems" (The Unfinished Recipe Book)

The paper ends by admitting they haven't solved everything.

• The Associativity Problem: They found how to mix two bowls. But what if you have three bowls? If you mix A and B first, then add C, do you get the same result as mixing B and C first, then adding A?
  • Analogy: It's like asking if the order in which you add ingredients to a cake batter matters. The authors suspect the answer is "No, it doesn't matter," but they haven't proven the exact recipe coefficients yet.
• Higher Dimensions: They solved it for a kitchen with 1 real and 1 ghost dimension. What about a kitchen with 1 real and 10 ghost dimensions? That is much harder and is left as a challenge for future chefs.

Summary

This paper is a mathematical instruction manual for mixing "super-soups" in a universe with one real dimension and one ghost dimension.

1. It clarifies that "soup" (weighted densities) is different from "cake" (modular forms).
2. It lists every possible "magic blender" recipe that keeps the soup stable when the kitchen is stretched.
3. It uses the concept of "perfectly balanced stacks" (singular vectors) to find these recipes.
4. It leaves the door open for future work on mixing three or more soups and expanding the kitchen to have more ghost dimensions.

It's a bit like solving a Rubik's cube where the colors change depending on whether you look at it from the front or the back, and the authors have finally figured out the first few moves!

Technical Summary

Here is a detailed technical summary of the paper "Gordan-Rankin-Cohen Operators on the Spaces of Weighted Densities in Superdimension 1|1" by Victor Bovdi and Dimitry Leites.

1. Problem Statement

The paper addresses the classification of Gordan-Rankin-Cohen (GRC) operators, which are bilinear differential operators invariant under specific Lie (super)algebras, acting on spaces of weighted densities.

The authors distinguish between two related but distinct problems:

• Problem A: Classifying invariant operators between spaces of modular forms. These are finite-dimensional spaces of holomorphic functions on the upper half-plane satisfying specific growth conditions and transformation laws under $SL(2, \mathbb{Z})$.
• Problem B: Classifying invariant operators between spaces of weighted densities on a supermanifold. These are infinite-dimensional spaces of sections transforming under the full group of diffeomorphisms (or a subalgebra thereof).

While modular forms and weighted densities transform "alike" under linear fractional transformations, they differ fundamentally: modular forms are multiplied by a factor $(cz+d)^k$, whereas weighted densities require a change of variables in the coefficient function and a transformation of the volume element.

The specific goal of this paper is to solve Problem B for superstrings of superdimension $(1|1)$. The authors investigate two specific geometric structures on the $(1|1)$-dimensional supermanifold:

1. The case with a contact structure (invariant under the Lie superalgebra $\mathfrak{k}(1|1)$).
2. The general case without a contact structure (invariant under the Lie superalgebra $\mathfrak{vect}(1|1)$).

2. Methodology

The authors employ representation theory of Lie superalgebras to solve the classification problem. The core methodology involves:

• Dualization: Instead of working directly with the space of weighted densities $T(V)$, the authors work with the dual space $I(V^*)$, which is realized as a module over the universal enveloping algebra $U(\mathfrak{g})$. This space is isomorphic to polynomials in derivatives (e.g., $\mathbb{C}[K_\theta]$ or $\mathbb{C}[\partial, \delta]$) tensored with the dual module.
• Singular Vectors: The classification of invariant differential operators is reduced to the classification of singular vectors in the tensor product of two induced modules, $I(V_1^*) \otimes I(V_2^*)$. A singular vector is a weight vector annihilated by the positive part of the Lie superalgebra ($\mathfrak{g}_{>0}$).
• Algebraic Reduction:
  • For the contact case ($\mathfrak{k}(1|1)$), the problem reduces to finding vectors annihilated by the generator $\nabla_+ = K_{t\theta}$ within the $\mathfrak{osp}(1|2)$ subalgebra.
  • For the general case ($\mathfrak{vect}(1|1)$), the problem reduces to finding vectors annihilated by $s_\xi$ within the $\mathfrak{pgl}(2|1)$ subalgebra.
• System Solving: The condition of annihilation leads to systems of linear equations for the coefficients of the differential operators. The authors solve these systems by analyzing the rank of the resulting coefficient matrices, distinguishing cases based on the weights ($\mu_1, \mu_2$) of the input modules.

3. Key Contributions and Results

A. The Contact Case: $\mathfrak{k}(1|1)$ (Superstrings with Contact Structure)

The authors classify $\mathfrak{osp}(1|2)$-invariant operators on the superstring $S^1_c$ with a contact form $\alpha_1 = dt + \sum \theta_i d\theta_i$.

• Classification: They derive explicit formulas for the coefficients of the GRC operators for both even ($k=2n$) and odd ($k=2n+1$) orders.
• Singular Vectors:
  • For even orders, the existence of singular vectors depends on the weights $\mu_1, \mu_2$. If the weights satisfy specific non-resonance conditions, the solution space is 1-dimensional. If resonance occurs (specifically when $\mu_1 = j+1$ and $\mu_2 = 3(n+j+1)$), the solution space becomes 2-dimensional.
  • For odd orders, similar conditions apply, with solution spaces being either 1-dimensional or depending on parameters in $\mathbb{CP}^1$.
• Explicit Formulas: The paper provides the explicit structure of the operators $Jf, gK_k$ in terms of the contact derivative $D_\theta = \theta\partial_t - \partial_t$ and the standard time derivative $\partial_t$.
• Connection to Classical Case: The authors demonstrate that for $n=1$, the contact GRC operators generalize the classical Rankin-Cohen brackets on 1D manifolds.

B. The General Case: $\mathfrak{vect}(1|1)$ (Superstrings without Contact Structure)

The authors tackle the more complex problem of classifying $\mathfrak{pgl}(2|1)$-invariant operators on the general $(1|1)$ superdomain.

• Module Structure: They analyze the tensor product of irreducible $\mathfrak{gl}(1|1)$-modules. They identify that the problem is most tractable when the weights are zero ($\lambda = \sigma = 0$), corresponding to the classical setting of weighted densities.
• Singular Vector Classification:
  • The space of singular vectors is decomposed into even and odd subspaces based on the action of the parity operator and the weight of the $H_2$ generator.
  • Theorem 3.6.1: The dimension of the space of singular vectors $v_n$ is determined by the parity and sum of the weights $\mu_1, \mu_2$:
    • **Dimension $1|1$:** If$\mu_1, \mu_2$are non-negative even integers and$\mu_1 + \mu_2 = 2n - 4$.
    • **Dimension $0|2$:** If$\mu_1, \mu_2$are even integers in$[0, 2n-2]$and$\mu_1 + \mu_2 \ge 2n - 2$.
    • Dimension $0|1$: Otherwise.
• Explicit Solutions: The authors provide recursive formulas (equations 42–44) to construct the singular vectors in all cases, distinguishing between unique solutions and families of solutions parameterized by $\mathbb{CP}^1$.

4. Significance and Open Problems

• Resolution of "Wild" Problems: The paper confirms that while the classification of invariant operators on general supermanifolds is often a "wild" problem (unsolvable in a closed form), the specific case of superstrings of dimension $(1|1)$ is solvable and yields rich algebraic structures.
• Distinction of Problems A and B: The work rigorously clarifies the difference between modular forms (Problem A) and weighted densities (Problem B), showing that while solutions to A often correspond to solutions to B, the latter are more abundant and structurally distinct in the super setting.
• Associative Products: The authors propose an open problem regarding the construction of associative star-products on the space of weighted densities using the classified GRC operators. They conjecture that specific coefficients ($r_n, s_n$) can define such products, potentially leading to new deformation quantizations in supergeometry.
• Future Directions: The paper outlines several open problems, including:
  • Classification for higher superdimensions $(1|N)$ with contact structures.
  • Classification for characteristic $p > 0$.
  • Generalization to other maximal subalgebras of infinite-dimensional vectorial Lie superalgebras.

In summary, this paper provides a complete algebraic classification of Gordan-Rankin-Cohen operators for $(1|1)$-dimensional superstrings, bridging the gap between classical modular form theory and supergeometry, and laying the groundwork for future studies on deformation quantization in supermanifolds.