location:  Publications → journals
Search results

Search: MSC category 20 ( Group theory and generalizations )

 Expand all        Collapse all Results 1 - 25 of 71

1. CJM Online first

Ashraf, Samia; Azam, Haniya; Berceanu, Barbu
 Representation stability of power sets and square free polynomials The symmetric group $\mathcal{S}_n$ acts on the power set $\mathcal{P}(n)$ and also on the set of square free polynomials in $n$ variables. These two related representations are analyzed from the stability point of view. An application is given for the action of the symmetric group on the cohomology of the pure braid group. Keywords:symmetric group modules, square free polynomials, representation stability, Arnold algebraCategories:20C30, 13A50, 20F36, 55R80

2. CJM Online first

Graham, Robert; Pichot, Mikael
 A Free Product Formula for the Sofic Dimension It is proved that if $G=G_1*_{G_3}G_2$ is free product of probability measure preserving $s$-regular ergodic discrete groupoids amalgamated over an amenable subgroupoid $G_3$, then the sofic dimension $s(G)$ satisfies the equality $s(G)=\mathfrak{h}(G_1^0)s(G_1)+\mathfrak{h}(G_2^0)s(G_2)-\mathfrak{h}(G_3^0)s(G_3)$ where $\mathfrak{h}$ is the normalized Haar measure on $G$. Keywords:sofic groups, dynamical systems, orbit equivalence, free entropyCategory:20E06

3. CJM 2014 (vol 66 pp. 1201)

Adler, Jeffrey D.; Lansky, Joshua M.
 Lifting Representations of Finite Reductive Groups I: Semisimple Conjugacy Classes Suppose that $\tilde{G}$ is a connected reductive group defined over a field $k$, and $\Gamma$ is a finite group acting via $k$-automorphisms of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the identity component of the group of $\Gamma$-fixed points in $\tilde{G}$ is reductive. We axiomatize the main features of the relationship between this fixed-point group and the pair $(\tilde{G},\Gamma)$, and consider any group $G$ satisfying the axioms. If both $\tilde{G}$ and $G$ are $k$-quasisplit, then we can consider their duals $\tilde{G}^*$ and $G^*$. We show the existence of and give an explicit formula for a natural map from the set of semisimple stable conjugacy classes in $G^*(k)$ to the analogous set for $\tilde{G}^*(k)$. If $k$ is finite, then our groups are automatically quasisplit, and our result specializes to give a map of semisimple conjugacy classes. Since such classes parametrize packets of irreducible representations of $G(k)$ and $\tilde{G}(k)$, one obtains a mapping of such packets. Keywords:reductive group, lifting, conjugacy class, representation, Lusztig seriesCategories:20G15, 20G40, 20C33, 22E35

4. CJM Online first

McReynolds, D. B.
 Geometric Spectra and Commensurability The work of Reid, Chinburg-Hamilton-Long-Reid, Prasad-Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic manifold. The main results of this article show that generalizations of these results to other arithmetic manifolds will require a wide range of data. Specifically, we prove that certain incommensurable arithmetic manifolds arising from the semisimple Lie groups of the form $(\operatorname{SL}(d,\mathbf{R}))^r \times (\operatorname{SL}(d,\mathbf{C}))^s$ have the same commensurability classes of totally geodesic submanifolds coming from a fixed field. This construction is algebraic and shows the failure of determining, in general, a central simple algebra from subalgebras over a fixed field. This, in turn, can be viewed in terms of forms of $\operatorname{SL}_d$ and the failure of determining the form via certain classes of algebraic subgroups. Keywords:arithmetic groups, Brauer groups, arithmetic equivalence, locally symmetric manifoldsCategory:20G25

5. CJM Online first

Santoprete, Manuele; Scheurle, Jürgen; Walcher, Sebastian
 Motion in a Symmetric Potential on the Hyperbolic Plane We study the motion of a particle in the hyperbolic plane (embedded in Minkowski space), under the action of a potential that depends only on one variable. This problem is the analogous to the spherical pendulum in a unidirectional force field. However, for the discussion of the hyperbolic plane one has to distinguish three inequivalent cases, depending on the direction of the force field. Symmetry reduction, with respect to groups that are not necessarily compact or even reductive, is carried out by way of Poisson varieties and Hilbert maps. For each case the dynamics is discussed, with special attention to linear potentials. Keywords:Hamiltonian systems with symmetry, symmetries, non-compact symmetry groups, singular reductionCategories:37J15, 70H33, 70F99, 37C80, 34C14, , 20G20

6. CJM 2013 (vol 66 pp. 323)

