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

Reduced invariant sets

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X){\mathcal{I}(X)} denote the ideal of X in \mathbbR[W]{\mathbb{R}[W]} and let I_K(X){\mathcal{I}_{K}(X)} be the ideal generated by I(X)^K{\mathcal{I}(X)^{K}} . We find necessary conditions and sufficient conditions for I(X) = I_K(X){{\mathcal{I}(X) = \mathcal{I}_{K}(X)}} and for ?{I_K(X)} = I(X){{\sqrt{\mathcal{I}_{K}(X)} = \mathcal{I}(X)}} . We consider analogous questions for actions of complex reductive groups.     

Roots of the affine Cremona group

Let k ^[n] = k[x ₁,…, x _n ] be the polynomial algebra in n variables and let \mathbbAⁿ = \textSpec  \boldk^{[ n ]} {\mathbb{A}^n} = {\text{Spec}}\;{{\bold{k}}^{\left[ n \right]}} . In this note we show that the root vectors of \textAu\textt^*( \mathbbAⁿ ) {\text{Au}}{{\text{t}}^*}\left( {{\mathbb{A}^n}} \right) , the subgroup of volume preserving automorphisms in the affine Cremona group \textAut( \mathbbAⁿ ) {\text{Aut}}\left( {{\mathbb{A}^n}} \right) , with respect to the diagonal torus are exactly the locally nilpotent derivations x ^α (∂/∂x _i ), where x ^α is any monomial not depending on x _i . This answers a question posed by Popov.     

Simple and Nearly Simple Deep Matrix Algebras

Deep matrix algebras were originally created by Cuntz (Comm. Math. Phys. 57:173–185, 1977) and McCrimmon (2006). Further study of the associative case was done by the author in Kennedy (2004) and Kennedy (Algebr. Represent. Theory 9:525–537, 2006). In this paper, the associative algebra DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) based on a set X over a field \mathbbK{\mathbb{K}} and various of its subalgebras are studied for the purpose of determining the structure of the associated Lie algebra \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}) and its subalgebras. Several key examples of deep matrix Lie algebras are constructed. These are shown to be either simple or nearly simple depending on the cardinality of the set X. Cartan subalgebras are constructed and two of the key Lie algebras are then decomposed with respect to the adjoint action of these subalgebras. In the process, an infinite dimensional analogue to \mathfraksl₂(\mathbbK)\mathfrak{sl}_2({\mathbb{K}}) is naturally realized as a key subalgebra in deep matrix Lie algebras.     

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

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

Analytic mappings between LB-spaces and applications in infinite-dimensional Lie theory

We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: The group DiffGerm (K, X) of germs of analytic diffeomorphisms around a compact set K in a Banach space X and the group ${\bigcup_{n\in\mathbb {N}}G_n}We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: The group DiffGerm (K, X) of germs of analytic diffeomorphisms around a compact set K in a Banach space X and the group è_{n ? \mathbb N}G_n{\bigcup_{n\in\mathbb {N}}G_n} where the G _n are Banach Lie groups.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

Singular oscillatory integrals on {\mathbb{R}^n}

Let ${\mathcal{P}_{d,n}}Let P_d,n{\mathcal{P}_{d,n}} denote the space of all real polynomials of degree at most d on \mathbbRⁿ{\mathbb{R}^n} . We prove a new estimate for the logarithmic measure of the sublevel set of a polynomial P ? P_d,1{P\in \mathcal{P}_{d,1}} . Using this estimate, we prove that

