On quasiorder lattices and topology lattices of algebras

In this paper, it is shown that the dual [(\textQord)\tilde]\mathfrakA \widetilde{\text{Qord}}\mathfrak{A} of the quasiorder lattice of any algebra \mathfrakA \mathfrak{A} is isomorphic to a sublattice of the topology lattice á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . Further, if \mathfrakA \mathfrak{A} is a finite algebra, then [(\textQord)\tilde]\mathfrakA @ á( \mathfrakA ) \widetilde{\text{Qord}}\mathfrak{A} \cong \Im \left( \mathfrak{A} \right) . We give a sufficient condition for the lattices [(\textCon)\tilde]\mathfrakA\text, [(\textQord)\tilde]\mathfrakA \widetilde{\text{Con}}\mathfrak{A}{\text{,}} \widetilde{\text{Qord}}\mathfrak{A} , and á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . to be pairwise isomorphic. These results are applied to investigate topology lattices and quasiorder lattices of unary algebras.     

Slices for biparabolics of index 1

Let \mathfraka \mathfrak{a} be an algebraic Lie subalgebra of a simple Lie algebra \mathfrakg \mathfrak{g} with index \mathfraka \mathfrak{a}  ≤ rank \mathfrakg \mathfrak{g} . Let Y( \mathfraka ) Y\left( \mathfrak{a} \right) denote the algebra of \mathfraka \mathfrak{a} invariant polynomial functions on \mathfraka^* {\mathfrak{a}^*} . An algebraic slice for \mathfraka \mathfrak{a} is an affine subspace η + V with h ? \mathfraka^* \eta \in {\mathfrak{a}^*} and V ì \mathfraka^* V \subset {\mathfrak{a}^*} subspace of dimension index \mathfraka \mathfrak{a} such that restriction of function induces an isomorphism of Y( \mathfraka ) Y\left( \mathfrak{a} \right) 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 ? \mathfraka h \in \mathfrak{a} is ad-semisimple, η is a regular element of \mathfraka^* {\mathfrak{a}^*} which is an eigenvector for h of eigenvalue minus one and V is an h stable complement to ( \textad  \mathfraka )h \left( {{\text{ad}}\;\mathfrak{a}} \right)\eta in \mathfraka^* {\mathfrak{a}^*} . The classical case is for \mathfrakg \mathfrak{g} semisimple [16], [17]. Yet rather recently many other cases have been provided; for example, if \mathfrakg \mathfrak{g} is of type A and \mathfraka \mathfrak{a} is a “truncated biparabolic” [12] or a centralizer [13]. In some of these cases (in particular when the biparabolic is a Borel subalgebra) it was found [13], [14], that η could be taken to be the restriction of a regular nilpotent element in \mathfrakg \mathfrak{g} . Moreover, this calculation suggested [13] 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 \mathfraka \mathfrak{a} be a truncated biparabolic of index one. (This only arises if \mathfrakg \mathfrak{g} is of type A and \mathfraka \mathfrak{a} is the derived algebra of a parabolic subalgebra whose Levi factor has just two blocks whose sizes are coprime.) In this case it is shown that the second member of an adapted pair (h, η) for \mathfraka \mathfrak{a} is the restriction of a particularly carefully chosen regular nilpotent element of \mathfrakg \mathfrak{g} . A by-product of our analysis is the construction of a map from the set of pairs of coprime integers to the set of all finite ordered sequences of ±1.     

Revisiting the Farey AF Algebra

In a recent paper, F. Boca investigates the AF algebra \mathfrakA{{\mathfrak{A}}} associated with the Farey-Stern-Brocot sequence. We show that \mathfrakA{{\mathfrak{A}}} coincides with the AF algebra \mathfrakM₁{{\mathfrak{M_{1}}}} introduced by the present author in 1988. As proved in that paper (Adv. Math., vol.68.1), the K ₀-group of \mathfrakA{\mathfrak{A}} is the lattice-ordered abelian group M₁{\mathcal{M}_{1}} of piecewise linear functions on the unit interval, each piece having integer coefficients, with the constant 1 as the distinguished order unit. Using the elementary properties of M₁{\mathcal{M}_{1}} we can give short proofs of several results in Boca’s paper. We also prove many new results: among others, \mathfrakA{{\mathfrak{A}}} is a *-subalgebra of Glimm universal algebra, tracial states of \mathfrakA{{\mathfrak{A}}} are in one-one correspondence with Borel probability measures on the unit real interval, all primitive ideals of \mathfrakA{{\mathfrak{A}}} are essential. We describe the automorphism group of \mathfrakA{{\mathfrak{A}}} . For every primitive ideal I of \mathfrakA{{{\mathfrak{A}}}} we compute K ₀(I) and K₀(\mathfrakA/I){{K_{0}(\mathfrak{A}/I)}}.     