Hohlweg, Christophe; Labbé, Jean-Philippe; Ripoll, Vivien
 Asymptotical behaviour of roots of infinite Coxeter groups Let $W$ be an infinite Coxeter group. We initiate the study of the set $E$ of limit points of normalized'' roots (representing the directions of the roots) of W. We show that $E$ is contained in the isotropic cone $Q$ of the bilinear form $B$ associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank $3$ and $4$. We also define a natural geometric action of $W$ on $E$, and then we exhibit a countable subset of $E$, formed by limit points for the dihedral reflection subgroups of $W$. We explain how this subset is built from the intersection with $Q$ of the lines passing through two positive roots, and finally we establish that it is dense in $E$. Keywords:Coxeter group, root system, roots, limit point, accumulation setCategories:17B22, 20F55

7. CJM 2013 (vol 65 pp. 843)

Jonsson, Jakob
 3-torsion in the Homology of Complexes of Graphs of Bounded Degree For $\delta \ge 1$ and $n \ge 1$, consider the simplicial complex of graphs on $n$ vertices in which each vertex has degree at most $\delta$; we identify a given graph with its edge set and admit one loop at each vertex. This complex is of some importance in the theory of semigroup algebras. When $\delta = 1$, we obtain the matching complex, for which it is known that there is $3$-torsion in degree $d$ of the homology whenever $\frac{n-4}{3} \le d \le \frac{n-6}{2}$. This paper establishes similar bounds for $\delta \ge 2$. Specifically, there is $3$-torsion in degree $d$ whenever $\frac{(3\delta-1)n-8}{6} \le d \le \frac{\delta (n-1) - 4}{2}$. The procedure for detecting torsion is to construct an explicit cycle $z$ that is easily seen to have the property that $3z$ is a boundary. Defining a homomorphism that sends $z$ to a non-boundary element in the chain complex of a certain matching complex, we obtain that $z$ itself is a non-boundary. In particular, the homology class of $z$ has order $3$. Keywords:simplicial complex, simplicial homology, torsion group, vertex degreeCategories:05E45, 55U10, 05C07, 20K10

8. CJM 2013 (vol 66 pp. 481)

Aguiar, Marcelo; Mahajan, Swapneel
 On the Hadamard Product of Hopf Monoids Combinatorial structures that compose and decompose give rise to Hopf monoids in Joyal's category of species. The Hadamard product of two Hopf monoids is another Hopf monoid. We prove two main results regarding freeness of Hadamard products. The first one states that if one factor is connected and the other is free as a monoid, their Hadamard product is free (and connected). The second provides an explicit basis for the Hadamard product when both factors are free. The first main result is obtained by showing the existence of a one-parameter deformation of the comonoid structure and appealing to a rigidity result of Loday and Ronco that applies when the parameter is set to zero. To obtain the second result, we introduce an operation on species that is intertwined by the free monoid functor with the Hadamard product. As an application of the first result, we deduce that the Boolean transform of the dimension sequence of a connected Hopf monoid is nonnegative. Keywords:species, Hopf monoid, Hadamard product, generating function, Boolean transformCategories:16T30, 18D35, 20B30, 18D10, 20F55

9. CJM 2013 (vol 66 pp. 354)

Kellerhals, Ruth; Kolpakov, Alexander
 The Minimal Growth Rate of Cocompact Coxeter Groups in Hyperbolic 3-space Due to work of W. Parry it is known that the growth rate of a hyperbolic Coxeter group acting cocompactly on ${\mathbb H^3}$ is a Salem number. This being the arithmetic situation, we prove that the simplex group (3,5,3) has smallest growth rate among all cocompact hyperbolic Coxeter groups, and that it is as such unique. Our approach provides a different proof for the analog situation in ${\mathbb H^2}$ where E. Hironaka identified Lehmer's number as the minimal growth rate among all cocompact planar hyperbolic Coxeter groups and showed that it is (uniquely) achieved by the Coxeter triangle group (3,7). Keywords:hyperbolic Coxeter group, growth rate, Salem numberCategories:20F55, 22E40, 51F15

10. CJM 2013 (vol 66 pp. 205)

Iovanov, Miodrag Cristian
 Generalized Frobenius Algebras and Hopf Algebras "Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogue to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras; the first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual $Rat(C^*)$, in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra $A$ that is isomorphic to its complete topological dual $A^\vee$. We show that $A$ is a (quasi)Frobenius algebra if and only if $A$ is the dual $C^*$ of a (quasi)co-Frobenius coalgebra $C$. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept. Keywords:coalgebra, Hopf algebra, integral, Frobenius, QcF, co-FrobeniusCategories:16T15, 18G35, 16T05, 20N99, 18D10, 05E10

