arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0705.2932

Compound basis for the space of symmetric functions

Kazuya Aokage·Hiroshi Mizukawa·Hiro-Fumi Yamada
View original source ↗Read source document ↗Export metadata ↓

Abstract

The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature. Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras. This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.

Explore related subjects

math.RTmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kazuya Aokage, Hiroshi Mizukawa, Hiro-Fumi Yamada. 2007-05-21. Compound basis for the space of symmetric functions. https://arxiv.org/abs/0705.2932

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Lowest-weight modules over the spherical subalgebra of a rational Cherednik algebra

Let $W$ be a finite reflection group acting on a finite-dimensional complex vector space $\h$, let $H_c(W,\h)$ be the associated rational Cherednik algebra, and let $\Dc = eH_ce$ be its spherical subalgebra. Building on the framework of BÞgvad and Källström for invariant differential operators, subsequently applied to symmetric groups, we show that, for generic parameter $c$, a Lie subalgebra $\fa\subset\Dc$ generated by basic invariants always generates $\Dc$ itself (via the Levasseur--Stafford theorem), and that, granted a mild compatibility hypothesis between the grading element and $\fa$, verified here in the rank-one case, the category of $\Dc$-submodules of the polynomial ring $B=\mathbb C[\h]$ is equivalent to the category of modules over a Cartan-type ring $R_\fa$ built from $\fa$. The ring $R_\fa$ surjects onto the more naively defined $ \displaystyle R_c = \Dc^0 \big/ \big(\Dc^0 \cap \Dc \Dc^-\big), $ and the two coincide whenever this surjection is injective, which we verify in the rank-one case; whether this holds in general, and in particular for the families treated below, is left open. As an application, we determine explicit generators of $\fa$ for the imprimitive complex reflection groups $G(m,1,n)$ ($e=1$), recovering the classical Coxeter group $B_n$ as a special case. For $D_n=G(2,2,n)$, where an extra generator obstruction arises for $e>1$, we resolve the generation problem for $n=3$ completely by exploiting the exceptional isomorphism $D_3 \cong A_3$, leaving the general case $n\geq4$ open.

math.RT↗
arXiv2026

On the first relative Hochschild cohomology

In this paper we investigate the Lie algebra structure of the first relative Hochschild cohomology. Let $A,B$ be finite-dimensional basic $k$-algebras over an algebraically closed field of characteristic zero, such that $Q_B$ is a subquiver of $Q_A$. We show that if the complement of $Q_A$ by the arrows of $Q_B$ is a simple directed graph, then the first relative Hochschild cohomology $\mathrm{HH}^1(A|B)$ is a solvable Lie algebra. We also compute the Lie algebra structure of the first relative Hochschild cohomology for radical square zero algebras and for dual extension algebras of directed monomial algebras.

math.RT↗
arXiv2026

Dirac operators for infinite-dimensional color Lie algebras

We develop the Dirac formalism for infinite-dimensional quadratic $\mathbb{Z}$-graded color Lie algebras with finite-dimensional components. Cubic Dirac operators are defined in completions of the quantum Weil algebra determined by the $\mathbb{Z}$-grading. The same grading fixes the normal-ordering convention. Normal ordering introduces a cohomological obstruction to the construction, measured by a color analogue of the Kac-Peterson class. When this class is trivial, we construct cubic and relative cubic Dirac operators satisfying the expected invariance properties and Parthasarathy-type square formulas. We further extend the Chern-Weil homomorphism to completed $\mathfrak{g}$-differential algebras and use it to identify the classical precursor of the cubic Dirac operator with the Chern-Simons element associated with the invariant quadratic polynomial determined by the quadratic structure. As applications, we consider symmetrizable Kac-Moody superalgebras. In this setting, the Kac-Peterson class is trivial, with primitive given by the Weyl vector, which yields the linear correction defining the cubic Dirac operator. We then use the relative Dirac operator to extract representation-theoretic information from highest weight supermodules. As an explicit example, for the affine Kac-Moody superalgebra associated with $\mathfrak{osp}(1\vert 2n)$, we compute the kernel of $\operatorname{D}_{\mathfrak{g},\mathfrak{g}_{\bar{0}}}$ on integrable highest weight supermodules. Finally, for unitarizable highest weight supermodules, we explain why the usual Dirac inequality is not available in the affine setting.

math.RT↗