Cohomology of normal bundles of special rational varieties

Abstract

We give a new method for calculating the cohomology of the normal bundles over rational varieties which are smooth projections of Veronese embeddings. The method can be used also when the projections are not smooth, in this case it provides information about the critical locus of maps between projective spaces.     

Anticanonical system of Fano fivefolds

We show that any Fano fivefold with canonical Gorenstein singularities has an effective anticanonical divisor. Moreover, if a general element of the anticanonical system is reduced, then it has canonical singularities.     

Vanishing of certain equivariant distributions on spherical spaces for quasi-split groups

We prove the vanishing of $\mathfrak{z}$-eigen distributions on a quasi-split real reductive group which change according to a non-degenerate character under the left action of the unipotent radical of the Borel subgroup, and are equivariant under the right action of a spherical subgroup.     

String cohomology of Calabi-Yau hypersurfaces via mirror symmetry

We propose a construction of string cohomology spaces for Calabi-Yau hypersurfaces that arise in Batyrev's mirror symmetry construction. The spaces are defined explicitly in terms of the corresponding reflexive polyhedra in a mirror-symmetric manner. We draw connections with other approaches to the string cohomology, in particular with the work of Chen and Ruan.     

The Order of Hypersubstitutions of Type （2, 2）

Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an M-hyperidentity for a subset M of the set of all hypersubstitutions, the variety is called M-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of M-solid varieties. In this paper, we study the order of each hypersubstitution of type （2, 2）, i.e., the order of the cyclic subsemigroup generated by that hypersubstitution of the monoid of all hypersubstitutions of type （2, 2）. The main result is that the order is 1, 2, 3, 4 or infinite.     

Quiver varieties and Lusztig's algebra

We study preprojective algebras of graphs and their relationship to module categories over representations of quantum SL(2). As an application, ADE quiver varieties of Nakajima are shown to be subvarieties of the variety of representations of a certain associative algebra introduced by Lusztig.     

On n ‐contractive fuzzy logics

It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL‐chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the algebraicK-theory of twisted flag varieties

The algebraicK-groups of projective homogeneous varieties are computed. The answer is given in terms ofK-groups of a semisimple algebra canonically associated with the variety. Our results generalize a result of Quillen and a result of Swan, whereK-groups of Severi-Brauer varieties and of smooth projective quadratic hypersurfaces were computed.