Affine flag varieties and quantum symmetric pairs,II. Multiplication formula

We establish a multiplication formula for a tridiagonal standard basis element in the idempotent version, i.e., the Lusztig form, of the coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$ arising from the geometry of affine partial flag varieties of type C. We apply this formula to obtain the stabilization algebras ${\dot{\mathbf{K}}}_n^{\mathfrak{c}}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\eta }^{??}$, which are idempotented coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$. The symmetry in the formula leads to an isomorphism of the idempotented coideal subalgebras ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ with compatible monomial, standard and canonical bases.     

Extremal general affine surface areas

For a convex body K in ${\mathbb{R}}^n$, we introduce and study the extremal general affine surface areas, defined by${\mathrm{\text{IS}}}_{\phi }(K):=\underset{K^{\prime }?K}{\sup }?{\mathrm{as}}_{\phi }(K),{\mathrm{\text{os}}}_{\psi }(K):=\underset{K^{\prime }?K}{\inf }?{\mathrm{as}}_{\psi }(K)$ where ${\mathrm{as}}_{\phi }(K)$ and ${\mathrm{as}}_{\psi }(K)$ are the $L_{\phi }$ and $L_{\psi }$ affine surface area of K, respectively. We prove that there exist extremal convex bodies that achieve the supremum and infimum, and that the functionals ${\mathrm{\text{IS}}}_{\phi }$ and ${\mathrm{\text{os}}}_{\psi }$ are continuous. In our main results, we prove Blaschke-Santaló type inequalities and inverse Santaló type inequalities for the extremal general affine surface areas. This article may be regarded as an Orlicz extension of the recent work of Giladi, Huang, Schütt and Werner (2020), who introduced and studied the extremal $L_p$ affine surface areas.     

The Z2-orbifold of the universal affine vertex algebra

Let $\mathfrak{g}$ be a simple, finite-dimensional complex Lie algebra, and let $V^k(\mathfrak{g})$ denote the universal affine vertex algebra associated to $\mathfrak{g}$ at level k. The Cartan involution on $\mathfrak{g}$ lifts to an involution on $V^k(\mathfrak{g})$, and we denote by $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ the orbifold, or fixed-point subalgebra, under this involution. Our main result is an explicit minimal strong finite generating set for $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ for generic values of k.     

Observations about the Lie algebra g2⊂so(7), associative 3-planes,and so(4) subalgebras

We make several observations relating the Lie algebra ${\mathfrak{g}}_2?\mathfrak{so}\left(7\right)$, associative 3-planes, and $\mathfrak{so}\left(4\right)$ subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element $X\in {\mathfrak{g}}_2$ cannot have rank 2, and if it has rank 4 then its kernel is an associative subspace. We prove a canonical form theorem for elements of ${\mathfrak{g}}_2$. Given an associative 3-plane $P$ in ${\mathbb{R}}^7$, we construct a Lie subalgebra $\Theta \left(P\right)$ of $\mathfrak{so}\left(7\right)={\Lambda }^2\left({\mathbb{R}}^7\right)$ that is isomorphic to $\mathfrak{so}\left(4\right)$. This $\mathfrak{so}\left(4\right)$ subalgebra differs from other known constructions of $\mathfrak{so}\left(4\right)$ subalgebras of $\mathfrak{so}\left(7\right)$ determined by an associative 3-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience.     

Twisted Steinberg algebras

We introduce twisted Steinberg algebras over a commutative unital ring R. These generalise Steinberg algebras and are a purely algebraic analogue of Renault's twisted groupoid C*-algebras. In particular, for each ample Hausdorff groupoid G and each locally constant 2-cocycle σ on G taking values in the units $R^{\times }$, we study the algebra $A_R(G,\sigma )$ consisting of locally constant compactly supported R-valued functions on G, with convolution and involution “twisted” by σ. We also introduce a “discretised” analogue of a twist Σ over a Hausdorff étale groupoid G, and we show that there is a one-to-one correspondence between locally constant 2-cocycles on G and discrete twists over G admitting a continuous global section. Given a discrete twist Σ arising from a locally constant 2-cocycle σ on an ample Hausdorff groupoid G, we construct an associated twisted Steinberg algebra $A_R(G;\mathrm{\Sigma })$, and we show that it coincides with $A_R(G,{\sigma }^{?1})$. Given any discrete field ${\mathbb{F}}_d$, we prove a graded uniqueness theorem for $A_{{\mathbb{F}}_d}(G,\sigma )$, and under the additional hypothesis that G is effective, we prove a Cuntz–Krieger uniqueness theorem and show that simplicity of $A_{{\mathbb{F}}_d}(G,\sigma )$ is equivalent to minimality of G.     

Classification of locally strongly convex isotropic centroaffine hypersurfaces

In this paper, we establish a complete classification of locally strongly convex isotropic centroaffine hypersurfaces in the $(n+1)$-dimensional affine space ${\mathbb{R}}^{n+1}$.     

The covering radius of PGL(3,q)

In this note, with a purely geometric approach, the covering radius of the group $\mathrm{PGL}(3,q)$ is determined. Also, a new proof establishing the covering radii of $\mathrm{PGL}(2,q)$ and $\mathrm{AGL}(1,q)$ is provided.