Iteration of Fiber Product Preserving Bundle Functors

 Using the theory of Weil algebras, we describe the composition of two product preserving bundle functors on the category of fibered manifolds with m-dimensional bases and fiber preserving maps with local diffeomorphisms as base maps. Then we deduce certain interesting geometric properties of the natural transformations of some of the iterated functors. (Received 12 December 2000)     

Iteration of Fiber Product Preserving Bundle Functors

 Using the theory of Weil algebras, we describe the composition of two product preserving bundle functors on the category of fibered manifolds with m-dimensional bases and fiber preserving maps with local diffeomorphisms as base maps. Then we deduce certain interesting geometric properties of the natural transformations of some of the iterated functors.     

Flow prolongation of some tangent valued forms

We study the prolongation of semibasic projectable tangent valued k-forms on fibered manifolds with respect to a bundle functor F on local isomorphisms that is based on the flow prolongation of vector fields and uses an auxiliary linear r-th order connection on the base manifold, where r is the base order of F. We find a general condition under which the Frölicher-Nijenhuis bracket is preserved. Special attention is paid to the curvature of connections. The first order jet functor and the tangent functor are discussed in detail. Next we clarify how this prolongation procedure can be extended to arbitrary projectable tangent valued k-forms in the case F is a fiber product preserving bundle functor on the category of fibered manifolds with m-dimensional bases and local diffeomorphisms as base maps.     

The Katětov property for finite degree seminormal functors

A seminormal functor kF enjoys the Katěetov property (K-property) if for every compact set X the hereditary normality of kF(X) implies the metrizability of X. We prove that every seminormal functor of finite degree n>3 enjoys the K-property. On assuming the continuum hypothesis (CH) we characterize the weight preserving seminormal functors with the K-property. We also prove that the nonmetrizable compact set constructed in [1] on assuming CH is a universal counterexample for the K-property in the class of weight preserving seminormal functors.     

A note on coinduction functors between categories of comodules for corings

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case oflocally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a moregeneral coinduction functor between categories of type σ[M]. In special cases (e.g. the corings morphism is part of a morphism of measuringa-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings.     

Flows With Respect to a Functor

Flows with respect to a functor F are introduced as a common generalization of the concepts of F-co-structured sinks and small F-co-structured sources. Appropriate factorization structures for functors are investigated and used to obtain several results that characterize coadjoint functors that have domains with various completeness conditions. When the functor in question is an identity functor, these results reduce to earlier results of Herrlich and Meyer for flows in a category. Functors of the type in question are shown to be nicely behaved with respect to composition. The dual notion of wolfs with respect to a functor is introduced, as is the concept of (co)limit with respect to a functor.     

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.     

Tambara Functors on Profinite Groups and Generalized Burnside Functors

The Tambara functor was defined by Tambara in the name of TNR-functor, to treat certain ring-valued Mackey functors on a finite group. Recently Brun revealed the importance of Tambara functors in the Witt–Burnside construction. In this article, we define the Tambara functor on the Mackey system of Bley and Boltje. Yoshida's generalized Burnside ring functor is the first example. Consequently, we can consider a Tambara functor on any profinite group. In relation with the Witt–Burnside construction, we can give a Tambara-functor structure on Elliott's functor V _M , which generalizes the completed Burnside ring functor of Dress and Siebeneicher.     

On the existence of prolongation of connections

We classify all bundle functors G admitting natural operators transforming connections on a fibered manifold Y → M into connections on GY → M. Then we solve a similar problem for natural operators transforming connections on Y → M into connections on GY → Y. Dedicated to Professor Ivan Kolář on the occasion of his 70th birthday     

Naturally Full Functors in Nature

We introduce and discuss the notion of a naturally full functor, The definition is similar to the definition of a separable functor; a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful fimctor, We study the general properties of naturally full functors. We also discuss when functors between module categories and between categories of comodules over a coring are naturally full.     

SHAPE AND INDUCED REPRESENTATIONS

Abstract

Let K: P → T be a fixed functor. A criterion is given for a functor M': T → V to be a (right) Kan extension along K of some functor M: P → V. The functors M having a given M' as Kan extension are, in general, classified by continuous functors (V ^P)^o → V. We introduce a notion of system of imprimitivity, generalizing that of Mackey; when the shape category of K is codense in the systems of imprimitivity classify the functors H having M' as Kan extension. As a special case one obtains Mackey's Imprimitivity Theorem for finite groups.     

Representations of Gan–Ginzburg algebras

Given a quiver, a fixed dimension vector, and a positive integer n, we construct a functor from the category of D-modules on the space of representations of the quiver to the category of modules over a corresponding Gan–Ginzburg algebra of rank n. When the quiver is affine Dynkin, we obtain an explicit construction of representations of the corresponding wreath product symplectic reflection algebra of rank n. When the quiver is star-shaped, but not finite Dynkin, we use this functor to obtain a Lie-theoretic construction of representations of a “spherical” subalgebra of the Gan–Ginzburg algebra isomorphic to a rational generalized double affine Hecke algebra of rank n. Our functors are a generalization of the type A and type BC functors from [1] and [4], respectively.     

On the Extension of Seminormal Functors to the Category of Tychonoff Spaces

Chigogidze proposed a construction of extending a normal functor from the category Comp to the category Tych. We can apply his scheme to seminormal functors and study the properties of the original functor which are preserved under extension. We introduce the concept of functor having an invariant extension from Comp to Tych because the very existence of this invariance plays a key role in the preservation of the properties of a seminormal functor in its extension. It is proved that the superextension functor λ has an invariant extension. We check that if a seminormal functor has an invariant extension then its extension preserves a point, the empty set, intersection and is a monomorphic functor. If this functor has finite degree then its extension is continuous and hence a seminormal functor in Tych. If the functor is of infinite degree then continuity may be lost. Namely, we show that the extension of λ for Tych is not continuous.     

COMPLETIONS AND CATEGORICAL COMPACTNESS FOR NILPOTENT GROUPS

Abstract

We consider reflection functors in the category of nilpotent groups satisfying certain exactness properties for which the Mal'cev completion functor and the p-cotorsion completion functors are prototypical examples. Each of these functors defines a generalized torsion theory, which in turn defines a closure operator on subgroups. This gives rise to the notion of a categorically compact group with respect to the closure operator which we characterize. This approach provides a unified treatment for the categorically compact groups with respect to the Mal'cev completion and with respect to the p-cotorsion completion, the latter being new. We also consider the p-pro-finite completion, suitably restricted to obtain a reflection functor, and characterize the compact groups so arising.     

Stable functors of derived equivalences and Gorenstein projective modules

From certain triangle functors, called nonnegative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of nonnegative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. In particular, we prove that the stable functor of a derived equivalence between two arbitrary rings provides an explicit triangle equivalence between the stable categories of Gorenstein projective modules. This generalizes a result of Y. Kato. Our results can also be applied to provide shorter proofs of some known results on homological conjectures.     

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.

     

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.     

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.