11. CJM 2011 (vol 64 pp. 241)

Allcock, Daniel
 Triangles of Baumslag-Solitar Groups Our main result is that many triangles of Baumslag-Solitar groups collapse to finite groups, generalizing a famous example of Hirsch and other examples due to several authors. A triangle of Baumslag-Solitar groups means a group with three generators, cyclically ordered, with each generator conjugating some power of the previous one to another power. There are six parameters, occurring in pairs, and we show that the triangle fails to be developable whenever one of the parameters divides its partner, except for a few special cases. Furthermore, under fairly general conditions, the group turns out to be finite and solvable of derived length $\leq3$. We obtain a lot of information about finite quotients, even when we cannot determine developability. Categories:20F06, 20F65

12. CJM 2011 (vol 64 pp. 409)

Rainer, Armin
 Lifting Quasianalytic Mappings over Invariants Let $\rho \colon G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\dots,\sigma_n$ be a system of generators of the algebra of invariant polynomials $\mathbb C[V]^G$. We study the problem of lifting mappings $f\colon \mathbb R^q \supseteq U \to \sigma(V) \subseteq \mathbb C^n$ over the mapping of invariants $\sigma=(\sigma_1,\dots,\sigma_n) \colon V \to \sigma(V)$. Note that $\sigma(V)$ can be identified with the categorical quotient $V /\!\!/ G$ and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass $\mathcal C \subseteq C^\infty$ satisfying some mild closedness properties that guarantee resolution of singularities in $\mathcal C$, e.g., the real analytic class, then $f$ admits a lift of the same class $\mathcal C$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift that belongs to $\operatorname{SBV}_{\operatorname{loc}}$, i.e., special functions of bounded variation. If $\rho$ is a real representation of a compact Lie group, we obtain stronger versions. Keywords:lifting over invariants, reductive group representation, quasianalytic mappings, desingularization, bounded variationCategories:14L24, 14L30, 20G20, 22E45

13. CJM 2011 (vol 63 pp. 1238)

Bump, Daniel; Nakasuji, Maki
 Casselman's Basis of Iwahori Vectors and the Bruhat Order W. Casselman defined a basis $f_u$ of Iwahori fixed vectors of a spherical representation $(\pi, V)$ of a split semisimple $p$-adic group $G$ over a nonarchimedean local field $F$ by the condition that it be dual to the intertwining operators, indexed by elements $u$ of the Weyl group $W$. On the other hand, there is a natural basis $\psi_u$, and one seeks to find the transition matrices between the two bases. Thus, let $f_u = \sum_v \tilde{m} (u, v) \psi_v$ and $\psi_u = \sum_v m (u, v) f_v$. Using the Iwahori-Hecke algebra we prove that if a combinatorial condition is satisfied, then $m (u, v) = \prod_{\alpha} \frac{1 - q^{- 1} \mathbf{z}^{\alpha}}{1 -\mathbf{z}^{\alpha}}$, where $\mathbf z$ are the Langlands parameters for the representation and $\alpha$ runs through the set $S (u, v)$ of positive coroots $\alpha \in \hat{\Phi}$ (the dual root system of $G$) such that $u \leqslant v r_{\alpha} < v$ with $r_{\alpha}$ the reflection corresponding to $\alpha$. The condition is conjecturally always satisfied if $G$ is simply-laced and the Kazhdan-Lusztig polynomial $P_{w_0 v, w_0 u} = 1$ with $w_0$ the long Weyl group element. There is a similar formula for $\tilde{m}$ conjecturally satisfied if $P_{u, v} = 1$. This leads to various combinatorial conjectures. Keywords:Iwahori fixed vector, Iwahori Hecke algebra, Bruhat order, intertwining integralsCategories:20C08, 20F55, 22E50

14. CJM 2011 (vol 63 pp. 1307)

