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.     

Tambarization of a Mackey functor and its application to the Witt–Burnside construction

For an arbitrary group G, a (semi-)Mackey functor is a pair of covariant and contravariant functors from the category of G-sets, and is regarded as a G-bivariant analog of a commutative (semi-)group. In this view, a G-bivariant analog of a (semi-)ring should be a (semi-)Tambara functor. A Tambara functor is firstly defined by Tambara, which he called a TNR-functor, when G is finite. As shown by Brun, a Tambara functor plays a natural role in the Witt–Burnside construction.It will be a natural question if there exist sufficiently many examples of Tambara functors, compared to the wide range of Mackey functors. In the first part of this article, we give a general construction of a Tambara functor from any Mackey functor, on an arbitrary group G. In fact, we construct a functor from the category of semi-Mackey functors to the category of Tambara functors. This functor gives a left adjoint to the forgetful functor, and can be regarded as a G-bivariant analog of the monoid-ring functor.In the latter part, when G is finite, we investigate relations with other Mackey-functorial constructions — crossed Burnside ring, Elliott?s ring of G-strings, Jacobson?s F-Burnside ring — all these lead to the study of the Witt–Burnside construction.     

On the fractions of semi-Mackey and Tambara functors

For a finite group G, a semi-Mackey (resp. Tambara) functor is regarded as a G-bivariant analog of a commutative monoid (resp. ring). As such, some naive algebraic constructions are generalized to this G-bivariant setting. In this article, as a G-bivariant analog of the fraction of a ring, we consider fraction of a Tambara (and a semi-Mackey) functor, by a multiplicative semi-Mackey subfunctor.     

Constructing Witt-Burnside rings

The Witt-Burnside ring of a profinite group G over a commutative ring A generalizes both the Burnside ring of virtual G-sets and the rings of universal and p-typical Witt vectors over A. The Witt-Burnside ring of G over the monoid ring Z[M], where M is a commutative monoid, is proved isomorphic to the Grothendieck ring of a category whose objects are almost finite G-sets equipped with a map to M that is constant on G-orbits. In particular, if A is a commutative ring and A_× denotes the set A as a monoid under multiplication, then the Witt-Burnside ring of G over Z[A_×] is isomorphic to Graham's ring of “virtual G-strings with coefficients in A.” This result forms the basis for a new construction of Witt-Burnside rings and provides an important missing link between the constructions of Dress and Siebeneicher [Adv. in Math. 70 (1988) 87-132] and Graham [Adv. in Math. 99 (1993) 248-263]. With this approach the usual truncation, Frobenius, Verschiebung, and Teichmüller maps readily generalize to maps between Witt-Burnside rings.     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

On the Image of the Totaling Functor

Let A be a differential graded (DG) algebra with a trivial differential over a commutative unital ring. This paper investigates the image of the totaling functor, defined from the category of complexes of graded A-modules to the category of DG A-modules. Specifically, we exhibit a special class of semifree DG A-modules which can always be expressed as the totaling of some complex of graded free A-modules. As a corollary, we also provide results concerning the image of the totaling functor when A is a polynomial ring over a field.     

Witt vectors and K-theory of automorphisms via noncommutative motives

We prove that the functor ring-of-rational-Witt-vectors W ₀(?) becomes co-representable in the category of noncommutative motives. As an application, we obtain an immediate extension of W ₀(?) from commutative rings to schemes. Then, making use of the theory of noncommutative motives, we classify all natural transformations of the functor K-theory-of-automorphisms.     

On universal categories of coalgebras

A category ${\mathcal{K}}$ is called universal if for every accessible functor F : Set → Set the category of all F-coalgebras and the category of all F-algebras can be fully embedded into ${\mathcal{K}}$ . We prove that for a functor G preserving intersections, the category Coalg G of all G-coalgebras is universal unless the functor G is linear, that is, of the form GX = X × A + B for some fixed sets A and B. Other types of universality are also investigated.     

Jacquet modules of locally analytic representations of p-adic reductive groups I. Construction and first properties

