Let $M\stackrel {\rho _0}{\curvearrowleft }S$ be a $C^\infty $ locally free action of a connected simply connected solvable Lie group S on a closed manifold M. Roughly speaking, $\rho _0$ is parameter rigid if any $C^\infty $ locally free action of S on M having the same orbits as $\rho _0$ is $C^\infty $ conjugate to $\rho _0$ . In this paper we prove two types of result on parameter rigidity.

First let G be a connected semisimple Lie group with finite center of real rank at least $2$ without compact factors nor simple factors locally isomorphic to $\mathop {\mathrm {SO}}\nolimits _0(n,1)(n\,{\geq}\, 2)$ or $\mathop {\mathrm {SU}}\nolimits (n,1)(n\geq 2)$ , and let $\Gamma $ be an irreducible cocompact lattice in G. Let $G=KAN$ be an Iwasawa decomposition. We prove that the action $\Gamma \backslash G\curvearrowleft AN$ by right multiplication is parameter rigid. One of the three main ingredients of the proof is the rigidity theorems of Pansu, and Kleiner and Leeb on the quasi-isometries of Riemannian symmetric spaces of non-compact type.

Secondly we show that if $M\stackrel {\rho _0}{\curvearrowleft }S$ is parameter rigid, then the zeroth and first cohomology of the orbit foliation of $\rho _0$ with certain coefficients must vanish. This is a partial converse to the results in the author’s [Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups. Geom. Topol. 21(1) (2017), 157–191], where we saw sufficient conditions for parameter rigidity in terms of vanishing of the first cohomology with various coefficients.

In this paper, we mainly investigate two versions of the Bohr theorem for slice regular functions over the largest alternative division algebras of octonions $\mathbb {O}$. To this end, we establish the coefficient estimates for self-maps of the unit ball of $\mathbb {O}$ and the Carathéodory class in this setting. As a further application of the coefficient estimate, the 1/2-covering theorem is also proven for slice regular functions with convex image.

We settle several fundamental questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. Moreover, we settle these questions in a greater generality: we give a complete classification of the associated universal formality maps. An important new technical ingredient introduced in this paper is a polydifferential endofunctor ${\mathcal {D}}$ in the category of augmented props with the property that for any representation of a prop ${\mathcal {P}}$ in a vector space $V$ the associated prop ${\mathcal {D}}{\mathcal {P}}$ admits an induced representation on the graded commutative algebra $\odot ^\bullet V$ given in terms of polydifferential operators. Applying this functor to the minimal resolution $\widehat {\mathcal {L}\textit{ieb}}_\infty$ of the genus completed prop $\widehat {\mathcal {L}\textit{ieb}}$ of Lie bialgebras we show that universal formality maps for quantizations of Lie bialgebras are in one-to-one correspondence with morphisms of dg props

\[F: \mathcal{A}\textit{ssb}_\infty \longrightarrow {\mathcal{D}}\widehat{\mathcal{L}\textit{ieb}}_\infty \]

$\mathcal {A}\textit{ssb}_\infty$

$\mathfrak{A}$

${\mathcal {L}} ie_\infty$

${\mathcal {L}} ie_\infty$

$\mathsf {Def}({\mathcal {A}} ss{\mathcal {B}}_\infty \rightarrow {\mathcal {E}} nd_{\odot ^\bullet V})$

$\mathsf {Def}({\mathcal {L}} ie{\mathcal {B}}\rightarrow {\mathcal {E}} nd_V)$

$\odot V$

$V$

$\mathsf {Def}(\mathcal {A}\textit{ssb}_\infty \stackrel {F}{\rightarrow } {\mathcal {D}}\widehat {\mathcal {L}\textit{ieb}}_\infty )$

$\{F_\mathfrak{A}\}$

$GRT=GRT_1\rtimes {\mathbb {K}}^*$

$\{\mathfrak{A}\}$

The Virasoro algebra $\mathcal {L}$ is an infinite-dimensional Lie algebra with basis {Lm, C| m ∈ ℤ} and relations [Lm, Ln] = (n − m)Lm+n + δm+n,0((m3 − m)/12)C, [Lm, C] = 0 for m, n ∈ ℤ. Let $\mathfrak a$ be the subalgebra of $\mathcal {L}$ spanned by Li for i ≥ −1. For any triple (μ, λ, α) of complex numbers with μ ≠ 0, λ ≠ 0 and any non-trivial $\mathfrak a$-module V satisfying the condition: for any v ∈ V there exists a non-negative integer m such that Liv = 0 for all i ≥ m, non-weight $\mathcal {L}$-modules on the linear tensor product of V and ℂ[∂], denoted by $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))\ (\Omega (\lambda ,\alpha )=\mathbb {C}[\partial ]$ as vector spaces), are constructed in this paper. We prove that $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ is simple if and only if μ ≠ 1, λ ≠ 0, α ≠ 0. We also give necessary and sufficient conditions for two such simple $\mathcal {L}$-modules being isomorphic. Finally, these simple $\mathcal {L}$-modules $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ are proved to be new for V not being the highest weight $\mathfrak a$-module whose highest weight is non-zero.

