Equational Classes of Totally Ordered Modal Lattices

A modal lattice is a bounded distributive lattice endowed with a unary operator which preserves the join-operation and the smallest element. In this paper we consider the variety CH of modal lattices that is generated by the totally ordered modal lattices and we characterize the lattice of subvarieties of CH. We also give an equational basis for each subvariety of CH.     

Some classes of non general type codimension two subvarieties inP n

We classify smooth subvarieties of codimension twoX⊂P ⁿ , 4≤n≤5, which are arithmetically Cohen-Macaulay and of non general type. By the way we exhibit some classes of non extendable subvarieties. Then we give new proofs of the classification of scrolls inP ⁴; finally we consider smooth surfaces of non general type inP ⁴ arising from rank three vector bundles.

---

Sunto Classifichiamo le sottovarietà lisce di codimensione dueX⊂P ⁿ , 4≤n≤5, aritmeticamente Cohen-Macaulay e non di tipo generale. Nel contempo descriviamo alcune classi di sottovarietà non estendibili. Diamo poi due nuove dimostrazioni della classificazione degli scrolls inP ⁴; infine consideriamo superfici lisce inP ⁴, non di tipo generale, associate a fibrati di rango tre.

     

Hyperelliptic Surfaces and their Moduli

The hyperelliptic portion of the moduli space of compact Riemann surfaces of genus g2 is decomposed into a lattice of nondisjoint subvarieties corresponding precisely with the lattice of maximal g-hyperelliptic group actions (classified up to topological equivalence). The resulting stratification of the hyperelliptic moduli space exhibits regularities which depend on the parity of g and can be detected at the level of groups of order 8.     

Trianalytic Subvarieties of the Hilbert Scheme of Points on a K3 Surface

Let X be a hyperk?hler manifold. Trianalytic subvarieties of X are subvarieties which are complex analytic with respect to all complex structures induced by the hyperk?hler structure. Given a K3 surface M, the Hilbert scheme classifying zero-dimensional subschemes of M admits a hyperk?hler structure. We show that for M generic, there are no trianalytic subvarieties of the Hilbert scheme. This implies that a generic deformation of the Hilbert scheme of K3 has no proper complex subvarieties. Submitted: May 1997, Revised version: December 1998     

The Speciality Lemma, Rank 2 Bundles and Gherardelli-type Theorems for Surfaces in P 4

In the present paper we give a very short and easy proof of the speciality lemma for codimension 2 subvarieties, even those that are reducible or non-reduced, in P ⁿ . Furthermore we give cohomological conditions that force a subcanonical surface in P ⁴ to be a complete intersection and a rank 2 bundle to split, which generalize the classical First Theorem of Gherardelli.     

Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case

We investigate the lattice of all subvarieties of the variety Df ₂ of two-dimensional diagonal-free cylindric algebras. We prove that a Df ₂-algebra is finitely representable if it is finitely approximable, characterize finite projective Df ₂-algebras, and show that there are no non-trivial injectives and absolute retracts in Df ₂. We prove that every proper subvariety of Df ₂ is locally finite, and hence Df ₂ is hereditarily finitely approximable. We describe all six critical varieties in , which leads to a characterization of finitely generated subvarieties of Df ₂. Finally, we describe all square representable and rectangularly representable subvarieties of Df ₂. Received May 25, 2000; accepted in final form November 2, 2001.     

Joins of Projective Varieties: A Cancellation Theorem for Curves

Abstract

Let X, Y, Z be integral subvarieties of P ⁿ . Let [X; Y]??? P ⁿ denote the join. Under what conditions on X, Y and/or Z if [X; Y]?=?[X; Z], then Y?=?Z? Here, we study the case in which X, Y and Z are curves.     

Varieties of solvable index-two alternative algebras over a field of characteristic three

The subvarieties of the variety Alt₂ of solvable index-two alternative algebras over an arbitrary field of characteristic 3 are studied. The main types of such varieties are singled out in the language of identities, and inclusions between these types are established. The main results is the following.Theorem.The topological rank of the variety Alt₂ of solvable index-two alternative algebras over an arbitrary field of characteristic 3 is equal to five. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 556–566, October, 1999.     

Congruences on ockham algebras with pseudocomplementation

The variety pOconsists of those algebras (L;?,?,f,^*,0,1) where (L;?,?,f,0,1) is an Ockham algebra, (L;?,?,f,^*,0,1) is a p-algebra, and the unary operations fand ^*. commute. For an algebra in pK _ωwe show that the compact congruences form a dual Stone lattice and use this to determine necessary and sufficient conditions for a principal congruence to be complemented. We also describe the lattice of subvarieties of pK _1,1identifying therein the biggest subvariety in which every principal congruence is complemented, and the biggest subvariety in which the intersection of two principal congruences is principal.     

Subvarieties of BL-algebras generated by single-component chains

 In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or G?del-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains, called ŁΠG. Received: 8 January 2001 / Published online: 12 July 2002     

Varieties of two-dimensional cylindric algebras II

