An equivariant tensor product on Mackey functors

For all subgroups H of a cyclic p-group G we define norm functors that build a G-Mackey functor from an H-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.     

Hecke algebras and cohomotopical Mackey functors

In this paper, we define the concept of the cohomotopical Mackey functor, which is more general than the usual cohomological Mackey functor, and show that Hecke algebra techniques are applicable to cohomotopical Mackey functors. Our theory is valid for any (possibly infinite) discrete group. Some applications to topology are also given.

     

Noncommutative Mackey functors and Hopf-cyclic Homology

We show that a duality of the Hopf-cyclic homology and cohomology can be explained in terms of functors defined on a PROP for Hopf algebras.     

A model category structure for equivariant algebraic models

In the equivariant category of spaces with an action of a finite group, algebraic `minimal models' exist which describe the rational homotopy for -spaces which are 1-connected and of finite type. These models are diagrams of commutative differential graded algebras. In this paper we prove that a model category structure exists on this diagram category in such a way that the equivariant minimal models are cofibrant objects. We show that with this model structure, there is a Quillen equivalence between the equivariant category of rational -spaces satisfying the above conditions and the algebraic category of the models.

     

Rational Mackey functors for compact lie groups I

A Mackey functor M is a structure analogous to the representationring functor H R(H) encoding good formal behaviour under inductionand restriction. More explicitly, M associates an abelian groupM(H) to each closed subgroup H of a fixed compact Lie groupG, and to each inclusion K H it associates a restriction map and an induction map . This paper gives an analysis of thecategory of Mackey functors M whose values are rational vectorspaces: such a Mackey functor may be specified by giving a suitablycontinuous family consisting of a Q ₀(W_G(H))-module V(H) foreach closed subgroup H with restriction maps V(K) V(K) wheneverK is normal in K and K/K is a torus (a ‘continuous Weyl-toralmodule’). We show that the category of rational Mackeyfunctors is equivalent to the category of rational continuousWeyl-toral modules. In Part II this will be used to give analgebraic analysis of the category of rational Mackey functors,showing in particular that it has homological dimension equalto the rank of the group. 1991 Mathematics Subject Classification:19A22, 20C99, 22E15, 55N91, 55P42, 55P91.     

Mackey structures on equivariant algebraic K-theory

We study the Mackey structure of the G-spectrum K _G C associated to a monoidal G-category C. It is proved that the coefficient system of K _G C coincides, as a (graded) Mackey functor, with the system of equivariant K-groups in the sense of Fröhlich and Wall. It is also shown that for any exact category U, there exists a G-spectrum Q _G U representing the equivariant K-theory of U in the sense of Dress and Kuku, and that Q _G U is naturally G-homotopy equivalent to K _G IsoU if every short exact sequence in U splits.     

On a spectral sequence for equivariant K-theory

We apply the “homotopy coniveau” machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin–Graham) and an Atiyah–Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bloch–Lichtenbaum and Friedlander–Suslin. The first-named author gratefully acknowledges the support of the Humboldt Foundation through the Wolfgang Paul Program, and support of the NSF via grants DMS-0140445 and DMS-0457195.     

Stable equivariant abelianization, its properties, and applications

Let G be a finite group. For a based G-space X and a Mackey functor M, a topological Mackey functor is constructed, which will be called the stable equivariant abelianization of X with coefficients in M. When X is a based G-CW complex, is shown to be an infinite loop space in the sense of G-spaces. This gives a version of the RO(G)-graded equivariant Dold-Thom theorem. Applying a variant of Elmendorf's construction, we get a model for the Eilenberg-Mac Lane spectrum HM. The proof uses a structure theorem for Mackey functors and our previous results.     

Homotopy Theories of Algebras over Operads

Homotopy theories of algebras over operads, including operads over “little n-cubes,” are defined. Spectral sequences are constructed and the corresponding homotopy groups are calculated.__________Translated from Matematicheskie Zametki, vol. 78, no. 2, 2005, pp. 278–285.Original Russian Text Copyright © 2005 by V. A. Smirnov.     

Splitting criteria for homotopy functors of spectra

We explore the interaction between the Taylor tower and cotower, as defined in deriving calculus with cotriples and dual calculus for functors to spectra of functors of spectra. This leads to new splitting criteria which generalize the results in dual calculus for functors to spectra.

     

Relative left derived functors of tensor product functors

We introduce and study the relative left derived functor Tor_n^(F,F') (-,-) in the module category, which unifies several related left derived functors. Then we give some criteria for computing the F-resolution dimensions of modules in terms of the properties of Tor_n^(F,F') (-,-). We also construct a complete and hereditary cotorsion pair relative to balanced pairs. Some known results are obtained as corollaries.     

Mackey and Frobenius Structures on Odd Dimensional Surgery Obstruction Groups

C. T. C. Wall formulated surgery-obstruction groups L _n (Z[G]) in terms of quadratic modules and automorphisms. C. B. Thomas showed that the Wall-group functors L _n (Z[–],w|_–) are modules over the Hermitian-representation-ring functor G₁(Z, –) if the orientation homomorphism w is trivial. A. Bak generalized the notion of quadratic module by introducing quadratic-form parameters, and obtained various K-groups related to quadratic modules and automorphisms. One of the authors established that some Bak groups W _n (Z[G], w) are equivariant-surgery-obstruction groups and showed in the case of even dimension n that the Bak-group functor W _n (Z)[–], _–; w|_–) is a w-Mackey functor as well as a module over the Grothendieck–Witt-ring functor GW₀(Z, –), where w is possibly nontrivial. In this paper, we prove the same facts in the case of odd dimension n.     

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.     

Mackey Formula in Type A

The statement (and the proof) of Theorem 4.1.1 of the paper‘Mackey formula in type A’ [Proc. London. Math.Soc. (3) 80 (2000) 545–574] is false. In this corrigendumwe provide a correct statement (and a correct proof). As a consequence,we see that Corollary 4.1.2 of the paper holds. So all the otherstatements in the paper are correct (up to minor misprints...).2000 Mathematical Subject Classification: 20G05, 20G40.     

Lattices of subgroup and subsystem functors

Lattices of subgroup and subsystem functors are investigated. In particular, it is proved that for the case where X is a formation of finite groups and width of the lattice F₀(X) is at most |π(X)|, the formation X is metanilpotent and |π(X)| ⩽ 3. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 710–730, November–December, 2006.     

On Homotopy Groups of Real Algebraic Varieties and their Complexifications

Let X ₀ be a topological component of a nonsingular real algebraic variety and i:X → X _C is a nonsingular projective complexification of X. In this paper, we will study the homomorphism on homotopy groups induced by the inclusion map i:X ₀ → X _C and obtain several results using rational homotopy theory and other standard tools of homotopy theory.     

Cohomological Mackey functors in number theory

We prove relations between the evaluations of cohomological Mackey functors over complete discrete valuation rings or fields and apply this to Mackey functors that arise naturally in number theory. This provides relations between λ- and μ-invariants in Iwasawa theory, between Mordell-Weil groups, Shafarevich-Tate groups, Selmer groups and zeta functions of elliptic curves, and between ideal class groups and regulators of number fields.