Searcharxiv⌕ Search

arXiv subjects

Ehud Meir

Publications and source records attributed to Ehud Meir.

32 records · Page 2Linked to original sources
arXiv2016

A variant of Harish-Chandra functors

Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group Sp(4) over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup I(n) of GL(n,F), where F is a non-archimedean local field. We establish a bijection between the set of irreducible representations of I(n) and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.

math.RT↗
arXiv2016

Semisimple Hopf Algebras via Geometric Invariant Theory

We study Hopf algebras via tools from geometric invariant theory. We show that all the invariants we get can be constructed using the integrals of the Hopf algebra and its dual together with the multiplication and the comultiplication, and that these invariants determine the isomorphism class of the Hopf algebra. We then define certain canonical subspaces $Inv^{i,j}$ of tensor powers of $H$ and $H^*$, and use the invariant theory to prove that these subspaces satisfy a certain non-degeneracy condition. Using this non-degeneracy condition together with results on symmetric monoidal categories, we prove that the spaces $Inv^{i,j}$ can also be described as $(H^{\otimes i}\otimes (H^*)^{\otimes j})^A$, where $A$ is the group of Hopf automorphisms of $H$. As a result we prove that the number of possible Hopf orders of any semisimple Hopf algebra over a given number ring is finite. we give some examples of these invariants arising from the theory of Frobenius-Schur Indicators, and from Reshetikhin-Turaev invariants of three manifolds. We give a complete description of the invariants for a group algebra, proving that they all encode the number of homomorphisms from some finitely presented group to the group. We also show that if all the invariants are algebraic integers, then the Hopf algebra satisfies Kaplansky's sixth conjecture: the dimensions of the irreducible representations of $H$ divide the dimension of $H$.

math.QA↗
arXiv2015

Descent, fields of invariants and generic forms via symmetric monoidal categories

Let $W$ be a finite dimensional algebraic structure (e.g. an algebra) over a field $K$ of characteristic zero. We study forms of $W$ by using Deligne's Theory of symmetric monoidal categories. We construct a category $\mathcal{C}_W$, which gives rise to a subfield $K_0\subseteq K$, which we call the field of invariants of $W$. This field will be contained in any subfield of $K$ over which $W$ has a form. The category $\mathcal{C}_W$ is a $K_0$-form of $Rep_{\bar{K}}(Aut(W))$, and we use it to construct a generic form $\widetilde{W}$ over a commutative $K_0$ algebra $B_W$ (so that forms of $W$ are exactly the specializations of $\widetilde{W}$). This generalizes some generic constructions for central simple algebras and for $H$-comodule algebras. We give some concrete examples arising from associative algebras and $H$-comodule algebras. As an application, we also explain how can one use the construction to classify two-cocycles on some finite dimensional Hopf algebras.

math.CT↗
arXiv2014

Drinfeld centers for bicategories

We generalize Drinfeld's notion of the center of a tensor category to bicategories. In this generality, we present a spectral sequence to compute the basic invariants of Drinfeld centers: the abelian monoid of isomorphism classes of objects, and the abelian automorphism group of its identity object. There is an associated obstruction theory that explains the difference between the Drinfeld center and the center of the classifying category. For examples, we discuss bicategories of groups and bands, rings and bimodules, as well as fusion categories.

math.CT↗
arXiv2014

The Witt group of a braided Monoidal category

We develop the Witt group for certain braided monoidal categories with duality. In case of a braided fusion category over an algebraically closed field of characteristic zero, we explicitly describe this structure. We then use this description to prove that this tool provides an invariant for finite isocategorical groups. As an application, we show that all groups of order less than 64 are categorically rigid.

math.KT↗
arXiv2014

On the existence of orders in semisimple Hopf algebras

We show that there is a family of complex semisimple Hopf algebras that do not admit a Hopf order over any number ring. They are Drinfel'd twists of certain group algebras. The twist contains a scalar fraction which makes impossible the definability of such Hopf algebras over number rings. We also prove that a complex semisimple Hopf algebra satisfies Kaplansky's sixth conjecture if and only if it admits a weak order, in the sense of Rumynin and Lorenz, over the integers.

