In this paper we study the singularities of holomorphic functions of bicomplex variables introduced by G. B. Price ($An Introduction to Multicomplex Spaces and Functions$, Dekker, New York,1991). In particular, we use computational algebra techniques to show that even in the case of one bicomplex variable, there cannot be compact singularities. The same techniques allow us to prove a duality theorem for such functions.

We prove that every homomorphism $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{O}^{F}_{\zeta}$ , with$E$and$F$Banach spaces and ζ∈ℂ^{$m$}, is induced by a $\mathop{\mathrm{Hom}}(E,F)$ -valued holomorphic germ, provided that 1≤$m$<∞. A similar structure theorem is obtained for the homomorphisms of type $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{S}_{\zeta}$ , where $\mathcal{S}_{\zeta}$ is a stalk of a coherent sheaf of positive depth. We later extend these results to sheaf homomorphisms, obtaining a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert–Patyi.

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.

We present a version of a proof by Andy Chermak of the existence and uniqueness of centric linking systems associated with arbitrary saturated fusion systems. This proof differs from the one in [Ch2] in that it is based on the computation of derived functors of certain inverse limits. This leads to a much shorter proof, but one which is aimed mostly at researchers familiar with homological algebra.

We define an analogue of the Casimir element for a graded affine Hecke algebra $$ \mathbb{H} $$ , and then introduce an approximate square-root called the Dirac element. Using it, we define the Dirac cohomology$H$^{$D$}($X$) of an $$ \mathbb{H} $$ -module$X$, and show that$H$^{$D$}($X$) carries a representation of a canonical double cover of the Weyl group $$ \widetilde{W} $$ . Our main result shows that the $$ \widetilde{W} $$ -structure on the Dirac cohomology of an irreducible $$ \mathbb{H} $$ -module$X$determines the central character of$X$in a precise way. This can be interpreted as$p$-adic analogue of a conjecture of Vogan for Harish-Chandra modules. We also apply our results to the study of unitary representations of $$ \mathbb{H} $$ .

We use techniques from both real and complex algebraic geometry to study$K$-theoretic and related invariants of the algebra$C$($X$) of continuous complex-valued functions on a compact Hausdorff topological space$X$. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if$M$is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and$X$is contractible, then every finitely generated projective module over$C$($X$)[$M$] is free. The particular case $$ M = \mathbb{N}_0^n $$ gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic$K$-theory of$C$($X$) follows from the particular case $$ M = {\mathbb{Z}^n} $$ . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on$C$^{*}-algebras, and for a homology theory of commutative algebras to vanish on$C$^{*}-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil$K$-theory implies that commutative$C$^{*}-algebras are$K$-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of$C$($X$). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.

The subalgebra of the tautological ring of the moduli of curves of compact type generated by the κ classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain minimal sets of generators. Bases and Betti numbers of the κ rings are computed. A universality property relating the higher genus κ rings to the genus 0 rings is proven using the virtual geometry of the moduli space of stable maps. The λ_{g}-formula for Hodge integrals arises as the simplest consequence.