Norm form equations and linear divisibility sequences

Finding integer solutions to norm form equations is a classical Diophantine problem. Using the units of the associated coefficient ring, we can produce sequences of solutions to these equations. It is known that these solutions can be written as tuples of linear recurrence sequences. We show that for certain families of norm forms defined over quartic fields, there exist integrally equivalent forms making any one fixed coordinate sequence a linear divisibility sequence.

Brauer groups and Galois cohomology of commutative ring spectra

In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$ -categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$ , we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$ , recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$ . Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$ -algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$ -algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$ . This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$ , previously studied by Mathew and Stojanoska.

Images of Galois representations in mod p Hecke algebras

Let [Formula: see text] denote the mod [Formula: see text] local Hecke algebra attached to a normalized Hecke eigenform [Formula: see text], which is a commutative algebra over some finite field [Formula: see text] of characteristic [Formula: see text] and with residue field [Formula: see text]. By a result of Carayol we know that, if the residual Galois representation [Formula: see text] is absolutely irreducible, then one can attach to this algebra a Galois representation [Formula: see text] that is a lift of [Formula: see text]. We will show how one can determine the image of [Formula: see text] under the assumptions that (i) the image of the residual representation contains [Formula: see text], (ii) [Formula: see text] and (iii) the coefficient ring is generated by the traces. As an application we will see that the methods that we use allow to deduce the existence of certain [Formula: see text]-elementary abelian extensions of big non-solvable number fields.

FURTHER REMARKS ON ELEMENTARY RADICALS AND ASSOCIATED FILTERS OF IDEALS

Ryabukhin showed that there is a correspondence between elementary radical classes of rings and certain filters of ideals of the free ring on one generator, analogous to the Gabriel correspondence between torsion classes of left unital modules and certain filters of left ideals of the coefficient ring. This correspondence is further explored here. All possibilities for the intersection of the ideals in a filter are catalogued, and the connections between filters and other ways of describing elementary radical classes are investigated. Some generalisations to nonassociative rings and groups are also presented.

Homological dimension of elementary amenable groups

In this paper we prove that the homological dimension of an elementary amenable group over an arbitrary commutative coefficient ring is either infinite or equal to the Hirsch length of the group. Established theory gives simple group theoretical criteria for finiteness of homological dimension and so we can infer complete information about this invariant for elementary amenable groups. Stammbach proved the special case of solvable groups over coefficient fields of characteristic zero in an important paper dating from 1970.

Homological Dimensions of Skew Group Rings

Let R be a ring and let H be a subgroup of a finite group G. We consider the weak global dimension, cotorsion dimension and weak Gorenstein global dimension of the skew group ring RσG and its coefficient ring R. Under the assumption that RσG is a separable extension over RσH, it is shown that RσG and RσH share the same homological dimensions. Several known results are then obtained as corollaries. Moreover, we investigate the relationships between the homological dimensions of RσG and the homological dimensions of a commutative ring R, using the trivial RσG-module.

General Properties of Equivariant Cohomology

This chapter assesses the general properties of equivariant cohomology. Both the homotopy quotient and equivariant cohomology are functorial constructions. Equivariant cohomology is particularly simple when the action is free. Throughout the chapter, by a G-space, it means a left G-space. Let G be a topological group and consider the category of G-spaces and G-maps. A morphism of left G-spaces is a G-equivariant map (or G-map). Such a morphism induces a map of homotopy quotients. The map in turn induces a ring homomorphism in cohomology. The chapter then looks at the coefficient ring of equivariant cohomology, as well as the equivariant cohomology of a disjoint union.

On formal group laws over the quotients of Lazard’s ring

We present a formal power series {\sum A_{ij}x^{i}y^{j}} over the Lazard ring Λ and the formal group laws {F_{n}} , {n\geq 2} , over the quotient rings of Λ. For each {F_{n}} , we construct a complex cobordism theory with singularities with the coefficient ring {\mathbb{Q}[p_{1},\dots,p_{2n}]} , with parameters {p_{i}} , {|p_{i}|=2i} .

Nilradicals of the unique product monoid rings

Armendariz rings are generalization of reduced rings, and therefore, the set of nilpotent elements plays an important role in this class of rings. There are many examples of rings with nonzero nilpotent elements which are Armendariz. Observing structure of the set of all nilpotent elements in the class of Armendariz rings, Antoine introduced the notion of nil-Armendariz rings as a generalization, which are connected to the famous question of Amitsur of whether or not a polynomial ring over a nil coefficient ring is nil. Given an associative ring [Formula: see text] and a monoid [Formula: see text], we introduce and study a class of Armendariz-like rings defined by using the properties of upper and lower nilradicals of the monoid ring [Formula: see text]. The logical relationship between these and other significant classes of Armendariz-like rings are explicated with several examples. These new classes of rings provide the appropriate setting for obtaining results on radicals of the monoid rings of unique product monoids and also can be used to construct new classes of nil-Armendariz rings. We also classify, which of the standard nilpotence properties on polynomial rings pass to monoid rings. As a consequence, we extend and unify several known results.