On tense modules for extended algebras over rational fields

Let k(x) be the field of fractions of the polynomial algebra k[x] over the field k. We prove that, for an arbitrary finite dimensional k-algebra Λ, any finitely generated Λ ⊗_k k(x)-module M such that its minimal projective presentation admits no non-trivial selfextension is of the form M ≅ N^k(x), for some finitely generated Λ-module N. Some consequences are derived for tilting modules over the rational algebra Λ ⊗_k k(x) and for some generic modules for Λ. Received: 24 November 2003; revised: 11 February 2005     

The GL2 Main Conjecture for Elliptic Curves without Complex Multiplication

Let G be a compact p-adic Lie group, with no element of order p, and having a closed normal subgroup H such that G/H is isomorphic to Z_p. We prove the existence of a canonical Ore set S^* of non-zero divisors in the Iwasawa algebra Λ(G) of G, which seems to be particularly relevant for arithmetic applications. Using localization with respect to S^*, we are able to define a characteristic element for every finitely generated Λ(G)-module M which has the property that the quotient of M by its p-primary submodule is finitely generated over the Iwasawa algebra of H. We discuss the evaluation of this characteristic element at Artin representations of G, and its relation to the G-Euler characteristics of the twists of M by such representations. Finally, we illustrate the arithmetic applications of these ideas by formulating a precise version of the main conjecture of Iwasawa theory for an elliptic curve E over Q, without complex multiplication, over the field F generated by the coordinates of all its p-power division points; here p is a prime at least 5 where E has good ordinary reduction, and G is the Galois group of F over Q.     

Cohen–Macaulay Isolated Singularities with a Dualizing Module

We generalize results of Foxby concerning a commutative Nötherian ring to a certain noncommutative Nötherian algebra Λ over a commutative Gorenstein complete local ring. We assume that Λ is a Cohen–Macaulay isolated singularity having a dualizing module. Then the same method as in the commutative cases works and we obtain a category equivalence between two subcategories of mod Λ, one of which includes all finitely generated modules of finite Gorenstein dimension. We give examples of such algebras which are not Gorenstien; orders related to almost Bass orders and some k-Gorenstein algebras for an integer k.Presented by I. Reiten ^★The author is supported by Grant-in-Aid for Scientific Researches B(1) No. 14340007 in Japan.     

Finite Schur filtration dimension for modules over an algebra with Schur filtration

Let G = GL _N or SL _N as reductive linear algebraic group over a field k of characteristic p > 0. We prove several results that were previously established only when N ⩽ 5 or p > 2  ^N : Let G act rationally on a finitely generated commutative k-algebra A and let grA be the Grosshans graded ring. We show that the cohomology algebra H ^*(G, grA) is finitely generated over k. If moreover A has a good filtration and M is a Noetherian A-module with compatible G action, then M has finite good filtration dimension and the H ⁱ (G, M) are Noetherian A ^G -modules. To obtain results in this generality, we employ functorial resolution of the ideal of the diagonal in a product of Grassmannians.     

Toward equivariant Iwasawa theory

 Let l be an odd prime number, K/k a finite Galois extension of totally real number fields, and G _∞ , X _∞ the Galois groups of K _∞ /k and M _∞ /K _∞ , respectively, where K _∞ is the cyclotomic l-extension of K and M _∞ the maximal abelian S-ramified l-extension of K _∞ with S a sufficiently large finite set of primes of k. We introduce a new K-theoretic variant of the Iwasawa ℤ[[G _∞ ]]-module X _∞ and, for K/k abelian, formulate a conjecture, which is the main conjecture of classical Iwasawa theory when lł[K : k]. We prove this new conjecture when Iwasawa's μ-invariant vanishes and discuss consequences for the Lifted Root Number Conjecture at l. Received: 7 August 2001 / Revised version: 6 May 2002 We acknowledge financial support provided by NSERC. Mathematics Subject Classification (2000): 11R23, 11R27, 11R32, 11R33, 11R37, 11R42, 11S20, 11S23, 11S31, 11S40     

A splitting theorem for connected moravaK-theories

