Alexander Modules and Iwasawa Modules

In this chapter we discuss the analogy between Galois groups with restricted ramification and link groups. In particular, we shall see the close analogy between Milnor’s theorem on the structure of a link group and a theorem by H. Koch on the structure of a pro-l Galois group over the rational number field with restricted ramification.

We shall consider the maximal cyclotomic extension of a finite algebraic number field and its two abelian extensions, the maximal abelian extension and the maximal abelian extension with certain restricted ramification. We shall investigate the structure of these Galois groups with the action of the cyclotomic Galois group.

Let $m \ge 2$ be an integer. By using $m$ submodules of a given module, we construct a certain exact sequence, which is a well known short exact sequence when $m=2$. As an application, we compute a minimal projective resolution of the Jacobson radical of

\n Dada uma aplicação f: B -> A entre duas C*-álgebras, o cone dessa aplicação, Cf, é o conjunto formado pelos pares (b,g) pertencentes à soma direta da C*-álgebra B com o cone CA tais que f(b) = g(0), sendo CA o cone de A. Neste trabalho estudamos o funtor determinado pela associação da sequência exata curta 0 -> SA -> Cf -> B -> 0 para cada *-homomorfismo f: B -> A, e demonstramos que esse funtor é exato. Caracterizamos as aplicações de conexão associadas à sequência exata 0 -> SA -> Cf -> B -> 0, mostrando que a aplicação do índice é dada por tAK1(f) e que a aplicação exponencial é dada por bAK0(f), sendo tA o isomorfismo entre K1(A) e K0(SA) e bA a aplicação de Bott. Por fim, usando que toda sequência exata curta de C*-álgebras pode ser vista na forma 0 -> Ker f -> B -> A -> 0, mostramos que as aplicações de conexão d1 e d0 associadas a cada sequência exata curta podem ser dadas por dn = Kn+1(j)-1 Kn+1(i) hn, em que j é a inclusão do núcleo de f em Cf, i é a inclusão da suspensão SA também em Cf, hn = bA e h1 = tA .\n

This meeting was focused on asymptotic aspects of group theory. The resulting problems lead, in particular, to the study of infinite groups, with an emphasis on the asymptotic behaviour of their finite quotients. Also, properties of infinite families of finite groups are at the center of interest in the field. We had talks on the most important recent developments in the field of asymptotic and profinite group theory. We single out some of these new results. The classification of finite simple groups has provided an impetus for the detailed investigation of properties of families of groups of Lie type and of alternating groups. This has produced many results of asymptotic or probabilistic nature, describing in a quantitative way properties that hold for all sufficiently large simple groups, or else that hold ‘almost surely’ as the orders of the groups are tending to infinity. Here we had a talk of Aner Shalev on his recent solution (with coauthors) of Ore's conjecture. Recently there has been much activity in the study of infinite groups, with an emphasis on the asymptotic behaviour of their finite quotients, or their finite-index subgroups. The theory of subgroup growth is now well established; the theory of the associated zeta functions is making good progress. More subtle variations of subgroup growth are also developing into significant theories in their own right: there are important new results on representation growth – of arithmetic groups, nilpotent groups and pro-p groups; and on maximal subgroup growth, with applications to probabilistic generation properties. Profinite groups are ‘asymptotic limits’ of finite groups. The nature of verbal subgroups and verbal mappings, in both finite and profinite groups, has been the focus of much recent work. This has led among other things to the solution of Serre's problem on subgroups of finite index in finitely generated profinite groups; other significant results include the characterisation of closed verbal subgroups in pro-p groups and new characterisations of solubility in finite groups. Branch groups, both discrete and profinite, are certain groups of automorphisms of rooted trees; introduced by Grigorchuk and others over 20 years ago, they have provided the solution to several outstanding problems, and their study continues to provide new results. Some of them were reported on in our meeting. We also had talks from important fields of mathematics in which profinite and asymptotic group theory finds application. There is, for instance, the study of the absolute Galois group of the rationals and in particular its closed pro-p subgroups. Methods from pro-p group theory have successfully been applied in order to understand fundamental groups of (hyperbolic) 3-manifolds. The interplay between the topological fundamental group of a complex algebraic surface and its profinite completion which is the etale fundamental group of the surface is the subject of recent research. We believe that the meeting was exciting and successful. The high quality lectures covered a lot of very recent results in the field. There were many intense discussions between mathematicians of different fields. Altogether there were over 50 participants from all over the world. The percentage of young researchers was very high. The following extended abstracts were collected and edited by Dr. Evija Ribnere.

We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is\nthe first step of Voevodsky's proof of this conjecture for arbitrary prime l)\nin a rather clear and elementary way. Assuming this conjecture, we construct a\n6-term exact sequence of Galois cohomology with cyclotomic coefficients for any\nfinite extension of fields whose Galois group has an exact quadruple of\npermutational representations over it. Examples include cyclic groups, dihedral\ngroups, the biquadratic group Z/2\\times Z/2, and the symmetric group S_4.\nSeveral exact sequences conjectured by Bloch-Kato, Merkurjev-Tignol, and Kahn\nare proven in this way. In addition, we introduce a more sophisticated version\nof the classical argument known as "Bass-Tate lemma". Some results about\nannihilator ideals in Milnor rings are deduced as corollaries.\n

Mild pro-2-groups and 2-extensions of [formula omitted] with restricted ramification

As an analogue of a link group, we consider the Galois group of the maximal pro- p p -extension of a number field with restricted ramification which is cyclotomically ramified at p p , i.e., tamely ramified over the intermediate cyclotomic Z p \mathbb Z_p -extension of the number field. In some basic cases, such a pro- p p Galois group also has a Koch type presentation described by linking numbers and mod 2 2 Milnor numbers (Rédei symbols) of primes. Then the pro- 2 2 Fox derivative yields a calculation of Iwasawa polynomials analogous to Alexander polynomials.

