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.     

Locally free sheaves on complex supermanifolds

A classification of locally free sheaves $ \mathcal{E} $ of $ \mathcal{O} $ -modules which have a given retract gr $ \mathcal{E} $ in the terms of non-abelian 1-cohomology is given. In the case of $ \mathbb{C}{{\mathbb{P}}^{1|m }} $ , m > 0, we show that the Birkhoff–Grothendieck Theorem does not hold true. We obtain a result similar to the Barth–Van de Ven–Tyurin Theorem for projective superspaces. Furthermore, a spectral sequence which connects the cohomology with values in a locally free sheaf $ \mathcal{E} $ to the cohomology with values in its retract gr $ \mathcal{E} $ is constructed.     

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

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

Geodesics,distance, and the CAT(0) property for the manifold of Riemannian metrics

Let $\mathcal F ^a_\lambda $ be the PBW degeneration of the flag varieties of type $A_{n-1}$ . These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$ . We prove that $\mathcal F ^a_\lambda $ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\lambda $ of $\mathcal F ^a_\lambda $ . The varieties $R_\lambda $ can be viewed as towers of successive $\mathbb{P }^1$ -fibrations, thus providing an analogue of the classical Bott–Samelson–Demazure–Hansen desingularization. We prove that the varieties $R_\lambda $ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel–Weil type theorem for $\mathcal F ^a_\lambda $ . Using the Atiyah–Bott–Lefschetz formula for $R_\lambda $ , we compute the $q$ -characters of the highest weight $\mathfrak sl _n$ -modules.     

Categories of partial algebras for critical points between varieties of algebras

We denote by Con_c A the ${(\vee, 0)}$ -semilattice of all finitely generated congruences of an algebra A. A lifting of a ${(\vee, 0)}$ -semilattice S is an algebra A such that ${S \cong {\rm Con}_{\rm c} A}$ . The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of ${(\vee, 0)}$ -semilattices. A gamp is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The raison d’être of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite. Let ${\mathcal{V}}$ and ${\mathcal{W}}$ be varieties of algebras (on finite, possibly distinct, similarity types). Let P be a finite lattice. We assume the existence of a combinatorial object, called an ${\aleph_0}$ -lifter of P, of infinite cardinality ${\lambda}$ . Let ${\vec{A}}$ be a P-indexed diagram of finite algebras in ${\mathcal{V}}$ . If ${{\rm Con}_{\rm c} \circ \vec{A}}$ has no partial lifting in the category of gamps of ${\mathcal{W}}$ , then there is an algebra ${A \in \mathcal{V}}$ of cardinality ${\lambda}$ such that Con_c A is not isomorphic to Con_c B for any ${B \in \mathcal{W}}$ . This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that ${\mathcal{W}}$ is locally finite. Let ${\mathcal{V}}$ be locally finite and let ${\mathcal{W}}$ be congruence-proper (i.e., congruence lattices of infinite members of ${\mathcal{W}}$ are infinite). The following equivalence holds. Every countable ${(\vee, 0)}$ -semilattice with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ if and only if every ${\omega}$ -indexed diagram of finite ${(\vee, 0)}$ -semilattices with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ . Gamps are also applied to the study of congruence-preserving extensions. Let ${\mathcal{V}}$ be a non-semidistributive variety of lattices and let n ≥ 2 be an integer. There is a bounded lattice ${A \in \mathcal{V}}$ of cardinality ${\aleph_1}$ with no congruence n-permutable, congruence-preserving extension. The lattice A is constructed as a condensate of a square-indexed diagram of lattices.     

Positive solutions of Schrödinger equations and fine regularity of boundary points

Given a Lipschitz domain Ω in ${{\mathbb R}^N}$ and a nonnegative potential V in Ω such that V(x) d(x, ?Ω)² is bounded we study the fine regularity of boundary points with respect to the Schrödinger operator L _V := Δ ? V in Ω. Using potential theoretic methods, several conditions are shown to be equivalent to the fine regularity of ${z \in \partial \Omega}$ . The main result is a simple (explicit if Ω is smooth) necessary and sufficient condition involving the size of V for ${z \in \partial \Omega}$ to be finely regular. An intermediate result consists in a majorization of ${\int_A \vert{\frac{ u} {d(.,\partial \Omega)}}\vert^2\, dx}$ for u positive harmonic in Ω and ${A \subset \Omega}$ . Conditions for almost everywhere regularity in a subset A of ?Ω are also given as well as an extension of the main results to a notion of fine ${\mathcal{ L}_1 \vert \mathcal{L}_0}$ -regularity, if ${\mathcal{L}_j = \mathcal{L} - V_j, V_0,\, V_1}$ being two potentials, with V ₀ ≤ V ₁ and ${\mathcal{L}}$ a second order elliptic operator.     

