arXiv subjects

Anthony Joseph

Publications and source records attributed to Anthony Joseph.

22 records · Page 2Linked to original sources

arXiv2011

Zhelobenko Invariants, Bernstein-Gelfand-Gelfand operators and the analogue Kostant Clifford Algebra Conjecture

Let g be a complex simple Lie algebra and h a Cartan subalgebra. The Clifford algebra C(g) of g admits a Harish-Chandra map. Kostant conjectured (as communicated to Bazlov in about 1997) that the value of this map on a (suitably chosen) fundamental invariant of degree 2m+1 is just the zero weight vector of the simple 2m+1-dimensional module of the principal s-triple obtained from the Langlands dual. Bazlov settled this conjecture positively in type A. The Kostant conjecture was reformulated (Alekseev-Bazlov-Rohr) in terms of the Harish-Chandra map for the enveloping algebra U(g) composed with evaluation at the half sum of the positive roots. Here an analogue of the Kostant conjecture is settled by replacing the Harish-Chandra map by a "generalized Harish-Chandra" map which had been studied notably by Zhelobenko. The proof involves a symmetric algebra version of the Kostant conjecture (settled in works of Alekseev-Bazlov-Rohr), the Zhelobenko invariants in the adjoint case and surprisingly the Bernstein-Gelfand-Gelfand operators introduced in their study of the cohomology of the flag variety.

math.RT↗

arXiv2010

Slices for biparabolics of index one

Let $\mathfrak a$ be an algebraic Lie subalgebra of a simple Lie algebra $\mathfrak g$ with index $\mathfrak a \leq \rank \mathfrak g$. Let $Y(\mathfrak a)$ denote the algebra of $\mathfrak a$ invariant polynomial functions on $\mathfrak a^*$. An algebraic slice for $\mathfrak a$ is an affine subspace $η+V$ with $η\in \mathfrak a^*$ and $V \subset \mathfrak a^*$ a subspace of dimension index $\mathfrak a$ such that restriction of function induces an isomorphism of $Y(\mathfrak a)$ onto the algebra $R[η+V]$ of regular functions on $η+V$. Slices have been obtained in a number of cases through the construction of an adapted pair $(h,η)$ in which $h \in\mathfrak a$ is ad-semisimple, $η$ is a regular element of $\mathfrak a^*$ which is an eigenvector for $h$ of eigenvalue minus one and $V$ is an $h$ stable complement to $(\ad \mathfrak a)η$ in $\mathfrak a^*$. The classical case is for $\mathfrak g$ semisimple. Yet rather recently many other cases have been provided. For example if $\mathfrak g$ is of type $A$ and $\mathfrak a$ is a "truncated biparabolic" or a centralizer. In some of these cases (particular when the biparabolic is a Borel subalgebra) it was found that $η$ could be taken to be the restriction of a regular nilpotent element in $\mathfrak g$. Moreover this calculation suggested how to construct slices outside type $A$ when no adapted pair exists. This article makes a first step in taking these ideas further. Specifically let $\mathfrak a$ be a truncated biparabolic of index one (and then $\mathfrak g$ is of type $A$). In this case it is shown that the second member of an adapted pair $(h,η)$ for $\mathfrak a$ is the restriction of a particularly carefully chosen regular nilpotent element of $\mathfrak g$.

math.RT↗

arXiv2008

A Pentagonal Crystal, the Golden Section, alcove packing and aperiodic tilings

A Lie theoretic interpretation is given to a pattern with five-fold symmetry occurring in aperiodic Penrose tiling based on isosceles triangles with length ratios equal to the Golden Section. Specifically a $B(\infty)$ crystal based on that of Kashiwara is constructed exhibiting this five-fold symmetry. It is shown that it can be represented as a Kashiwara $B(\infty)$ crystal in type $A_4$. Similar crystals with $(2n+1)$-fold symmetry are represented as Kashiwara crystals in type $A_{2n}$. The weight diagrams of the latter inspire higher aperiodic tiling. In another approach alcove packing is seen to give aperiodic tiling in type $A_4$. Finally $2m$-fold symmetry is related to type $B_m$.

math.RT↗

arXiv2003

Quantization of hypersurface orbital varieties in sl(n)

Let g be a semisimple Lie algebra with h a Cartan subalgebra. The orbit method attempts to assign representations of g to orbits in g*. Orbital varieties are particular Lagrangian subvarieties of such orbits which should lead to highest weight representations of g. It is known that all unitary highest weight representations can be obtained in this fashion. A hypersurface orbital variety is one which is of codimension 1 in the nilradical of a parabolic. Their classification for g = sl(n) obtains from general results. Recently Benlolo and Sanderson conjectured the form of the (non-linear) element describing such a variety. This paper proves that conjecture and further constructs a simple module with integral highest weight which ``quantizes'' the variety in the precise sense that the regular functions of its closure is given a g module structure compatible (up to shift by the highest weight) with its h module structure.

math.RT↗