Representation Theory Of Groups Research Articles

The integrality of distance spectra of quasiabelian 2-Cayley graphs

A graph Γ is called an n-Cayley graph over a group G if there exists a semiregular subgroup of Aut(Γ) isomorphic to G with n orbits. In this paper, we first establish a decomposition formula for the distance spectra of n-Cayley graphs over arbitrary finite groups by using the lifted graphs, the matrix theory and the group representation theory. Secondly, we completely determine the distance splitting fields and the distance algebraic degrees of quasiabelian 2-Cayley graphs. Finally, we present some criteria for the distance integrality of quasiabelian 2-Cayley graphs. Moreover, we present some sufficient conditions for the equivalence between the integrality and the distance integrality of 2-Cayley graphs over abelian groups. We also give some sufficient conditions for the integrality of distance powers of 2-Cayley graphs over abelian groups. Our results generalize several previously known results.

Some two-weight codes invariant under the 3-fold covers of the Mathieu groups M22 and Aut(M22)

Using an approach from finite group representation theory we construct quaternary non-projective codes with parameters [Formula: see text], quaternary projective codes with parameters [Formula: see text] and [Formula: see text] and binary projective codes with parameters [Formula: see text] as examples of two-weight codes on which a finite almost quasisimple group of sporadic type acts transitively as permutation groups of automorphisms. In particular, we show that these codes are invariant under the [Formula: see text]-fold covers [Formula: see text] and [Formula: see text], respectively, of the Mathieu groups [Formula: see text] and [Formula: see text]. Employing a known construction of strongly regular graphs from projective two-weight codes we obtain from the binary projective (respectively, quaternary projective) two-weight codes with parameters those given above, the strongly regular graphs with parameters [Formula: see text] and [Formula: see text] respectively. The latter graph can be viewed as a [Formula: see text]-[Formula: see text]-symmetric design with the symmetric difference property whose residual and derived designs with respect to a block give rise to binary self-complementary codes meeting the Grey–Rankin bound with equality.

Computational aspects of Calogero–Moser spaces

We present a series of algorithms for computing geometric and representation-theoretic invariants of Calogero–Moser spaces and rational Cherednik algebras associated with complex reflection groups. In particular, we are concerned with Calogero–Moser families (which correspond to the mathbb {C}^times -fixed points of the Calogero–Moser space) and cellular characters (a proposed generalization by Rouquier and the first author of Lusztig’s constructible characters based on a Galois covering of the Calogero–Moser space). To compute the former, we devised an algorithm for determining generators of the center of the rational Cherednik algebra (this algorithm has several further applications), and to compute the latter we developed an algorithmic approach to the construction of cellular characters via Gaudin operators. We have implemented all our algorithms in the Cherednik Algebra Magma Package by the second author and used this to confirm open conjectures in several new cases. As an interesting application in birational geometry we are able to determine for many exceptional complex reflection groups the chamber decomposition of the movable cone of a mathbb {Q}-factorial terminalization (and thus the number of non-isomorphic relative minimal models) of the associated symplectic singularity. Making possible these computations was also a source of inspiration for the first author to propose several conjectures about the geometry of Calogero–Moser spaces (cohomology, fixed points, symplectic leaves), often in relation with the representation theory of finite reductive groups.

Modular representations of finite groups and Lie theory

This article discusses the modular representation theory of finite groups of Lie type from the viewpoint of Broué's abelian defect group conjecture. We discuss both the defining characteristic case, the inspiration for Alperin's weight conjecture, and the non-defining case, the inspiration for Broué's conjecture. The modular representation theory of general finite groups is conjectured to behave both like that of finite groups of Lie type in defining characteristic, and in non-defining characteristic, to a large extent.The expected behavior of modular representation theory of finite groups of Lie type in defining characteristic is particularly difficult to grasp along the lines of Broué's conjecture, and we raise a new question related to the change of central character.We introduce a degeneration method in the modular representation theory of finite groups of Lie type in non-defining characteristic. Combined with the rigidity property of perverse equivalences, this provides a setting for two-variable decomposition matrices, for large characteristic. This should help make progress towards finding decomposition matrices, an outstanding problem with few general results beyond the case of general linear groups. This last part is based on joint work with David Craven and Olivier Dudas.

Biharmonic conjectures on hypersurfaces in a space form