Dimitrov, Ivan; Penkov, Ivan
 A Bott-Borel-Weil Theorem for Diagonal Ind-groups A diagonal ind-group is a direct limit of classical affine algebraic groups of growing rank under a class of inclusions that contains the inclusion $$SL(n)\to SL(2n), \quad M\mapsto \begin{pmatrix}M & 0 \\ 0 & M \end{pmatrix}$$ as a typical special case. If $G$ is a diagonal ind-group and $B\subset G$ is a Borel ind-subgroup, we consider the ind-variety $G/B$ and compute the cohomology $H^\ell(G/B,\mathcal{O}_{-\lambda})$ of any $G$-equivariant line bundle $\mathcal{O}_{-\lambda}$ on $G/B$. It has been known that, for a generic $\lambda$, all cohomology groups of $\mathcal{O}_{-\lambda}$ vanish, and that a non-generic equivariant line bundle $\mathcal{O}_{-\lambda}$ has at most one nonzero cohomology group. The new result of this paper is a precise description of when $H^j(G/B,\mathcal{O}_{-\lambda})$ is nonzero and the proof of the fact that, whenever nonzero, $H^j(G/B, \mathcal{O}_{-\lambda})$ is a $G$-module dual to a highest weight module. The main difficulty is in defining an appropriate analog $W_B$ of the Weyl group, so that the action of $W_B$ on weights of $G$ is compatible with the analog of the Demazure action" of the Weyl group on the cohomology of line bundles. The highest weight corresponding to $H^j(G/B, \mathcal{O}_{-\lambda})$ is then computed by a procedure similar to that in the classical Bott-Borel-Weil theorem. Categories:22E65, 20G05

15. CJM 2010 (vol 63 pp. 413)

 Generating Functions for Hecke Algebra Characters Certain polynomials in $n^2$ variables that serve as generating functions for symmetric group characters are sometimes called ($S_n$) character immanants. We point out a close connection between the identities of Littlewood--Merris--Watkins and Goulden--Jackson, which relate $S_n$ character immanants to the determinant, the permanent and MacMahon's Master Theorem. From these results we obtain a generalization of Muir's identity. Working with the quantum polynomial ring and the Hecke algebra $H_n(q)$, we define quantum immanants that are generating functions for Hecke algebra characters. We then prove quantum analogs of the Littlewood--Merris--Watkins identities and selected Goulden--Jackson identities that relate $H_n(q)$ character immanants to the quantum determinant, quantum permanent, and quantum Master Theorem of Garoufalidis--L\^e--Zeilberger. We also obtain a generalization of Zhang's quantization of Muir's identity. Keywords:determinant, permanent, immanant, Hecke algebra character, quantum polynomial ringCategories:15A15, 20C08, 81R50

16. CJM 2010 (vol 62 pp. 1310)

Lee, Kyu-Hwan
 Iwahori--Hecke Algebras of $SL_2$ over $2$-Dimensional Local Fields In this paper we construct an analogue of Iwahori--Hecke algebras of $\operatorname{SL}_2$ over $2$-dimensional local fields. After considering coset decompositions of double cosets of a Iwahori subgroup, we define a convolution product on the space of certain functions on $\operatorname{SL}_2$, and prove that the product is well-defined, obtaining a Hecke algebra. Then we investigate the structure of the Hecke algebra. We determine the center of the Hecke algebra and consider Iwahori--Matsumoto type relations. Categories:22E50, 20G25

17. CJM 2010 (vol 62 pp. 481)

