English

A universal Clebsch-Gordan filtration for $\operatorname{GL}_{2,A}$

Algebraic Geometry 2025-03-19 v8 Group Theory Representation Theory

Abstract

The aim of the paper is to study the group schemes G:=SL2,A,GL2,AG:=\operatorname{SL}_{2, A}, \operatorname{GL}_{2,A} and universal Clebsch-Gordan filtrations. Here AA is a field or any commutative ring. If V:=A{e1,e2}V:=A\{e_1,e_2\} is the free rank 22 module on AA and if we give VV the "standard" structure as comodule on GG, we may form the symmetric powers Symn(V)\operatorname{Sym}^n(V) for n1n \geq 1 an integer. If AA is a field of characteristic zero, there is a direct sum decomposition of the tensor product Symn(V)Symm(V)\operatorname{Sym}^n(V) \otimes \operatorname{Sym}^m(V) into irreducible GG-comodules and the main aim of the paper is to investigate if similar results hold over the ring of integers or a more general commutative ring such as a Dedekind domain. For A:=ZA:=\mathbb{Z} we will find that there is for any pair of integers 1nm1 \leq n \leq m a finite filtration FiSymn(V)Symm(V)F_i \subseteq \operatorname{Sym}^n(V) \otimes \operatorname{Sym}^m(V) with Fi/Fi+1Symn+m2i(V)F_i/F_{i+1} \cong \operatorname{Sym}^{n+m-2i}(V) for i=0,..,ni=0,..,n. This implies there is a version of the Clebsch-Gordan formula valid in the Grothendieck group of coherent comodules on GG. I also prove a similar result for GL2,A\operatorname{GL}_{2,A}. I moreover prove that the group scheme GG is not "completely reducible" in the sense that there are surjections ϕ:VW\phi: V \rightarrow W of finite rank comodules on GG that do not split. I also discuss the notion "good filtration" for torsion free comodules and give an explicit construction of an infinte set of non trival comodules with a good filtration. I give a functorial definition of the dual comodule of any comodule (V,Δ)(V, \Delta), where VV is a free and finite rank AA-module. This construction has the property that the double dual VV^{**} is canonically isomorphic to VV as comodule. I calculate some explicit examples.

Keywords

Cite

@article{arxiv.2308.12730,
  title  = {A universal Clebsch-Gordan filtration for $\operatorname{GL}_{2,A}$},
  author = {Helge Öystein Maakestad},
  journal= {arXiv preprint arXiv:2308.12730},
  year   = {2025}
}

Comments

Oct-06-2023: Extended version with a functorial construction of the dual, new examples using the symmetric tensors and new references. 11.10.2023: Minor corrections. 18.10.2023: New introduction. 01.02.2024: Minor corrections. 09.07.2024: Minor corrections. 11.03.,2025 - added a similar result for GL(2,A). 16.03.2025 - Included a functor of points proof of the result for GL(2)