On the small Krull dimension of modules

We introduce and study the concept of small Krull dimension of a module which is Krull-like dimension extension of the concept of DCC on small submodules. Using this concept we extend some of the basic results for modules with this dimension, which are almost similar to the basic properties of modules with Krull dimension. When for a module A with small Krull dimension, whose Rad(A) is quotient finite dimensional, then these two dimensions for Rad(A) coincide. In particular, we prove that if an R-module A has finite hollow dimension, then A has small Krull dimension if and only if it has Krull dimension. Consequently, we show that if A has properties AB5* and qfd, then A has s.Krull dimension if and only if A has Krull dimension.     

On the derived category of a regular toric scheme

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes U _σ = Spec A ^σ . A quasi-coherent sheaf on X gives rise, by taking sections over the U _σ , to a diagram of modules over the coordinate rings A ^σ , indexed by the intersection poset Σ of the covering. If X is a regular toric scheme over an arbitrary commutative ring, we prove that the unbounded derived category of quasi-coherent sheaves on X can be obtained from a category of Σ^op-diagrams of chain complexes of modules by inverting maps which induce homology isomorphisms on hyper-derived inverse limits. Moreover, we show that there is a finite set of weak generators, one for each cone in the fan Σ. The approach taken uses the machinery of Bousfield–Hirschhorn colocalisation of model categories. The first step is to characterise colocal objects; these turn out to be homotopy sheaves in the sense that chain complexes over different open sets U _σ agree on intersections up to quasi-isomorphism. In a second step it is shown that the homotopy category of homotopy sheaves is equivalent to the derived category of X.     

Filtrations for the Roots of Ext

We survey the set–theoretic methods of module theory that make it possible to equip roots of the contravariant Ext functor with filtrations built from the small roots. The power of these methods is illustrated by several applications: a solution to the Kaplansky problem on Baer modules and some of the related problems for relative Baer modules, the structure of tilting modules and classes, the structure of Matlis localizations of commutative rings, and in particular cases, proofs of the finitistic dimension conjectures, and of the telescope conjecture for module categories. Received: January 2007     

Σ-Bounded algebraic systems and universal functions. I

We introduce the concept of a Σ-bounded algebraic system and prove that if a system is Σ- bounded with respect to a subset A then in a hereditarily finite admissible set over this system there exists a universal Σ-function for the family of functions definable by Σ-formulas with parameters in A. We obtain a necessary and sufficient condition for the existence of a universal Σ-function in a hereditarily finite admissible set over a Σ-bounded algebraic system. We prove that every linear order is a Σ-bounded system and in a hereditarily finite admissible set over it there exists a universal Σ-function.     

On t-Structures and Tilting Theory

Abstract

Let A be a right coherent associative ring with unit. We introduce the notion of coendofinite complex and we associate to such a complex a t-structure in D ^b (mod A). We give conditions for the heart of that t-structure to be a module category. We also give some applications in connection with derived equivalent rings and tilting theory. In particular for a tilting module over a finite dimensional k-algebra, we get a reformulation of Brenner-Butler's theorem in terms of t-structures.     

Symmetric Group Modules with Specht and Dual Specht Filtrations

The author and Nakano recently proved that multiplicities in a Specht filtration of a symmetric group module are well-defined precisely when the characteristic is at least five. This result suggested the possibility of a symmetric group theory analogous to that of good filtrations and tilting modules for GL _n (k). This article is an initial attempt at such a theory. We obtain two sufficient conditions that ensure a module has a Specht filtration, and a formula for the filtration multiplicities. We then study the categories of modules that satisfy the conditions, in the process obtaining a new result on Specht module cohomology.

Next we consider symmetric group modules that have both Specht and dual Specht filtrations. Unlike tilting modules for GL _n (k), these modules need not be self-dual, and there is no nice tensor product theorem. We prove a correspondence between indecomposable self-dual modules with Specht filtrations and a collection of GL _n (k)-modules which behave like tilting modules under the tilting functor. We give some evidence that indecomposable self-dual symmetric group modules with Specht filtrations may be indecomposable self dual trivial source modules.     

Estimates of global dimension

In this note we show that for a *ⁿ-module, in particular, an almost n-tilting module, P over a ring R with A = End_R P such that P _A has finite flat dimension, the upper bound of the global dimension of A can be estimated by the global dimension of R and hence generalize the corresponding results in tilting theory and the ones in the theory of *-modules. As an application, we show that for a finitely generated projective module over a VN regular ring R, the global dimension of its endomorphism ring is not more than the global dimension of R.     

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.     

COPURE INJECTIVE MODULES

Abstract

A module is said to be copure injective if it is injective with respect to all modules A ? B with B/A injective. We first characterize submodules that have the extension property with respect to copure injective modules. Then we characterize commutative rings with finite self injective dimension in terms of copure injective modules. Finally, we show that the quotient categories of reduced copure injective modules and reduced h- divisible modules are isomorphic.     

Quantum analogues of a coherent family of modules at roots of unity: A 3

To a given coherent family of virtual representations of a complex semiesimple Lie algebra we associate elsewhere a coherent family of virtual representations of the corresponding quantum group at roots of unity. We also proposed a conjecture there that under some hyptoheses the members of the family in a certain positive cone are actually modules (and not just a virtual module, i.e., a difference of two modules). The validity of this conjecture for A ₂ and B ₂ has been verified by the author. In this paper we solve the problem for A ₃.     

Homological dimensions and semidualizing complexes

