A universal Clebsch-Gordan filtration for $\operatorname{GL}_{2,A}$
Abstract
The aim of the paper is to study the group schemes and universal Clebsch-Gordan filtrations. Here is a field or any commutative ring. If is the free rank module on and if we give the "standard" structure as comodule on , we may form the symmetric powers for an integer. If is a field of characteristic zero, there is a direct sum decomposition of the tensor product into irreducible -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 we will find that there is for any pair of integers a finite filtration with for . This implies there is a version of the Clebsch-Gordan formula valid in the Grothendieck group of coherent comodules on . I also prove a similar result for . I moreover prove that the group scheme is not "completely reducible" in the sense that there are surjections of finite rank comodules on 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 , where is a free and finite rank -module. This construction has the property that the double dual is canonically isomorphic to 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)