Source author record

Ehud Meir

Ehud Meir appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Geometric perspective on Nichols algebras

We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study of connected and coconnected Hopf algebras inside a braided fusion category $\mathcal{C}$. We describe such Hopf algebras as orbits for the action of a reductive group on an affine variety. We then show that the closed orbits are precisely the orbits of Nichols algebras, and that all other algebras are therefore deformations of Nichols algebras. For the case where the category $\mathcal{C}$ is the category $^G_G\mathcal{YD}$ of Yetter-Drinfeld modules over a finite group $G$, this reduces the question of generation by group-like elements and skew-primitives to a geometric question about rigidity of orbits. Comparing the results of Angiono Kochetov and Mastnak, this gives a new proof for the generation of finite dimensional pointed Hopf algebras with abelian groups of group-like elements by skew-primitives and group-like elements. We show that if $V$ is a simple object in $\mathcal{C}$ and $\text{B}(V)$ is finite dimensional, then $\text{B}(V)$ must be rigid. We also show that a non-rigid Nichols algebra can always be deformed to a pre-Nichols algebra or a post-Nichols algebra which is isomorphic to the Nichols algebra as an object of the category $\mathcal{C}$.

preprint2020arXiv

Equivariant dimensions of groups with operators

Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $π$ with ${\sf cat}_G(π)={\sf cd}_G(π)=2$ and ${\sf gd}_G(π)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.

preprint2020arXiv

Universal rings of invariants

Let $K$ be an algebraically closed field of characteristic zero. Algebraic structures of a specific type (e.g. algebras or coalgebras) on a given vector space $W$ over $K$ can be encoded as points in an affine space $U(W)$. This space is equipped with a $\text{GL}(W)$ action, and two points define isomorphic structures if and only if they lie in the same orbit. This leads to study the ring of invariants $K[U(W)]^{\text{GL}(W)}$. We describe this ring by generators and relations. We then construct combinatorially a commutative ring $K[X]$ which specializes to all rings of invariants of the form $K[U(W)]^{\text{GL}(W)}$. We show that the commutative ring $K[X]$ has a richer structure of a Hopf algebra with additional coproduct, grading, and an inner product which makes it into a rational PSH-algebra, generalizing a structure introduced by Zelevinsky. We finish with a detailed study of $K[X]$ in the case of an algebraic structure consisting of a single endomorphism, and show how the rings of invariants $K[U(W)]^{\text{GL}(W)}$ can be calculated explicitly from $K[X]$ in this case.

preprint2016arXiv

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.

preprint2016arXiv

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$.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2011arXiv

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

preprint2011arXiv

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$.

preprint2010arXiv

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.