Stability of unitary SK<Subscript>1</Subscript> of Azumaya algebras

For an Azumaya algebra A with center C of rank n ² and a unitary involution τ, we study the stability of the unitary SK₁ under reduction. We show that if R = C ^τ is a Henselian ring with maximal ideal \mathfrakm{\mathfrak{m}} and 2 and n are invertible in R then SK₁(A, t) @ SK₁(A/ \mathfrakm A, overline t){{{\rm SK}_1}(A, \tau) \cong {{\rm SK}_1}(A/ \mathfrak{m} A, overline \tau)}.     

Mappings preserving the area equality of hyperbolic triangles are motions

It is shown that a mapping ${\varphi: \mathfrak{A}\rightarrow \mathfrak{B}}It is shown that a mapping j: \mathfrakA? \mathfrakB{\varphi: \mathfrak{A}\rightarrow \mathfrak{B}} between models \mathfrakA{\mathfrak{A}} and \mathfrakB{\mathfrak{B}} of elementary plane hyperbolic geometry, coordinatized by Euclidean ordered fields, that maps triangles having the same area and sharing a side into triangles that have the same property, must be a hyperbolic motion onto j(\mathfrakA){\varphi(\mathfrak{A})}. The relations that Tarski and Szmielew used as primitives for geometry, the equidistance relation ≡ and the betweenness relation B are shown to be positively existentially definable in terms of the quaternary relation Δ, with Δ(abcd) standing for “the triangles abc and abd have the same area.”     

On one class of extreme extensions of a measure

We consider a relationship between two sets of extensions of a finite finitely additive measure μ defined on an algebra \mathfrakB \mathfrak{B} of sets to a broader algebra \mathfrakA \mathfrak{A} . These sets are the set ex S _μ of all extreme extensions of the measure μ and the set H _μ of all extensions defined as l(A) = [^(m)]( h(A) ),   A ? \mathfrakA \lambda (A) = \hat{\mu }\left( {h(A)} \right),\,\,\,A \in \mathfrak{A} , where [^(m)] \hat{\mu } is a quotient measure on the algebra \mathfrakB

Polynomiality of invariants, unimodularity and adapted pairs

Let \mathfraka \mathfrak{a} be a finite-dimensional Lie algebra and Y( \mathfraka ) Y\left( \mathfrak{a} \right) the \mathfraka \mathfrak{a} invariant subalgebra of its symmetric algebra S( \mathfraka ) S\left( \mathfrak{a} \right) under adjoint action. Recently there has been considerable interest in studying situations when Y( \mathfraka ) Y\left( \mathfrak{a} \right) may be polynomial on index \mathfraka \mathfrak{a} generators, for example if \mathfraka \mathfrak{a} is a biparabolic or a centralizer \mathfrakg^x {\mathfrak{g}^x} in a semisimple Lie algebra \mathfrakg \mathfrak{g} .     

An inverse spectral theorem for Kre?n strings with a negative eigenvalue

A string is a pair (L, \mathfrakm){(L, \mathfrak{m})} where L ? [0, ￥]{L \in[0, \infty]} and \mathfrakm{\mathfrak{m}} is a positive, possibly unbounded, Borel measure supported on [0, L]; we think of L as the length of the string and of \mathfrakm{\mathfrak{m}} as its mass density. To each string a differential operator acting in the space L²(\mathfrakm){L^2(\mathfrak{m})} is associated. Namely, the Kreĭn–Feller differential operator -D_\mathfrakmD_x{-D_{\mathfrak{m}}D_x} ; its eigenvalue equation can be written, e.g., as

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

On divisible weighted Dynkin diagrams and reachable elements

Let e be a nilpotent element of a complex simple Lie algebra $ \mathfrak{g} Let e be a nilpotent element of a complex simple Lie algebra \mathfrakg \mathfrak{g} . The weighted Dynkin diagram of e, D(e) \mathcal{D}(e) , is said to be divisible if D(e)

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

Enveloping algebras of Slodowy slices and Goldie rank

Let U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) be the finite W-algebra associated with a nilpotent element e in a complex simple Lie algebra \mathfrakg = \textLie(G) \mathfrak{g} = {\text{Lie}}(G) and let I be a primitive ideal of the enveloping algebra U( \mathfrakg ) U\left( \mathfrak{g} \right) whose associated variety equals the Zariski closure of the nilpotent orbit (Ad G) e. Then it is known that I = \textAn\textn_{U( \mathfrakg )}( Q_e ?_{U( \mathfrakg,e )}V ) I = {\text{An}}{{\text{n}}_{U\left( \mathfrak{g} \right)}}\left( {{Q_e}{ \otimes_{U\left( {\mathfrak{g},e} \right)}}V} \right) for some finite dimensional irreducible U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) -module V, where Q _e stands for the generalised Gelfand–Graev \mathfrakg \mathfrak{g} -module associated with e. The main goal of this paper is to prove that the Goldie rank of the primitive quotient U( \mathfrakg )