supP ? Pd,n| p.v.ò\mathbbRneiP(x)\fracW(x/|x|)|x|ndx| ￡ c log d (||W||L logL(Sn-1)+1),\mathop{\rm sup}\limits_ {P \in \mathcal{P}_{d,n}}\left| p.v.\int_{\mathbb{R}^{n}}{e^{iP(x)}}{\frac{\Omega(x/|x|)}{|x|^n}dx}\right | \leq c\,{\rm log}\,d\,(||\Omega||_L \log L(S^{n-1})+1),      11. Separable self-concordant spectral functions and a conjecture of Tunçel      Javier Peña  Hristo S. Sendov 《Mathematical Programming》2010,125(1):101-122       12. A q-analogue of the FKG inequality and some applications      Anders Bj?rner 《Combinatorica》2011,31(2):151-164 Let L be a finite distributive lattice and μ: L → ℝ+ a log-supermodular function. For functions k: L → ℝ+ let Em (k;q)def ?x ? L k(x)m(x)qrank(x) ? \mathbbR+ [q] .E_\mu (k;q)^{\underline{\underline {def}} } \sum\limits_{x \in L} {k(x)\mu (x)q^{rank(x)} \in \mathbb{R}^ + [q]} .      13. Description of Closed Ideals in Function Algebras Containing Continuous Unbounded Functions      Mati Abel  Jorma Arhippainen  Jukka Kauppi 《Mediterranean Journal of Mathematics》2010,7(3):271-282       14. Modular Lie algebras and the Gelfand–Kirillov conjecture      Alexander Premet 《Inventiones Mathematicae》2010,181(2):395-420 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  \mathbbFp{\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, E6, E7, E8 or F4. 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, E6, E7, E8 or F4, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.      15. Quantization of Lie bialgebras and shuffle algebras of Lie algebras      B. Enriquez 《Selecta Mathematica, New Series》2001,7(3):321-407 To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G0(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G0(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G0(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameShv(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameShv(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r\frak a\frak b ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?v (r\frak a\frak b) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameShv(\frak a)?\operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?v(r\frak a\frak b) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameShv(\frak a)* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series rv(r\frak a) \rho^\varpi(r_\frak a) such that ?v(rv(r\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of rv(r\frak a) \rho^\varpi(r_\frak a) in terms of r\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?v(rv(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>      16. Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis      Min Ku  Daoshun Wang  Lin Dong 《Complex Analysis and Operator Theory》2012,6(2):407-424 In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)kw=0,(D-l)kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}.      17. The affine preservers of non-singular matrices      Clément de Seguins Pazzis 《Archiv der Mathematik》2010,95(4):333-342 When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of Mn(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GLn(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of Mp,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M2(\mathbbF2){{\rm M}_2(\mathbb{F}_2)} that stabilize GL2(\mathbbF2){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF2{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp4(\mathbbF2){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS6{\mathfrak{S}_6}.      18. Classification(s) of Danielewski hypersurfaces      P.-M. Poloni 《Transformation Groups》2011,16(2):579-597 The Danielewski hypersurfaces are the hypersurfaces X Q,n in \mathbbC3 {\mathbb{C}^3} defined by an equation of the form x n y = Q(x, z) where n ⩾ 1 and Q(x, z) is a polynomial such that Q(0, z) is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up to automorphism of the ambient space. As a corollary, we obtain that every Danielewski hypersurface X Q,n with n ⩾ 2 admits at least two nonequivalent embeddings into \mathbbC3 {\mathbb{C}^3} .      19. Some results on surjectivity of augmented semi-elliptic differential operators      L. Frerick  T. Kalmes 《Mathematische Annalen》2010,347(1):81-94       20. Spectral Approximation and Index for Convolution Type Operators on Cones on L^{p}(\mathbb {R}^2)      H. Mascarenhas  B. Silbermann 《Integral Equations and Operator Theory》2009,65(3):415-448 We consider an algebra of operator sequences containing, among others, the approximation sequences to convolution type operators on cones acting on Lp(\mathbb R2)L^{p}(\mathbb {R}^2), with 1 < p < ∞. To each operator sequence (An) we associate a family of operators Wx(An) ? L(Lp(\mathbb R2))W_{x}(A_{n}) \in \mathcal {L}(L^{p}(\mathbb {R}^2)) parametrized by x in some index set. When all Wx(An) are Fredholm, the so-called approximation numbers of An have the α-splitting property with α being the sum of the kernel dimensions of Wx(An). Moreover, the sum of the indices of Wx(An) is zero. We also show that the index of some composed convolution-like operators is zero. Results on the convergence of the e\epsilon-pseudospectrum, norms of inverses and condition numbers are also obtained.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

A q-analogue of the FKG inequality and some applications

Let L be a finite distributive lattice and μ: L → ℝ⁺ a log-supermodular function. For functions k: L → ℝ⁺ let

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.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.     

The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

Classification(s) of Danielewski hypersurfaces

The Danielewski hypersurfaces are the hypersurfaces X _Q,n in \mathbbC³ {\mathbb{C}^3} defined by an equation of the form x ⁿ y = Q(x, z) where n ⩾ 1 and Q(x, z) is a polynomial such that Q(0, z) is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up to automorphism of the ambient space. As a corollary, we obtain that every Danielewski hypersurface X _Q,n with n ⩾ 2 admits at least two nonequivalent embeddings into \mathbbC³ {\mathbb{C}^3} .     

Spectral Approximation and Index for Convolution Type Operators on Cones on L^{p}(\mathbb {R}^2)

We consider an algebra of operator sequences containing, among others, the approximation sequences to convolution type operators on cones acting on L^p(\mathbb R²)L^{p}(\mathbb {R}^2), with 1 < p < ∞. To each operator sequence (A_n) we associate a family of operators W_x(A_n) ? L(L^p(\mathbb R²))W_{x}(A_{n}) \in \mathcal {L}(L^{p}(\mathbb {R}^2)) parametrized by x in some index set. When all W_x(A_n) are Fredholm, the so-called approximation numbers of A_n have the α-splitting property with α being the sum of the kernel dimensions of W_x(A_n). Moreover, the sum of the indices of W_x(A_n) is zero. We also show that the index of some composed convolution-like operators is zero. Results on the convergence of the e\epsilon-pseudospectrum, norms of inverses and condition numbers are also obtained.