Related papers: Frames of translates for number-theoretic groups
This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an…
In this paper, we provide proofs for the analytic characterization theorems of the operator symbols utilizing the characterization theorem for the Mittag-Leffler distribution space.We work out examples which can be interpreted as integral…
For G a compact Lie group, toral G-spectra are those rational G-spectra whose geometric isotropy consists of subgroups of a maximal torus of G. The homotopy category of rational toral G-spectra is a retract of the category of all rational…
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational…
Let $G \subseteq \tilde{G}$ be two quasisplit connected reductive groups over a local field of characteristic zero and $G_{der} = \tilde{G}_{der}$. Although the existence of L-packets is still conjectural in general, it is believed that the…
This article is an extended version of the talk given by the author in the seminar Th\'eorie Spectrale et G\'eom\'etrie at the Institut Fourier in March 2022. We present some results from the author's doctoral thesis, extended by several…
The assignment of local observables in the vacuum sector, fulfilling the standard axioms of local quantum theory, is known to determine uniquely a compact group G of gauge transformations of the first kind together with a central involutive…
We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real…
Let $F$ be an arbitrary $p$-adic field and let $G$ be an arbitrary reductive group over $F$ with Langlands dual group $^LG$. We show that the change-of-group morphism of Emerton-Gee stacks $\mathcal{X}_{^LG}\to\mathcal{X}_{GL_d}$ is…
In the theory of finite groups, the irreducible representations of G over a field F are classified into blocks based on a direct decompositions of the group algebra FG. This gives a natural decomposition of FG-modules into direct summands,…
The canonical trace on the reduced C*-algebra of a discrete group gives rise to a homomorphism from the K-theory of this C^*-algebra to the real numbers. This paper addresses the range of this homomorphism. For torsion free groups, the…
Let F be a non-archimedean local field with residue characteristic p. Let l be a prime number different from p. Let G be a connected reductive group which is split, semi-simple, and simply connected. On the one hand, we describe the…
We present a general algebraic framework for gauging a 0-form compact, connected Lie group symmetry in (2+1)d topological phases. Starting from a symmetry fractionalization pattern of the Lie group $G$, we first extend $G$ to a larger…
In this series of papers, we investigate properties of a finite group which are determined by its low degree irreducible representations over a number field $F$, i.e. its representations on matrix rings $\operatorname{M}_n(D)$ with $n \leq…
The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper…
Let F be a local field of characteristic 0. The Breuil-Schneider conjecture for GL_2(F) predicts which locally algebraic representations of this group admit an integral structure. We extend the methods of [K-dS12], which treated smooth…
Let $G$ be a finite group acting linearly on a vector space $V$. We consider the linear symmetry groups $\operatorname{GL}(Gv)$ of orbits $Gv\subseteq V$, where the \emph{linear symmetry group} $\operatorname{GL}(S)$ of a subset $S\subseteq…
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definability of ML(U^+) relative to finite transitive frames in the…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
The notion of commutator width of a group, defined as the smallest number of commutators needed to represent each element of the derived group as their product, has been extensively studied over the past decades. In particular, in 1992…