The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Left‐symmetric algebroids

In this paper, we introduce the notion of a left‐symmetric algebroid, which is a generalization of a left‐symmetric algebra from a vector space to a vector bundle. The left multiplication gives rise to a representation of the corresponding sub‐adjacent Lie algebroid. We construct left‐symmetric algebroids from ‐operators on Lie algebroids. We study phase spaces of Lie algebroids in terms of left‐symmetric algebroids. Representations of left‐symmetric algebroids are studied in detail. At last, we study deformations of left‐symmetric algebroids, which could be controlled by the second cohomology class in the deformation cohomology.     

The Euler-Poincaré-Hopf theorem for flat connections in some transitive Lie algebroids

This paper is a continuation of [19], [21], [22]. We study flat connections with isolated singularities in some transitive Lie algebroids for which either ℝ or sl(2, ℝ) or so(3) are isotropy Lie algebras. Under the assumption that the dimension of the isotropy Lie algebra is equal to n + 1, where n is the dimension of the base manifold, we assign to any such isolated singularity a real number called an index. For ℝ-Lie algebroids, this index cannot be an integer. We prove the index theorem (the Euler-Poincaré-Hopf theorem for flat connections) saying that the index sum is independent of the choice of a connection. Multiplying this index sum by the orientation class of M, we get the Euler class of this Lie algebroid. Some integral formulae for indices are given.     

Foliated Lie and Courant Algebroids

If A is a Lie algebroid over a foliated manifold (M, F){(M, {\mathcal {F}})}, a foliation of A is a Lie subalgebroid B with anchor image TF{T{\mathcal {F}}} and such that A/B is locally equivalent with Lie algebroids over the slice manifolds of F{\mathcal F}. We give several examples and, for foliated Lie algebroids, we discuss the following subjects: the dual Poisson structure and Vaintrob's supervector field, cohomology and deformations of the foliation, integration to a Lie groupoid. In the last section, we define a corresponding notion of a foliation of a Courant algebroid A as a bracket–closed, isotropic subbundle B with anchor image TF{T{\mathcal {F}}} and such that B ^{^} /B{B^{ \bot } /B} is locally equivalent with Courant algebroids over the slice manifolds of F{\mathcal F}. Examples that motivate the definition are given.     

Lie algebroid structures on double vector bundles and representation theory of Lie algebroids

A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of equivalence. In this setting, we are able to construct characteristic classes, which in special cases reproduce characteristic classes constructed by Crainic and Fernandes. We give a complete classification of regular VB-algebroids, and in the process we obtain another characteristic class of Lie algebroids that does not appear in the ordinary representation theory of Lie algebroids.     

On almost-divided domains

Let B be a domain, Q a maximal ideal of B, π: B → B/Q the canonical surjection, D a subring of B/Q, and A:=π ⁻¹(D). If both B and D are almost-divided domains (resp., n-divided domains), then A = B × _B/Q D is an almost-divided domain (resp., an n-divided domain); the converse holds if B is quasilocal. If 2 ≤ d ≤ ∞, an example is given of an almost-divided domain of Krull dimension d which is not a divided domain.      

Jacobi Structures on Affine Bundles

Abstract We study affine Jacobi structures （brackets） on an affine bundle π ： A → M, i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-toone correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A^＋ = ∪p∈M Aff（Ap, R） of affine functionals. In the case rank A = 0, it is shown that there is a one-to-one correspondence between affine Jacobi structures on A and local Lie algebras on A^＋. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited （strongly-affine or affine-homogeneous Jacobi structures） over a real vector space of finite dimension, we describe the leaves of its characteristic foliation as the orbits of an affine representation. These affine Jacobi structures can be viewed as an analog of the Kostant-Arnold-Liouville linear Poisson structure on the dual space of a real finite-dimensional Lie algebra.     

Last multipliers on Lie algebroids

In this paper we extend the theory of last multipliers as solutions of the Liouville’s transport equation to Lie algebroids with their top exterior power as trivial line bundle (previously developed for vector fields and multivectors). We define the notion of exact section and the Liouville equation on Lie algebroids. The aim of the present work is to develop the theory of this extension from the tangent bundle algebroid to a general Lie algebroid (e.g. the set of sections with a prescribed last multiplier is still a Gerstenhaber subalgebra). We present some characterizations of this extension in terms of Witten and Marsden differentials.     

