Related papers: On A^1-fundamental groups of isotropic reductive g…

Let $ G $ be a cyclic group, in this paper, we study the Herbrand quotient and $ 1-$th cohomology group on finitely generated $ G-$modules in some cases. When $ G $ is of order $ 2, $ the order of the cohomology group is explicitly related…

In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on…

Let $k$ be a nonperfect field of characteristic $2$. Let $G$ be a $k$-split simple algebraic group of type $E_6$ (or $G_2$) defined over $k$. In this paper, we present the first examples of nonabelian non-$G$-completely reducible…

We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…

Greenberg proved that every countable group $A$ is isomorphic to the automorphism group of a Riemann surface, which can be taken to be compact if $A$ is finite. We give a short and explicit algebraic proof of this for finitely generated…

\input amssym.def \input amssym.tex Let $G$ be a connected algebraic reductive group over an algebraic closure of a prime field ${\Bbb F}_p$, defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime different from $p$. Let…

We compute Schur multipliers of locally isotropic Steinberg groups and of all root graded Steinberg groups with root systems of rank at least $ 3 $ (excluding the types $ \mathsf H_3 $ and $ \mathsf H_4 $). As an application, we show that…

We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places…

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adele class space of a global field. After promoting F1 to a hyperfield K, we prove that a hyperring of the…

Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. Let $\Bbbk$ be a field such that $\op{char} \Bbbk \ne \op{char} \mathbb{F}_q$. In this paper, we study the extensions of…

Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman…

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

By virtue of the well-known theorem, a structure Lie group G of a principal bundle P is reducible to its closed subgroup H iff there exists a global section of the quotient bundle P/H. In gauge theory, such sections are treated as classical…

It is known that a group G definable in the field of p-adic numbers is definably locally isomorphic to the group of Q_p-points of a connected algebraic group H defined over Q_p. We show that if H is commutative then G is…

Let $\mathbf{G}$ be an algebraic group over a local field $\mathbf k$ of characteristic zero. We show that the locally compact group $\mathbf G(\mathbf k)$ consisting of the $\mathbf k$-rational points of $\mathbf G$ is of type I. Moreover,…

Let F be a local field with finite residue field of characteristic p and k an algebraic closure of the residue field. Let G be the group of F-points of a F-split connected reductive group. In the apartment corresponding to a chosen maximal…

We give a necessary and sufficient condition for two Hopf algebras presented as central extensions to be isomorphic, in a suitable setting. We then study the question of isomorphism between the Hopf algebras constructed in 0707.0070v1 as…

Let $G$ be a complex connected reductive algebraic group and let $G_{\mathbb{R}}$ be a real form of $G$. We construct a sequence of functors $L_i\mathcal{R}$ from admissible (resp. finite-length) representations of $G$ to admissible (resp.…

Let $G$ be a semisimple Lie group. We describe the irreducible representations of $G$ by linear isometries on $L_p$-spaces for $p\in (1,+\infty)$ with $p\neq 2.$ More precisely, we show that, for every such representation $\pi,$ there…