We apply the Murnaghan-Nakayama rule in the representation theory of symmetric groups to develop new techniques for studying biharmonic hypersurfaces in a space form. As applications of the new techniques, we settle the well-known Chen’s conjecture on biharmonic hypersurfaces in R 6 \Bbb R^6 and BMO conjecture on biharmonic hypersurfaces in S 6 \mathbb S^6 .

Electron Beams on the Brillouin Zone: A Cohomological Approach via Sheaves of Fourier Algebras

Topological states of matter can be classified only in terms of global topological invariants. These global topological invariants are encoded in terms of global observable topological phase factors in the state vectors of electrons. In condensed matter, the energy spectrum of the Hamiltonian operator has a band structure, meaning that it is piecewise continuous. The energy in each continuous piece depends on the quasi-momentum which varies in the Brillouin zone. Thus, the Brillouin zone of quasi-momentum variables constitutes the base localization space of the energy eigenstates of electrons. This is a continuous topological parameter space bearing the homotopy of a torus. Since the base localization space has the homotopy of a torus, if we vary the quasi-momentum in a direction, when the edge of the zone is reached, we obtain a closed path. Then, if we lift this loop from the base space to the sections of the sheaf-theoretic fibration induced by the localization of the energy eigenfunctions, we obtain a global topological phase factor which encodes the topological structure of the Brillouin zone. Because it is homotopically equivalent to a torus, the global phase factor turns out to be quantized, taking integer values. The experimental significance of this model stems from the recent discovery that there are observable global topological phase factors in fairly ordinary materials. In this communication, we show that it is the unitary representation theory of the discrete Heisenberg group in terms of commutative modular symplectic variables, giving rise to a joint commutative representation space endowed with an integral and Z2-invariant symplectic form that articulates the specific form of the topological conditions characterizing both the quantum Hall effect and the spin quantum Hall effect under a unified sheaf-theoretic cohomological framework.

Euler-type integrals for the generalized hypergeometric matrix function

Abstract The special matrix functions have received significant attention in many fields, such as theoretical physics, number theory, probability theory, and the theory of group representations. In 2017, Dwivedi and Sahai introduced the generalized hypergeometric matrix function using matrix parameters and proved the convergence on | z | = 1 {|z|=1} . Recently, hypergeometric matrix functions and their potential applications have played a major role in mathematical physics and engineering. Motivated by aforesaid works and in order to enrich this flourishing field, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and determine various transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have been provided for several particular cases.

Development of the Method of Averaging in Clifford Geometric Algebras

We develop the method of averaging in Clifford (geometric) algebras suggested by the author in previous papers. We consider operators constructed using two different sets of anticommuting elements of real or complexified Clifford algebras. These operators generalize Reynolds operators from the representation theory of finite groups. We prove a number of new properties of these operators. Using the generalized Reynolds operators, we give a complete proof of the generalization of Pauli’s theorem to the case of Clifford algebras of arbitrary dimension. The results can be used in geometry, physics, engineering, computer science, and other applications.

Left regular bands of groups and the Mantaci–Reutenauer algebra

We develop the idempotent theory for algebras over a class of semigroups called left regular bands of groups (LRBGs), which simultaneously generalize group algebras of finite groups and left regular band (LRB) algebras. Our techniques weave together the representation theory of finite groups and LRBs, opening the door for a systematic study of LRBGs in an analogous way to LRBs. We apply our results to construct complete systems of primitive orthogonal idempotents in the Mantaci–Reutenauer algebra MRn[G] associated to any finite group G. When G is abelian, we give closed form expressions for these idempotents, and when G is the cyclic group of order two, we prove that they recover idempotents introduced by Vazirani.

Group Theory and Representation Theory

Group Theory and Representation Theory

Subrepresentations in the homology of finite covers of graphs

