BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

G. I. Lehrer

G. I. Lehrer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.GRmath.QAmath-phmath.ACmath.MP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2020arXiv

A factorisation theorem for the coinvariant algebra of a unitary reflection group

We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $ξ:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded $\mathcal{N}$-modules, where $\mathcal{N}:=N_{\rm{GL}(V)}(G)\cap N_{\rm{GL}(V)}(G')$ and $\mathcal{H}^{G'}$ is the space of $G'$-fixed points of $\mathcal{H}$. This generalises a result of Douglass and Dyer for parabolic subgroups of real reflection groups.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

First fundamental theorems of invariant theory for quantum supergroups

Let $U_q(\mathfrak{g})$ be the quantum supergroup of $\mathfrak{gl}_{m|n}$ or the modified quantum supergroup of $osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $U_q(\mathfrak{g})$. There exists a unique tensor functor, associated with $V_q$, from the category of ribbon graphs to the category of finite dimensional representations of $U_q(\mathfrak{g}$, which preserves ribbon category structures. We show that this functor is full in the cases $\mathfrak{g}=\mathfrak{gl}_{m|n}$ or $osp_{2\ell+1|2n}$. For $\mathfrak{g}=osp_{2\ell|2n}$, we show that the space $Hom_{U_q(\mathfrak{g}}(V_q^{\otimes r}, V_q^{\otimes s})$ is spanned by images of ribbon graphs if $r+s< 2\ell(2n+1)$. The proofs involve an equivalence of module categories for two versions of the quantisation of $U(\mathfrak{g})$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Invariants of the orthosymplectic Lie superalgebra and super Pfaffians

Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in $\mathcal{S}(N)$ has a ${\mathfrak {gl}}_N$-module structure. We introduce the space of super Pfaffians as a simple ${\mathfrak {gl}}_N$-submodule of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$, give an explicit formula for its highest weight vector, and show that the super Pfaffians and the elementary (or `Brauer&#39;) ${\rm OSp}$-invariants together generate $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as an algebra. The decomposition of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as a direct sum of simple ${\mathfrak {gl}}_N$-submodules is obtained and shown to be multiplicity free. Using Howe&#39;s $({\mathfrak {gl}}(V), {\mathfrak {gl}}_N)$-duality on $\mathcal{S}(N)$, we deduce from the decomposition that the subspace of $\mathfrak{osp}(V)$-invariants in any simple ${\mathfrak {gl}}(V)$-tensor module is either $0$ or $1$-dimensional. These results also enable us to determine the $\mathfrak {osp}(V)$-invariants in the tensor powers $V^{\otimes r}$ for all $r$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The first fundamental theorem of invariant theory for the orthosymplectic super group

We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev&#39;s super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The second fundamental theorem of invariant theory for the orthosymplectic supergroup

In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of invariant theory, using some elementary algebraic supergeometry, and based upon an idea of Atiyah. In this work we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. The proof uses algebraic supergeometry to reduce the problem to the case of the general linear supergroup, which is understood. The main result has a succinct formulation in terms of Brauer diagrams. Our proof includes new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues. These new proofs are independent of the Capelli identities, which are replaced by algebraic geometric arguments.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cellularity of certain quantum endomorphism algebras

We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r&#39;th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives sufficient conditions for the commutativity of specialisation with the taking of endomorphism algebras, and another which relates the multiplicities of indecomposable summands to the dimensions of simple modules for an endomorphism algebra. Our cellularity result then allows us to prove that knowledge of the dimensions of the simple modules of the specialised cellular algebra above is equivalent to knowledge of the weight multiplicities of the tilting modules for the specialised quantum group. In the final section we independently determine the weight multiplicities of indecomposable tilting modules for quantum sl2, and the decomposition numbers of the endomorphism algebras. We indicate how either one of these sets of numbers determines the other.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Brauer Category and Invariant Theory

A category of Brauer diagrams, analogous to Turaev&#39;s tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all equations among the morphisms. Full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group $O(V)$ or the symplectic group $Sp(V)$ over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain new presentations for the endomorphism algebras of the module $V^{\otimes r}$. These are obtained by appending to the standard presentation of the Brauer algebra of degree $r$ one additional relation. This relation stipulates the vanishing of an element of the Brauer algebra which is quasi-idempotent, and which we describe explicitly both in terms of diagrams and algebraically. In the symplectic case, if $\dim V = 2n$, the element is precisely the central idempotent in the Brauer subalgebra of degree $n + 1$, which corresponds to its trivial representation. Since this is the Brauer algebra of highest degree which is semisimple, our generator is an exact analogue for the Brauer algebra of the Jones idempotent of the Temperley-Lieb algebra. In the orthogonal case the additional relation is also a quasi-idempotent in the integral Brauer algebra. Both integral and quantum analogues of these results are given, the latter of which involve the BMW algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A quantum analogue of the first fundamental theorem of invariant theory

We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Thus by taking the limit as $q\to 1$, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case.

0 citations0 reviewsNo code linkedOpen access