In this article, we study a long exact sequence relating the mstanton homology of two homology 3-spheres which are obtained from each other by ± 1 -surgery. We prove that the long exact sequence, via a short exact sequence of chain complex, is the same as the sequence defined by the exact triangle of cobordisms introduced by Floer.

Let F be a number field, O the ring of algebraic integers in F, and let θ denote the inclusion O ↪ F. The localization exact sequence in algebraic K-theory splits into short exact sequences $$ 0 \to K_n O\xrightarrow{{\theta _\# }}K_n F \to \oplus _m K_{n - 1} \left( {O/m} \right) \to 0 $$ for all positive integers n, where θ # is the homomorphism induced by θ in K-theory and where m runs over the set of maximal ideals of O (see Section 5 of [Q1], Theorem 8 of [Q2] and Theoreme 1 of [S2]); in particular, θ # is always injective. On the other hand, G. Banaszak investigated the subgroup of divisible elements in K n F and explained the important role of these elements in relation with the Lichtenbaum-Quillen conjecture and etale K-theory (see [B1], [B2], [BG], [BZ]). If n is odd, K n F is a finitely generated abelian group and has therefore no non-trivial divisible elements. If n is even, K n F is a large torsion group but all its divisible elements belong to the image of θ # because ⊕ m K n-1 (O/m) is a direct sum of finite cyclic groups and hence contains no non-trivial divisible elements.

Higher homological algebra was introduced by Iyama. It is also known as $n$-homological algebra where $n \geq 2$ is a fixed integer, and it deals with $n$-cluster tilting subcategories of abelian categories. All short exact sequences in such a subcategory are split, but it has nice exact sequences with $n+2$ objects. This was recently formalised by Jasso in the theory of $n$-abelian categories. There is also a derived version of $n$-homological algebra, formalised by Geiss, Keller, and Oppermann in the theory of $( n+2 )$-angulated categories (the reason for the shift from $n$ to $n+2$ is that angulated categories have triangulated categories as the base case). We introduce torsion classes and t-structures into the theory of $n$-abelian and $( n+2 )$-angulated categories, and prove several results to motivate the definitions. Most of the results concern the $n$-abelian and $( n+2 )$-angulated categories ${\mathcal M}( \Lambda )$ and ${\mathcal C}( \Lambda )$ associated to an $n$-representation finite algebra $\Lambda$, as defined by Iyama and Oppermann. We characterise torsion classes in these categories in terms of closure under higher extensions, and give a bijection between torsion classes in ${\mathcal M}( \Lambda )$ and intermediate t-structures in ${\mathcal C}( \Lambda )$ which is a category one can reasonably view as the $n$-derived category of ${\mathcal M}( \Lambda )$. We hint at the link to $n$-homological tilting theory.

In this paper, we study the Mordell-Weil group of an elliptic curve as a Galois module. We consider an elliptic curve E defined over a number field K whose Mordell-Weil rank over a Galois extension F is 1, 2 or 3. We show that E acquires a point (points) of infinite order over a field whose Galois group is one of Cn×Cm (n = 1, 2, 3, 4, 6, m = 1, 2), Dn×Cm (n = 2, 3, 4, 6, m = 1, 2), A4×Cm (m = 1, 2), S4 × Cm (m = 1, 2). Next, we consider the case where E has complex multiplication by the ring of integers of an imaginary quadratic field contained in K. Suppose that the -rank over a Galois extension F is 1 or 2. If ≠ and and h (class number of ) is odd, we show that E acquires positive -rank over a cyclic extension of K or over a field whose Galois group is one of SL2(/3), an extension of SL2(/3) by /2, or a central extension by the dihedral group. Finally, we discuss the relation of the above results to the vanishing of L-functions.

We now apply the cohomology theory of the previous chapter to the study of the Brauer group. However, we shall have to use a slightly modified construction which takes into account the fact that the absolute Galois group of a field is determined by its finite quotients. This is the cohomology theory of profinite groups, which we develop first. As a fruit of our labours, we identify the Brauer group of a field with a second, this time commutative, cohomology group of the absolute Galois group. As applications, we obtain easy proofs of some basic facts concerning the Brauer group, and give an important characterization of the index of a central simple algebra. Last but not least, one of the main objects of study in this book makes its appearance: the Galois symbol. The cohomology theory of profinite groups was introduced in the late 1950s by John Tate, motivated by sheaf-theoretic considerations of Alexander Grothendieck. His original aim was to find the appropriate formalism for developing class field theory. Tate himself never published his work, which thus became accessible to the larger mathematical community through the famous account of Serre [4], which also contains many original contributions. It was Brauer himself who described the Brauer group as a second cohomology group, using his language of factor systems. We owe to Serre the insight that descent theory can be used to give a more conceptual proof. The Galois symbol was defined by Tate in connection with the algebraic theory of power residue symbols, a topic extensively studied in the 1960s by Bass, Milnor, Moore, Serre and others. Profinite groups and Galois groups It can be no surprise that the main application of the cohomological techniques of the previous chapter will be in the case when G is the Galois group of a finite Galois extension. However, it will be convenient to consider the case of infinite Galois extensions as well, and first and foremost that of the extension k s |k , where k s is a separable closure of k .

Let A and B be finitely generated profinite groups. If G is isomorphic to A × B, then any short exact sequence 1 → A → G → B → 1 splits as a direct product.

We calculate $${\mathcal{S}^{{\it Diff}}(S^p \times S^q)}$$ , the smooth structure set of S p × S q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general $${\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}$$ cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map $${\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}$$ is not in general a subgroup of the topological structure set.