On localization in holomorphic equivariant cohomology

We study a holomorphic equivariant cohomology built out of the Atiyah algebroid of an equivariant holomorphic vector bundle and prove a related localization formula. This encompasses various residue formulas in complex geometry, in particular we shall show that it contains as special cases Carrell-Liebermann’s and Feng-Ma’s residue formulas, and Baum-Bott’s formula for the zeroes of a meromorphic vector field.     

On the localization formula in equivariant cohomology

We give a generalization of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action. We replace the manifold having a torus action by an equivariant map of manifolds having a compact connected Lie group action. This provides a systematic method for calculating the Gysin homomorphism in ordinary cohomology of an equivariant map. As an example, we recover a formula of Akyildiz-Carrell for the Gysin homomorphism of flag manifolds.     

Group-valued modular functions

Modular functions on a lattice (m(x)+m(y)=m(x∪y)+m(x∩y)) live on modular lattices in that they are induced by modular functions on a quotient modular lattice. Those which identify pairs of the distributive inequality live on distributive lattices in the same sense. The structure of all modular functions on a lattice of finite height is determined. The “distance function” derived by Kranz from a modular function is shown to satisfy the triangle inequality. Presented by E. Nelson.     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

Nonlinear equivariant automorphisms

We show that the natural representation of SL₃ × SL₅ × SL₁₃ allows nonlinear equivariant automorphisms; more exactly, the group of polynomial automorphisms on ?³ ? ?⁵ ? ?¹³ commuting with the simple SL₃ × SL₅ × SL₁₃-action is isomorphic to ? ? ?. This is the first example of a simple module with nonlinear equivariant automorphisms.     

Rigidity for equivariant K-theory

We extend the classical rigidity results for K-theory to the equivariant setting of linear algebraic group actions. These results concern rigidity for rational points, field extensions, and Hensel local rings. To cite this article: S. Yagunov, P.A. Østvær, C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

On equivariant slice knots

We suggest a method to detect that two periodic knots are not equivariantly concordant, using surgery on factor links. We construct examples which satisfy all known necessary conditions for equivariant slice knots- Naik's and Choi-Ko-Song's improvements of classical results on Seifert forms and Casson-Gordon invariants of slice knots - but are not equivariantly slice.

     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Toward equivariant Iwasawa theory

 Let l be an odd prime number, K/k a finite Galois extension of totally real number fields, and G _∞ , X _∞ the Galois groups of K _∞ /k and M _∞ /K _∞ , respectively, where K _∞ is the cyclotomic l-extension of K and M _∞ the maximal abelian S-ramified l-extension of K _∞ with S a sufficiently large finite set of primes of k. We introduce a new K-theoretic variant of the Iwasawa ℤ[[G _∞ ]]-module X _∞ and, for K/k abelian, formulate a conjecture, which is the main conjecture of classical Iwasawa theory when lł[K : k]. We prove this new conjecture when Iwasawa's μ-invariant vanishes and discuss consequences for the Lifted Root Number Conjecture at l. Received: 7 August 2001 / Revised version: 6 May 2002 We acknowledge financial support provided by NSERC. Mathematics Subject Classification (2000): 11R23, 11R27, 11R32, 11R33, 11R37, 11R42, 11S20, 11S23, 11S31, 11S40     

An equivariant Novikov conjecture

We discuss and formulate the correct equivariant generalization of the strong Novikov conjecture. This will be the statement that certain G-equivariant higher signatures (living in suitable equivariant K-groups) are invariant under G-maps of manifolds which, nonequivariantly, are homotopy equivalences preserving orientation. We prove this conjecture for manifolds modeled on a complete Riemannian manifold of nonpositive curvature on which G (a compact Lie group) acts by isometries. We also use the theory of harmonic maps to construct (in some cases) G-maps into such model spaces.Dedicated to Alexander GrothendieckPartially supported by NSF Grants DMS 84-00900 and 87-00551.Partially supported by NSF Grant DMS 86-02980, a Presidential Young Investigator Award, and a Sloan Foundation Fellowship.     

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.