{\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.     

Positive definite superfunctions and unitary representations of lie supergroups

For a broad class of Fréchet-Lie supergroups $ \mathcal{G} $ , we prove that there exists a correspondence between positive definite smooth (resp., analytic) superfunctions on $ \mathcal{G} $ and matrix coefficients of smooth (resp., analytic) unitary representations of the Harish-Chandra pair (G, $ \mathfrak{g} $ ) associated to $ \mathcal{G} $ . As an application, we prove that a smooth positive definite superfunction on $ \mathcal{G} $ is analytic if and only if it restricts to an analytic function on the underlying manifold of $ \mathcal{G} $ . When the underlying manifold of $ \mathcal{G} $ is 1-connected we obtain a necessary and sufficient condition for a linear functional on the universal enveloping algebra U( $ {{\mathfrak{g}}_{\mathbb{C}}} $ ) to correspond to a matrix coefficient of a unitary representation of (G, $ \mathfrak{g} $ ). The class of Lie supergroups for which the aforementioned results hold is characterised by a condition on the convergence of the Trotter product formula. This condition is strictly weaker than assuming that the underlying Lie group of $ \mathcal{G} $ is a locally exponential Fréchet-Lie group. In particular, our results apply to examples of interest in representation theory such as mapping supergroups and diffeomorphism supergroups.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

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.     

Forbidden configurations and Steiner designs

Let ${\mathcal{F}}$ be a (0, 1) matrix. A (0, 1) matrix ${\mathcal{M}}$ is said to have ${\mathcal{F}}$ as a configuration if there is a submatrix of ${\mathcal{M}}$ which is a row and column permutation of ${\mathcal{F}}$ . We say that a matrix ${\mathcal{M}}$ is simple if it has no repeated columns. For a given ${v \in \mathbb{N}}$ , we shall denote by forb ${(v, \mathcal{F})}$ the maximum number of columns in a simple (0, 1) matrix with v rows for which ${\mathcal{F}}$ does not occur as a configuration. We say that a matrix ${\mathcal{M}}$ is maximal for ${\mathcal{F}}$ if ${\mathcal{M}}$ has forb ${(v, \mathcal{F})}$ columns. In this paper we show that for certain natural choices of ${\mathcal{F}}$ , forb ${(v, \mathcal{F})\leq\frac{\binom{v}{t}}{t+1}}$ . In particular this gives an extremal characterization for Steiner t-designs as maximal (0, 1) matrices in terms of certain forbidden configurations.     

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.     

7c-Gorenstein Projective, ;Cc-Gorenstein Injectiveand Wcr-Gorenstei丨丨 Flat Modules

The authors introduce and investigate the Tc-Gorenstein projective, Lc- Gorenstein injective and Hc-Gorenstein flat modules with respect to a semidualizing module C which shares the common properties with the Gorenstein projective, injective and flat modules, respectively. The authors prove that the classes of all the Tc-Gorenstein projective or the Hc-Gorenstein flat modules are exactly those Gorenstein projective or flat modules which are in the Auslander class with respect to C, respectively, and the classes of all the Lc-Gorenstein ＇injective modules are exactly those Gorenstein injective modules which are in the Bass class, so the authors get the relations between the Gorenstein projective, injective or flat modules and the C-Gorenstein projective, injective or flat modules. Moreover, the authors consider the Tc（R）-projective and Lc（R）-injective dimensions and Tc（R）-precovers and Lc（R）-preenvelopes. Fiually, the authors study the Hc-Gorenstein flat modules and extend the Foxby equivalences.     

Characterization of Lie higher derivations on triangular algebras

Let $\mathcal{A}$ and $\mathcal{B}$ be unital rings, and $\mathcal{M}$ be an $\left( {\mathcal{A},\mathcal{B}} \right)$ -bimodule, which is faithful as a left $\mathcal{A}$ -module and also as a right $\mathcal{B}$ -module. Let $\mathcal{U} = Tri\left( {\mathcal{A},\mathcal{M},\mathcal{B}} \right)$ be the triangular algebra. In this paper, we give some different characterizations of Lie higher derivations on $\mathcal{U}$ .