Related papers: On a Kostant section for the unitary group

Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of…

We classify all non-degenerate skew-hermitian forms defined over certain local rings, not necessarily commutative, and study some of the fundamental properties of the associated unitary groups, including their orders when the ring in…

Structural properties of unitary groups over local, not necessarily commutative, rings are developed, with applications to the computation of the orders of these groups (when finite) and to the degrees of the irreducible constituents of the…

In this paper, we establish the theory of local newforms for irreducible tempered generic representations of unramified odd unitary groups over a non-archimedean local field. For the proof, we prove an analogue of the fundamental lemma for…

Let $RG$ be the gruop ring of the group $G$ over ring $R$ and $\mathscr{U}(RG)$ be its unit group. Finding the structure of the unit group of a finite group ring is an old topic in ring theory. In, G. Tang et al: Unit Groups of Group…

Lenstra and Guruswami described number field analogues of the algebraic geometry codes of Goppa. Recently, the first author and Oggier generalised these constructions to other arithmetic groups: unit groups in number fields and orders in…

It this note we investigate the structure of the group of \sigma-unitary units in some noncommutative modular group algebras KG, where \sigma is a non-classical ring involution of KG.

In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization…

It is well known that the classical diagram lemmas of homological algebra for abelian groups can be generalized to non-abelian group-like structures, such as groups, rings, algebras, loops, etc. In this paper we establish such a…

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We give a proof of the geometric fundamental lemma of Kottwitz. As explained by Laumon, this implies the fundamental lemma for the unitary groups.

In [7], results about the global Jacquet-Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field are…

The groups of units $U^i_L$ of a local field $L$ play an important role in algebraic number theory, especially in class field theoretic topics. Therefore, it is interesting to study these groups from a cohomological point of view. In this…

In this paper we will give a scheme-theoretic discussion on the unramified extensions of an arithmetic function field in several variables. The notion of unramified discussed here is parallel to that in algebraic number theory and for the…

In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…

In this work, we generalize the integer enumeration basis. We also construct bijections between the elements of special sets and the elements of some groups, and treat the special case of the hyperoctohedral groups. Then, we find a code…

We extend to arbitrary rings a definition of the octonion special linear group due to Baez. At the infinitesimal level we get a Lie ring, which we describe over some large classes of rings, including all associative rings and all algebras…

We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…

This paper corrects an error in the authors' earlier work, by proving stronger forms of the basic lemmas