math.QA↗
arXiv2013

Isotropy in Group Cohomology

The analogue of Lagrangians for symplectic forms over finite groups is studied, motivated by the fact that symplectic G-forms with a normal Lagrangian N<G are in one-to-one correspondence, up to inflation, with bijective 1-cocycle data on the quotients G/N. This yields a method to construct groups of central type from such quotients, known as Involutive Yang-Baxter groups. Another motivation for the search of normal Lagrangians comes from a non-commutative generalization of Heisenberg liftings which require normality. Although it is true that symplectic forms over finite nilpotent groups always admit Lagrangians, we exhibit an example where none of these subgroups is normal. However, we prove that symplectic forms over nilpotent groups always admit normal Lagrangians if all their p-Sylow subgroups are of order less than p^8.

math.GR↗
arXiv2011

Every central simple algebra is Hopf Schur

We show that every central simple algebra A over a field k is Brauer equivalent to a quotient of a finite dimensional Hopf algebra over the same field (that is- A is Hopf Schur). If the characteristic of the field is zero, or if the algebra has a Galois splitting field of degree prime to the characteristic of k, we can take this Hopf algebra to be semisimple. We also show that if F is any finite extension of k, then F is a quotient of a finite dimensional Hopf algebra over k. We use it in order to show why the algebric closeness assumption is necessary in a weak form of Kaplansky's tenth conjecture, due to Stefan

math.RA↗
arXiv2011

Projective resolutions for modules over infinite groups

We define a notion of complexity for modules over infinite groups. We show that if $M$ is a module over the group ring $kG$, and $M$ has complexity $\leq f$ (where $f$ is some complexity function) over some set of finite index subgroups of $G$, then $M$ has complexity $\leq f$ over $G$ (up to a direct summand). This generalizes the Alperin-Evens Theorem, which states that if the group $G$ is finite then the complexity of $M$ over $G$ is the maximal complexity of $M$ over an elementary abelian subgroup of $G$. We also show how we can use this generalization in order to construct projective resolutions for the integral special linear groups, $SL(n,\Z)$, where $n\geq 2$.

math.KT↗
arXiv2011

Module categories over graded fusion categories

Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories over C (and in particular the dual categories of C). We use this in order to classify module categories over the Tambara Yamagami fusion categories, and their duals.

math.QA↗
arXiv2010

The cohomological restriction map and FP-infinity groups

We ask, following Bartholdi, whether it is true that the kernel of the restriction map from the cohomology of a group G to the cohomology of a finite index subgroup H is finitely generated as an ideal. We show that in case the group has virtual finite cohomological dimension it is true, and we will show that if G does not have virtual finite cohomological dimension it might not be true, even in case G is an FP infinity group.

math.KT↗
arXiv2009

Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore

A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is known for finite groups. In that case, it is a direct consequence of Chouinard's theorem which is based on a fundamental result of Serre on the vanishing of products of Bockstein operators. It was observed by Benson, using a construction of Baumslag, Dyer and Heller, that the analog of Serre's Theorem for infinite groups is not true in general. We prove that the conjecture is true for groups which satisfy the analog of Serre's theorem. Using a result of Benson and Goodearl, we prove that the conjecture holds for all groups inside Kropholler's hierarchy LHF, extending a result of Aljadeff, Cornick, Ginosar, and Kropholler. We show two closure properties for the class of pairs of groups (G,H) which satisfy the conjecture, the one is closure under morphisms, and the other is a closure operation which comes from Kropholler's construction. We use this in order to exhibit cases in which the analog of Serre's theorem does not hold, and yet the conjecture is true. We will show that in fact there are pairs of groups (G,H) in which H is a perfect normal subgroup of prime index in G, and the conjecture is true for (G,H). Moreover, we will show that it is enough to prove the conjecture for groups of this kind only.

math.GR↗
arXiv2007

On the Hopf-Schur group of a field

Let k be any field. We consider the Hopf-Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a Hopf algebra over k, revealing so that the Hopf-Schur group can be much larger than the Schur group of k.

math.QA↗