Duality for finite Gelfand pairs

TL;DR

This paper explores a finite group analogue of the Satake isomorphism, establishing a duality between pairs of finite groups and their Langlands duals, with examples and potential links to String Topology.

Contribution

It introduces a new duality framework for finite group pairs inspired by the Satake isomorphism, including explicit examples and preliminary insights.

Findings

Computed nontrivial dual pairs (H,G) and (H,G)

Proposed a duality concept inspired by Satake isomorphism for finite groups

Discussed potential connections to String Topology

Abstract

Let $\mathrm{G}$ be a split reductive group, $K$ be a non-Archimedean local field, and $O$ be its ring of integers. Satake isomorphism identifies the algebra of compactly supported invariants $\mathbb{C}_c[\mathrm{G}(K)/\mathrm{G}(O))]^{\mathrm{G}(O)}$ with a complexification of the algebra of characters of finite-dimensional representations $\mathcal{O}(\mathrm{G}^L(\mathbb{C}))^{\mathrm{G}^L(\mathbb{C})}$ of the Langlands dual group. In this note we report on the results of the study of analogues of such an isomorphism for finite groups. In our setup we replaced Gelfand pair $\mathrm{G}(O)\subset \mathrm{G}(K)$ by a finite pair $H\subset G$. It is convenient to rewrite the character side of the isomorphism as $\mathcal{O}(\mathrm{G}^L(\mathbb{C}))^{\mathrm{G}^L(\mathbb{C})}=\mathcal{O}((\mathrm{G}^L(\mathbb{C})\times \mathrm{G}^L(\mathbb{C}))/\mathrm{G}^L(\mathbb{C}))^{\mathrm{G}^L(\mathbb{C})}$. We replace diagonal Gelfand pair $\mathrm{G}^L(\mathbb{C})\subset \mathrm{G}^L(\mathbb{C})\times \mathrm{G}^L(\mathbb{C})$ by a dual finite pair $\check{H}\subset \check{G}$ and use Satake isomorphism as a defining property of the duality. In this text we make a preliminary study of such duality and compute a number of nontrivial examples of dual pairs $(H,G)$ and $(\check{H}, \check{G})$. We discuss a possible relation of our constructions to String Topology.