相关论文: Trace Formulas on Finite Groups

In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers.

In the present article we study the following problem. Let G be a linear algebraic group over Q, $\Gamma$ be an arithmetic lattice and H be an observable Q-subgroup. There is a H-invariant measure $\mu_H$ supported on the closed submanifold…

A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods…

Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and…

In math.RT/0302174 we developed a framework to study representations of groups of the form $G((t))$, where $G$ is an algebraic group over a local field $K$. The main feature of this theory is that natural representations of groups of this…

Let $\Gamma$ be a countable abelian semigroup and $A$ be a countable abelian group satisfying a certain finiteness condition. Suppose that a group $G$ acts on a $(\Gamma \times A)$-graded Lie superalgebra ${\frak L}=\bigoplus_{(\alpha,a)…

Given a $p$-adic group $G$ equipped with an action of a finite group $\Gamma\subset\mathrm{Aut}_F(\mathbf{G})$, and a reductive fixed-point subgroup $G^\Gamma$, we establish a relationship between constructions of types for these two groups…

Given a von Neumann algebra $M$ with a faithful normal finite trace, we introduce the so called finite tracial algebra $M_f$ as the intersection of $L_p$-spaces $L_p(M, \mu)$ over all $p \geq 1$ and over all faithful normal finite traces…

Given $d_1,\ldots,d_k$ in the field $F$, there is a weighted trace function $F^k\rightarrow F$ given by $tr(x_1,\ldots,x_k)=\sum d_ix_i$. We prove that $F^k$ satisfies trace identities of the forms $\alpha(d_1,\ldots,d_k) x^N=$ a linear…

We establish a $q$-analog of our recent work on vertex representations and the McKay correspondence. For each finite group $\Gamma$ we construct a Fock space and associated vertex operators in terms of wreath products of $\Gamma\times…

This paper determines the group of continuous invariants corresponding to an inner function $ \Theta $ with finitely many singularities on the unit circle $T$; that is, the continuous mappings $g: T \to T$ such that $\Theta \circ g = \Theta…

In this paper we study stable finiteness of ample groupoid algebras with applications to inverse semigroup algebras and Leavitt path algebras, recovering old results and proving some new ones. In addition, we develop a theory of (faithful)…

Let $X$ and $\mathfrak{a}$ be an affine scheme and (respectively) a finite-dimensional associative algebra over an algebraically-closed field $\Bbbk$, both equipped with actions by a linearly-reductive linear algebraic group $G$. We…

Let $G$ be a finite group and $K$ a splitting field of $G$ of characteristic $p>0$. Denote by $KG$ the group algebra of $G$ over $K$ and $Z(KG)$ the center of $KG$. Let $V_G$ be the $K$-subspace of trace-zero elements of $KG$. We give some…

Let $\Gamma_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $\Phi_f(G)$ denote the intersection of all maximal subgroups of finite index in…

Assume that $G$ is a finite group. For every $a, b \in\mathbb N,$ we define a graph $\Gamma_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and $(y_1,\dots,y_b)$ are adjacent if…

To $2$-categorify the theory of group representations, we introduce the notions of the $3$-representation of a group in a strict $3$-category and the strict $2$-categorical action of a group on a strict $2$-category. We also $2$-categorify…

This paper is a survey article on the limiting behavior of the discrete spectrum of the right regular representation in $L^2(\Gamma\bs G)$ for a lattice $\Gamma$ in a reductive group $G$ over a number field. We discuss various aspects of…

Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Recently, trace specification logics with fixed points that are…

In this short paper, we give a complete and affirmative answer to a conjecture on matrix trace inequalities for the sum of positive semidefinite matrices. We also apply the obtained inequality to derive a kind of generalized Golden-Thompson…