ON THE COHOMOLOGY OF GENERALIZED RESTRICTED LIE ALGEBRAS

0.IntroductionThispaperisaimedatdevelopingthecohomologytheoryofmodularLiealgebrasandthendeterminingthefirstcohomologygroupsofCartantypeLiealgebras.AsgeneralizationoftheconceptofrestrictedLiealgebras,ageneralizedrestrictedLiealgebra(GRLiealgebra)wasintroducedin[21],whichisassociatedwithabasisandamappingofthebasisintotheLiealgebrasatisfyingthegeneralized-restrictednessconditions.Generalizedrestrictedrepresentations(GRrepresentations)werethenintroduced,whichcanbereducedtotherepresentationsofa…     

Invariants for normal completely positive maps on the hyperfinite II1 factor

We investigate certain classes of normal completely positive (CP) maps on the hyperfinite II₁ factorA. Using the representation theory of a suitable irrational rotation algebra, we propose some computable invariants for such CP maps. Dedicated to Professor K B Sinha     

Hopf Modules and Noncommutative Differential Geometry

We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one-to-one correspondence between anti-Yetter–Drinfeld modules, which serve as coefficients for the Hopf cyclic (co)homology, and modules which admit a flat connection with respect to our differential calculus. Thus, we show that these coefficient modules can be regarded as “flat bundles” in the sense of Connes’ noncommutative differential geometry.     

The core of zero-dimensional monomial ideals

The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.     

An infinite dimensional affine nil algebra with finite Gelfand-Kirillov dimension

The famous 1960's construction of Golod and Shafarevich yields infinite dimensional nil, but not nilpotent, algebras. However, these algebras have exponential growth. Here, we construct an infinite dimensional nil, but not locally nilpotent, algebra which has polynomially bounded growth.

     

Algebraic cycles and topology of real Enriques surfaces

For a real Enriques surface Y we prove that every homology class in H₁(Y (R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface Y.     

Locally minimal uniformly oriented shortest networks

The Steiner problem in a λ-plane is the problem of constructing a minimum length network interconnecting a given set of nodes (called terminals), with the constraint that all line segments in the network have slopes chosen from λ uniform orientations in the plane. This network is referred to as a minimum λ-tree. The problem is a generalization of the classical Euclidean and rectilinear Steiner tree problems, with important applications to VLSI wiring design.A λ-tree is said to be locally minimal if its length cannot be reduced by small perturbations of its Steiner points. In this paper we prove that a λ-tree is locally minimal if and only if the length of each path in the tree cannot be reduced under a special parallel perturbation on paths known as a shift. This proves a conjecture on necessary and sufficient conditions for locally minimal λ-trees raised in [M. Brazil, D.A. Thomas, J.F. Weng, Forbidden subpaths for Steiner minimum networks in uniform orientation metrics, Networks 39 (2002) 186-222]. For any path P in a λ-tree T, we then find a simple condition, based on the sum of all angles on one side of P, to determine whether a shift on P reduces, preserves, or increases the length of T. This result improves on our previous forbidden paths results in [M. Brazil, D.A. Thomas, J.F. Weng, Forbidden subpaths for Steiner minimum networks in uniform orientation metrics, Networks 39 (2002) 186-222].     

On Gouvêa's conjecture in the unobstructed case

In this article, for a residual modular representation defined over an arbitrary finite field, Gouvêa's conjecture which says that the universal deformation ring is isomorphic to a certain Hecke algebra is proven in the unobstructed case.     

Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces

Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D₄,E₆,E₇,E₈). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z??Z², where ? is 2, 3, 4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D₄ is the Cherednik algebra of type C^∨C₁, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI.     

Ergodic theory of amenable semigroup actions

In this paper, among other things, we state and prove the mean ergodic theorem for amenable semigroup algebras.