Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

On Constantive Simple and Order-Primal Algebras

A finite algebra is said to be order-primal if its clone of all term operations is the set of all operations defined on A which preserve a given partial order ≤ on A. In this paper we study algebraic properties of order-primal algebras for connected ordered sets (A; ≤). Such order-primal algebras are constantive, simple and have no non-identical automorphisms. We show that in this case cannot have only unary fundamental operations or only one at least binary fundamental operation. We prove several properties of the varieties and the quasi-varieties generated by constantive and simple algebras and apply these properties to order-primal algebras. Further, we use the properties of order-primal algebras to formulate new primality criteria for finite algebras.* Research supported by the Hungarian research grant No. TO34137 and by the János Bolyai grant.** Research supported by the Thailand Research Fund.     

Soluble Groups and Varieties of <Emphasis Type="Italic">l</Emphasis>-Groups

A sufficient condition is given under which factors of a system of normal convex subgroups of a linearly ordered (l.o.) group are Abelian. Also, a sufficient condition is specified subject to which factors of a system of normal convex subgroups of an l.o. group are contained in a group variety . In particular, for every soluble l.o. group G of solubility index n, n ⩾ 2, factors of a system of normal convex subgroups are soluble l.o. groups of solubility index at most n − 1. It is proved that the variety of all lattice-ordered groups, approximable by linearly ordered groups, does not coincide with a variety generated by all soluble l.o. groups. It is shown that if is any o-approximable variety of l-groups, and if every identity in the group signature is not identically true in , then contains free l.o. groups.Supported by FP “Universities of Russia” grant UR. 04. 01. 001.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 355–367, May–June, 2005.     

Estimates for the Involution of Decomposable Elements of a Complex Banach Algebra

An element a of a complex Banach algebra with unit \(1I\) and with standard conditions on the norm (‖ab‖ ? ‖a‖ · ‖b‖ and ‖\(1I\)‖ = 1) is said to be Hermitian if ‖e ^ita ‖ = 1 for any real number t. An element is said to be decomposable if it admits a representation of the form a + ib in which a and b are Hermitian. The decomposable elements form a Banach Lie algebra (with respect to the commutator). The Hermitian components are determined uniquely, and hence this Lie algebra has the natural involution a + ib = x → x* = a ? ib. One can readily see that ‖x*‖ ? 2‖x‖. Among other things, we prove that ‖ x*‖ ? γ‖x‖, where γ < 2. In fact, the situation is treated in more detail: the original problem is included in a continuous family parametrized by the numerical radius of the element. Finding the exact value of the constant γ is reduced to a variational problem in the theory of entire functions of exponential type. Approximately, γ is equal to 1.92 ± 0.04.     

热重分析技术研究聚-α-甲基苯乙烯降解温度

采用热重分析技术研究了4种聚-α-甲基苯乙烯原料和其它微球壳层材料的热降解温度。研究表明,聚-α-甲基苯乙烯原料主要失重温度范围为220～340℃,等离子体辉光放电涂层材料的降解温度为350～450℃。升温速率在20℃/min和30℃/min时,降解温度基本相同,升温速率不影响降解的温度范围,低于20℃/min时,随着升温速率升高,降解温度升高。     

Varieties with small discriminant variety

Let be a smooth complex projective variety, let be an ample and spanned line bundle on , defining a morphism and let be its discriminant locus, the variety parameterizing the singular elements of . We present two bounds on the dimension of and its main component relying on the geometry of . Classification results for triplets reaching the bounds as well as significant examples are provided.

     

Real double flag varieties for the symplectic group

In this paper we study a key example of a Hermitian symmetric space and a natural associated double flag variety, namely for the real symplectic group G and the symmetric subgroup L, the Levi part of the Siegel parabolic $P_S$. We give a detailed treatment of the case of the maximal parabolic subgroups Q of L corresponding to Grassmannians and the product variety of $G/P_S$ and $L/Q$; in particular we classify the L-orbits here, and find natural explicit integral transforms between degenerate principal series of L and G.     

Folding procedure for Newton-Okounkov polytopes of Schubert varieties

The theory of Newton-Okounkov polytopes is a generalization of that of Newton polytopes for toric varieties, and gives a systematic method of constructing toric degenerations of projective varieties. In the case of Schubert varieties, their Newton-Okounkov polytopes are deeply connected with representation theory. Indeed, Littelmann’s string polytopes and Nakashima-Zelevinsky’s polyhedral realizations are obtained as Newton-Okounkov polytopes of Schubert varieties. In this paper, we apply the folding procedure to a Newton-Okounkov polytope of a Schubert variety, which relates Newton-Okounkov polytopes of Schubert varieties of different types. As an application, we obtain a new interpretation of Kashiwara’s similarity of crystal bases.     

Regularity and projective dimension of edge ideals

In this paper, we study the regularity and projective dimension of edge ideals. We provide two upper bounds for the regularity of edge ideals of vertex decomposable graphs in terms of the induced matching number and the number of cycles. Also, we generalize one of the upper bounds given by Dao and Schweig for the projective dimension of hypergraphs.