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.     

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.     

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.     

The spectrum of the Burnside Tambara functor of a cyclic group

We derive a family of prime ideals of the Burnside Tambara functor for a finite group G. In the case of cyclic groups, this family comprises the entire prime spectrum. We include some partial results towards the same result for a larger class of groups.     

Witt vectors and equivariant ring spectra applied to cobordism

Given a finite group G we show that Dress and Siebeneicher'sring of G-typical Witt vectors on the Lazard ring, that is,on the polynomial ring on countably many indeterminates overthe integers, embeds as a subring of the unitary cobordism ringof G-manifolds. We also show that the ring of G-typical Wittvectors on the Lazard ring embeds as a subring of the ring ofhomotopy groups of the G-fixed point spectrum of the spectrumMU representing cobordism. The above results are derived byexploiting the interaction between restriction, additive transferand multiplicative transfer. This interaction is described bytwo Mackey functors satisfying a distributivity relation encodedin a formalism developed by Tambara.     

On Strongly Flat and Ω-Mittag-Leffler Objects in the Category ((R-mod)op, Ab)

A functor of the functor category ((R-mod)^op, Ab) is said to be strongly flat (resp. Ω-Mittag-Leffler) if any morphism from any finitely generated functor to it factors through a representable (resp. finitely presented) functor. We investigate the properties of strongly flat and Ω-Mittag-Leffler functors, which are generalizations of analogous classical module-theoretic properties.     

Virtually Gorenstein rings and relative homology of complexes

We extend the notion of virtually Gorenstein rings to the setting of arbitrary rings, and prove that all rings R of finite Gorenstein weak global dimension are virtually Gorenstein such that all Gorenstein projective R-modules are Gorenstein flat. For such a ring R, we introduce the notion of relative homology functors of complexes with respect to Gorenstein projective (resp., flat) modules, and establish a balanced and a vanishing result for the homology functor.     

The spherical spectrum of a graded ring

We introduce a functor Sph, the spherical spectrum, which assigns to a graded ringG a space Sph(G) of homogeneous orderings ofG. It combines ideas of concrete geometry in theN-sphere defined by positively homogeneous polynomial equations and inequalities with the abstract notion of the real spectrum of a ring to give a counterpart for real semialgebraic geometry of the functor Proj.     

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.     

Lie properties of symmetric elements in group rings II

Let F be a field of characteristic different from 2, and G a group with involution ∗. Write (FG)⁺ for the set of elements in the group ring FG that are symmetric with respect to the induced involution. Recently, Giambruno, Polcino Milies and Sehgal showed that if G has no 2-elements, and (FG)⁺ is Lie nilpotent (resp. Lie n-Engel), then FG is Lie nilpotent (resp. Lie m-Engel, for some m). Here, we classify the groups containing 2-elements such that (FG)⁺ is Lie nilpotent or Lie n-Engel.     

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.     

Lifting Defects for Nonstable K0-theory of Exchange Rings and C*-algebras

The assignment (nonstable K₀-theory), that to a ring R associates the monoid V(?R?) of Murray-von Neumann equivalence classes of idempotent infinite matrices with only finitely nonzero entries over R, extends naturally to a functor. We prove the following lifting properties of that functor:

1. There is no functor Γ, from simplicial monoids with order-unit with normalized positive homomorphisms to exchange rings, such that V °?Γ?? id.
2. There is no functor Γ, from simplicial monoids with order-unit with normalized positive embeddings to C*-algebras of real rank 0 (resp., von Neumann regular rings), such that V °?Γ?? id.
3. There is a {0,1}³-indexed commutative diagram  ${\vec{D}}$ of simplicial monoids that can be lifted, with respect to the functor V, by exchange rings and by C*-algebras of real rank 1, but not by semiprimitive exchange rings, thus neither by regular rings nor by C*-algebras of real rank 0.

