Representations and cohomologies of the alternating group of degree 4

Yuriy Drozd,Andriana Plakosh

2024-04-14

Abstract:We describe integral representations of the alternating group $A_4$, in particular, the Auslander-Reiten quiver of its 2-adic representations.

Representation Theory,Group Theory

What problem does this paper attempt to address?

A strong characterization of the entries of the Burau matrices of $4$-braids: The Burau representation of the braid group $B_4$ is faithful almost everywhere

Amitesh Datta

DOI: https://doi.org/10.48550/arXiv.2209.10826

2022-09-22

Abstract:We establish strong constraints on the kernel of the (reduced) Burau representation $\beta_4:B_4\to \text{GL}_3\left(\mathbb{Z}\left[q^{\pm 1}\right]\right)$ of the braid group $B_4$. We develop a theory to explicitly determine the entries of the Burau matrices of braids in $B_4$, and this is an important step toward demonstrating that $\beta_4$ is faithful (a longstanding question posed in the 1930s). The theory is based on a novel combinatorial interpretation of $\beta_4\left(g\right)$, in terms of the Garside normal form of $g\in B_4$ and a new product decomposition of positive braids. We develop cancellation results for words in matrix groups to show that if $\sigma$ is a generic positive braid in $B_4$ and if $t\neq 2$ is a prime number, then the leading coefficients in at least one row of the matrix $\beta_4\left(\sigma\right)$ are non-zero modulo $t$. We exploit these cancellation results to deduce that the Burau representation of $B_4$ is faithful almost everywhere.

Representation Theory,Group Theory,Geometric Topology,Quantum Algebra
On the Eisenstein Cohomology of Arithmetic Groups

JS Li,J Schwermer

DOI: https://doi.org/10.1215/s0012-7094-04-12315-2

2004-01-01

Duke Mathematical Journal

Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.
On Borel–de Siebenthal Representations

Jing-Song Huang,Yongzhi Luan,Binyong Sun

DOI: https://doi.org/10.1093/imrn/rnx304

2018-01-01

International Mathematics Research Notices

Abstract:Holomorphic representations are lowest weight representations for simple Lie groups of Hermitian type and have been studied extensively. Inspired by the work of Kobayashi on discrete series for indefinite Stiefel manifolds, Gross-Wallach on quaternonic discrete series and their analytic continuation, and Orsted-Wolf on Borel-de Siebenthal discrete series, we define and study Borel-de Siebenthal representations (also called quasi-holomorphic representations) associated with Borel-de Siebenthal root systems for simple Lie groups of non-Hermitian type.
Representations of symmetric and alternating groups and their double covers that remain irreducible modulo every prime

Matthew Fayers,Lucia Morotti

2024-10-28

Abstract:We classify globally irreducible representations of alternating groups and double covers of symmetric and alternating groups. In order to achieve this classification we also completely characterise irreducible representations of such groups which reduce almost homogeneously in every characteristic. This also allows us to classify irreducible representations that remain irreducible in every characteristic as well as irreducible representations of these groups that can appear as composition factors of globally irreducible representations of groups containing $\mathfrak{A}_n$ or $\hat{\mathfrak{A}}_n$ as normal subgroups. In particular we show that, apart from finitely many exceptions, for any of these questions such representations are either $1$-dimensional or basic spin representations.

Representation Theory
Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

Avner Ash,Paul E. Gunnells,Mark McConnell

2024-05-13

Abstract:We extend the computations in our prior work to find the cohomology in degree five of a congruence subgroup Gamma of SL_4(Z) with coefficients in Sym^g(K^4), twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In this paper we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce the unique Galois representation that appears to be attached to it. The computations require modifications to our previous algorithms to accommodate the fact that the coefficients are not one-dimensional.

Number Theory
$\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{Z}/24$

Theo Johnson-Freyd,David Treumann

DOI: https://doi.org/10.48550/arXiv.1707.07587

2017-07-24

Group Theory

Abstract:We show that the fourth integral cohomology of Conway's group $\mathrm{Co}_0$ is a cyclic group of order $24$, generated by the first fractional Pontryagin class of the $24$-dimensional representation.
Abstract representation theory of Dynkin quivers of type A

Moritz Groth,Jan Stovicek

DOI: https://doi.org/10.1016/j.aim.2016.02.018

2014-09-17