The Frattini Subalgebra of Restricted Lie Superalgebras

In the present paper, we study the Frattini subalgebra of a restricted Lie superalgebra （L, [p]）. We show first that if L = A1 ＋ A2 ＋… ＋An, then Фp（L） = Фp（A1） ＋Фp（A2） ＋…＋Фp（An）, where each Ai is a p-ideal of L. We then obtain two results： F（L） = Ф（L） = J（L） = L if and only if L is nilpotent; Fp（L） and F（L） are nilpotent ideals of L if L is solvable. In addition, necessary and sufficient conditions are found for Фp-free restricted Lie superalgebras. Finally, we discuss the relationships of E-p-restricted Lie superalgebras and E-restricted Lie superalgebras.     

Isomorphism classes and automorphism groups of algebras of Weyl type

In one of our recent papers, the associative and the Lie algebras of Weyl typeA[D]=A⊗F[D] were defined and studied, whereA is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebraD ofA. In the present paper, a class of the above associative and Lie algebrasA[D] with F being a field of characteristic 0,D consisting of locally finite but not locally nilpotent derivations ofA, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined     

Simple algebras of Weyl type

Over a fieldF of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector spaceA[D] =A⊗F[D] from any pair of a commutative associative algebra,A with an identity element and the polynomial algebraF[D] of a commutative derivation subalgebraD ofA We prove thatA[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only ifA isD-simple andA[D] acts faithfully onA. Thus we obtain a lot of simple algebras. Su, Y., Zhao, K., Second cohornology group of generalized Witt type Lie algebras and certain representations, submitted to publication     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.     

Lie algebroid fibrations

A degree 1 non-negative graded super manifold equipped with a degree 1 vector field Q satisfying [Q,Q]=1, namely a so-called NQ-1 manifold is, in plain differential geometry language, a Lie algebroid. We introduce a notion of fibration for such super manifolds, that essentially involves a complete Ehresmann connection. As it is the case for Lie algebras, such fibrations turn out not to be just locally trivial products. We also define homotopy groups and prove the expected long exact sequence associated to a fibration. In particular, Crainic and Fernandes's obstruction to the integrability of Lie algebroids is interpreted as the image of a transgression map in this long exact sequence.     

Weights in the cohomology of toric varieties

We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complexIH _T ^* (X)⊗H*(T). We also describe the weight filtration inIH ^*(X). Supported by KBN 2P03A 00218 grant. I thank, Institute of Mathematics, Polish Academy of Science for hospitality.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

On the Dilogarithmic Cycle Class Map

For a smooth projective surface X over C, we construct uncountably many non-torsion cycles in CH²(X) which die in the dilogarithmic cohomology of S. Bloch whenever there is an Abelian variety A and a correspondence δ in CH²(X × A) which induces non-zero map on the spaces of global 2-forms. In case X = E × E with E an elliptic curve, all of albanese kernel dies in any such analytic cohomology. Similar results are obtained for higher dimensional varieties under the condition of existence of non-trivial decomposable 2-forms.     

Some remarks on ample line bundles on abelian varieties

Let L be an ample line bundle on an abelian variety A. We show that L² is very ample if (A,L) is not isomorphic to (A₁×A₂,o(D₁×A₂+A₁×D₂)) where A_i is an abelian variety (i=1,2), D_i is an ample divisor on A_i (i=1,2) and (A₁,o(D₁))=1, and if (A,L)2. As an application we show that L² is base point free if L is an ample line bundle on bielliptic surface.In conclusion, the author would like to thank the referee for very helpful advice.     

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed>1 and {0} if d>1.Let Bcd be a cd-homogeneous C^*-algebra over S^2×T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2×Z^m-2) in Bcd ×C^*(Z^m-3) by a totally skew multiplier ρ on T^2×Z^m-2。It is shown that Sρ^cd×Mρ∞ is isomorphic to C(S^2)×C^*(T^2×Z^m-2,ρ）× Mcd(C)×Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.