Homogeneous Hypersurfaces in ℂ<Superscript>3</Superscript>, Associated with a Model CR-Cubic

The model 4-dimensional CR-cubic in ℂ³ has the following “model” property: it is (essentially) the unique locally homogeneous 4-dimensional CR-manifold in ℂ³ with finite-dimensional infinitesimal automorphism algebra \mathfrakg\mathfrak{g} and non-trivial isotropy subalgebra. We study and classify, up to local biholomorphic equivalence, all \mathfrakg\mathfrak{g}-homogeneous hypersurfaces in ℂ³ and also classify the corresponding local transitive actions of the model algebra \mathfrakg\mathfrak{g} on hypersurfaces in ℂ³.     

(Super) module amenability, module topological centre and semigroup algebras

For a Banach algebra $\mathcal{A}For a Banach algebra A\mathcal{A} which is also an \mathfrakA\mathfrak{A}-bimodule, we study relations between module amenability of closed subalgebras of A"\mathcal{A}', which contains A\mathcal{A}, and module Arens regularity of A\mathcal{A} and the role of the module topological centre in module amenability of A"\mathcal{A}'. Then we apply these results to A=l¹(S)\mathcal{A}=l^{1}(S) and \mathfrakA=l¹(E)\mathfrak{A}=l^{1}(E) for an inverse semigroup S with subsemigroup E of idempotents. We also show that l ¹(S) is module amenable (equivalently, S is amenable) if and only if an appropriate group homomorphic image of S, the discrete group \fracS ? \frac{S}{\approx}, is amenable. Moreover, we define super module amenability and show that l ¹(S) is super module amenable if and only if \fracS ? \frac{S}{\approx} is finite.     

Character formulas for Feigin–Stoyanovsky’s type subspaces of standard $\mathfrak{sl}(3, \mathbb{C})^{\widetilde{}}$-modules

Exact sequences of Feigin–Stoyanovsky’s type subspaces for affine Lie algebra \mathfraksl(l+1,\mathbbC)^[\tilde]\mathfrak{sl}(l+1,\mathbb{C})^{\widetilde{}} lead to systems of recurrence relations for formal characters of those subspaces. By solving the corresponding system for \mathfraksl(3,\mathbbC)^[\tilde]\mathfrak{sl}(3,\mathbb{C})^{\widetilde{}}, we obtain a new family of character formulas for all Feigin–Stoyanovsky’s type subspaces at the general level.     

Around splitting and reaping for partitions of ω

We investigate splitting number and reaping number for the structure (ω) ^ω of infinite partitions of ω. We prove that \mathfrakr_d ￡ non(M),non(N),\mathfrakd{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and \mathfraks_d 3 \mathfrakb{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency \mathfrakr_d < add(M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and \mathfraks_d < cof(M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants \mathfrakr_pair{\mathfrak{r}_{pair}} and \mathfraks_pair{\mathfrak{s}_{pair}} . We also study the relation between \mathfrakr_pair, \mathfraks_pair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that cov(M),cov(N) ￡ \mathfrakr_pair ￡ \mathfraks_d,\mathfrakr{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and \mathfraks ￡ \mathfraks_pair ￡ non(M),non(N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} .     

Über die Bedingung Going up für {R \subset \hat{R}}

Let (R,\mathfrak m){(R,\mathfrak m)} be a noetherian, local ring with completion [^(R)]{\hat{R}} . We show that R ì [^(R)]{R \subset \hat{R}} satisfies the condition Going up if and only if there exists to every artinian R-module M with Ann_R(M) ì \mathfrakp{{\rm Ann}_R(M) \subset \mathfrak{p}} a submodule U ì M{U \subset M} with Ann_R(U)=\mathfrakp.{{\rm {Ann}}_R(U)=\mathfrak{p}.} This is further equivalent to R being formal catenary, to α(R) = 0 and to H^d_{\mathfrakq/\mathfrakp}(R/\mathfrakp)=0{H^d_{\mathfrak{q}/\mathfrak{p}}(R/\mathfrak{p})=0} for all prime ideals \mathfrakp ì \mathfrakq \subsetneq \mathfrakm{\mathfrak{p} \subset \mathfrak{q} \subsetneq \mathfrak{m}} where d = dim(R/\mathfrakp){d = {\rm {dim}}(R/\mathfrak{p})}.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}