Chen-Ruan Cohomology and Stringy Orbifold K-Theory for Stable Almost Complex Orbifolds

Comparing to the construction of stringy cohomology ring of equivariant stable almost complex manifolds and its relation with the Chen-Ruan cohomology ring of the quotient almost complex orbifolds, the authors construct in this note a Chen-Ruan cohomology ring for a stable almost complex orbifold. The authors show that for a finite group G and a G-equivariant stable almost complex manifold X, the G-invariant part of the stringy cohomology ring of (X, G) is isomorphic to the Chen-Ruan cohomology ring of the global quotient stable almost complex orbifold [X/G]. Similar result holds when G is a torus and the action is locally free. Moreover, for a compact presentable stable almost complex orbifold, they study the stringy orbifold K-theory and its relation with Chen-Ruan cohomology ring.     

The Geisser-Levine method revisited and algebraic cycles over a finite field

We reformulate part of the arguments of T. Geisser and M. Levine relating motivic cohomology with finite coefficients to truncated étale cohomology with finite coefficients [9,10]. This reformulation amounts to a uniqueness theorem for motivic cohomology, and shows that the Geisser-Levine method can be applied generally to compare motivic cohomology with other types of cohomology theories. We apply this to prove an equivalence between conjectures of Tate and Beilinson on cycles in characteristic p and a vanishing conjecture for continuous étale cohomology. Received: 23 November 2000 / Published online: 5 September 2002     

Syntomic regulators andp-adic integration I: Rigid syntomic regulators

We construct a new version of syntomic cohomology, called rigid syntomic cohomology, for smooth schemes over the ring of integers of ap-adic field. This version is more refined than previous constructions and naturally maps to most of them. We construct regulators fromK-theory into rigid syntomic cohomology. We also define a “modified” syntomic cohomology, which is better behaved in explicit computations yet is isomorphic to rigid syntomic cohomology in most cases of interest.     

The Chen-Ruan cohomology of almost contact orbifolds

Comparing to the Ch-~Ruan cohomology theory for the almost complex orbifolds, we study the orbifold cohomology theory for almost contact orbifolds. We define the Chen-Ruan cohomology group of any almost contact orbifold. Using the methods for almost complex orbifolds, we define the obstruction bundle for any 3-multisector of the almost contact orbifolds and the Chen~Ruan cup product for the Che-Ruan cohomology. We also prove that under this cup product the direct sum of all dimensional orbifold cohomology groups constitutes a cohomological ring. Finally we calculate two examples.     

Z_n分次代数的Hochschild上同调群

本文给出了Z_n分次代数A的Hochschild上同调群的定义,对低阶Hochschild上同调群进行了刻画.利用第一阶Hochschild上同调群给出了Z_n分次代数为分次可分代数的充要条件,证明了第二阶Hochschild上同调群的零次分支与A的Hochschild扩张之间的一一对应关系.     

Abelianization for hyperkähler quotients

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkähler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.     

Twisted smooth Deligne cohomology

Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential cohomology theory. While more involved differential cohomology theories have been explicitly twisted, the same has not been done to Deligne cohomology, although existence is known at a general abstract level. We work out what it means to twist Deligne cohomology, by taking degree one twists of both integral cohomology and de Rham cohomology. We present the main properties of the new theory and illustrate its use with examples and applications. Given how versatile Deligne cohomology has proven to be, we believe that this explicit and utilizable treatment of its twisted version will be useful.     

On the push-forwards for motivic cohomology theories with invertible stable Hopf element

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in the coefficient ring of the theory. The construction is parallel to the one given by Nenashev for derived Witt groups. Along the way we introduce cohomology groups twisted by a formal difference of vector bundles as cohomology groups of a certain Thom space and compute twisted cohomology groups of projective spaces.     

Equivariant simplicial cohomology with local coefficients and its classification

We introduce equivariant twisted cohomology of a simplicial set equipped with simplicial action of a discrete group and prove that for suitable twisting function induced from a given equivariant local coefficients, the simplicial version of Bredon-Illman cohomology with local coefficients is isomorphic to equivariant twisted cohomology. The main aim of this paper is to prove a classification theorem for equivariant simplicial cohomology with local coefficients.     

Cohomology of fixed point sets and deformation of algebras

