Half De Rham complexes and line fields on odd-dimensional manifolds

In this paper we introduce a new elliptic complex on an odd-dimensional manifold with a self-dual line field. The notion of a self-dual line field is a generalization of the notion of a conformal line field. Ellipticity, Fredholm properties and Hodge decompositions of these new complexes are proved both in the case of a closed manifold and in the case of a manifold with boundary. The cohomology groups of these elliptic complexes are computed in some cases. In addition, in this paper, we generalize the notion of an anti-self-dual connection on a smooth 4-manifold to a 3-manifold with a line field and a smooth 5-manifold with a line field. The above new elliptic complexes can be twisted by anti-self-dual connections in dimensions 3 and 5, but only by flat connections in dimensions above 5. This reveals a special feature of dimensions 3 and 5.

     

Cohomology of projective space seen by residual complex

A subcomplex of a residual complex on projective space is constructed for computing the cohomology modules of locally free sheaves. A constructive new proof of the Bott formula is given by explicitly exhibiting bases for the cohomology modules.

     

On cohomology algebras of complex subspace arrangements

The integer cohomology algebra of the complement of a complex subspace arrangement with geometric intersection lattice is completely determined by the combinatorial data of the arrangement. We give a combinatorial presentation of the cohomology algebra in the spirit of the Orlik-Solomon result on the cohomology algebras of complex hyperplane arrangements. Our methods are elementary: we work with simplicial models for the complements that are induced by combinatorial stratifications of complex space. We describe simplicial cochains that generate the cohomology. Among them we distinguish a linear basis, study cup product multiplication, and derive an algebra presentation in terms of generators and relations.

     

Opération de la cohomologie elliptique définie par l'opérateur de Hecke T2

In this Note we show that isomorphism of formal group law classification, naturality of C-oriented multiplicative cohomology theories, and the strict isomorphism between the formal group law associated to Tate's curve and the multiplicative one, give a stable cohomology operation of degree 0 for elliptic cohomology of level 2, which induces the Hecke operator T₂ on coefficient group.     

On the Tate-Shafarevich groups of certain elliptic curves

The Tate-Shafarevich groups of certain elliptic curves over Fq(t) are related, via étale cohomology, to the group of points of an elliptic curve with complex multiplication. The Cassels-Tate pairing is computed under this identification.     

Jet cohomology of Isolated Hypersurface Singularities and Spectral Sequences

We study jet cohomology of isolated hypersurface singularities defined by partial differential forms and prove formulas to compute jet cohomology groups by linear algebra.

     

Groupoid cohomology and extensions

We show that Haefliger's cohomology for étale groupoids, Moore's cohomology for locally compact groups and the Brauer group of a locally compact groupoid are all particular cases of sheaf (or Cech) cohomology for topological simplicial spaces.

     

Geometric cohomology frames on Hausmann-Holm-Puppe conjugation spaces

For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and Grassmannians with the standard antiholomorphic involution (with real projective spaces and Grassmannians as fixed point sets).

Hausmann, Holm and Puppe have put this observation in the framework of equivariant cohomology, and come up with the concept of conjugation spaces, where the ring homomorphisms arise naturally from the existence of what they call cohomology frames. Much earlier, Borel and Haefliger had studied the degree-halving isomorphism between the cohomology rings of complex and real projective spaces and Grassmannians using the theory of complex and real analytic cycles and cycle maps into cohomology.

The main result in the present note gives a (purely topological) connection between these two results and provides a geometric intuition into the concept of a cohomology frame. In particular, we see that if every cohomology class on a manifold with involution is the Thom class of an equivariant topological cycle of codimension twice the codimension of its fixed points (inside the fixed point set of ), these topological cycles will give rise to a cohomology frame.

     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

Complexes pondérés sur les compactifications de Baily-Borel: Le cas des variétés de Siegel

In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety.

Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncation of the full direct image.

More generally, we are able to define analogs in positive characteristic of the weighted cohomology complexes introduced by Goresky, Harder and MacPherson.

     

Operatorenkalkül über freien Monoiden I: Strukturen