Generalised quantum determinantal rings are the analogue in quantum matrices of Schubert varieties. Maximal orders are the noncommutative version of integrally closed rings. In this paper, we show that generalised quantum determinantal rings are maximal orders. The cornerstone of the proof is a description of generalised quantum determinantal rings, up to a localisation, as skew polynomial extensions.

Let K be a field of characteristic zero. In this paper, we study the polynomial identities of representations of Lie algebras, also called weak identities, or identities of pairs. These identities are determined by pairs of the form (A, L) where A is an associative enveloping algebra for the Lie algebra L. Then a weak identity of (A, L) (or an identity for the representation of L associated to A) is an associative polynomial which vanishes when evaluated on elements of L⊆ A. One of the most influential results in the area of PI algebras was the theory developed by Kemer. A crucial role in it was played by the construction of the Grassmann envelope of an associative algebra and the close relation of the identities of the algebra and its Grassmann envelope. Here we consider varieties of pairs. We prove that under some restrictions one can develop a theory similar to that of Kemer's in the study of identities of representations of Lie algebras. As a consequence, we establish that in the case when K is algebraically closed, if a variety of pairs does not contain pairs corresponding to representations of sl2(K), and if the variety is generated by a pair where the associative algebra is PI then it is soluble. As another consequence of the methods used to obtain the above result, and applying ideas from papers by Giambruno and Zaicev, we were able to construct a pair (A, L) such that its PI exponent (if it exists) cannot be an integer. We recall that the PI exponent exists and is an integer whenever A is an associative (a theorem by Giambruno and Zaicev), or a finite-dimensional Lie algebra (Zaicev). Gordienko also proved that the PI exponent exists and is an integer for finite-dimensional representations of Lie algebras.

We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks, where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way, we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterated cospans.

For a locally compact Hausdorff space X and a C*-algebra A with only finitely many closed ideals, we discuss a characterization of closed ideals of C0(X,A) in terms of closed ideals of A and a class of closed subspaces of X. We further use this result to prove that a closed ideal of C0(X)⊗minA is a finite sum of product ideals. We also establish that for a unital C*-algebra A, C0(X,A) has the centre-quotient property if and only if A has the centre-quotient property. As an application, we characterize the closed Lie ideals of C0(X,A) and identify all the closed Lie ideals of HC0(X)⊗minB(H), H being a separable Hilbert space.

We give a complete description of quadratic twisted potential algebras on three generators as well as cubic twisted potential algebras on two generators up to graded algebra isomorphisms under the assumption that the ground field is algebraically closed and has characteristic other than 2 or 3.

We give explicit formulae for differential graded Lie algebra (DGLA) models of $3$ -cells. In particular, for a cube and an $n$ -faceted banana-shaped $3$ -cell with two vertices, $n$ edges each joining those two vertices, and $n$ bi-gon $2$ -cells, we construct a model symmetric under the geometric symmetries of the cell fixing two antipodal vertices. The cube model is to be used in forthcoming work for discrete analogues of differential geometry on cubulated manifolds.

Steinberg’s tensor product theorem shows that for semisimple algebraic groups, the study of irreducible representations of higher Frobenius kernels reduces to the study of irreducible representations of the first Frobenius kernel. In the preceding paper in this series, deforming the distribution algebra of a higher Frobenius kernel yielded a family of deformations called higher reduced enveloping algebras. In this paper, we prove that the Steinberg decomposition can be similarly deformed, allowing us to reduce representation theoretic questions about these algebras to questions about reduced enveloping algebras. We use this to derive structural results about modules over these algebras. Separately, we also show that many of the results in the preceding paper hold without an assumption of reductivity.

Let A be a symmetrisable generalised Cartan matrix, and let $\mathfrak {g}(A)$ be the corresponding Kac–Moody algebra. In this paper, we address the following fundamental question on the structure of $\mathfrak {g}(A)$ : given two homogeneous elements $x,y\in \mathfrak {g}(A)$ , when is their bracket $[x,y]$ a nonzero element? As an application of our results, we give a description of the solvable and nilpotent graded subalgebras of $\mathfrak {g}(A)$ .

