A remark on the orbit structure of the complexification of a semisimple symmetric space

We consider the action of a real semisimple Lie group G on the complexification $G_{\mathbf{C}}/H_{\mathbf{C}}$ of a semisimple symmetric space $G/H$ and we present a refinement of Matsuki?s results (Matsuki, 1997 [1]) in this case. We exhibit a finite set of points in $G_{\mathbf{C}}/H_{\mathbf{C}}$, sitting on closed G-orbits of locally minimal dimension, whose slice representation determines the G-orbit structure of $G_{\mathbf{C}}/H_{\mathbf{C}}$. Every such point $\overline{p}$ lies on a compact torus and occurs at specific values of the restricted roots of the symmetric pair $(\mathfrak{g},\mathfrak{h})$. The slice representation at $\overline{p}$ is equivalent to the isotropy representation of a real reductive symmetric space, namely $Z_G(p^4)/G_{\overline{p}}$. In principle, this gives the possibility to explicitly parametrize all G-orbits in $G_{\mathbf{C}}/H_{\mathbf{C}}$.     

Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

The Lie algebra of type G2 is rational over its quotient by the adjoint action

Let G be a split simple group of type $G_2$ over a field k, and let $\mathfrak{g}$ be its Lie algebra. Answering a question of J.-L. Colliot-Thélène, B. Kunyavski?, V.L. Popov, and Z. Reichstein, we show that the function field $k(\mathfrak{g})$ is generated by algebraically independent elements over the field of adjoint invariants $k{(\mathfrak{g})}^G$.     

Vust's Theorem and higher level Schur–Weyl duality for types B, C and D

Let G be a complex linear algebraic group, $\mathfrak{g}=\mathrm{Lie}(G)$ its Lie algebra and $e\in \mathfrak{g}$ a nilpotent element. Vust's Theorem says that in case of $G=\mathrm{GL}(V)$, the algebra ${\mathrm{End}}_{G_e}(V^{?d})$, where $G_e?G$ is the stabilizer of e under the adjoint action, is generated by the image of the natural action of d-th symmetric group ${\mathfrak{S}}_d$ and the linear maps $\{1^{?(i?1)}?e?1^{?(d?i)}|i=1,\dots ,d\}$. In this paper, we give an analogue of Vust's Theorem for $G=\mathrm{O}(V)$ and $\mathrm{SP}(V)$ when the nilpotent elements e satisfy that $\stackrel{￣}{G?e}$ is normal. As an application, we study the higher Schur–Weyl duality in the sense of [4] for types B, C and D, which establishes a relationship between W-algebras and degenerate affine braid algebras.     

Triangular C1-bialgebra defined as the direct sum of matrix algebras

Let $M_{*}(\mathbf{C})$ denote the ${\mathrm{C}}^1$-algebra defined as the direct sum of all matrix algebras $\{M_n(\mathbf{C}):n?1\}$. It is known that $M_{*}(\mathbf{C})$ has a non-cocommutative comultiplication ${\mathrm{\Delta }}_{\phi }$. From a certain set of transformations of integers, we construct a universal R-matrix R of the ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi })$ such that the quasi-cocommutative ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi }\text{,}R)$ is triangular. Furthermore, it is shown that certain linear Diophantine equations are corresponded to the Yang–Baxter equations of R.     

Formality theorem for g-manifolds

With any $\mathfrak{g}$-manifold M are associated two dglas $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))$ and $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$, whose cohomologies $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ and $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$ are Gerstenhaber algebras. We establish a formality theorem for $\mathfrak{g}$-manifolds: there exists an $L_{\infty }$ quasi-isomorphism $\mathrm{\Phi }:\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))\to \mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$ whose first ‘Taylor coefficient’ (1) is equal to the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd cocycle of the $\mathfrak{g}$-manifold M, and (2) induces an isomorphism of Gerstenhaber algebras on the level of cohomology. Consequently, the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd class of the $\mathfrak{g}$-manifold M is an isomorphism of Gerstenhaber algebras from $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ to $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$.     

Tight closure of parameter ideals in local rings F-rational on the punctured spectrum

Let $(R,\mathfrak{m},k)$ be an equidimensional excellent local ring of characteristic $p>0$. The aim of this paper is to show that ${?}_R({\mathfrak{q}}^{?}/\mathfrak{q})$ does not depend on the choice of parameter ideal $\mathfrak{q}$ provided R is an F-injective local ring that is F-rational on the punctured spectrum.     

On maximizing the fundamental frequency of the complement of an obstacle

Let $\mathrm{\Omega }?{\mathbb{R}}^n$ be a bounded domain satisfying a Hayman-type asymmetry condition, and let D be an arbitrary bounded domain referred to as an “obstacle”. We are interested in the behavior of the first Dirichlet eigenvalue ${\lambda }_1(\mathrm{\Omega }?(x+D))$.First, we prove an upper bound on ${\lambda }_1(\mathrm{\Omega }?(x+D))$ in terms of the distance of the set $x+D$ to the set of maximum points $x_0$ of the first Dirichlet ground state ${?}_{{\lambda }_1}>0$ of Ω. In short, a direct corollary is that if

(1)${\mu }_{\mathrm{\Omega }}:=\underset{x}{\max }?{\lambda }_1(\mathrm{\Omega }?(x+D))$

is large enough in terms of ${\lambda }_1(\mathrm{\Omega })$, then all maximizer sets $x+D$ of ${\mu }_{\mathrm{\Omega }}$ are close to each maximum point $x_0$ of ${?}_{{\lambda }_1}$.Second, we discuss the distribution of ${?}_{{\lambda }_1(\mathrm{\Omega })}$ and the possibility to inscribe wavelength balls at a given point in Ω.Finally, we specify our observations to convex obstacles D and show that if ${\mu }_{\mathrm{\Omega }}$ is sufficiently large with respect to ${\lambda }_1(\mathrm{\Omega })$, then all maximizers $x+D$ of ${\mu }_{\mathrm{\Omega }}$ contain all maximum points $x_0$ of ${?}_{{\lambda }_1(\mathrm{\Omega })}$.