Casals-Ruiz, Montserrat; Kazachkov, Ilya V.
 Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups The first main result of the paper is a criterion for a partially commutative group $\mathbb G$ to be a domain. It allows us to reduce the study of algebraic sets over $\mathbb G$ to the study of irreducible algebraic sets, and reduce the elementary theory of $\mathbb G$ (of a coordinate group over $\mathbb G$) to the elementary theories of the direct factors of $\mathbb G$ (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group $\mathbb H$. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of $\mathbb H$ has quantifier elimination and that arbitrary first-order formulas lift from $\mathbb H$ to $\mathbb H\ast F$, where $F$ is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable. Categories:20F10, 03C10, 20F06

18. CJM 2009 (vol 62 pp. 34)

Campbell, Peter S.; Nevins, Monica
 Branching Rules for Ramified Principal Series Representations of $\mathrm{GL}(3)$ over a $p$-adic Field We decompose the restriction of ramified principal series representations of the $p$-adic group $\mathrm{GL}(3,\mathrm{k})$ to its maximal compact subgroup $K=\mathrm{GL}(3,R)$. Its decomposition is dependent on the degree of ramification of the inducing characters and can be characterized in terms of filtrations of the Iwahori subgroup in $K$. We establish several irreducibility results and illustrate the decomposition with some examples. Keywords:principal series representations, branching rules, maximal compact subgroups, representations of $p$-adic groupsCategories:20G25, 20G05

19. CJM 2009 (vol 61 pp. 950)

Tange, Rudolf
 Infinitesimal Invariants in a Function Algebra Let $G$ be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let $\g$ be its Lie algebra. First we extend a well-known result about the Picard group of a semi-simple group to reductive groups. Then we prove that if the derived group is simply connected and $\g$ satisfies a mild condition, the algebra $K[G]^\g$ of regular functions on $G$ that are invariant under the action of $\g$ derived from the conjugation action is a unique factorisation domain. Categories:20G15, 13F15

20. CJM 2009 (vol 61 pp. 740)

Caprace, Pierre-Emmanuel; Haglund, Frédéric
 On Geometric Flats in the CAT(0) Realization of Coxeter Groups and Tits Buildings Given a complete CAT(0) space $X$ endowed with a geometric action of a group $\Gamma$, it is known that if $\Gamma$ contains a free abelian group of rank $n$, then $X$ contains a geometric flat of dimension $n$. We prove the converse of this statement in the special case where $X$ is a convex subcomplex of the CAT(0) realization of a Coxeter group $W$, and $\Gamma$ is a subgroup of $W$. In particular a convex cocompact subgroup of a Coxeter group is Gromov-hyperbolic if and only if it does not contain a free abelian group of rank 2. Our result also provides an explicit control on geometric flats in the CAT(0) realization of arbitrary Tits buildings. Keywords:Coxeter group, flat rank, $\cat0$ space, buildingCategories:20F55, 51F15, 53C23, 20E42, 51E24

21. CJM 2009 (vol 61 pp. 691)

Yu, Xiaoxiang
 Prehomogeneity on Quasi-Split Classical Groups and Poles of Intertwining Operators Suppose that $P=MN$ is a maximal parabolic subgroup of a quasisplit, connected, reductive classical group $G$ defined over a non-Archimedean field and $A$ is the standard intertwining operator attached to a tempered representation of $G$ induced from $M$. In this paper we determine all the cases in which $\Lie(N)$ is prehomogeneous under $\Ad(m)$ when $N$ is non-abelian, and give necessary and sufficient conditions for $A$ to have a pole at $0$. Categories:22E50, 20G05

22. CJM 2009 (vol 61 pp. 708)

Zelenyuk, Yevhen
 Regular Homeomorphisms of Finite Order on Countable Spaces We present a structure theorem for a broad class of homeomorphisms of finite order on countable zero dimensional spaces. As applications we show the following. \begin{compactenum}[\rm(a)] \item Every countable nondiscrete topological group not containing an open Boolean subgroup can be partitioned into infinitely many dense subsets. \item If $G$ is a countably infinite Abelian group with finitely many elements of order $2$ and $\beta G$ is the Stone--\v Cech compactification of $G$ as a discrete semigroup, then for every idempotent $p\in\beta G\setminus\{0\}$, the subset $\{p,-p\}\subset\beta G$ generates algebraically the free product of one-element semigroups $\{p\}$ and~$\{-p\}$. \end{compactenum} Keywords:Homeomorphism, homogeneous space, topological group, resolvability, Stone-\v Cech compactificationCategories:22A30, 54H11, 20M15, 54A05

23. CJM 2008 (vol 60 pp. 1001)

Cornulier, Yves de; Tessera, Romain; Valette, Alain
 Isometric Group Actions on Hilbert Spaces: Structure of Orbits Our main result is that a finitely generated nilpotent group has no isometric action on an infinite-dimensional Hilbert space with dense orbits. In contrast, we construct such an action with a finitely generated metabelian group. Keywords:affine actions, Hilbert spaces, minimal actions, nilpotent groupsCategories:22D10, 43A35, 20F69

24. CJM 2007 (vol 59 pp. 828)

Ortner, Ronald; Woess, Wolfgang
 Non-Backtracking Random Walks and Cogrowth of Graphs Let $X$ be a locally finite, connected graph without vertices of degree $1$. Non-backtracking random walk moves at each step with equal probability to one of the forward'' neighbours of the actual state, \emph{i.e.,} it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of $X$. Thus we obtain for infinite $X$ that the $n$-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when $X$ is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when $X$ is non-regular, but \emph{small cycles are dense in} $X$, we show that the graph $X$ is non-amenable if and only if the non-backtracking $n$-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen. Keywords:graph, oriented line grap, covering tree, random walk, cogrowth, amenabilityCategories:05C75, 60G50, 20F69

25. CJM 2007 (vol 59 pp. 449)

 $\SL_n$, Orthogonality Relations and Transfer Let $\pi$ be a square integrable representation of $G'=\SL_n(D)$, with $D$ a central division algebra of finite dimension over a local field $F$ \emph{of non-zero characteristic}. We prove that, on the elliptic set, the character of $\pi$ equals the complex conjugate of the orbital integral of one of the pseudocoefficients of~$\pi$. We prove also the orthogonality relations for characters of square integrable representations of $G'$. We prove the stable transfer of orbital integrals between $\SL_n(F)$ and its inner forms. Category:20G05