Initial Enlargement of Filtrations and Entropy of Poisson Compensators

Let μ be a Poisson random measure, let \mathbbF\mathbb{F} be the smallest filtration satisfying the usual conditions and containing the one generated by μ, and let \mathbbG\mathbb{G} be the initial enlargement of \mathbbF\mathbb{F} with the σ-field generated by a random variable G. In this paper, we first show that the mutual information between the enlarging random variable G and the σ-algebra generated by the Poisson random measure μ is equal to the expected relative entropy of the \mathbbG\mathbb{G}-compensator relative to the \mathbbF\mathbb{F}-compensator of the random measure μ. We then use this link to gain some insight into the changes of Doob–Meyer decompositions of stochastic processes when the filtration is enlarged from  \mathbbF\mathbb{F} to  \mathbbG\mathbb{G}. In particular, we show that if the mutual information between G and the σ-algebra generated by the Poisson random measure μ is finite, then every square-integrable \mathbbF\mathbb{F}-martingale is a \mathbbG\mathbb{G}-semimartingale that belongs to the normed space S¹\mathcal{S}^{1} relative to  \mathbbG\mathbb{G}.     

Second cohomology group of extended W-algebras

Let \mathbbF\mathbb{F} be a field of characteristic 0, and let G be an additive subgroup of \mathbbF\mathbb{F}. We define a class of infinite-dimensional Lie algebras \mathbbF\mathbb{F}-basis {L _μ, V _μ, W _μ | μ ∈ G}, which are very closely related to W-algebras. In this paper, the second cohomology group of is determined.     

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.     

Relative universality and universality obtained by adding constants

A variety ${\mathbb{V}}${\mathbb{V}} is var-relatively universal if it contains a subvariety \mathbbW{\mathbb{W}} such that the class of all homomorphisms that do not factorize through any algebra in \mathbbW{\mathbb{W}} is algebraically universal. And \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} if adding α nullary operations to all algebras in \mathbbV{\mathbb{V}} gives rise to a class a\mathbbV{\alpha\mathbb{V}} of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} . This note contains a more general result that proves this conjecture.     

Bijective maps on standard Borel subgroup of symplectic group preserving commutators

Let F be a field, and let \mathbbG\mathbb{G} be the standard Borel subgroup of the symplectic group Sp(2m, F). In this paper, we characterize the bijective maps ϕ: \mathbbG\mathbb{G} → \mathbbG\mathbb{G} satisfying ϕ[x, y] = [ϕ(x), ϕ(y)].     

Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$

In this work, we focus on cyclic codes over the ring \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} , which is not a finite chain ring. We use ideas from group rings and works of AbuAlrub et.al. in (Des Codes Crypt 42:273–287, 2007) to characterize the ring (\mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂)/(xⁿ-1){({{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2})/(x^n-1)} and cyclic codes of odd length. Some good binary codes are obtained as the images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} under two Gray maps that are defined. We also characterize the binary images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.     

Some presentations of the real number field

It is proved that every two Σ-presentations of an ordered field \mathbbR \mathbb{R} of reals over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) , whose universes are subsets of \mathbbR \mathbb{R} , are mutually Σ-isomorphic. As a consequence, for a series of functions f:\mathbbR ? \mathbbR f:\mathbb{R} \to \mathbb{R} (e.g., exp, sin, cos, ln), it is stated that the structure \mathbbR \mathbb{R} = 〈R, +, ×, <, 0, 1, f〉 lacks such Σ-presentations over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) .     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

Normalizers and self-normalizing subgroups II

Let \mathbbK\mathbb{K} be a field, G a reductive algebraic \mathbbK\mathbb{K}-group, and G ₁ ≤ G a reductive subgroup. For G ₁ ≤ G, the corresponding groups of \mathbbK\mathbb{K}-points, we study the normalizer N = N _G (G ₁). In particular, for a standard embedding of the odd orthogonal group G ₁ = SO(m, \mathbbK\mathbb{K}) in G = SL(m, \mathbbK\mathbb{K}) we have N ≅ G ₁ ⋊ μ _m ( \mathbbK\mathbb{K}), the semidirect product of G ₁ by the group of m-th roots of unity in \mathbbK\mathbb{K}. The normalizers of the even orthogonal and symplectic subgroup of SL(2n, \mathbbK\mathbb{K}) were computed in [Širola B., Normalizers and self-normalizing subgroups, Glas. Mat. Ser. III (in press)], leaving the proof in the odd orthogonal case to be completed here. Also, for G = GL(m, \mathbbK\mathbb{K}) and G ₁ = O(m, \mathbbK\mathbb{K}) we have N ≅ G ₁ ⋊ \mathbbK\mathbb{K} ^×. In both of these cases, N is a self-normalizing subgroup of G.     

On solvability of systems of polynomial equations

We study the computational complexity of the solvability problem of systems of polynomial equations over finite algebras. We prove a new dichotomy theorem that extends most of the dichotomy results which have been obtained over different families of finite algebras so far. As a corollary, for example, we get that if \mathbbA{\mathbb{A}} is a finite algebra of finite signature and omits the Hobby-McKenzie type 1, then the problem is solvable in polynomial time whenever \mathbbA{\mathbb{A}} is a reduct of a generalized affine algebra, and NP-complete otherwise.     

Affine extractors over prime fields

An affine extractor is a map that is balanced on every affine subspace of large enough dimension. We construct an explicit affine extractor AE from \mathbbFⁿ \mathbb{F}^n to \mathbbF\mathbb{F}, \mathbbF\mathbb{F} a prime field, so that AE(x) is exponentially close to uniform when x is chosen uniformly at random from an arbitrary affine subspace of \mathbbFⁿ \mathbb{F}^n of dimension at least δn, 0<δ≤1 a constant. Previously, Bourgain constructed such affine extractors when the size of \mathbbF\mathbb{F} is two. Our construction is in the spirit of but different than Bourgain’s construction. This allows for simpler analysis and better quantitative results.     

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

Algebraic characterization of the isometries of the hyperbolic 5-space

Let \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} be the group of invertible 2 × 2 matrices over the division algebra \mathbbH{\mathbb{H}} of quaternions. \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} acts on the hyperbolic 5-space as the group of orientation-preserving isometries. Using this action we give an algebraic characterization of the orientation-preserving isometries of the hyperbolic 5-space. Along the way we also determine the conjugacy classes and the conjugacy classes of centralizers or the z-classes in \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} .     

Commutative <Emphasis Type="Italic">C</Emphasis>*-Algebras of Toeplitz Operators on Complex Projective Spaces

We prove the existence of commutative C*-algebras of Toeplitz operators on every weighted Bergman space over the complex projective space \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}. The symbols that define our algebras are those that depend only on the radial part of the homogeneous coordinates. The algebras presented have an associated pair of Lagrangian foliations with distinguished geometric properties and are closely related to the geometry of \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}.     

Well,Papa, Can You Multiply Triplets?

We show that the classical algebra of quaternions is a commutative \mathbbZ₂× < {\mathbb{Z}}_2\times< - graded algebra. A similar interpretation of the algebra of octonions is impossible.     

An L0（F,R）-valued Function＇s Intermediate Value Theorem and Its Applications to Random Uniform Convexity

Let (Ω , F , P ) be a probability space and L0 ( F, R ) the algebra of equivalence classes of real- valued random variables on (Ω , F , P ). When L0 ( F, R ) is endowed with the topology of convergence in probability, we prove an intermediate value theorem for a continuous local function from L0 ( F, R ) to L0 ( F, R ). As applications of this theorem, we first give several useful expressions for modulus of random convexity, then we prove that a complete random normed module ( S,|| · ||) is random uniformly convex iff Lp ( S ) is uniformly convex for each fixed positive number p such that 1 p + ∞ .     

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.     

Minimal Lipschitz Extensions to Differentiable Functions Defined on a Hilbert Space

We generalize the Lipschitz constant to fields of affine jets and prove that such a field extends to a field of total domain \mathbbRⁿ{\mathbb{R}^n} with the same constant. This result may be seen as the analog for fields of the minimal Kirszbraun’s extension theorem for Lipschitz functions and, therefore, establishes a link between Kirszbraun’s theorem and Whitney’s theorem. In fact this result holds not only in Euclidean \mathbbRⁿ{\mathbb{R}^n} but also in general (separable or not) Hilbert space. We apply the result to the functional minimal Lipschitz differentiable extension problem in Euclidean spaces and we show that no Brudnyi–Shvartsman-type theorem holds for this last problem. We conclude with a first approach of the absolutely minimal Lipschitz extension problem in the differentiable case which was originally studied by Aronsson in the continuous case.