On solving relative norm equations in algebraic number fields

Let be algebraic number fields and a free -module. We prove a theorem which enables us to determine whether a given relative norm equation of the form has any solutions at all and, if so, to compute a complete set of nonassociate solutions. Finally we formulate an algorithm using this theorem, consider its algebraic complexity and give some examples.

     

Description of finite nilpotent groups of the 2nd degree with a prime odd period

We describe the mentioned groups, assigning values to centralizers of the generating elements and defining a group operation on corteges of elements of the Galois field with a prime odd characteristic. On the indicated groups we define odules over the Galois field and describe these odules. We prove that the considered groups are those with unique extraction of root.     

Steinitz classes of tamely ramified Galois extensions of algebraic number fields

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers Ok of k, which, together with the degree [K:k] of the extension determines the Ok-module structure of OK. We call Rt(k,G) the set of classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A^′-groups inductively, starting with abelian groups and then considering semidirect products of A^′-groups with abelian groups of relatively prime order and direct products of two A^′-groups. Our main result is that the conjecture about realizable Steinitz classes for tame extensions is true for A^′-groups of odd order; this covers many cases not previously known. Further we use the same techniques to determine Rt(k,Dn) for any odd integer n. In contrast with many other papers on the subject, we systematically use class field theory (instead of Kummer theory and cyclotomic descent).     

On the existence of isotropic forms of semi-simple algebraic groups over number fields with prescribed local behavior

This note is a follow-up on the paper [A. Borel, G. Harder, Existence of discrete cocompact subgroups of reductive groups over local fields, J. Reine Angew. Math. 298 (1978) 53-64] of A. Borel and G. Harder in which they proved the existence of a cocompact lattice in the group of rational points of a connected semi-simple algebraic group over a local field of characteristic zero by constructing an appropriate form of the semi-simple group over a number field and considering a suitable S-arithmetic subgroup. Some years ago A. Lubotzky initiated a program to study the subgroup growth of arithmetic subgroups, the current stage of which focuses on “counting” (more precisely, determining the asymptotics of) the number of lattices of bounded covolume (the finiteness of this number was established in [A. Borel, G. Prasad, Finiteness theorems for discrete subgroups of bounded covolume in semi-simple groups, Publ. Math. Inst. Hautes Études Sci. 69 (1989) 119-171; Addendum: Publ. Math. Inst. Hautes Études Sci. 71 (1990) 173-177] using the formula for the covolume developed in [G. Prasad, Volumes of S-arithmetic quotients of semi-simple groups, Publ. Math. Inst. Hautes Études Sci. 69 (1989) 91-117]). Work on this program led M. Belolipetsky and A. Lubotzky to ask questions about the existence of isotropic forms of semi-simple groups over number fields with prescribed local behavior. In this paper we will answer these questions. A question of similar nature also arose in the work [D. Morris, Real representations of semisimple Lie algebras have Q-forms, in: Proc. Internat. Conf. on Algebraic Groups and Arithmetic, December 17-22, 2001, TIFR, Mumbai, 2001, pp. 469-490] of D. Morris (Witte) on a completely different topic. We will answer that question too.     

On the spectral norm of algebraic numbers

In this paper we continue to study the spectral norms and their completions ([4]) in the case of the algebraic closure $ \overline {\mathbb Q} $ of ? in ?. Let $ \widetilde{\overline{\mathbb{Q}}} $ be the completion of $ \overline {\mathbb Q} $ relative to the spectral norm. We prove that $ \widetilde{\overline{\mathbb{Q}}} $ can be identified with the R‐subalgebra of all symmetric functions of C(G), where C(G) denotes the ?‐Banach algebra of all continuous functions defined on the absolute Galois group G = Gal$ {\overline {\mathbb Q}} / {\mathbb Q} $. We prove that any compact, closed to conjugation subset of ? is the pseudo‐orbit of a suitable element of $ \widetilde{\overline{\mathbb{Q}}} $. We also prove that the topological closure of any algebraic number field in $ \widetilde{\overline{\mathbb{Q}}} $ is of the form $\widetilde{\mathbb{Q}[x]}$ with x in $ \widetilde{\overline{\mathbb{Q}}} $.     

Triviality of differential Galois cohomology of linear differential algebraic groups

For a partial differential field K, we show that the triviality of the first differential Galois cohomology of every linear differential algebraic group over K is equivalent to K being algebraically, Picard–Vessiot, and linearly differentially closed. This cohomological triviality condition is also known to be equivalent to the uniqueness up to an isomorphism of a Picard–Vessiot extension of a linear differential equation with parameters.     

On the number of certain Galois extensions of local fields

In this paper, we will calculate the number of Galois extensions of local fields with Galois group or .

     

Rank gain of Jacobians over number field extensions with prescribed Galois groups

