An Abstract Cogalois Theory for profinite groups

The aim of this paper is to develop an abstract group theoretic framework for the Cogalois Theory of field extensions.     

Polynomially bounded cohomology and discrete groups

We establish the homological foundations for studying polynomially bounded group cohomology, and show that the natural map from PH^*(G;Q) to H^*(G;Q) is an isomorphism for a certain class of groups.     

Pointed protomodularity via natural imaginary subtractions

We present a new approach to pointed protomodular categories with binary coproducts, via so-called natural imaginary subtractions. This allows, among other things, to emphasize some new aspects of the similarity and the distinction between these and additive categories.     

CoGalois and strongly coGalois actions

For a profinite group acting continuously on a discrete quasicyclic group, certain classes of closed subgroups called coGalois and strongly coGalois having natural field theoretic interpretations are investigated. Criteria for closed subgroups being coGalois and strongly coGalois as well as a complete classification of the associated actions are given.     

WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?

Abstract

The above question is considered, in the categories ShL of sheaves on a local lattice L and MEns of sets acted upon by a monoid M, for either all divisible abelian groups or all torsionfree divisible abelian groups, the aim being to characterize those L and M for which these types of abelian groups are Injective. Typical results: All divisible abelian groups are injective (i) in ShL iff L is Boolean, (ii) in MEns, M left or right cancellative, iff M is trivial, and (iii) in MEns, M commutative iff M is finite and idempotent.     

Internal Homs via extensions of dg functors

We provide a simple proof of the existence of internal Homs in the localization of the category of dg categories with respect to all quasi-equivalences and of some of their main properties such as the so-called derived Morita theory. This was originally proved in a seminal paper by Toën.     

Higher Hopf formulae for homology via Galois Theory

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the Barr-Beck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A is the category Gp of all groups and B is the category Ab of all abelian groups, this yields a new proof for Brown and Ellis's formulae. We also give explicit formulae in the cases of groups vs. k-nilpotent groups, groups vs. k-solvable groups and precrossed modules vs. crossed modules.     

Semilinear representations of PGL

Let L be the function field of a projective space over an algebraically closed field k of characteristic zero, and H be the group of projective transformations. An H-sheaf on is a collection of isomorphisms for each g ∈ H satisfying the chain rule. We construct, for any n > 1, a fully faithful functor from the category of finite-dimensional L-semilinear representations of H extendable to the semigroup End(L/k) to the category of coherent H-sheaves on The paper is motivated by a study of admissible representations of the automorphism group G of an algebraically closed extension of k of countable transcendence degree undertaken in [4]. The semigroup End(L/k) is considered as a subquotient of G, hence the condition on extendability. In the appendix it is shown that, if is either H, or a bigger subgroup in the Cremona group (generated by H and a certain pair of involutions), then any semilinear of degree one is an integral L-tensor power of It is also shown that this bigger subgroup has no non-trivial representations of finite degree if n > 1.     

Faithfully flat descent of almost perfect complexes in rigid geometry

We prove a version of faithfully flat descent in rigid analytic geometry, for almost perfect complexes and without finiteness assumptions on the rings involved. This extends results of Drinfeld for vector bundles.     

Polynomials and finite sets connected with an identity

It is shown that the polynomials satisfying the identityf(x) f(x + 1) = f(x ² +x – a), wherea either belongs to a field of characteristic zero or is transcendental over a prime field of characteristic exceeding 2, are precisely those of the form(x ² –a) ⁿ ; thus extending a result proved by Nathanson in the complex case. The result is not, in general, true in characteristic 2. Additionally, a class of finite sets, considered by Nathanson in connection with the identity, is completely determined.     

Corrigendum and addendum to my paper concerning Kummer extensions with few roots of unity

This note presents corrections and additions to my paper (J. Number Theory 41 (1992) 322-358).     

Pro-p galois groups of rank ≤4

Letp be a prime >2, letF be a field of characteristic ≠p containing a primitivep-th root of unity and letG _F (p) be the Galois group of the maximal Galois-p-extension ofF. Ifrk G _F (p)≤4 thenG _F (p) is a free pro-p product of metabelian groups orG _F (p) is a Demuškin group of rank 4.     

GAR-Realisierungen klassischer Gruppen

Ohne Zusammenfassung

---

Der Autor dankt der Deutschen Forschungsgemeinschaft für finanzielle Unterstützung     

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.     

Special matchings and Kazhdan-Lusztig polynomials

In 1979 Kazhdan and Lusztig defined, for every Coxeter group W, a family of polynomials, indexed by pairs of elements of W, which have become known as the Kazhdan-Lusztig polynomials of W, and which have proven to be of importance in several areas of mathematics. In this paper, we show that the combinatorial concept of a special matching plays a fundamental role in the computation of these polynomials. Our results also imply, and generalize, the recent one in [Adv. in Math. 180 (2003) 146-175] on the combinatorial invariance of Kazhdan-Lusztig polynomials.     

Perverse coherent sheaves and the geometry of special pieces in the unipotent variety

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U⊂X be an open set whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent intermediate extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent intermediate extension functor.Under suitable hypotheses, we introduce a construction (called “S₂-extension”) in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical “S₂-ification” of appropriate X. The construction also has applications to the “Macaulayfication” problem, and it is particularly well-behaved when X is Gorenstein.Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown for the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S₂-extension to give a uniform construction of the desired variety.     

The kernel unipotent conjecture and the vanishing of Massey products for odd rigid fields

A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel n-Unipotent Conjecture and the Vanishing n  -Massey Conjecture for n≥3$n\ge 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of p-maximal extensions are free pro-p-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish various filtration results for free pro-p-groups, provide examples of pro-p-groups which do not have the kernel n-unipotent property, compare various Zassenhaus filtrations with the descending p-central series and establish new type of automatic Galois realization.     

n-representation infinite algebras

From the viewpoint of higher dimensional Auslander–Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n  -regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext¹${\mathrm{Ext}}^1$-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras.     

On parabolic Kazhdan–Lusztig R-polynomials for the symmetric group

Parabolic R-polynomials were introduced by Deodhar as parabolic analogues of ordinary R-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic R-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\dots ,n\}$, and let $S=\{s_i|1\le i\le n?1\}$ be the generating set of $S_n$, where for $1\le i\le n?1$, $s_i$ is the adjacent transposition. For a subset $J?S$, let ${(S_n)}_J$ be the parabolic subgroup generated by J, and let ${(S_n)}^J$ be the set of minimal coset representatives for $S_n/{(S_n)}_J$. For $u\le v\in {(S_n)}^J$ in the Bruhat order and $x\in \{q,?1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic R-polynomial indexed by u and v. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_{i?1},s_i\}$. In this paper, we provide a formula for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_{i?2},s_{i?1},s_i\}$ and i appears after $i?1$ in v. It should be noted that the condition that i appears after $i?1$ in v is equivalent to that v is a permutation in ${(S_n)}^{S?\{s_{i?2},s_i\}}$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_k,s_{k+1},\dots ,s_i\}$ with $1\le k\le i\le n?1$ and v is a permutation in ${(S_n)}^{S?\{s_k,s_i\}}$.