LetX be a connected, locally finite spectrum and letk(n) (n>-1) denote the (−1)-connected cover of then-th MoravaK-Theory associated to the primep.k(n) is aBP-module spectrum with π_*(k(n)) ≅ ℤ _p [υ _n ] where |v _n | = 2(p ⁿ -1). We prove the following splitting theorem: Thek(n) ^*-torsion ofk(n) ^* (X) is already annihilated byv _n ^e (e≥1) if and only ifk(n)ΛX is homotopy equivalent to a wedge of spectrak(n) and ^r k(n) (0≤r≤e-1) where ^r k(n) denotes ther-th Postnikov factor ofk(n). Moreover we investigate splitting conditions for ^r k(n)ΛX.     

Endomorphism algebras of transitive permutation modules for p-groups

Let G be a finite p-group with subgroup H and k a field of characteristic p. We study the endomorphism algebra E = End_kG(k_H ↑^G), showing that it is a split extension of a nilpotent ideal by the group algebra kN_G(H)/H. We identify the space of endomorphisms that factor through a projective kG-module and hence the endomorphism ring of k_H ↑^G in the stable module category, and determine the Loewy structure of E when G has nilpotency class 2 and [G, H] is cyclic. Received: 3 November 2008     

Grothendieck groups of unbounded complexes of finitely generated modules

Let Λ be a left Artinian ring, D⁺(mod Λ) (resp., D⁻(mod Λ), D(mod Λ)) the derived category of bounded below complexes (resp., bounded above complexes, unbounded complexes) of finitely generated left Λ-modules. We show that the Grothendieck groups K₀(D⁺(mod Λ)), K₀(D⁻(mod Λ)) and K₀(D(mod Λ)) are trivial. Received: 7 April 2005     

Affine linear sieve, expanders, and sum-product

Let O\mathcal{O} be an orbit in ℤ ⁿ of a finitely generated subgroup Λ of GL _n (ℤ) whose Zariski closure Zcl(Λ) is suitably large (e.g. isomorphic to SL₂). We develop a Brun combinatorial sieve for estimating the number of points on O\mathcal{O} at which a fixed integral polynomial is prime or has few prime factors, and discuss applications to classical problems, including Pythagorean triangles and integral Apollonian packings. A fundamental role is played by the expansion property of the “congruence graphs” that we associate with O\mathcal{O} . This expansion property is established when Zcl(Λ)=SL₂, using crucially sum-product theorem in ℤ/qℤ for q square-free.     

On pro-p-groups with a single defining relator

We find necessary and sufficient conditions for the factor groups of the derived series of a pro-p-group with a single defining relation to be torsion free. For such groupsG we prove that the group algebra ℤ _pG is a domain and the cohomological dimension ofG is at most 2.     

Varieties for Modules of Quantum Elementary Abelian Groups

We define a rank variety for a module of a noncocommutative Hopf algebra A = L \rtimes GA = \Lambda \rtimes G where L = k[X₁, ..., X_m]/(X₁^l, ..., X_m^l), G = (\mathbbZ/l\mathbbZ)^m\Lambda = k[X_1, \dots, X_m]/(X_1^{\ell}, \dots, X_m^{\ell}), G = (\mathbb{Z}/\ell\mathbb{Z})^m and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ=2, rank varieties for Λ-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λ-modules coincide with those of Erdmann and Holloway.     

On the Schur multipliers of finite p-groups of given coclass

In this paper we obtain bounds for the order and exponent of the Schur multiplier of a p-group of given coclass. These are further improved for p-groups of maximal class. In particular, we prove that if G is p-group of maximal class, then |H ₂(G, ℤ)| < |G| and expH ₂(G, ℤ) ≤ expG. The bound for the order can be improved asymptotically.     

On the Iwasawa invariants of certain non-cyclotomic ℤ2-extensions

Let k be an imaginary quadratic field in which the prime 2 splits. We consider the Iwasawa invariants of a certain non-cyclotomic ℤ₂-extension of k and give some sufficient conditions for the vanishing of λ- and μ-invariants.     

Projective bases of division algebras and groups of central type II