For finite modules over a local ring and complexes with finitely generated homology, we consider several homological invariants sharing some basic properties with projective dimension. In the second section, we introduce the notion of a semidualizing complex, which is a generalization of both a dualizing complex and a suitable module. Our goal is to establish some common properties of such complexes and the homological dimension with respect to them. Basic properties are investigated in Sec. 2.1. In Sec. 2.2, we study the structure of the set of semidualizing complexes over a local ring, which is closely related to the conjecture of Avramov-Foxby on the transitivity of the G-dimension. In particular, we prove that, for a pair of semidualizing complexes X ₁ and X ₂ such that G _X2, we have X ₂ ≃ X ₁ ⊗ _R ^L RHom _R (X ₁, X ₂). Specializing to the case of semidualizing modules over Artinian rings, we obtain a number of quantitative results for the rings possessing a configuration of semidualizing modules of special form. For the rings with m ³=0, this condition reduces to the existence of a nontrivial semidualizing module, and we prove a number of structural results in this case. In the third section, we consider the class of modules that contains the modules of finite CI-dimension and enjoys some nice additional properties, in particular, good behavior in short exact sequences. In the fourth section, we introduce a new homological invariant, CM-dimension, which provides a characterization for Cohen-Macaulay rings in precisely the same way as projective dimension does for regular rings, CI-dimension for locally complete intersections, and G-dimension for Gorenstein rings. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 30, Algebra, 2005.     

Arrangements with one bounded component andp-adic integrals

In this article we study arrangementsA, such that ℝ ⁿ \A has exactly one bounded component. We obtain a result about their structure which gives us a method to construct all combinatorially different such arrangements in a given dimension. (A complete list for dimensions 1,2,3 and 4 is included). Furthermore we associate ap-adic integral to each such arrangement and proof that this integral can be written as a product ofp-adic beta functions. This is analogous to results of Varchenko and Loeser for integrals over ℝ and character sums over finite fields respectively.     

On Whittaker modules over a class of algebras similar to U(sl 2)

Motivated by the study of invariant rings of finite groups on the first Weyl algebras A ₁ and finding interesting families of new noetherian rings, a class of algebras similar to U(sl ₂) was introduced and studied by Smith. Since the introduction of these algebras, research efforts have been focused on understanding their weight modules, and many important results were already obtained. But it seems that not much has been done on the part of nonweight modules. In this paper, we generalize Kostant’s results on the Whittaker model for the universal enveloping algebras U(g) of finite dimensional semisimple Lie algebras g to Smith’s algebras. As a result, a complete classification of irreducible Whittaker modules (which are definitely infinite dimensional) for Smith’s algebras is obtained, and the submodule structure of any Whittaker module is also explicitly described.      

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

Weak-Injective Modules of Weak Dimension at Most One

We consider modules over integral domains R. A main purpose is to show that certain module properties assumed on R-modules of weak dimension ≤1 imply that these properties are shared by all modules in the category of R-modules.

Also we prove several results involving modules of weak dimension ≤1.     

Tilting modules over split-by-nilpotent extensions

Let a finite dimensional algebra R be a split extension of an algebra A by a nilpotent bimodule Q. We give necessary and sufficient conditions for a (partial) tilting module T_A to be such that T?_A R_R is a (partial) tilting module. If this is not the case, but Q_A is generated by the tilting module T_A , then there exists a quotient [Rbar] of R such that T?_A [Rbar]_[Rbar] is a tilting module.     

Gorenstein Flat Covers and Gorenstein Cotorsion Modules Over Integral Group Rings

Every module over an Iwanaga–Gorenstein ring has a Gorenstein flat cover [13] (however, only a few nontrivial examples are known). Integral group rings over polycyclic-by-finite groups are Iwanaga–Gorenstein [10] and so their modules have such covers. In particular, modules over integral group rings of finite groups have these covers. In this article we initiate a study of these covers over these group rings. To do so we study the so-called Gorenstein cotorsion modules, i.e. the modules that split under Gorenstein flat modules. When the ring is ℤ, these are just the usual cotorsion modules. Harrison [16] gave a complete characterization of torsion free cotorsion ℤ-modules. We show that with appropriate modifications Harrison's results carry over to integral group rings ℤG when G is finite. So we classify the Gorenstein cotorsion modules which are also Gorenstein flat over these ℤG. Using these results we classify modules that can be the kernels of Gorenstein flat covers of integral group rings of finite groups. In so doing we necessarily give examples of such covers. We use the tools we develop to associate an integer invariant n with every finite group G and prime p. We show 1≤n≤|G : P| where P is a Sylow p-subgroup of G and gives some indication of the significance of this invariant. We also use the results of the paper to describe the co-Galois groups associated to the Gorenstein flat cover of a ℤG-module. Presented by A. Verschoren Mathematics Subject Classifications (2000) 20C05, 16E65.     

Connections on modules over singularities of finite CM representation type

Let A be a commutative k-algebra, where k is an algebraically closed field of characteristic 0, and let M be an A-module. We consider the following question: Under what conditions is it possible to find a connection on M?We consider the maximal Cohen-Macaulay (MCM) modules over complete CM algebras that are isolated singularities, and usually assume that the singularities have finite CM representation type. It is known that any MCM module over a simple singularity of dimension d≤2 admits an integrable connection. We prove that an MCM module over a simple singularity of dimension d≥3 admits a connection if and only if it is free. Among singularities of finite CM representation type, we find examples of curves with MCM modules that do not admit connections, and threefolds with non-free MCM modules that admit connections.Let A be a singularity not necessarily of finite CM representation type, and consider the condition that A is a Gorenstein curve or a -Gorenstein singularity of dimension d≥2. We show that this condition is sufficient for the canonical module ω_A to admit an integrable connection, and conjecture that it is also necessary. In support of the conjecture, we show that if A is a monomial curve singularity, then the canonical module ω_A admits an integrable connection if and only if A is Gorenstein.