By using categorical tools (larders, lifters, CLL) from a recent book from the author with P. Gillibert, we deduce that there exists a unital exchange ring of cardinality  $\aleph_3$ (resp., an $\aleph_3$ -separable unital C*-algebra of real rank 1) R, with stable rank 1 and index of nilpotence 2, such that V(?R?) is the positive cone of a dimension group but it is not isomorphic to V(?B?) for any ring B which is either a C*-algebra of real rank 0 or a regular ring.     

Maximal subgroups and PST-groups

A subgroup H of a group G is said to permute with a subgroup K of G if HK is a subgroup of G. H is said to be permutable (resp. S-permutable) if it permutes with all the subgroups (resp. Sylow subgroups) of G. Finite groups in which permutability (resp. S-permutability) is a transitive relation are called PT-groups (resp. PST-groups). PT-, PST- and T-groups, or groups in which normality is transitive, have been extensively studied and characterised. Kaplan [Kaplan G., On T-groups, supersolvable groups, and maximal subgroups, Arch. Math. (Basel), 2011, 96(1), 19–25] presented some new characterisations of soluble T-groups. The main goal of this paper is to establish PT- and PST-versions of Kaplan’s results, which enables a better understanding of the relationships between these classes.     

Decomposition of the Witt-Burnside ring and Burnside ring of an abelian profinite group

Let G, H be abelian profinite groups whose orders are coprime and assume that q ranges over the set of integers. The aim of this paper is to establish an isomorphism of functors , where denotes the q-deformed Witt-Burnside ring functor of G introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. To do this, we first establish an isomorphism of functors , where denotes the q-deformed Burnside ring functor of G which was also introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. As an application, we derive a pseudo-multiplicative property of the q-Möbius function associated to the lattice of open subgroups of the direct sum of G and H.     

The algebraic fundamental group of a reductive group scheme over an arbitrary base scheme

We define the algebraic fundamental group π ₁(G) of a reductive group scheme G over an arbitrary non-empty base scheme and show that the resulting functor G? π₁(G) is exact.     

Lower and upper orientable strong radius and strong diameter of complete k-partite graphs

For two vertices u and v in a strong digraph D, the strong distance sd(u,v) between u and v is the minimum size (the number of arcs) of a strong sub-digraph of D containing u and v. For a vertex v of D, the strong eccentricity se(v) is the strong distance between v and a vertex farthest from v. The strong radius srad(D) (resp. strong diameter sdiam(D)) is the minimum (resp. maximum) strong eccentricity among the vertices of D. The lower (resp. upper) orientable strong radius srad(G) (resp. SRAD(G)) of a graph G is the minimum (resp. maximum) strong radius over all strong orientations of G. The lower (resp. upper) orientable strong diameter sdiam(G) (resp. SDIAM(G)) of a graph G is the minimum (resp. maximum) strong diameter over all strong orientations of G. In this paper, we determine the lower orientable strong radius and diameter of complete k-partite graphs, and give the upper orientable strong diameter and the bounds on the upper orientable strong radius of complete k-partite graphs. We also find an error about the lower orientable strong diameter of complete bipartite graph K_m,n given in [Y.-L. Lai, F.-H. Chiang, C.-H. Lin, T.-C. Yu, Strong distance of complete bipartite graphs, The 19th Workshop on Combinatorial Mathematics and Computation Theory, 2002, pp. 12-16], and give a rigorous proof of a revised conclusion about sdiam(K_m,n).     

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.     

The structure of plane graphs with independent crossings and its applications to coloring problems

If a graph G has a drawing in the plane in such a way that every two crossings are independent, then we call G a plane graph with independent crossings or IC-planar graph for short. In this paper, the structure of IC-planar graphs with minimum degree at least two or three is studied. By applying their structural results, we prove that the edge chromatic number of G is Δ if Δ ≥ 8, the list edge (resp. list total) chromatic number of G is Δ (resp. Δ + 1) if Δ ≥ 14 and the linear arboricity of G is ?Δ/2? if Δ ≥ 17, where G is an IC-planar graph and Δ is the maximum degree of G.