AbstractLet $p \;:\; Y \to X$ be a finite, regular cover of finite graphs with associated deck group $G$ , and consider the first homology $H_1(Y;\;{\mathbb{C}})$ of the cover as a $G$ -representation. The main contribution of this article is to broaden the correspondence and dictionary between the representation theory of the deck group $G$ on the one hand and topological properties of homology classes in $H_1(Y;\;{\mathbb{C}})$ on the other hand. We do so by studying certain subrepresentations in the $G$ -representation $H_1(Y;\;{\mathbb{C}})$ .The homology class of a lift of a primitive element in $\pi _1(X)$ spans an induced subrepresentation in $H_1(Y;\;{\mathbb{C}})$ , and we show that this property is never sufficient to characterize such homology classes if $G$ is Abelian. We study $H_1^{\textrm{comm}}(Y;\;{\mathbb{C}}) \leq H_1(Y;\;{\mathbb{C}})$ —the subrepresentation spanned by homology classes of lifts of commutators of primitive elements in $\pi _1(X)$ . Concretely, we prove that the span of such a homology class is isomorphic to the quotient of two induced representations. Furthermore, we construct examples of finite covers with $H_1^{\textrm{comm}}(Y;\;{\mathbb{C}}) \neq \ker\!(p_*)$ .

Character Theory and Categorification

Over a hundred years after the work of Frobenius and Schur, the sheer enormity of what is not known about the character theory of symmetric and alternating groups continues to surprise and awe the uninitiated. How does one decompose the tensor product of a pair of complex characters? Or the restriction of a complex character to a Sylow or wreath product subgroup? Can we understand the vanishing sets of complex characters? What about the asymptotic behaviour of complex characters? What are the dimensions of the modular characters? These questions have been hailed as some of the definitive open problems in representation theory and algebraic combinatorics, they have deep connections with Lie theory, group theory, local-global conjectures in representation theory of finite groups, symplectic geometry, complexity theory, statistical mechanics and quantum information theory. The overarching theme of this proposal is the use of hidden, richer representation theoretic structures arising in modular, local-global, and categorical representation theory in order to prove and disprove conjectures concerning characters of symmetric and alternating groups.

Poisson orders on large quantum groups

We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras [9] belonging to a one-parameter family; we call these algebras large quantum groups. We prove that each of these quantum algebras has a central Hopf subalgebra giving rise to a Poisson order in the sense of [13]. We describe explicitly the underlying Poisson algebraic groups and Poisson homogeneous spaces in terms of Borel subgroups of complex semisimple algebraic groups of adjoint type. The geometry of the Poisson algebraic groups and Poisson homogeneous spaces that are involved and its applications to the irreducible representations of the algebras Uq⊃Uq⩾⊃Uq+ are also described. Besides all (multiparameter) big quantum groups of De Concini–Kac–Procesi and big quantum super groups at roots of unity, our framework also contains the quantizations in characteristic 0 of the 34-dimensional Kac-Weisfeiler Lie algebras in characteristic 2 and the 10-dimensional Brown Lie algebras in characteristic 3. The previous approaches to the above problems relied on reductions to rank two cases and direct calculations of Poisson brackets, which is not possible in the super case since there are 13 kinds of additional Serre relations on up to 4 generators. We use a new approach that relies on perfect pairings between restricted and non-restricted integral forms.

Charge order, frustration relief, and spin-orbit coupling in U3O8

Research efforts on the description of the low-temperature magnetic order and electronic properties of ${\mathrm{U}}_{3}{\mathrm{O}}_{8}$ have been inconclusive so far. Reinterpreting neutron scattering results, we use group representation theory to show that the ground state presents collinear out-of-plane magnetic moments, with antiferromagnetic coupling both in-layer and between layers. Charge order relieves the initial geometric frustration, generating a slightly distorted honeycomb sublattice with N\'eel-type order. The precise knowledge of the characteristics of this magnetic ground state is then used to explain the fine features of the band gap. In this system, spin-orbit coupling (SOC) is of critical importance, as it strongly affects the electronic structure, narrowing the gap by $\ensuremath{\sim}38%$, compared to calculations neglecting SOC. The predicted electronic structure actually explains the salient features of recent optical absorption measurements, further demonstrating the excellent agreement between the calculated ground state properties and experiment.

Shifted Quantum Groups and Matter Multiplets in Supersymmetric Gauge Theories

