On the D-affinity of the flag variety in type B2

The flag varieties in characteristic 0 are well-known to be D-affine. In positive characteristic, however, only those in type A ₁ and A ₂ have been proved to be so. In this paper we will show in type B ₂ the cohomology vanishing of the first term in the p-filtration of the sheaf of differential operators on the flag variety. This is a necessary condition for the variety to be D-affine. Received: 7 February 2000 / Revised version: 30 June 2000     

Thick subcategories of modules over commutative noetherian rings (with an appendix by Srikanth Iyengar)

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking arbitrary direct sums. In addition, subcategories of A-modules that are closed under taking submodules, extensions, and direct unions are classified via associated prime ideals.     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A. Received 16 June 1998     

Nondegenerate cohomology pairing for transitive Lie algebroids,characterization

The Evens-Lu-Weinstein representation (Q _A , D) for a Lie algebroid A on a manifold M is studied in the transitive case. To consider at the same time non-oriented manifolds as well, this representation is slightly modified to (Q _A ^or , D^or) by tensoring by orientation flat line bundle, Q _A ^or =Q_A⊗or (M) and D ^or=D⊗∂ _A ^or . It is shown that the induced cohomology pairing is nondegenerate and that the representation (Q _A ^or , D^or) is the unique (up to isomorphy) line representation for which the top group of compactly supported cohomology is nontrivial. In the case of trivial Lie algebroid A=TM the theorem reduce to the following: the orientation flat bundle (or (M), ∂ _A ^or ) is the unique (up to isomorphy) flat line bundle (ξ, ∇) for which the twisted de Rham complex of compactly supported differential forms on M with values in ξ possesses the nontrivial cohomology group in the top dimension. Finally it is obtained the characterization of transitive Lie algebroids for which the Lie algebroid cohomology with trivial coefficients (or with coefficients in the orientation flat line bundle) gives Poincaré duality. In proofs of these theorems for Lie algebroids it is used the Hochschild-Serre spectral sequence and it is shown the general fact concerning pairings between graded filtered differential ℝ-vector spaces: assuming that the second terms live in the finite rectangular, nondegeneration of the pairing for the second terms (which can be infinite dimensional) implies the same for cohomology spaces.     

An Example of a Fiber in Fibrations Whose Serre Spectral Sequences Collapse

We give an example of a space X with the property that every orientable fibration with the fiber X is rationally totally non-cohomologous to zero, while there exists a nontrivial derivation of the rational cohomology of X of negative degree.     

Cohomology Theories of Hopf Bimodules and Cup-Product

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S. D. Schack, and by C. Ospel. We prove, when A is finite-dimensional, that they are all equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.     

On manifolds satisfying stable systolic inequalities

We show that for closed orientable manifolds the k-dimensional stable systole admits a metric-independent volume bound if and only if there are cohomology classes of degree k that generate cohomology in top-degree. Moreover, it turns out that in the nonorientable case such a bound does not exist for stable systoles of dimension at least two. Additionally, we prove that the stable systolic constant depends only on the image of the fundamental class in a suitable Eilenberg–Mac Lane space. Consequently, the stable k-systolic constant is completely determined by the multilinear intersection form on k-dimensional cohomology.     

The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

Deformation of singular lagrangian subvarieties

We investigate deformations of lagrangian manifolds with singularities. We introduce a complex similar to the de Rham-complex whose cohomology calculates deformation spaces. This cohomology turns out to be constructible in many cases. Examples of singular lagrangian varieties are presented and deformations are calculated explicitly.Mathematics Subject Classification (2000): 14B05, 14B12, 58F05, 32S40, 32S60     

Finite order q-invariants of immersions of surfaces into 3-space

Given a surface F, we are interested in valued invariants of immersions of F into , which are constant on each connected component of the complement of the quadruple point discriminant in . Such invariants will be called “q-invariants.” Given a regular homotopy class , we denote by the space of all q-invariants on A of order . We show that ifF is orientable, then for each regular homotopy class A and each n, $\dim (V_n (A) / V_{n-1}(A) ) \leq 1$. Received June 15, 1999; in final form September 22, 1999 / Published online October 30, 2000     

Syntomic cohomology as a p-adic absolute Hodge cohomology

The purpose of this paper is to interpret rigid syntomic cohomology, defined by Amnon Besser [Bes], as a p-adic absolute Hodge cohomology. This is a p-adic analogue of a work of Beilinson [Be1] which interprets Beilinson-Deligne cohomology in terms of absolute Hodge cohomology. In the process, we will define a theory of p-adic absolute Hodge cohomology with coefficients, which may be interpreted as a generalization of rigid syntomic cohomology to the case with coefficients. Received: 25 September 2000 / In final form: 23 March 2001 / Published online: 28 February 2002     

A note on restriction maps in the cohomology¶of S-arithmetic groups

We prove injectivity results for restriction maps in the cohomology of S-arithmetic groups: the results proved are valid for cohomology with both characteristic 0 and characteristic p coefficients. Received: 12 March 1999 / Revised version: 10 July 2000     

Enriched homology and cohomology modules of simiplicial complexes

For a simplicial complex Δ on {1, 2,…, n} we define enriched homology and cohomology modules. They are graded modules over k[x ₁,…, x _n ] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein^* complexes Δ, and also orientable homology manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c, d, n) and cyclic polytopes of even dimension. This paper is to a large extent a complete rewriting of a previous preprint, “Hierarchies of simplicial complexes via the BGG-correspondence”. Also Propositions 1.7 and 3.1 have been generalized to cell complexes in [11].     

Hodge Structures Associated to SU(p, 1)

Let A be an abelian variety over ? such that the semisimple part of the Hodge group of A is a product of copies of SU(p, 1) for some p > 1. We show that any effective Tate twist of a Hodge structure occurring in the cohomology of A is isomorphic to a Hodge structure in the cohomology of some abelian variety.     

Exponential sums on An. III

We give two applications of our earlier work [4]. We compute the p-adic cohomology of certain exponential sums on A ⁿ involving a polynomial whose homogeneous component of highest degree defines a projective hypersurface with at worst weighted homogeneous isolated singularities. This study was motivated by recent work of García [9]. We also compute the p-adic cohomology of certain exponential sums on A ⁿ whose degree is divisible by the characteristic. Received: 12 October 1999     

On the first Hochschild cohomology group of an algebra

Let A≡KΔ /I be a factor of a path algebra. We develop a strategy to compute dim H ¹(A), the dimension of the first Hochschild cohomology group of A, using combinatorial data from (Δ,I). That allows us to connect dim H ¹(A) with the rank and p-rank of the fundamental group π₁(Δ,I) of (Δ,I). We get explicit formulae for dim H ¹(A), when every path in Δ parallel to an arrow belongs to I or when I is homogeneous. Received: 12 April 1999 / Revised version: 9 October 2000     

Hochschild Cohomology of Quiver Algebras Defined by Two Cycles and a Quantum-Like Relation II

We consider quiver algebras A _q over a field k defined by two cycles and a quantum-like relation depending on a nonzero element q in k. We determine the Hochschild cohomology ring of A _q and give necessary and sufficient conditions for A _q to have the finitely generated Hochschild cohomology ring.     

Integral operators and integral cohomology classes of Hilbert schemes

The methods of integral operators on the cohomology of Hilbert schemes of points on surfaces are developed. They are used to establish integral bases for the cohomology groups of Hilbert schemes of points on a class of surfaces (and conjecturally, for all simply connected surfaces).Mathematics Subject Classification (2000): 14C05, 14F43, 17B69Partially supported by an NSF grant.