The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

The Complete Dirichlet-to-Neumann Map for Differential Forms

The Dirichlet-to-Neumann map for differential forms on a Riemannian manifold with boundary is a generalization of the classical Dirichlet-to-Neumann map which arises in the problem of Electrical Impedance Tomography. We synthesize the two different approaches to defining this operator by giving an invariant definition of the complete Dirichlet-to-Neumann map for differential forms in terms of two linear operators Φ and Ψ. The pair (Φ,Ψ) is equivalent to Joshi and Lionheart’s operator Π and determines Belishev and Sharafutdinov’s operator Λ. We show that the Betti numbers of the manifold are determined by Φ and that Ψ determines a chain complex whose homologies are explicitly related to the cohomology groups of the manifold.     

On the Cohomology of the Invariant Euler–Lagrange Complex

Given a Lie group action G we show, using the method of equivariant moving frames, that the local cohomology of the invariant Euler–Lagrange complex is isomorphic to the Lie algebra cohomology of G.     

Stratonovich-Weyl correspondence for compact semisimple Lie groups

Let G be a compact Lie group, M a G-homogeneous space and π a unitary representation of G realized on a Hilbert space of functions on M. We give a general presentation of the Stratonovich-Weyl correspondence associated with π. In the case when G is a compact semisimple Lie group and π _λ an irreducible representation of G with highest weight λ, we study the Stratonovich-Weyl symbol of the derived operator d π _λ (X) for X in the Lie algebra of G and its behavior as λ goes to infinity.     

Induced Hamiltonian maps on the symplectic quotient

Let (M,ω) be a symplectic manifold and G a compact Lie group that acts on M. Assume that the action of G on M is Hamiltonian. Then a G-equivariant Hamiltonian map on M induces a map on the symplectic quotient of M by G. Consider an autonomous Hamiltonian H with compact support on M, with no non-constant closed trajectory in time less than 1 and time-1 map fH. If the map fH descends to the symplectic quotient to a map Φ(fH) and the symplectic manifold M is exact and Ham(M,ω) has no short loops, we prove that the Hofer norm of the induced map Φ(fH) is bounded above by the Hofer norm of fH.     

Smooth actions of finite Oliver groups on spheres

In this article, we deal with the following two questions. For smooth actions of a given finite group G on spheres S, which smooth manifolds F occur as the fixed point sets in S, and which real G-vector bundles ν over F occur as the equivariant normal bundles of F in S? We focus on the case G is an Oliver group and answer both questions under some conditions imposed on G, F, and ν. We construct smooth actions of G on spheres by making use of equivariant surgery, equivariant thickening, and Oliver's equivariant bundle extension method modified by an equivariant wegde sum construction and an equivariant bundle subtraction procedure.     

Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Index Theorem for Equivariant Dirac Operators on Noncompact Manifolds

Let D be a (generalized) Dirac operator on a noncompact complete Riemannian manifold M acted on by a compact Lie group G. Let v: M g = Lie G be an equivariant map, such that the corresponding vector field on M does not vanish outside of a compact subset. These data define an element of K-theory of the transversal cotangent bundle to M. Hence, by embedding of M into a compact manifold, one can define a topological index of the pair (D,v) as an element of the completed ring of characters of G. We define an analytic index of (D,v) as an index space of certain deformation of D and we prove that the analytic and topological indexes coincide. As a main step of the proof, we show that index is an invariant of a certain class of cobordisms, similar to the one considered by Ginzburg, Guillemin and Karshon. In particular, this means that the topological index of Atiyah is also invariant under this class of noncompact cobordisms. As an application, we extend the Atiyah–Segal–Singer equivariant index theorem to our noncompact setting. In particular, we obtain a new proof of this theorem for compact manifolds.     

The Chern character of a transversally elliptic symbol and the equivariant index

Let G be a compact Lie group acting on a compact manifold M. In this article, we associate to a G-transversally elliptic symbol on M a G-invariant generalized function on G, constructed in terms of equivariant closed differential forms on the cotangent bundle T ^* M. Oblatum 24-VII-1995     

The degree of maps of free G-manifolds

Suppose that M and N are orientable, closed, connected manifolds with free actions of compact Lie groups G and H of the same dimension, and suppose that u : G → H is a homomorphism. We study the degree of maps f : M → N that are “equivariant up to u”. For abelian actions and for a power map such maps satisfy the condition f(λx) = λ ^r x. To Albrecht Dold and Edward Fadell     

Bredon homology and ramified covering G-maps

Let G be a finite group. The objective of this paper is twofold. First we prove that the cellular Bredon homology groups with coefficients in an arbitrary coefficient system M are isomorphic to the homotopy groups of certain topological abelian group. And second, we study ramified covering G-maps of simplicial sets and of simplicial complexes. As an application, we construct a transfer for them in Bredon homology, when M is a Mackey functor. We also show that the Bredon-Illman homology with coefficients in M satisfies the equivariant weak homotopy equivalence axiom in the category of G-spaces.     

Actions of Totally Disconnected Groups and Equivariant Singular Cohomology

In this work, we study the special properties of the equivariant singular cohomology of a G-space X, where G is a totally disconnected, locally compact group. We prove that any short exact sequence of coefficient systems for G, over a ring R, gives a long exact sequence of the associated equivariant singular cohomology modules. We establish the relationship between the ordinary singular cohomology modules and the equivariant singular cohomology modules with the natural contravariant coefficient system. Moreover, under some conditions, we give an isomorphism of the equivariant singular cohomology modules of the G-space X onto the ordinary singular cohomology modules of the orbit space X/G.     

On the quantum filtration of the Khovanov-Rozansky cohomology

We prove the quantum filtration on the Khovanov-Rozansky link cohomology Hp with a general degree (n+1) monic potential polynomial p(x) is invariant under Reidemeister moves, and construct a spectral sequence converging to Hp that is invariant under Reidemeister moves, whose E₁ term is isomorphic to the Khovanov-Rozansky sl(n)-cohomology Hn. Then we define a generalization of the Rasmussen invariant, and study some of its properties. We also discuss relations between upper bounds of the self-linking number of transversal links in standard contact S³.     

Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

Algèbres et cogèbres de Gerstenhaber et cohomologie de Chevalley-Harrison

The fundamental example of Gerstenhaber algebra is the space Tpoly(Rd) of polyvector fields on Rd, equipped with the wedge product and the Schouten bracket. In this paper, we explicitely describe what is the enveloping G_∞ algebra of a Gerstenhaber algebra G. This structure gives us a definition of the Chevalley-Harrison cohomology operator for G. We finally show the nontriviality of a Chevalley-Harrison cohomology group for a natural Gerstenhaber subalgebra in Tpoly(Rd).     

The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Ergodic Actions of Semisimple Lie Groups on Compact Principal Bundles

Let G = SL(n, ?) (or, more generally, let G be a connected, noncompact, simple Lie group). For any compact Lie group K, it is easy to find a compact manifold M, such that there is a volume-preserving, connection-preserving, ergodic action of G on some smooth, principal K-bundle P over M. Can M can be chosen independent of K? We show that if M = H/Λ is a homogeneous space, and the action of G on M is by translations, then P must also be a homogeneous space H′Λ′. Consequently, there is a strong restriction on the groups K that can arise over this particular M.