Let G be a finite group and let k be a field. We say that G is a projective basis of a k-algebra A if it is isomorphic to a twisted group algebra k ^α G for some α ∈ H ²(G, k ^×), where the action of G on k ^× is trivial. In a preceding paper by Aljadeff, Haile and the author it was shown that if a group G is a projective basis of a k-central division algebra, then G is nilpotent and every Sylow p-subgroup of G is on the short list of p-groups, denoted by Λ. In this paper we complete the classification of projective bases of division algebras by showing that every group on that list is a projective basis for a suitable division algebra. We also consider the question of uniqueness of a projective basis of a k-central division algebra. We show that basically all groups on the list Λ but one satisfy certain rigidity property. This work was supported in part by the US-Israel Binational Science Foundation Grant 82334. The author would like to thank Louis Rowen and the Department Department of Mathematics at Bar Ilan University, Ramat Gan, Israel, for kind hospitality and support.     

Gradings and Derived Categories

Let G{{\mathcal G}} be a group, Λ a G{{\mathcal G}}-graded Artin algebra and gr(Λ) denote the category of finitely generated G{{\mathcal G}}-graded Λ-modules. This paper provides a framework that allows an extension of tilting theory to D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and to study connections between the tilting theories of D^b(L){{\mathcal D}}^b(\Lambda) and D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)). In particular, using that if T is a gradable Λ-module, then a grading of T induces a G{{\mathcal G}}-grading on End_Λ(T), we obtain conditions under which a derived equivalence induced by a gradable Λ-tilting module T can be lifted to a derived equivalence between the derived categories D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and D^b(gr(End_L(T))){{\mathcal D}}^b(\rm gr(\rm End_{\Lambda}(\textit T))).     

Highest weight representations of a family of Lie algebras of Block type

For an additive subgroup G of a field F of characteristic zero, a Lie algebra B（G） of Block type is defined with basis {Lα,i｜ α∈G, i∈Z＋} and relations [Lα,i, Lβ,j] = （β-α）Lα＋β,i＋j＋（αj-βi）Lα＋β,Lα＋β,i＋j-1.It is proved that an irreducible highest weight B（Z）-module is quasifinite if and only if it is a proper quotient of a Verma module. Furthermore, for a total order λ on G and any ∧∈B（G）0^＊（the dual space of B（G）0 = span{L0,i｜i∈Z＋}）, a Verma B（G）-module M（∧,λ） is defined, and the irreducibility of M（A,λ） is completely determined.     

The bieri-strebel invariant and homological finiteness conditions for metabelian groups

A group Γ has type F P_n if a trivial ℤΓ-module ℤ has a projective resolution P:…P_n → … → P₁ → P₀ → ℤ in which ℤΓ-module P_n,…P₁, P₀ are finitely generated. Let the finitely generated group Γ be a split extension of the Abelian group M by an Abelian group Q, suppose M is torsion free, and assume Γ∈F P_m, m≥2. Then the invariant ∑ _c ^M is m-tame. Translated fromAlgebra i Logika, Vol. 36, No. 2, pp. 194–218, March–April, 1997.     

On the set of discrete subgroups of bounded covolume in a semisimple group

In this noteG is a locally compact group which is the product of finitely many groups G_s(k_s)(s∈S), where k_s is a local field of characteristic zero and G_s an absolutely almost simplek _s-group, ofk _s-rank ≥1. We assume that the sum of the r_s is ≥2 and fix a Haar measure onG. Then, given a constantc > 0, it is shown that, up to conjugacy,G contains only finitely many irreducible discrete subgroupsL of covolume ≥c (4.2). This generalizes a theorem of H C Wang for real groups. His argument extends to the present case, once it is shown thatL is finitely presented (2.4) and locally rigid (3.2).     

Galois modular representation of associated Jacobians in the tamely ramified cyclic case

Let L/K be an ℓ-cyclic extension with Galois group G of algebraic function fields over an algebraically closed field k of characteristic p ≠  ℓ. In this paper, the -module structure of the ℓ-torsion of the Jacobian associated to L is explicitly determined.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.