The notion of shifted quantum groups has recently played an important role in algebraic geometry. This subtle modification of the original definition brings more flexibility in the representation theory of quantum groups. The first part of this paper presents new mathematical results for the shifted quantum toroidal $$\mathfrak {gl}(1)$$ and quantum affine $$\mathfrak {sl}(2)$$ algebras (resp. denoted $${\ddot{U}}_{q_1,q_2}^{\varvec{\mu }}(\mathfrak {gl}(1))$$ and $${\dot{U}}_q^{\varvec{\mu }}(\mathfrak {sl}(2))$$ ). It defines several new representations, including finite dimensional highest $$\ell $$ -weight representations for the toroidal algebra, and a vertex representation of $${\dot{U}}_q^{\varvec{\mu }}(\mathfrak {sl}(2))$$ acting on Hall–Littlewood polynomials. It also explores the relations between representations of $${\dot{U}}_q^{\varvec{\mu }}(\mathfrak {sl}(2))$$ and $${\ddot{U}}_{q_1,q_2}^{\varvec{\mu }}(\mathfrak {gl}(1))$$ in the limit $$q_1\rightarrow \infty $$ ( $$q_2$$ fixed), and present the construction of several new intertwiners. These results are used in the second part to construct BPS observables for 5d $${{\mathcal {N}}}=1$$ and 3d $${{\mathcal {N}}}=2$$ gauge theories. In particular, it is shown that 5d hypermultiplets and 3d chiral multiplets can be introduced in the algebraic engineering framework using shifted representations, and the Higgsing procedure is revisited from this perspective.

On the Notion of Metaplectic Barbasch–Vogan Duality

Abstract In analogy with the Barbasch–Vogan duality for real reductive linear groups, we introduce a duality notion useful for the representation theory of the real metaplectic groups. This is a map on the set of nilpotent orbits in a complex symplectic Lie algebra, whose range consists of the so-called metaplectic special nilpotent orbits. We relate this duality notion with the theory of primitive ideals and extend the notion of special unipotent representations to the real metaplectic groups. We also interpret the duality map in terms of double cells of Weyl group representations.

Polarization singularities in planar electromagnetic resonators with rotation and mirror symmetries

In this work, we apply the group representation theory to systematically study polarization singularities in the in-plane components of the electric fields supported by a planar electromagnetic (EM) resonator with generic rotation and reflection symmetries. We reveal the intrinsic connections between the symmetries and the topological features, i.e., the spatial configuration of the in-plane fields and the associated polarization singularities. The connections are substantiated by a simple relation that links the topological charges of the singularities and the symmetries of the resonator. To verify, a microwave planar resonator with the D8 group symmetries is designed and numerically simulated, which demonstrates the theoretical findings well. Our discussions can be applied to generic EM resonators working in a wide EM spectrum, such as circular antenna arrays, microring resonators, and photonic quasi-crystals, and provide a unique symmetry perspective on many effects in singular optics and topological photonics.

Symmetry analysis of charmonium two-body decay

In the light of SU(3) flavor symmetry, the effective interaction Hamiltonian in tensor form is obtained by virtue of group representation theory. The strong and electromagnetic breaking effects are treated as a spurion octet so that the flavor singlet principle can be utilized as the criterion to determine the form of effective Hamiltonian. Two body decays of both baryonic and mesonic final states are parameterized in the uniform scheme, based on which the relative phase between the strong and electromagnetic amplitudes is studied for various charmonium decay modes, including psi' and/or J/jpsi decay to octet baryon pair, decuplet baryon pair, decuplet-octet baryon final state, and pseudoscalar-pseudoscalar meson final state. In data analysis of samples taken in $e^+e^-$ collider, the details of experimental effects, such as energy spread and initial state radiative correction are taken into consideration in order to make full use of experimental information and acquire the accurate and delicate results.

Finite group p-modular representation theory of a finite group with a non-trivial central $$p'$$-subgroup

Finite group p-modular representation theory of a finite group with a non-trivial central $$p'$$-subgroup

Kähler-Ricci flow on rational homogeneous varieties

In this work, we study the Kähler-Ricci flow on rational homogeneous varieties exploring the interplay between projective algebraic geometry and representation theory which underlies the classical Borel-Weil theorem. By using elements of representation theory of semisimple Lie groups and Lie algebras, we give an explicit description for all solutions of the Kähler-Ricci flow with homogeneous initial condition. This description enables us to compute explicitly the maximal existence time for any solution starting at a homogeneous Kähler metric and obtain explicit upper and lower bounds for several geometric quantities along the flow, including curvatures, volume, diameter, and the first non-zero eigenvalue of the Laplacian. As an application of our main result, we investigate the relationship between certain numerical invariants associated with ample divisors and numerical invariants arising from solutions of the Kähler-Ricci flow in the homogeneous setting.