Let G be a reductive group defined over a p-adic local field L, let P be a parabolic subgroup of G with Levi quotient M, and write G:=G(L), P:=P(L), and M:=M(L). In this paper we construct a functor JP from the category of essentially admissible locally analytic G-representations to the category of essentially admissible locally analytic M-representations, which we call the Jacquet module functor attached to P, and which coincides with the usual Jacquet module functor of [Casselman W., Introduction to the theory of admissible representations of p-adic reductive groups, unpublished notes distributed by P. Sally, draft dated May 7, 1993. Available electronically at http://www.math.ubc.ca/people/faculty/cass/research.html. [5]] on the subcategory of admissible smooth G-representations. We establish several important properties of this functor.     

Simple Functors of Admissible Linear Categories

Generalizing an idea used by Bouc, Thévenaz, Webb and others, we introduce the notion of an admissible R-linear category for a commutative unital ring R. Given an R-linear category \(\mathcal {L}\), we define an \(\mathcal {L}\)-functor to be a functor from \(\mathcal {L}\) to the category of R-modules. In the case where \(\mathcal {L}\) is admissible, we establish a bijective correspondence between the isomorphism classes of simple functors and the equivalence classes of pairs (G, V) where G is an object and V is a module of a certain quotient of the endomorphism algebra of G. Here, two pairs (F, U) and (G, V) are equivalent provided there exists an isomorphism F ← G effecting transport to U from V. We apply this to the category of finite abelian p-groups and to a class of subcategories of the biset category.     

Obstructing extensions of the functor spec to noncommutative rings

This paper concerns contravariant functors from the category of rings to the category of sets whose restriction to the full subcategory of commutative rings is isomorphic to the prime spectrum functor Spec. The main result reveals a common characteristic of these functors: every such functor assigns the empty set to $\mathbb{M}_n (\mathbb{C})$ for n ? 3. The proof relies, in part, on the Kochen-Specker Theorem of quantum mechanics. The analogous result for noncommutative extensions of the Gel’fand spectrum functor for C*-algebras is also proved.     

The Fundamental Pro-groupoid of an Affine 2-scheme

A natural question in the theory of Tannakian categories is: What if you don’t remember Forget? Working over an arbitrary commutative ring R, we prove that an answer to this question is given by the functor represented by the étale fundamental groupoid π ₁(spec(R)), i.e. the separable absolute Galois group of R when it is a field. This gives a new definition for étale π ₁(spec(R)) in terms of the category of R-modules rather than the category of étale covers. More generally, we introduce a new notion of “commutative 2-ring” that includes both Grothendieck topoi and symmetric monoidal categories of modules, and define a notion of π ₁ for the corresponding “affine 2-schemes.” These results help to simplify and clarify some of the peculiarities of the étale fundamental group. For example, étale fundamental groups are not “true” groups but only profinite groups, and one cannot hope to recover more: the “Tannakian” functor represented by the étale fundamental group of a scheme preserves finite products but not all products.     

On adjunction contexts and regular quasi-monads

The unit element of a ring A plays an important part in classical module theory. Its existence is equivalent to the adjointness of the free functor from the base category of abelian groups to the category of (unital) A-modules with the forgetful functor. Releasing the conditions on the “unit,” the relation between the free functor and the forgetful functor will also be changed. In this paper, we suggest how this situation may be handled.     

Clifford semigroups as functors and their cohomology

We prove that the category of Clifford semigroups and prehomomorphisms CSP\mathcal{CSP} is isomorphic to a certain subcategory of the category of diagrams over groups. Under this isomorphism, Clifford semigroups are identified with certain functors. As an application of the isomorphism theorem, we show that the category with objects commutative inverse semigroups having the same semilattice of idempotents and with morphisms, the inverse semigroup homomorphisms that fix the semilattice, imbeds into a category of right modules over a certain ring. Also we find a very close relationship between the cohomology groups of a commutative inverse monoid and the cohomology groups of the colimit group of the functor giving the monoid.     

Necklace rings and logarithmic functions

In this paper, we develop the theory of the necklace ring and the logarithmic function. Regarding the necklace ring, we introduce the necklace ring functor Nr from the category of special λ-rings into the category of special λ-rings and then study the associated Adams operators. As far as the logarithmic function is concerned, we generalize the results in Bryant's paper [Free Lie algebras and formal power series, J. Algebra 253(1) (2002) 167-188] to the case of graded Lie (super)algebras with a group action by applying the Euler-Poincaré principle.     

Mackey functors and bisets

For any finite group G, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.     

Abstract Hilbert Schemes

In analogy with classical projective algebraic geometry, Hilbert functors can be defined for objects in any Abelian category. We study the moduli problem for such objects. Using Grothendieck's general framework. We show that with suitable hypotheses the Hilbert functor is representable by an algebraic space locally of finite type over the base field. For the category of the graded modules over a strongly Noetherian graded ring, the Hilbert functor of graded modules with a fixed Hilbert series is represented by a commutative projective scheme. For the projective scheme corresponding to a suitable noncommutative graded algebra, the Hilbert functor is represented by a countable union of commutative projective schemes.     

Reciprocal Polynomials and p-Group Cohomology

Let p be a prime and let G be a finite p-group. In a recent paper (Woodcock, J Pure Appl Algebra 210:193–199, 2007) we introduced a commutative graded ?-algebra R _G . This classifies, for each commutative ring R with identity element, the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element. We show here that, up to inseparable isogeny, the “graded-commutative” mod p cohomology ring $H^\ast(G, \mathbb{F}_p)Let p be a prime and let G be a finite p-group. In a recent paper (Woodcock, J Pure Appl Algebra 210:193–199, 2007) we introduced a commutative graded ℤ-algebra R _G . This classifies, for each commutative ring R with identity element, the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element. We show here that, up to inseparable isogeny, the “graded-commutative” mod p cohomology ring H^*(G, \mathbbF_p)H^\ast(G, \mathbb{F}_p) of G has the same spectrum as the ring of invariants of R _G mod p (R_G ?_\mathbbZ \mathbbF_p)^G(R_G \otimes_{\mathbb{Z}} \mathbb{F}_p)^G where the action of G is induced by conjugation.