Abstract:We study the representation theory of Dynkin quivers of type A in abstract stable homotopy theories, including those associated to fields, rings, schemes, differential-graded algebras, and ring spectra. Reflection functors, (partial) Coxeter functors, and Serre functors are defined in this generality and these equivalences are shown to be induced by universal tilting modules, certain explicitly constructed spectral bimodules. In fact, these universal tilting modules are spectral refinements of classical tilting complexes. As a consequence we obtain split epimorphisms from the spectral Picard groupoid to derived Picard groupoids over arbitrary fields. These results are consequences of a more general calculus of spectral bimodules and admissible morphisms of stable derivators. As further applications of this calculus we obtain examples of universal tilting modules which are new even in the context of representations over a field. This includes Yoneda bimodules on mesh categories which encode all the other universal tilting modules and which lead to a spectral Serre duality result. Finally, using abstract representation theory of linearly oriented $A_n$-quivers, we construct canonical higher triangulations in stable derivators and hence, a posteriori, in stable model categories and stable $\infty$-categories.

Algebraic Topology,Algebraic Geometry,Category Theory,Representation Theory
Cambrian combinatorics on quiver representations (type A)

Emily Barnard,Emily Gunawan,Emily Meehan,Ralf Schiffler

DOI: https://doi.org/10.1016/j.aam.2022.102428

IF: 1.271

2023-02-01

Advances in Applied Mathematics

Abstract:This paper presents a geometric model of the Auslander–Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid representations and use our new geometric model to show that this partial order is a Cambrian lattice.

mathematics, applied
Alternating cochains on Furstenberg boundaries and measurable cohomology

Michelle Bucher,Alessio Savini

2024-04-10

Abstract:Nicolas Monod showed that the evaluation map $$H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the measurable cohomology of $G$ is surjective with a non-trivial kernel in all degrees below a constant depending on $G$ and less than or equal to the rank of $G$ plus $2$. When we were looking for explicit representatives of classes in this kernel, we were astonished to discover that some of these nontrivial classes have trivial alternation. In this paper, we refine Monod's result by identifying the non-alternating and alternating cohomology classes in this kernel. As a consequence, we show that $H^*_m(G)$ is isomorphic to the alternating measurable cohomology of $G$ acting on $G/P$ in all even degrees $$H^{2k}_{m,\mathrm{alt}}(G\curvearrowright G/P)\cong H^{2k}_m(G),$$ for a majority of Lie groups, namely those for which the longest element of the Weyl group acts as $-1$ on the Lie algebra of a maximal split torus $A$ in $G$.

K-Theory and Homology
On homological properties of the category of $\mathbb{F}_1$-representations over a linear quiver of type $\mathbb{A}_n$

Changjian Fu,Longjun Ran,Liang Yang

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.034

2024-02-14

Abstract:Let $Q$ be a quiver of type $\mathbb{A}_n$ with linear orientation and $\operatorname{rep}(Q,\mathbb{F}_1)$ the category of representations of $Q$ over the virtual field $\mathbb{F}_1$.It is proved that $\operatorname{rep}(Q,\mathbb{F}_1)$ has global dimension $2$ whenever $n\geq 3$ and it is hereditary if $n\leq 2$. As a consequence, the Euler form $\langle L, M\rangle=\sum_{i=0}^\infty (-1)^i\operatorname{dim} \operatorname{Ext}^i(L,M)$ is well-defined. However, it does not descend to the Grothendieck group of $\operatorname{rep}(Q,\mathbb{F}_1)$. This yields negative answers to questions raised by Szczesny in [IMRN, Vol. 2012, No. 10, pp. 237-2404].

Representation Theory,Category Theory,Rings and Algebras
Representations as elements in affine composition algebras

Pu Zhang

DOI: https://doi.org/10.1090/S0002-9947-00-02613-1

IF: 1.3529

2001-01-01

Transactions of the American Mathematical Society

Abstract:Let A be the path algebra of a Euclidean quiver over a finite field k. The aim of this paper is to classify the modules M with the property [M] is an element of C (A), where C (A) is Ringel's composition algebra. Namely, the main result says that if \k\ not equal 2; 3, then [M] is an element of C (A) if and only if the regular direct summand of M is a direct sum of modules from non-homogeneous tubes with quasi-dimension vectors non-sincere. The main methods are representation theory of affine quivers, the structure of triangular decompositions of tame composition algebras, and the invariant subspaces of skew derivations. As an application, we see that C (A) = H (A) if and only if the quiver of A is of Dynkin type.
Quandle Cohomology Quiver Representations

Sam Nelson

2024-11-04

Abstract:We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of coefficient ring $k$ and set of quandle endomorphisms $S\subset \mathrm{Hom}(X,X)$. From this representation we define four new polynomial (or ``polynomial'' depending on $A$) invariants. We generalize to the case of biquandles and compute some examples.