Symplectic finite semifields can be used to construct nonlinear binary codes of Kerdock type (i.e., with the same parameters of the Kerdock codes, a subclass of Delsarte–Goethals codes). In this paper, we introduce nonbinary Delsarte–Goethals codes of parameters $(q^{m+1}\ ,\ q^{m(r+2)+2}\ ,\ {\frac{q-1}{q}(q^{m+1}-q^{\frac{m+1}{2}+r})})$ over a Galois field of order $q=2^l$ , for all $0\le r\le\frac{m-1}{2}$ , with m ≥ 3 odd, and show the connection of this construction to finite semifields.

An unexpected relationship between indecomposable involutive set-theoretic solutions to the Yang–Baxter equation and one-generator braces has recently been discovered by Agata and Alicja Smoktunowicz. We extend these results and answer three open questions which arose in this context.

We introduce and investigate new invariants of pairs of modules $M$ and $N$ over quantum affine algebras $U_{q}^{\prime }(\mathfrak{g})$ by analyzing their associated $R$-matrices. Using these new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_{q}^{\prime }(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.

In 1996, a q-deformation of the universal enveloping algebra of the Schrödinger Lie algebra was introduced in Dobrev et al. [J. Phys. A 29 (1996) 5909–5918.]. This algebra is called the quantum Schrödinger algebra. In this paper, we study the Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the quantum Schrödinger algebra $U_q(\mathfrak{s})$ , where q is a nonzero complex number which is not a root of unity. If the central charge $\dot z\neq 0$ , using the module $B_{\dot z}$ over the quantum Weyl algebra $H_q$ , we show that there is an equivalence between the full subcategory $\mathcal{O}[\dot Z]$ consisting of modules with the central charge $\dot z$ and the BGG category $\mathcal{O}^{(\mathfrak{sl}_2)}$ for the quantum group $U_q(\mathfrak{sl}_2)$ . In the case that $\dot z = 0$ , we study the subcategory $\mathcal{A}$ consisting of finite dimensional $U_q(\mathfrak{s})$ -modules of type 1 with zero action of Z. We directly construct an equivalence functor from $\mathcal{A}$ to the category of finite dimensional representations of an infinite quiver with some quadratic relations. As a corollary, we show that the category of finite dimensional $U_q(\mathfrak{s})$ -modules is wild.

We study exceptional Jordan algebras and related exceptional group schemes over commutative rings from a geometric point of view, using appropriate torsors to parametrize and explain classical and new constructions, and proving that over rings, they give rise to nonisomorphic structures.

We begin by showing that isotopes of Albert algebras are obtained as twists by a certain $\mathrm F_4$ -torsor with total space a group of type $\mathrm E_6$ and, using this, that Albert algebras over rings in general admit nonisomorphic isotopes even in the split case, as opposed to the situation over fields. We then consider certain $\mathrm D_4$ -torsors constructed from reduced Albert algebras, and show how these give rise to a class of generalised reduced Albert algebras constructed from compositions of quadratic forms. Showing that this torsor is nontrivial, we conclude that the Albert algebra does not uniquely determine the underlying composition, even in the split case. In a similar vein, we show that a given reduced Albert algebra can admit two coordinate algebras which are nonisomorphic and have nonisometric quadratic forms, contrary, in a strong sense, to the case over fields, established by Albert and Jacobson.

For ${\mathcal{C}}$ a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show:

1. (1) ${\mathcal{C}}$ always contains a simple projective object;

2. (2) if ${\mathcal{C}}$ is in addition ribbon, the internal characters of projective modules span a submodule for the projective $\text{SL}(2,\mathbb{Z})$-action;

3. (3) the action of the Grothendieck ring of ${\mathcal{C}}$ on the span of internal characters of projective objects can be diagonalised;

4. (4) the linearised Grothendieck ring of ${\mathcal{C}}$ is semisimple if and only if ${\mathcal{C}}$ is semisimple.

Results (1)–(3) remain true in positive characteristic under an extra assumption. Result (1) implies that the tensor ideal of projective objects in ${\mathcal{C}}$ carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of $S$-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular $S$-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there.

We formulate a $q$-Schur algebra associated with an arbitrary $W$-invariant finite set $X_{\text{f}}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra and Hecke algebra associated with $W$. We then realize geometrically the $q$-Schur algebra and duality and construct a canonical basis for the $q$-Schur algebra with positivity. With suitable choices of $X_{\text{f}}$ in classical types, we recover the $q$-Schur algebras in the literature. Our $q$-Schur algebras are closely related to the category ${\mathcal{O}}$, where the type $G_{2}$ is studied in detail.