In part I algebraic structures (esp. rings) on the sets of polynomials and formal power series on an at most countable alphabetA are considered. Given a partial order onA the words ofA ^* are mixed together in consistence with it. It is shown that the structures derived are associative iff the given partial order is of linear type. The coefficients appearing at these operations are identified as generalizations of the ordinary binomial coefficients and a number of relations involving them are listed up.(Part II will bring a generalization ofRota's theory of polynomial sequences of binomial type to the structures studied in I.In Part III the theory of special binomial systems will be continued until the analogue of Lagrange inversion and a short development of generalized Sheffer polynomials will be given).     

Espaces symétriques de Drinfeld et correspondance de Langlands locale

We study the Galois action on the equivariant cohomology complex of Drinfeld's p-adic symmetric spaces and show how it encodes Langlands' correspondence for the so-called “principal elliptic” representations of GLd. This is the first stage of an expected generalization of Carayol's non-Abelian Lubin-Tate theory from supercuspidal to elliptic representations. In the process we obtain a new proof of Deligne's weight-monodromy conjecture for those varieties which admit p-adic uniformization by these spaces, we compute Ext groups and cup-products for elliptic representations, and we give a new computation of the compactly supported cohomology of p-adic symmetric spaces.     

Measurable Kac cohomology for bicrossed products

We study the Kac cohomology for matched pairs of locally compact groups. This cohomology theory arises from the extension theory of locally compact quantum groups. We prove a measurable version of the Kac exact sequence and provide methods to compute the cohomology. We give explicit calculations in several examples using results of Moore and Wigner.

     

Higher-dimensional virtual diagonals and ideal cohomology for triangular algebras

We investigate the cohomology of non-self-adjoint algebras using virtual diagonals and their higher-dimensional generalizations. We show that infinite dimensional nest algebras always have non-zero second cohomology by showing that they cannot possess 2-virtual diagonals. In the case of the upper triangular atomic nest algebra we exhibit concrete modules for non-vanishing cohomology.

     

Cohomology theories based on Gorenstein injective modules

In this paper we study relative and Tate cohomology of modules of finite Gorenstein injective dimension. Using these cohomology theories, we present variations of Grothendieck local cohomology modules, namely Gorenstein and Tate local cohomology modules. By applying a sort of Avramov-Martsinkovsky exact sequence, we show that these two variations of local cohomology are tightly connected to the generalized local cohomology modules introduced by J. Herzog. We discuss some properties of these modules and give some results concerning their vanishing and non-vanishing.

     

On the rigidity theorem for elliptic genera

We give a detailed proof of the rigidity theorem for elliptic genera. Using the Lefschetz fixed point formula we carefully analyze the relation between the characteristic power series defining the elliptic genera and the equivariant elliptic genera. We show that equivariant elliptic genera converge to Jacobi functions which are holomorphic. This implies the rigidity of elliptic genera. Our approach can be easily modified to give a proof of the rigidity theorem for the elliptic genera of level .

     

Prime powers in elliptic divisibility sequences

Certain elliptic divisibility sequences are shown to contain only finitely many prime power terms. In some cases the methods prove that only finitely many terms are divisible by a bounded number of distinct primes.

     

Discrete morse theory and the cohomology ring

In [5], we presented a discrete Morse Theory that can be applied to general cell complexes. In particular, we defined the notion of a discrete Morse function, along with its associated set of critical cells. We also constructed a discrete Morse cocomplex, built from the critical cells and the gradient paths between them, which has the same cohomology as the underlying cell complex. In this paper we show how various cohomological operations are induced by maps between Morse cocomplexes. For example, given three discrete Morse functions, we construct a map from the tensor product of the first two Morse cocomplexes to the third Morse cocomplex which induces the cup product on cohomology. All maps are constructed by counting certain configurations of gradient paths. This work is closely related to the corresponding formulas in the smooth category as presented by Betz and Cohen [2] and Fukaya [11], [12].

     

The second bounded cohomology of an amalgamated free product of groups

We study the second bounded cohomology of an amalgamated free product of groups, and an HNN extension of a group. As an application, we show that a group with infinitely many ends has infinite dimensional second bounded cohomology.