Geometric Topology,Quantum Algebra
Indecomposable Hopf $*$-algebra representations with invariant inner product

Quinn T. Kolt,Ziqian Zhao

2024-11-03

Abstract:We generalize a result of Araki (1985) on indecomposable group representations with invariant (necessarily indefinite) inner product and irreducible subrepresentation to Hopf $*$-algebras. Moreover, we characterize invariant inner products on the projective indecomposable representations of small quantum groups $U_qsl(2)$ at odd roots of unity and on the indecomposable representations of generalized Taft algebras $H_{n,d}(q)$.

Quantum Algebra
Even Galois representations and the cohomology of GL(2,Z)

Avner Ash,Darrin Doud

DOI: https://doi.org/10.48550/arXiv.1702.07417

2017-02-24

Abstract:Let $\rho$ be a two-dimensional even Galois representation which is induced from a character $\chi$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $\chi$, we attach $\rho$ to a Hecke eigenclass in the cohomology of ${\rm GL}(2,\mathbb Z)$ with coefficients in a certain infinite-dimensional vector space over a field of characteristic not equal to 2.

Number Theory
Invariants cohomologiques mod 2 et invariants de Witt des groupes alternés

Jean-Pierre Serre

2024-01-23

Abstract:We determine the cohomological invariants and the Witt invariants of the alternating group $A_n$.

Group Theory
The Representations of the Coordinate Ring of the Quantum Symplectic Space

HC Zhang

DOI: https://doi.org/10.1016/s0022-4049(99)00023-7

IF: 0.834

2000-01-01

Journal of Pure and Applied Algebra

Abstract:In this paper, the irreducible representations of the coordinate ring Oq(spC2n) of quantum symplectic space are classified. Especially, the De Concini–Kac–Procesi conjecture is proved to be true for this algebra. The main steps are the computation of the center and the degree of the algebra Oq(spC2n) by using the associated quasipolynomial algebra Oq(spC2n), find some “good” points in the underlying symplectic leaves and construct some quasipolynomial algebras correspond to these “good” points.
Enumerating representations of general unitary groups over principal ideal rings of length 2

Matthew Levy

DOI: https://doi.org/10.48550/arXiv.1602.04087

IF: 0.6

2016-02-12

Representation Theory

Abstract:We enumerate the number of complex irreducible representations of each degree of general unitary groups of degree 4 over principal ideal rings of length 2.
Representation Rings of Classical Groups and Hopf Algebras

J Zhou

DOI: https://doi.org/10.1142/s0129167x03001922

2003-01-01

International Journal of Mathematics

Abstract:We prove a double coset formula for induced representations of compact Lie groups. We apply it to the representation rings of unitary and symplectic groups to obtain Hopf algebras. We also construct a Heisenberg algebra representation based on the restiction and induction of representations of unitary groups.
On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Yongquan Hu,Haoran Wang

2024-05-28

Abstract:Let $F$ be a totally real field in which $p$ is unramified and $B$ be a quaternion algebra which splits at at most one infinite place. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $ \mathbb{Q}_p$ and $\overline{r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb{Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand-Kirillov dimension $1$. As an application we prove that the degree two Scholze's functor vanishes on supersingular representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We also prove some finer structure theorem about the image of Scholze's functor in the reducible case.

Number Theory,Representation Theory

Representations and cohomologies of the alternating group of degree 4

A strong characterization of the entries of the Burau matrices of $4$-braids: The Burau representation of the braid group $B_4$ is faithful almost everywhere

On the Eisenstein Cohomology of Arithmetic Groups

On Borel–de Siebenthal Representations

Representations of symmetric and alternating groups and their double covers that remain irreducible modulo every prime

Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

$\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{Z}/24$

Abstract representation theory of Dynkin quivers of type A

Cambrian combinatorics on quiver representations (type A)

Alternating cochains on Furstenberg boundaries and measurable cohomology

On homological properties of the category of $\mathbb{F}_1$-representations over a linear quiver of type $\mathbb{A}_n$

Representations as elements in affine composition algebras

Quandle Cohomology Quiver Representations

Indecomposable Hopf $*$-algebra representations with invariant inner product

Even Galois representations and the cohomology of GL(2,Z)

Invariants cohomologiques mod 2 et invariants de Witt des groupes alternés

The Representations of the Coordinate Ring of the Quantum Symplectic Space

Enumerating representations of general unitary groups over principal ideal rings of length 2

Representation Rings of Classical Groups and Hopf Algebras

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$