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.     

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.     

Pluriharmonic maps into Kähler symmetric spaces and Sym’s formula

A construction due to Sym and Bobenko recovers constant mean curvature surfaces in euclidean 3-space from their harmonic Gauss maps. We generalize this construction to higher dimensions and codimensions replacing the surface by a complex manifold and the sphere (the target space of the Gauss map) by a Kähler symmetric space of compact type with its standard embedding into the Lie algebra ${\mathfrak{g}}A construction due to Sym and Bobenko recovers constant mean curvature surfaces in euclidean 3-space from their harmonic Gauss maps. We generalize this construction to higher dimensions and codimensions replacing the surface by a complex manifold and the sphere (the target space of the Gauss map) by a K?hler symmetric space of compact type with its standard embedding into the Lie algebra \mathfrakg{\mathfrak{g}} of its transvection group. Thus we obtain a new class of immersed K?hler submanifolds of \mathfrakg{\mathfrak{g}} and we derive their properties.     

Lifting automorphisms of generalized adjoint quotients

Let G be a reductive algebraic group over an algebraically closed field K of characteristic zero. Let p:\mathfrakg^r ? X = \mathfrakg^r//G \pi :{\mathfrak{g}^r} \to X = {\mathfrak{g}^r}//G be the categorical quotient where \mathfrakg \mathfrak{g} is the adjoint representation of G and r is a suitably large integer (in general r ≥ 5, but for many cases r ≥ 3 or even r ≥ 2 suffices). We show that every automorphism φ of X lifts to a map F:\mathfrakg^r ? \mathfrakg^r \Phi :{\mathfrak{g}^r} \to {\mathfrak{g}^r} commuting with π. As an application we consider the action of φ on the Luna stratification of X.     

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

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)

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})} .     

Balanced Deep Matrix Algebras

This paper continues the study of associative and Lie deep matrix algebras, DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) and \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}), and their subalgebras. After a brief overview of the general construction, balanced deep matrix subalgebras, BDM(X,\mathbbK){\mathcal{BDM}}(X,{\mathbb{K}}) and \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}), are defined and studied for an infinite set X. The global structures of these two algebras are studied, devising a depth grading on both as well as determining their ideal lattices. In particular, \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) is shown to be semisimple. The Lie algebra \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) possesses a deep Cartan decomposition and is locally finite with every finite subalgebra naturally enveloped by a semi-direct product of \mathfraksl_n{\mathfrak{{sl}_n}}’s. We classify all associative bilinear forms on \mathfraksl₂\mathfrakd{\mathfrak{sl}_2\mathfrak{d}} (a natural depth analogue of \mathfraksl₂{\mathfrak{{sl}_2}}) and \mathfrakbld{\mathfrak{bld}}.     

Finiteness properties of minimax and coatomic local cohomology modules

Let R be a noetherian ring, \mathfraka{\mathfrak{a}} an ideal of R, and M an R-module. We prove that for a finite module M, if Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is minimax for all i ≥ r ≥ 1, then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is artinian for i ≥ r. A local–global principle for minimax local cohomology modules is shown. If Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is coatomic for i ≤ r (M finite) then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is finite for i ≤ r. We give conditions for a module which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.     

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.     

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.”     

Almost Kähler 4-dimensional Lie groups with J-invariant Ricci tensor

The J-invariance of the Ricci tensor is a natural weakening of the Einstein condition in almost Hermitian geometry. The aim of this paper is to determine left-invariant strictly almost Kähler structures (g,J,Ω) on real 4-dimensional Lie groups such that the Ricci tensor is J-invariant. We prove that all these Lie groups are isometric (up to homothety) to the (unique) 4-dimensional proper 3-symmetric space.     

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

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.     

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

Comparison of Spaces of Hardy Type for the Ornstein–Uhlenbeck Operator

Denote by γ the Gauss measure on ℝ ⁿ and by ${\mathcal{L}}${\mathcal{L}} the Ornstein–Uhlenbeck operator. In this paper we introduce a Hardy space \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} of Goldberg type and show that for each u in ℝ ∖ {0} and r > 0 the operator (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is unbounded from \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} to L ¹γ. This result is in sharp contrast both with the fact that (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is bounded from H ¹γ to L ¹γ, where H ¹γ denotes the Hardy type space introduced in Mauceri and Meda (J Funct Anal 252:278–313, 2007), and with the fact that in the Euclidean case (rI-D)^iu(r{\mathcal{I}}-\Delta)^{iu} is bounded from the Goldberg space \mathfrakh¹\mathbbRⁿ{{\mathfrak{h}}^1}{{\mathbb{R}}^n} to L ¹ℝ ⁿ . We consider also the case of Riemannian manifolds M with Riemannian measure μ. We prove that, under certain geometric assumptions on M, an operator T{\mathcal{T}}, bounded on L ² μ, and with a kernel satisfying certain analytic assumptions, is bounded from H ¹ μ to L ¹ μ if and only if it is bounded from \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} to L ¹ μ. Here H ¹ μ denotes the Hardy space introduced in Carbonaro et al. (Ann Sc Norm Super Pisa, 2009), and \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} is defined in Section 4, and is equivalent to a space recently introduced by M. Taylor (J Geom Anal 19(1):137–190, 2009). The case of translation invariant operators on homogeneous trees is also considered.     

Ü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})}.     

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 )