Complexity and cohomology of cohomological Mackey functors

Let k be a field of characteristic p>0. Call a finite group G a poco group over k if any finitely generated cohomological Mackey functor for G over k has polynomial growth. The main result of this paper is that G is a poco group over k if and only if the Sylow p-subgroups of G are cyclic, when p>2, or have sectional rank at most 2, when p=2.A major step in the proof is the case where G is an elementary abelian p-group. In particular, when p=2, all the extension groups between simple functors can be determined completely, using a presentation of the graded algebra of self extensions of the simple functor , by explicit generators and relations.     

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.     

A van Kampen theorem for equivariant fundamental groupoids

The equivariant fundamental groupoid of a G-space X is a category which generalizes the fundamental groupoid of a space to the equivariant setting. In this paper, we prove a van Kampen theorem for these categories: the equivariant fundamental groupoid of X can be obtained as a pushout of the categories associated to two open G-subsets covering X. This is proved by interpreting the equivariant fundamental groupoid as a Grothendieck semidirect product construction, and combining general properties of this construction with the ordinary (non-equivariant) van Kampen theorem. We then illustrate applications of this theorem by showing that the equivariant fundamental groupoid of a G-CW complex only depends on the 2-skeleton and also by using the theorem to compute an example.     

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E₃-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E₃-term explicitly by an algorithm.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

Homology of GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>: injectivity conjecture for GL<Subscript>4</Subscript>

The homology of GL _n (R) and SL _n (R) is studied, where R is a commutative ‘ring with many units’. Our main theorem states that the natural map H ₄(GL₃(R), k) → H ₄(GL₄(R), k) is injective, where k is a field with char(k) ≠ 2, 3. For an algebraically closed field F, we prove a better result, namely, is injective. We will prove a similar result replacing GL by SL. This is used to investigate the indecomposable part of the K-group K ₄(R).     

Some results on stem covers of crossed modules

In this article, we prove the existence of stem covers for crossed modules, which generalizes the works of Schur (1904) [20] and Jones (1973) [11] in group theory. We also, using projective presentations, determine the structure of all stem covers of crossed modules whose second homologies are finite and, using this result, we give several results concerning them, which extend the classical ones for stem covers of groups.     

An “almost” full embedding of the category of graphs into the category of groups

We construct a functor F:Graphs→Groups which is faithful and “almost” full, in the sense that every nontrivial group homomorphism FX→FY is a composition of an inner automorphism of FY and a homomorphism of the form Ff, for a unique map of graphs f:X→Y. When F is composed with the Eilenberg-Mac Lane space construction K(FX,1) we obtain an embedding of the category of graphs into the unpointed homotopy category which is full up to null-homotopic maps.We provide several applications of this construction to localizations (i.e. idempotent functors); we show that the questions:

(1)

Is every orthogonality class reflective?

(2)

Is every orthogonality class a small-orthogonality class?

have the same answers in the category of groups as in the category of graphs. In other words they depend on set theory: (1) is equivalent to weak Vopěnka's principle and (2) to Vopěnka's principle. Additionally, the second question, considered in the homotopy category, is also equivalent to Vopěnka's principle.     

The Green rings of pointed tensor categories of finite type

In this paper, we compute the Clebsch–Gordan formulae and the Green rings of connected pointed tensor categories of finite type.     

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.     

An evolutionary game based particle swarm optimization algorithm

Particle swarm optimization (PSO) is an evolutionary algorithm used extensively. This paper presented a new particle swarm optimizer based on evolutionary game (EGPSO). We map particles’ finding optimal solution in PSO algorithm to players’ pursuing maximum utility by choosing strategies in evolutionary games, using replicator dynamics to model the behavior of particles. And in order to overcome premature convergence a multi-start technique was introduced. Experimental results show that EGPSO can overcome premature convergence and has great performance of convergence property over traditional PSO.     

On the Gray index of phantom maps

We study a homotopy invariant of phantom maps called the Gray index. In particular, it is conjectured that the Gray index of an essential phantom map between finite-type spaces is always finite. We obtain some partial results on this conjecture, using a tower-theoretic interpretation of the Gray index.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

The 1-type of a Waldhausen K-theory spectrum

We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.