The "hit" problem of five variables in the generic degree and its application

Let $P_s:= \mathbb F_2[x_1,x_2,\ldots ,x_s]$ be the graded polynomial algebra over the prime field of two elements, $\mathbb F_2$, in $s$ variables $x_1, x_2, \ldots , x_s$, each of degree one. This algebra is considered as a graded module over the mod-2 Steenrod algebra, $\mathscr {A}$. We are interested in the "hit" problem of finding a minimal set of generators for $\mathscr A$-module $P_s.$ This problem is unresolved for every $s\geqslant 5.$ In this paper, we study the hit problem of five variables in a generic degree, from which we investigate Singer's conjecture [Math. Z. 202 (1989), 493-523] for the transfer homomorphism of rank $5$ in degrees given. This gives an efficient method to study the algebraic transfer and it is different from the ones of Singer.

On transfer homomorphisms of Krull monoids

Every Krull monoid has a transfer homomorphism onto a monoid of zero-sum sequences over a subset of its class group. This transfer homomorphism is a crucial tool for studying the arithmetic of Krull monoids. In the present paper, we strengthen and refine this tool for Krull monoids with finitely generated class group.

The hit problem of five variables in the generic degree $5(2^{s}-1) + 42.2^{s}$ and its application

We denote by $\mathbb Z_2$ the prime field of two elements and by $P_t = \mathbb Z_2[x_1, \ldots, x_t]$ the polynomial algebra of $t$ generators $x_1, \ldots, x_t$ with $\deg(x_j) = 1.$ Let $\mathcal A_2$ be the Steenrod algebra over $\mathbb Z_2.$ A central problem of homotopy theory is to determine a minimal set of generators for the $\mathbb Z_2$-graded vector space $\{(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n\}_{n\geq 0}.$ It is called \textit{the "hit" problem} for Steenrod algebra and has been completely solved for $t\leq 4.$ In this article, we explicitly solve the hit problem of five variables in the "generic" degree $n=5(2^{s}-1) + 42.2^{s}$ for every non-negative integer $s.$ The result confirms Sum's conjecture [15] for the relation between the minimal sets of $\mathcal A_2$-generators of the algebras $P_{t-1}$ and $P_{t}$ in the case $t=5$ and degree $n$ above. An efficient approach for surveying the hit problem of five variables has been presented. As an application, we obtain the dimension of $(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n$ for $t = 6$ and degree $5(2^{s+5}-1) + 42.2^{s+5}$ for all $s\geq 0.$ At the same time, we show that the Singer transfer homomorphism is an isomorphism in bidegree $(5, 5+n)$.

Lattices over Bass Rings and Graph Agglomerations

We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring R through the factorization theory of the corresponding monoid T(R). Results of Levy–Wiegand and Levy–Odenthal together with a study of the local case yield an explicit description of T(R). The monoid is typically neither factorial nor cancellative. Nevertheless, we construct a transfer homomorphism to a monoid of graph agglomerations—a natural class of monoids serving as combinatorial models for the factorization theory of T(R). As a consequence, the monoid T(R) is transfer Krull of finite type and several finiteness results on arithmetical invariants apply. We also establish results on the elasticity of T(R) and characterize when T(R) is half-factorial. (Factoriality, that is, torsion-free Krull–Remak–Schmidt–Azumaya, is characterized by a theorem of Levy–Odenthal.) The monoids of graph agglomerations introduced here are also of independent interest.

Cohomology of Groups

This chapter introduces the basic ingredients of the cohomology of groups and describes datatypes and algorithms for implementing them on a computer. These are illustrated using computer examples involving: integral homology of finite groups such as the Mathieu groups, homology of crystallographic groups, homology of nilpotent groups, homology of Coxeter groups, transfer homomorphism, homological perturbation theory, mod-p comology rings of small finite p-groups, Lyndon-Hocshild-Serre spectral sequence, Bokstein operation, Steenrod squares, Stiefel-Whitney classes, Lie algebras, the modular isomorphism problem, and Bredon homology.

Factorizations in Bounded Hereditary Noetherian Prime Rings

If H is a monoid and a = u1 ··· uk ∈ H with atoms (irreducible elements) u1, … , uk, then k is a length of a, the set of lengths of a is denoted by Ⅼ(a), and ℒ(H) = {Ⅼ(a) | a ∈ H} is the system of sets of lengths of H. Let R be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors R• can be written as a product of atoms. We show that if R is bounded and every stably free right R-ideal is free, then there exists a transfer homomorphism from R• to the monoid B of zero-sum sequences over a subset Gmax(R) of the ideal class group G(R). This implies that the systems of sets of lengths, together with further arithmetical invariants, of the monoids R• and B coincide. It is well known that commutative Dedekind domains allow transfer homomorphisms to monoids of zero-sum sequences, and the arithmetic of the latter has been the object of much research. Our approach is based on the structure theory of finitely generated projective modules over HNP rings, as established in the recent monograph by Levy and Robson. We complement our results by giving an example of a non-bounded HNP ring in which every stably free right R-ideal is free but which does not allow a transfer homomorphism to a monoid of zero-sum sequences over any subset of its ideal class group.

Modular Vector Invariants of Cyclic Permutation Representations

Vector invariants of finite groups (see the introduction for an explanation of the terminology) have often been used to illustrate the difficulties of invariant theory in the modular case: see, e.g., [1], [2], [4], [7], [11] and [12]. It is therefore all the more surprising that the unpleasant properties of these invariants may be derived from two unexpected, and remarkable, nice properties: namely for vector permutation invariants of the cyclic group of prime order in characteristic p the image of the transfer homomorphism is a prime ideal, and the quotient algebra is a polynomial algebra on the top Chern classes of the action.

Transfer and ramified coverings

In this note we introduce a general class of finite ramified coverings π X˜ ↓ X. Examples of ramified covers in our sense include: finite covering spaces, branched covering spaces and the orbit map Y ↓ Y/G where G is a finite group and Y an arbitrary G-space. For any d-fold ramified covering π: X˜ ↓ X we construct a transfer homomorphismwith the expected property thatis multiplication by d. As a consequence we obtain a simple proof of the Conner conjecture; viz. the orbit space of an arbitrary finite group action on a ℚ-acyclic space is again ℚ acyclic.