We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$ -forms of a projective bundle. In particular we generalize Bott’s formula for the projective space to a projective bundle over a scheme of characteristic zero.

Let $D$ be a Dedekind scheme with the characteristic of all residue fields not equal to 2. To every tame cover $C\to D$ with only odd ramification we associate a second Stiefel-Whitney class in the second cohomology with mod 2 coefficients of a certain tame orbicurve $[D]$ associated to $D$ . This class is then related to the pull-back of the second Stiefel-Whitney class of the push-forward of the line bundle of half of the ramification divisor. This shows (indirectly) that our Stiefel-Whitney class is the pull-back of a sum of cohomology classes considered by Esnault, Kahn and Viehweg in ‘Coverings with odd ramification and Stiefel-Whitney classes’. Perhaps more importantly, in the case of a proper and smooth curve over an algebraically closed field, our Stiefel-Whitney class is shown to be the pull-back of an invariant considered by Serre in ‘Revêtements à ramification impaire et thêta-caractéristiques’, and in this case our arguments give a new proof of the main result of that article.

This paper applies$K$-homology to solve the index problem for a class of hypoelliptic (but not elliptic) operators on contact manifolds.$K$-homology is the dual theory to$K$-theory. We explicitly calculate the$K$-cycle (i.e., the element in geometric$K$-homology) determined by any hypoelliptic Fredholm operator in the Heisenberg calculus.