A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces

Generalized Esakia spaces are the topological duals of bounded implicative semilattices in the duality studied by G. Bezhanishvili and R. Jansana. We study the relation between a Hilbert algebra and the generalized Esakia space dual to its free implicative semilattice extension. To establish the relation we introduce a category whose objects are a generalized Esakia space together with a family of clopen up-sets that constitutes a subalgebra of the implication fragment of the Heyting algebra of the up-sets of the generalized Esakia space.     

Esakia Style Duality for Implicative Semilattices

We develop a new duality for implicative semilattices, generalizing Esakia duality for Heyting algebras. Our duality is a restricted version of generalized Priestley duality for distributive semilattices, and provides an improvement of Vrancken-Mawet and Celani dualities. We also show that Heyting algebra homomorphisms can be characterized by means of special partial functions between Esakia spaces. On the one hand, this yields a new duality for Heyting algebras, which is an alternative to Esakia duality. On the other hand, it provides a natural generalization of Köhler’s partial functions between finite posets to the infinite case.     

Lattice subordinations and Priestley duality

There is a well-known correspondence between Heyting algebras and S4-algebras. Our aim is to extend this correspondence to distributive lattices by defining analogues of S4-algebras for them. For this purpose, we introduce binary relations on Boolean algebras that resemble de Vries proximities. We term such binary relations lattice subordinations. We show that the correspondence between Heyting algebras and S4-algebras extends naturally to distributive lattices and Boolean algebras with a lattice subordination. We also introduce Heyting lattice subordinations and prove that the category of Boolean algebras with a Heyting lattice subordination is isomorphic to the category of S4-algebras, thus obtaining the correspondence between Heyting algebras and S4-algebras as a particular case of our approach. In addition, we provide a uniform approach to dualities for these classes of algebras. Namely, we generalize Priestley spaces to quasi-ordered Priestley spaces and show that lattice subordinations on a Boolean algebra B correspond to Priestley quasiorders on the Stone space of B. This results in a duality between the category of Boolean algebras with a lattice subordination and the category of quasi-ordered Priestley spaces that restricts to Priestley duality for distributive lattices. We also prove that Heyting lattice subordinations on B correspond to Esakia quasi-orders on the Stone space of B. This yields Esakia duality for S4-algebras, which restricts to Esakia duality for Heyting algebras.     

A compactification of open varieties

In this paper we prove a general method to compactify certain open varieties by adding normal crossing divisors. This is done by showing that blowing up along an arrangement of subvarieties can be carried out. Important examples such as Ulyanov's configuration spaces and complements of arrangements of linear subspaces in projective spaces, etc., are covered. Intersection ring and (nonrecursive) Hodge polynomials are computed. Furthermore, some general structures arising from the blowup process are also described and studied.

     

Generalizations of Boolean products for lattice-ordered algebras

It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we show that FL_w-algebras decompose as a poset product over any finite set of join irreducible strongly central elements, and that bounded n-potent GBL-algebras are represented as Esakia products of simple n-potent MV-algebras.     

Regularity in algebraic frames

This article considers algebraic frames in which the meet of two compact elements is compact, and, in that context, when the subframe of all regular elements is itself regular. Motivated by the study of a frame of convex ?-subgroups of a lattice-ordered group, a number of relevant sufficient conditions are given for this subframe to be regular. An example is given of a frame of convex ?-subgroups for which the subframe of regular elements is not regular.     

A Survey of the Homotopy Properties of Inclusion of Certain Types of Configuration Spaces into the Cartesian Product

Let X be a topological space.In this survey the authors consider several types of configuration spaces,namely,the classical(usual)configuration spaces F_n(X)and D_n(X),the orbit configuration spaces F_n~G(X)and F_n~G(X)/S_nwith respect to a free action of a group G on X,and the graph configuration spaces F_n~Γ(X)and F_n~Γ(X)/H,whereΓis a graph and H is a suitable subgroup of the symmetric group S_n.The ordered configuration spaces F_n(X),F_n~G(X),F_n~Γ(X)are all subsets of the n-fold Cartesian product ∏_1~nX of X with itself,and satisfy F_n~G(X)?F_n(X)?F_n~Γ(X)?∏_1~nX.If A denotes one of these configuration spaces,the authors analyse the difference between A and ∏_1~nXfrom a topological and homotopical point of view.The principal results known in the literature concern the usual configuration spaces.The authors are particularly interested in the homomorphism on the level of the homotopy groups of the spaces induced by the inclusionι:A-→∏_1~nX,the homotopy type of the homotopy fibre I_ιof the mapιvia certain constructions on various spaces that depend on X,and the long exact sequence in homotopy of the fibration involving I_ιand arising from the inclusionι.In this respect,if X is either a surface without boundary,in particular if X is the 2-sphere or the real projective plane,or a space whose universal covering is contractible,or an orbit space S~k/Gof the k-dimensional sphere by a free action of a Lie group G,the authors present recent results obtained by themselves for the first case,and in collaboration with Golasi′nski for the second and third cases.The authors also briefly indicate some older results relative to the homotopy of these spaces that are related to the problems of interest.In order to motivate various questions,for the remaining types of configuration spaces,a few of their basic properties are described and proved.A list of open questions and problems is given at the end of the paper.     