We investigate the rank gain of elliptic curves, and more generally, Jacobian varieties, over non-Galois extensions whose Galois closure has a Galois group permutation-isomorphic to a prescribed group G (in short, “G-extensions”). In particular, for alternating groups and (an infinite family of) projective linear groups G, we show that most elliptic curves over (for example) $\mathbb{Q}$ gain rank over infinitely many G-extensions, conditional only on the parity conjecture. More generally, we provide a theoretical criterion, which allows to deduce that “many” elliptic curves gain rank over infinitely many G-extensions, conditional on the parity conjecture and on the existence of geometric Galois realizations with group G and certain local properties.     

On generalized fibonacci groups with an odd number of generators

The geometrical properties of cyclically presented groups of Fibonacci type F(r,m, k)and H(r,m,k)are discussed. It is shown that for even rand odd m some infinite family of generalized Fibonacci groups F(r, m, k)cannot be fundamental groups of hyperbolic 3-orbifolds of finite volume.     

Realizability of algebraic Galois extensions by strictly commutative ring spectra

We discuss some of the basic ideas of Galois theory for commutative -algebras originally formulated by John Rognes. We restrict our attention to the case of finite Galois groups and to global Galois extensions.

We describe parts of the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context of generalized Tate cohomology. We give some examples where algebraic data on coefficient rings ensures strong topological consequences. We consider the issue of passage from algebraic Galois extensions to topological ones by applying obstruction theories of Robinson and Goerss-Hopkins to produce topological models for algebraic Galois extensions and the necessary morphisms of commutative -algebras. Examples such as the complex -theory spectrum as a -algebra indicate that more exotic phenomena occur in the topological setting. We show how in certain cases topological abelian Galois extensions are classified by the same Harrison groups as algebraic ones, and this leads to computable Harrison groups for such spectra. We end by proving an analogue of Hilbert's theorem 90 for the units associated with a Galois extension.

     

Densities of quartic fields with even Galois groups

Let be the number of degree number fields with Galois group and whose discriminant satisfies . Under standard conjectures in diophantine geometry, we show that , and that there are monic, quartic polynomials with integral coefficients of height whose Galois groups are smaller than , confirming a question of Gallagher. Unconditionally we have , and that the -class groups of almost all Abelian cubic fields have size . The proofs depend on counting integral points on elliptic fibrations.

     

Quadratic characters in groups of odd order

We prove that in a finite group of odd order, the number of irreducible quadratic characters is the number of quadratic conjugacy classes.     

On the history of the study of ideal class groups

This is a survey of a series of results about the class groups of algebraic number fields, with particular emphasis on two articles of Chebotarev [Eine Verallgemeinerung des Minkowski'schen Satzes mit Anwendung auf die Betrachtung der Körperidealklassen, Berichte der wissenschaftlichen Forschungsinstitute in Odessa 1(4) (1924) 17–20; Zur Gruppentheorie des Klassenkörpers, J. Reine Angew. Math. 161 (1929/30) 179–193; corrigendum, ibid. 164 (1931) 196] which seem to be almost forgotten. Their relationship to earlier work on the one hand, and to selected subsequent contributions on the other hand, is discussed. In this way, there emerges an interesting line of development, up to the present day, of results due to Kummer, Hasse, Leopoldt, Iwasawa, and others. More recent work treated here includes results by Cornell and Rosen (1981) and Lemmermeyer (2003) describing the structure of the class group under quite general conditions.     

Galois cohomology in degree 3 of function fields of curves over number fields

Let k be a field of characteristic not equal to 2. For n≥1, let denote the nth Galois Cohomology group. The classical Tate's lemma asserts that if k is a number field then given finitely many elements , there exist such that α_i=(a)∪(b_i), where for any λ∈k∗, (λ) denotes the image of k∗ in . In this paper we prove a higher dimensional analogue of the Tate's lemma.     

Computing irreducible representations of supersolvable groups over small finite fields

We present an algorithm to compute a full set of irreducible representations of a supersolvable group over a finite field , , which is not assumed to be a splitting field of . The main subroutines of our algorithm are a modification of the algorithm of Baum and Clausen (Math. Comp. 63 (1994), 351-359) to obtain information on algebraically conjugate representations, and an effective version of Speiser's generalization of Hilbert's Theorem 90 stating that vanishes for all .

     

Controlled blocks of the finite quasisimple groups for odd primes

We classify controlled blocks, introduced by Alperin and Broué in 1979 for all quasisimple groups G for odd primes. The results imply that every nilpotent block of G has abelian defect groups, which in turn is one of the main results proved in An and Eaton (2011) [6]. We also give an explicit characterization of non-controlled blocks of all quasisimple groups G for odd primes. This implies the block theoretic analogue of Glauberman?s ZJ-theorem for G proved by Kessar, Linckelmann and Robinson (2002) [18].     

-class groups of certain extensions of degree

Let be an odd prime number. In this article we study the distribution of -class groups of cyclic number fields of degree , and of cyclic extensions of degree of an imaginary quadratic field whose class number is coprime to . We formulate a heuristic principle predicting the distribution of the -class groups as Galois modules, which is analogous to the Cohen-Lenstra heuristics concerning the prime-to--part of the class group, although in our case we have to fix the number of primes that ramify in the extensions considered. Using results of Gerth we are able to prove part of this conjecture. Furthermore, we present some numerical evidence for the conjecture.