Under certain conditions the cohomology algebra (with appropriate coefficients) of the fixed point set of a G-space (G=Z/pZ=Zp, p prime or G=S¹) can be considered a deformation - in a purely algebraic sense - of the cohomology algebra of the space itself. On one hand this gives restrictions on the isomorphism type of algebras that can occur as cohomology algebra of the fixed point set of G-spaces if the cohomology algebra of the space itself is given. On the other hand it leads to the definition of obstructions for the cohomology algebra of the fixed point set to be isomorphic (as an ungraded algebra) to the cohomology algebra of the space itself.     

Localization for Involutions in Floer Cohomology

We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.     

Scattering at Low Energies on Manifolds with Cylindrical Ends and Stable Systoles

Scattering theory for p-forms on manifolds with cylindrical ends has a direct interpretation in terms of cohomology. Using the Hodge isomorphism, the scattering matrix at low energy may be regarded as an operator on the cohomology of the boundary. Its value at zero describes the image of the absolute cohomology in the cohomology of the boundary. We show that the so-called scattering length, the Eisenbud–Wigner time delay at zero energy, has a cohomological interpretation as well. Namely, it relates the norm of a cohomology class on the boundary to the norm of its image under the connecting homomorphism in the long exact sequence in cohomology. An interesting consequence of this is that one can estimate the scattering lengths in terms of geometric data like the volumes of certain homological systoles.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.     

Hopf cyclic cohomology and Hodge theory for proper actions on complex manifolds

We introduce two Hopf algebroids associated to a proper and holomorphic Lie group action on a complex manifold. We prove that the cyclic cohomology of each Hopf algebroid is equal to the Dolbeault cohomology of invariant differential forms. When the action is cocompact, we develop a generalized complex Hodge theory for the Dolbeault cohomology of invariant differential forms. We prove that every cyclic cohomology class of these two Hopf algebroids can be represented by a generalized harmonic form. This implies that the space of cyclic cohomology of each Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we generalize the Serre duality and prove a Kodaira type vanishing theorem.     

Vanishing of odd dimensional intersection cohomology II

For a variety where a connected linear algebraic group acts with only finitely many orbits, each of which admits an attractive slice, we show that the stratification by orbits is perfect for equivariant intersection cohomology with respect to any equivariant local system. This applies to provide a relationship between the vanishing of the odd dimensional intersection cohomology sheaves and of the odd dimensional global intersection cohomology groups. For example, we show that odd dimensional intersection cohomology sheaves and global intersection cohomology groups vanish for all complex spherical varieties. Received: 25 February 2000 / Accepted: 15 February 2001 / Published online: 23 July 2001     

Non-Abelian Cohomology of Groups

Following Guin's approach to non-abelian cohomology [4] and, using the notion of a crossed bimodule, a second pointed set of cohomology is defined with coefficients in a crossed module, and Guin's six-term exact cohomology sequence is extended to a nine-term exact sequence of cohomology up to dimension 2     

Local cohomology based on a nonclosed support defined by a pair of ideals

We introduce a generalization of the notion of local cohomology module, which we call a local cohomology module with respect to a pair of ideals (I,J), and study its various properties. Some vanishing and nonvanishing theorems are given for this generalized version of local cohomology. We also discuss its connection with ordinary local cohomology.     

The variational Poisson cohomology

It is well known that the validity of the so called Lenard–Magri scheme of integrability of a bi-Hamiltonian PDE can be established if one has some precise information on the corresponding 1st variational Poisson cohomology for one of the two Hamiltonian operators. In the first part of the paper we explain how to introduce various cohomology complexes, including Lie superalgebra and Poisson cohomology complexes, and basic and reduced Lie conformal algebra and Poisson vertex algebra cohomology complexes, by making use of the corresponding universal Lie superalgebra or Lie conformal superalgebra. The most relevant are certain subcomplexes of the basic and reduced Poisson vertex algebra cohomology complexes, which we identify (non-canonically) with the generalized de Rham complex and the generalized variational complex. In the second part of the paper we compute the cohomology of the generalized de Rham complex, and, via a detailed study of the long exact sequence, we compute the cohomology of the generalized variational complex for any quasiconstant coefficient Hamiltonian operator with invertible leading coefficient. For the latter we use some differential linear algebra developed in the Appendix.     

Cohomology of partially ordered sets and local cohomology of section rings

We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.