Related papers: Eichler orders, trees and Representation Fields
Let G be a group of order 8 and F an algebraically closed field with char= 2. In this paper we compute the number of n degree representations of G and subsequent dimensions of the corresponding spaces of invatiant bilinear forms over the…
Maximal Orders over an algebra are a generalization of the concept of a Dedekind domain. The definition given in Maximal Orders by Reiner, assumes that the field over which the algebra is defined is in the center of the order. Since we want…
In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the…
Let $A$ be a finite-dimensional division algebra containing a base field $k$ in its center $F$. We say that $A$ is defined over a subfield $F_0$ of $F$ if $A = A_0\otimes_{F_0} F$ for some $F_0$-subalgebra $A_0$ of $A$. We show that: (1) In…
We extend our previous computations for the relative positions of branches of quaternions to the case of local fields of even characteristic. This is a key step to understand the set of maximal orders containing a given suborder, which is…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
An element w of a Weyl group W is called elliptic if it has no eigenvalue 1 in the standard reflection representation. We determine the order of any representative g in a semisimple algebraic group G of an elliptic element w in the…
Let $D$ be a division algebra over a field $F$. In this paper, we prove that there exist $a,b,x,y\in D^*$ such that $F(ab-ba)$ and $F(xyx^{-1}y^{-1})$ are maximal subfields of $D$, which answers questions posted in [5].
In this paper, we define and study a kind of Steinberg representation for linear algebraic groups of a particular kind, called groups of parahoric type, defined overa finite field; in particular, when G is the group of F-points of a…
A permutation representation of a Coxeter group $W$ naturally defines an absolute order. This family of partial orders (which includes the absolute order on $W$) is introduced and studied in this paper. Conditions under which the associated…
We investigate the mod-$p$ supersingular representations of $GL_2(D)$, where $D$ is a division algebra over a $p$-adic field with characteristic 0, by computing a basis for the vector space of the pro-$p$ Iwahori subgroup invariants of a…
Let $F$ be a local field over $\mathbf{Q}_p$ or $\mathbf{F}_p((t))$, and let $D$ be a central simple division algebra over $F$ of degree $d$. In the $p$-adic case, we assume $p>de+1$ where $e$ is the ramification degree over $\mathbf{Q}_p$;…
We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in…
Let G be a connected reductive group over a field of characteristic zero, and consider an orthogonal representation of G. We give a simple criterion for whether the representation lifts to the spin group, in terms of the highest weights of…
Let K be a simplicial complex with vertex set V = {v_1,..., v_n}. The complex K is d-representable if there is a collection {C_1,...,C_n} of convex sets in R^d such that a subcollection {C_{i_1},...,C_{i_j}} has a nonempty intersection if…
Let $\mathbb{F}_p$ be the prime field of order $p>0$ and $G$ be an elementary abelian $p$-group.For some $n$-dimensional cohyperplane $G$-representations $V$ over $\mathbb{F}_p$, we show that $\mathbb{F}_p[V\oplus V^*]^G$, the invariant…
Let $G$ be a simple graph. A dissociation set of $G$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most 1. A dissociation set is maximal if it is not contained as a proper subset in any…
It is proved that there exist a vector representation of Dirac's spinor field and in one sense it is equivalent to biquaternion (i.e. complexified quaternion) representation. This can be considered as a generalization of Cartan's idea of…
We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C \subseteq K if, and only if, there exists a transduction {\tau} such that C\subseteq{\tau}(K).…
The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple…