Commutative Subalgebras of Quantum Algebras

In the present paper, a general assertion is proved, claiming that, for every associative algebra $\mathcal{A}$ without zero divisors which admits a valuation and a seminorm concordant with the valuation, the transcendence degree of an arbitrary commutative subalgebra does not exceed the maximal number of independent pairwise pseudocommuting elements of some basis of the algebra $\mathcal{A}$ . The author shows that for such a algebra $\mathcal{A}$ one can take an arbitrary algebra of quantum Laurent polynomials, quantum analogs of the Weyl algebra, and also some universal coacting algebras. In the case of the algebra $\mathcal{L}$ of quantum Laurent polynomials, it is proved that the transcendence degree of a maximal commutative subalgebra of $\mathcal{L}$ coincides with the maximal number of independent pairwise commuting elements of the monomial basis of the algebra $\mathcal{L}$ .     

Semi-Heyting Algebras Term-equivalent to Gödel Algebras

In this paper we investigate those subvarieties of the variety $\mathcal {SH}$ of semi-Heyting algebras which are term-equivalent to the variety $\mathcal L_{\mathcal H}$ of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety $\mathcal L^{\rm Com}$ of commutative semi-Heyting algebras and the variety $\mathcal L^{\vee}$ generated by the chains in which a?<?b implies a → b?=?b. We also study the variety $\mathcal C$ generated within $\mathcal{SH}$ by $\mathcal L_{\mathcal H}$ , $\mathcal L_\vee$ and $\mathcal L_{\rm Com}$ . In particular we prove that $\mathcal C$ is locally finite and we obtain a construction of the finitely generated free algebra in $\mathcal C$ .     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Varieties generated by modes of submodes

In a natural way, we can ??lift?? any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra ( ${A, \Omega}$ ) its power algebra of subsets. G. Gr?tzer and H. Lakser proved that for a variety ${\mathcal{V}}$ , the variety ${\mathcal{V}\Sigma}$ generated by power algebras of algebras in ${\mathcal{V}}$ satisfies precisely the consequences of the linear identities true in ${\mathcal{V}}$ . For certain types of algebras, the sets of their subalgebras form subalgebras of their power algebras. They are called the algebras of subalgebras. In this paper, we partially solve a long-standing problem concerning identities satisfied by the variety ${\mathcal{VS}}$ generated by algebras of subalgebras of algebras in a given variety ${\mathcal{V}}$ . We prove that if a variety ${\mathcal{V}}$ is idempotent and entropic and the variety ${\mathcal{V}\Sigma}$ is locally finite, then the variety ${\mathcal{VS}}$ is defined by the idempotent and linear identities true in ${\mathcal{V}}$ .     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

Some new classes of Kadison-Singer lattices in Hilbert spaces

Let N be a maximal and discrete nest on a separable Hilbert space H,E the projection from H onto the subspace[C]spanned by a particular separating vector for N′and Q the projection from K=H⊕H onto the closed subspace{(,):∈H}.Let L be the closed lattice in the strong operator topology generated by the projections(E 00 0),{(E 00 0):E∈N}and Q.We show that L is a Kadison-Singer lattice with trivial commutant,i.e.,L′=CI.Furthermore,we similarly construct some Kadison-Singer lattices in the matrix algebras M2n(C)and M2n.1(C).     

Valuation Extensions of Algebras Defined by Monic Gr?bner Bases

Let K be a field, $\mathcal {O}_v$ a valuation ring of K associated to a valuation v: K → Γ?∪?{?∞?}, and m _v the unique maximal ideal of $\mathcal {O}_v$ . Consider an ideal $\mathcal {I}$ of the free K-algebra $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ on X ₁,...,X _n . If ${\cal I}$ is generated by a subset $\mathcal {G}\subset{\cal O}_v\langle X\rangle$ which is a monic Gr?bner basis of ${\cal I}$ in $K\langle X\rangle$ , where $\mathcal {O}_v\langle X\rangle =\mathcal{O}_v\langle X_1,...,X_n\rangle$ is the free $\mathcal{O}_v$ -algebra on X ₁,...,X _n , then the valuation v induces naturally an exhaustive and separated Γ-filtration F ^v A for the K-algebra $A=K\langle X\rangle /\mathcal {I}$ , and moreover $\mathcal{I}\cap\mathcal{O}_v\langle X\rangle =\langle\mathcal{G}\rangle$ holds in $\mathcal{O}_v\langle X\rangle$ ; it follows that, if furthermore $\mathcal{G}\not\subset {\bf m}_v{O}_v\langle X\rangle$ and $k\langle X\rangle /\langle\overline{\mathcal G}\rangle$ is a domain, where $k=\mathcal{O}_v/{\bf m}_v$ is the residue field of $\mathcal{O}_v$ , $k\langle X\rangle =k\langle X_1,...,X_n\rangle$ is the free k-algebra on X ₁,...,X _n , and $\overline{\mathcal G}$ is the image of $\mathcal{G}$ under the canonical epimorphism $\mathcal{O}_v\langle X\rangle\rightarrow k\langle X\rangle$ , then F ^v A determines a valuation function A → Γ?∪?{?∞?}, and thereby v extends naturally to a valuation function on the (skew-)field Δ of fractions of A provided Δ exists.     

Tiling Convex Polygons with Congruent Equilateral Triangles

We study the sets $\mathcal{T}_{v}=\{m \in\{1,2,\ldots\}: \mbox{there is a convex polygon in }\mathbb{R}^{2}\mbox{ that has }v\mbox{ vertices and can be tiled with $m$ congruent equilateral triangles}\}$ , v=3,4,5,6. $\mathcal{T}_{3}$ , $\mathcal{T}_{4}$ , and $\mathcal{T}_{6}$ can be quoted completely. The complement $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ of $\mathcal{T}_{5}$ turns out to be a subset of Euler’s numeri idonei. As a consequence, $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ can be characterized with up to two exceptions, and a complete characterization is given under the assumption of the Generalized Riemann Hypothesis.     

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space ${\mathcal{H}}$ , with ${dim(\mathcal{H}) \geq 3}$ , define ${\mathbb{S}(\mathcal{H}):= \{x\in \mathcal{H} \:|\: \|x\|=1\}}$ , and let ${\nu_\mathcal{H}}$ be the unique regular Borel positive measure invariant under the action of the unitary operators in ${\mathcal{H}}$ , with ${\nu_\mathcal{H}(\mathbb{S}(\mathcal{H}))=1}$ . We prove that if a complex frame function ${f : \mathbb{S}(\mathcal{H})\to \mathbb{C}}$ satisfies ${f \in \mathbb{L}^2(\mathbb{S}(\mathcal{H}), \nu_\mathcal{H})}$ , then it verifies Gleason’s statement: there is a unique linear operator ${A: \mathcal{H} \to \mathcal{H}}$ such that ${f(u) = \langle u| A u\rangle}$ for every ${u \in \mathbb{S}(\mathcal{H}).\,A}$ is Hermitean when f is real. No boundedness requirement is thus assumed on f a priori.     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

Root polytopes and Abelian ideals

We study the root polytope $\mathcal{P}_{\varPhi}$ of a finite irreducible crystallographic root system Φ using its relation with the Abelian ideals of a Borel subalgebra of a simple Lie algebra with root system Φ. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal{P}_{\varPhi}$ and analyze its relation with the facets of $\mathcal{P}_{\varPhi}$ . For Φ of type A _n or C _n , we show that the orbits of some special subsets of Abelian ideals under the action of the Weyl group parametrize a triangulation of  $\mathcal{P}_{\varPhi}$ . We show that this triangulation restricts to a triangulation of the positive root polytope  $\mathcal{P}_{\varPhi}^{+}$ .     

A semigroup characterization of well-posed linear control systems

We study the well-posedness of a linear control system Σ(A,B,C,D) with unbounded control and observation operators. To this end we associate to our system an operator matrix $\mathcal{A}$ on a product space $\mathcal{X}^{p}$ and call it p-well-posed if $\mathcal{A}$ generates a strongly continuous semigroup on $\mathcal{X}^{p}$ . Our approach is based on the Laplace transform and Fourier multipliers. The results generalize and complement those of Curtain and Weiss (Int. Ser. Numer. Math. vol. 91. Birkhäuser, Basel, 1989), Staffans and Weiss (Trans. Am. Math. Soc. 354:3229–3262, 2002) and are illustrated by a heat equation with boundary control and point observation.     

Mixing via the extended family

In this paper,the relationship between the extended family and several mixing properties in measuretheoretical dynamical systems is investigated.The extended family eF related to a given family F can be regarded as the collection of all sets obtained as"piecewise shifted"members of F.For a measure preserving transformation T on a Lebesgue space(X,B,μ),the sets of"accurate intersections of order k"defined below are studied,Nε(A0,A1,...,Ak)=n∈Z+:μk i=0T inAiμ(A0)μ(A1)μ(Ak)ε,for k∈N,A0,A1,...,Ak∈B and ε0.It is shown that if T is weakly mixing(mildly mixing)then for any k∈N,all the sets Nε(A0,A1,...,Ak)have Banach density 1(are in(eFip),i.e.,the dual of the extended family related to IP-sets).     

Split Partial Isometries

A partial isometry V is said to be a split partial isometry if ${\mathcal{H}=R(V) + N(V)}$ , with R(V) ∩ N(V) = {0} (R(V) = range of V, N(V) = null-space of V). We study the topological properties of the set ${\mathcal{I}_0}$ of such partial isometries. Denote by ${\mathcal{I}}$ the set of all partial isometries of ${\mathcal{B}(\mathcal{H})}$ , and by ${\mathcal{I}_N}$ the set of normal partial isometries. Then $$\mathcal{I}_N\subset \mathcal{I}_0\subset \mathcal{I}, $$ and the inclusions are proper. It is known that ${\mathcal{I}}$ is a C ^∞-submanifold of ${\mathcal{B}(\mathcal{H})}$ . It is shown here that ${\mathcal{I}_0}$ is open in ${\mathcal{I}}$ , therefore is has also C ^∞-local structure. We characterize the set ${\mathcal{I}_0}$ , in terms of metric properties, existence of special pseudo-inverses, and a property of the spectrum and the resolvent of V. The connected components of ${\mathcal{I}_0}$ are characterized: ${V_0,V_1\in \mathcal{I}_0}$ lie in the same connected component if and only if $${\rm dim}\, R(V_0)= {\rm dim}\, R(V_1) \,\,{\rm and}\,\,\, {\rm dim}\, R(V_0)^\perp = {\rm dim}\, R(V_1)^\perp.$$ This result is known for normal partial isometries.     

Large free sets in powers of universal algebras

We prove that for each universal algebra ${(A, \mathcal{A})}$ of cardinality ${|A| \geq 2}$ and infinite set X of cardinality ${|X| \geq | \mathcal{A}|}$ , the X-th power ${(A^{X}, \mathcal{A}^{X})}$ of the algebra ${(A, \mathcal{A})}$ contains a free subset ${\mathcal{F} \subset A^{X}}$ of cardinality ${|\mathcal{F}| = 2^{|X|}}$ . This generalizes the classical Fichtenholtz–Kantorovitch–Hausdorff result on the existence of an independent family ${\mathcal{I} \subset \mathcal{P}(X)}$ of cardinality ${|\mathcal{I}| = |\mathcal{P}(X)|}$ in the Boolean algebra ${\mathcal{P}(X)}$ of subsets of an infinite set X.     

Bethe subalgebras of the group algebra of the symmetric group

We introduce families $ \mathcal{B}_n^S\left( {{z_1},\ldots,{z_n}} \right) $ and $ \mathcal{B}_{{n,\hbar}}^S\left( {{z_1},\ldots,{z_n}} \right) $ of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ of the symmetric group. Bethe subalgebras are deformations of the Gelfand?Zetlin subalgebra of $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ . We describe various properties of Bethe subalgebras.     

Regularity for solutions to anisotropic obstacle problems

For Ω a bounded subset of R n,n 2,ψ any function in Ω with values in R∪{±∞}andθ∈W1,(q i)(Ω),let K(q i)ψ,θ(Ω)={v∈W1,(q i)(Ω):vψ,a.e.and v-θ∈W1,(q i)0(Ω}.This paper deals with solutions to K(q i)ψ,θ-obstacle problems for the A-harmonic equation-divA(x,u(x),u(x))=-divf(x)as well as the integral functional I(u;Ω)=Ωf(x,u(x),u(x))dx.Local regularity and local boundedness results are obtained under some coercive and controllable growth conditions on the operator A and some growth conditions on the integrand f.     

Proper Holomorphic Embeddings of Riemann Surfaces with Arbitrary Topology into ℂ2

We prove that given an open Riemann surface $\mathcal{N}$ of arbitrary (finite or infinite) topology, there exists an open domain $\mathcal{M}\subset \mathcal{N}$ homeomorphic to $\mathcal{N}$ which properly holomorphically embeds in ?². Furthermore, $\mathcal{M}$ can be chosen with hyperbolic conformal type. In particular, any open orientable surface M admits a complex structure $\mathcal{C}$ such that $(M,\mathcal{C})$ can be properly holomorphically embedded into ?².