Dice Question Streamline Icon: https://streamlinehq.com

Nature of the GL_n-invariant subalgebra in U(so(m+2n))

Characterize the structure of the GL_n-invariant subalgebra U(so(m+2n))^{GL_n} that acts on the Schur modules arising from the Jacobi–Trudi structure on quadric hypersurface rings. Determine its algebraic and representation-theoretic properties, including generators, relations, and how these Schur modules decompose or behave as modules for this invariant subalgebra.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors construct Schur modules for quadric hypersurface rings as GL_n-isotypic components of quotients of universal enveloping algebras tied to parabolic subalgebras in so(m+2n). While these Schur modules are typically reducible as O(V)-representations, invoking a form of Howe duality implies they are irreducible as modules for the GL_n-invariant subalgebra of U(so(m+2n)).

Despite this observation, the authors do not yet understand the structural nature of the invariant subalgebra U(so(m+2n)){GL_n}. Clarifying its structure is essential for deeper understanding of the representation theory governing the Jacobi–Trudi constructions and their connections to Lie-theoretic dualities.

References

Invoking a form of Howe duality, we conclude that they are irreducible modules for the subalgebra of GL_n-invariants in U(\mathfrak{so}(m+2n)). The nature of this algebra is still mysterious to us and will be investigated in followup work.

From total positivity to pure free resolutions (2408.10408 - Sam et al., 19 Aug 2024) in Section “Representation theory,” paragraph discussing Howe duality and GL_n-invariants