All finitely axiomatizable subframe logics containing the provability logic CSM_{0} are decidable

In this paper we investigate those extensions of the bimodal provability logic (alias or which are subframe logics, i.e. whose general frames are closed under a certain type of substructures. Most bimodal provability logics are in this class. The main result states that all finitely axiomatizable subframe logics containing are decidable. We note that, as a rule, interesting systems in this class do not have the finite model property and are not even complete with respect to Kripke semantics. Received July 15, 1997     

Schubert cycles, differential forms and D-modules on varieties of unseparated flags

Proper homogeneous G-spaces (where G is semisimple algebraic group) over positive characteristic fields k can be divided into two classes, the first one being the flag varieties G/P and the second one consisting of varieties of unseparated flags (proper homogeneous spaces not isomorphic to flag varieties as algebraic varieties). In this paper we compute the Chow ring of varieites of unseparated flags, show that the Hodge cohomology of usual flag varieties extends to the general setting of proper homogeneous spaces and give an example showing (by geometric means) that the D -affinity of Beilinson and Bernstein fails for varieties of unseparated flags.     

Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties

In this paper, we define the virtual moduli cycle of moduli spaces with perfect tangent-obstruction theory. The two interesting moduli spaces of this type are moduli spaces of vector bundles over surfaces and moduli spaces of stable morphisms from curves to projective varieties. As an application, we define the Gromov-Witten invariants of smooth projective varieties and prove all its basic properties.

     

Homology stability for classical regular semisimple varieties

We use techniques from homotopy theory, in particular the connection between configuration spaces and iterated loop spaces, to give geometric explanations of stability results for the cohomology of the varieties of regular semisimple elements in the simple complex Lie algebras of classical type A, B or C, as well as in the group . We show that the cohomology spaces of stable versions of these varieties have an algebraic stucture, which identifies them as “free Poisson algebras” with suitable degree shifts. Using this, we are able to give explicit formulae for the corresponding Poincaré series, which lead to power series identities by comparison with earlier work. The cases of type B and C involve ideas from equivariant homotopy theory. Our results may be interpreted in terms of the actions of a Weyl group on its coinvariant algebra (i.e. the coordinate ring of the affine space on which it acts, modulo the invariants of positive degree; this space coincides with the cohomology ring of the flag variety of the associated Lie group) and on the cohomology of its associated complex discriminant variety. Received August 31, 1998; in final form August 1, 1999 / Published online October 30, 2000     

Homological projective duality

We introduce a notion of homological projective duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties X and Y in dual projective spaces are homologically projectively dual, then we prove that the orthogonal linear sections of X and Y admit semiorthogonal decompositions with an equivalent nontrivial component. In particular, it follows that triangulated categories of singularities of these sections are equivalent. We also investigate homological projective duality for projectivizations of vector bundles.     

Cohomology of configuration spaces of complex projective spaces

In this paper we compute topological invariants for some configuration spaces of complex projective spaces. We shall describe Sullivan models for these configuration spaces.     

The genus and the category of configuration spaces

In this paper configuration spaces of smooth manifolds are considered. The accent is made on actions of certain groups (mostly p-tori) on this spaces by permuting their points. For such spaces the cohomological index, the genus in the sense of Krasnosel'skii-Schwarz, and the equivariant Lyusternik-Schnirelmann category are estimated from below, and some corollaries for functions on configuration spaces are deduced.     

Realization of frobenius manifolds as submanifolds in pseudo-Euclidean spaces

We obtain Feynman formulas in the momentum space and Feynman-Kac formulas in the momentum and phase spaces for a p-adic analog of the heat equation in which the role of the Laplace operator is played by the Vladimirov operator. We also present the Feynman and Feynman-Kac formulas in the configuration space that have been proved in our previous papers under additional constraints. In all these formulas, integration is performed with respect to countably additive measures. The technique developed in the paper is fundamentally different from that used by the authors when studying path integrals in configuration spaces. In particular, the paper extensively uses the infinite-dimensional Fourier transform.     

Hardy-Littlewood varieties and semisimple groups

Summary We are interested in counting integer and rational points in affine algebraic varieties, also under congruence conditions. We introduce the notions of a strongly Hardy-Littlewood variety and a relatively Hardy-Littlewood variety, in terms of counting rational points satisfying congruence conditions. The definition of a strongly Hardy-Littlewood variety is given in such a way that varieties for which the Hardy-Littlewood circle method is applicable are strongly Hardy-Littlewood.We prove that certain affine homogeneous spaces of semisimple groups are strongly Hardy-Littlewood varieties. Moreover, we prove that many homogeneous spaces are relatively Hardy-Littlewood, but not strongly Hardy-Littlewood. This yields a new class of varieties for with the asymptotic density of integer points can be computed in terms of a product of local densities.Oblatum 15-IX-1993 & 31-I-1994     

Species Over a Finite Field

We generalize Joyals theory of species to the case of functors from the groupoid of finite sets to the category of varieties over F_q. These have cycle index series defined by counting fixed points of twisted Frobenius maps. We give an application to configuration spaces.