In [2] we investigated the lattice (Df₂) of all subvarieties of the variety Df₂ of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice (CA₂) of all subvarieties of the variety CA₂ of two-dimensional cylindric algebras. We prove that the cardinality of (CA₂) is that of the continuum, give a criterion for a subvariety of CA₂ to be locally finite, and describe the only pre locally nite subvariety of CA2. We also characterize nitely generated subvarieties of CA2 by describing all fteen pre nitely generated subvarieties of CA₂. Finally, we give a rough picture of (CA₂), and investigate algebraic properties preserved and reected by the reduct functors .     

A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles

Let K be a field, D a finite distributive lattice and P the set of all join-irreducible elements of D. We show that if {y ∈ P | y ≥ x} is pure for any x ∈ P, then the Hibi ring ? _K (D) is level. Using this result and the argument of sagbi basis theory, we show that the homogeneous coordinate rings of Schubert subvarieties of Grassmannians are level.     

On transfer inequalities in Diophantine approximation, II

Let Θ be a point in R ⁿ . We are concerned with the approximation to Θ by rational linear subvarieties of dimension d for 0 ≤ d ≤ n−1. To that purpose, we introduce various convex bodies in the Grassmann algebra Λ(R ⁿ⁺¹). It turns out that our convex bodies in degree d are the dth compound, in the sense of Mahler, of convex bodies in degree one. A dual formulation is also given. This approach enables us both to split and to refine the classical Khintchine transference principle.     

Centrality in Rees-Sushkevich varieties

Denote by RS _n the variety generated by all completely 0-simple semigroups over groups of exponent dividing n. Subvarieties of RS _n are called Rees-Sushkevich varieties and those that are generated by completely simple or completely 0-simple semigroups are said to be exact. For each positive integer m, define C _m RS _n to be the class of all semigroups S in RS _n with the property that if the product of m idempotents of S belongs to some subgroup of S, then the product belongs to the center of that subgroup. The classes C _m RS _n constitute varieties that are the main object of investigation in this article. It is shown that a sublattice of exact subvarieties of C ₂ RS _n is isomorphic to the direct product of a three-element chain with the lattice of central completely simple semigroup varieties over groups of exponent dividing n. In the main result, this isomorphism is extended to include those exact varieties for which the intersection of the core with any subgroup, if nonempty, is contained in the center of that subgroup. The equational property of the varieties C _m RS _n is also addressed. For any fixed n ≥ 2, it is shown that although the varieties C _m RS _n , where m = 1, 2, ... , are all finitely based, their complete intersection (denoted by C _∞ RS _n ) is non-finitely based. Further, the variety C _∞ RS _n contains a continuum of ultimately incomparable infinite sequences of finitely generated exact subvarieties that are alternately finitely based and non-finitely based. Received October 29, 2003; accepted in final form February 11, 2007.     

Deformations of trianalytic subvarieties of hyperkähler manifolds

Let M be a compact complex manifold equipped with a hyperk?hler metric, and X be a closed complex analytic subvariety of M. In alg-geom 9403006, we proved that X is trianalytic (i.e., complex analytic with respect to all complex structures induced by the hyperk?hler structure), provided that M is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of X are trianalytic and naturally isomorphic to X as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from M. Also, we prove that the Douady space of complex analytic deformations of X in M is equipped with a natural hyperk?hler structure.     

Varieties of idempotent slim groupoids

Idempotent slim groupoids are groupoids satisfying xx ≈ x and x(yz) ≈ xz. We prove that the variety of idempotent slim groupoids has uncountably many subvarieties. We find a four-element, inherently nonfinitely based idempotent slim groupoid; the variety generated by this groupoid has only finitely many subvarieties. We investigate free objects in some varieties of idempotent slim groupoids determined by permutational equations. The work is a part of the research project MSM0021620839 financed by MSMT and partly supported by the Grant Agency of the Czech Republic, grant #201/05/0002.     

Equational bases for varieties of Ockham algebras

We consider the variety O of Ockham algebras and its subvarieties of the form P _m,n (m > n ≥0), sometimes with an additional condition. We use Priestley duality and a remarkable theorem of Urquhart to develop a simple method for determining the equational bases of the subvarieties. The axioms that we obtain have the same canonical form and involve few variables. We illustrate our method by the detailed study of the variety MS ₂ and some considerations about P _3,2. Received July 28, 1998; accepted in final form May 25, 2000.     

Deformations of arithmetically Cohen-Macaulay subvarieties of pn

We show that every arithmetically Cohen-Macaulay two-codimensional subscheme ofP ⁿ can be deformed to a reduced union of two-codimensional linear subvarieties. This problem (classical for curves with the name of Zeuthen problem) was solved for curves by F.Gaeta.     

Composition algebras and outer automorphisms of algebraic groups via triality

In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form n over a field k of characteristic not two, and a category arising from an action of the projective similarity group of n on certain pairs of automorphisms of the group scheme PGO⁺(n) defined over k. This extends results recently obtained in the same direction for symmetric composition algebras. We also derive known results on composition algebras from our equivalence.     

Multilinear Components of the Prime Subvarieties of the Variety Var(M2(F))

We describe the multilinear components of the prime subvarieties of the variety Var(M ₂(F)) generated by the matrix algebra of order 2 over a field of characteristic p>0.