The Krull-Gabriel dimension of the representation theory of a tame hereditary Artin algebra and applications to the structure of exact sequences

For an Artin Algebra of finite representation type, the category -mod, considered as a ring with several objects, has Krull dimension zero. Contrary, for a wild hereditary Artin Algebra this dimension does not exist. In this paper we show that the Krull dimension of -mod for an Artin Algebra of tame representation type is two. The corresponding Krull-Gabriel filtration by Serre subcategories of the category F of finitely presented contravariant functors on -mod leads to a hierarchy of exact sequences in -mod. Influenced by the functorial approach to almost split sequences by M. Auslander and I. Reiten, we investigate the exact sequences whose corresponding functors become simple in one of the successive quotient categories of the Krull-Gabriel filtration of F.     

A family of noetherian rings with their finite length modules under control

We investigate the category mod of finite length modules over the ring =A _k , where is a V-ring, i.e. a ring for which every simple module is injective, k a subfield of its centre and A an elementary k-algebra. Each simple module E _j gives rise to a quasiprogenerator P _j = A E _j . By a result of K. Fuller, P _j induces a category equivalence from which we deduce that mod _j mod EndP _j . As a consequence we can(1) construct for each elementary k-algebra A over a finite field k a nonartinian noetherian ring such that modA mod(2) find twisted versions of algebras of wild representation type such that itself is of finite or tame representation type (in mod)(3) describe for certain rings the minimal almost split morphisms in mod and observe that almost all of these maps are not almost split in Mod.     

Die Nuklearität der Ultradistributionsräume und der Satz vom Kern II

Continuing the research of part I conditions equivalent to ()- or ()-nuclearity of spaces of ultradifferential functions and their duals as well as some applications are given. To get these results it is shown that tensor products of smooth sequence spaces, power series spaces, and spaces S(M_q) introduced in part I are isomorphic to suitable sequence spaces of the same class, which are stable provided the factors are stable power series spaces. Hence it is possible to establish isomorphisms between different functions spaces, to calculate the nuclearity types of tensor products by the nuclearity types of the factors, and to prove that the class of ()- or ()-nuclear spaces is closed under forming tensor products iff is multiplicatively stable.     

A Homological Bridge Between Finite and Infinite-Dimensional Representations of Algebras

Given a finite-dimensional algebra , we show that a frequently satisfied finiteness condition for the category -mod) of all finitely generated (left) -modules of finite projective dimension,namely contravariant finiteness of (-mod) in -mod, forces arbitrary modules of finite projective dimension to be direct limits of objects in (-mod). Among numerous applications, this yields an encompassing sufficient condition for the validity of the first finitistic dimensionconjecture, that is, for the little finitistic dimension of to coincide with the big (this is well known to fail overfinite-dimensional algebras in general).     

Triangular extension identities

It is shown that if the - -bimodule M generates a category of - -bimodules, then the ideal of identities of the triangular extension of the direct sum of algebras and by means of the bimodule M is equal to the product of ideals of identities of the algebras and .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 132, pp. 5–11, 1983.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

Folgenräume als universelle Generatoren für Klassen lokalkonvexer Räume

Motivated by the known characterizations of equicontinuity in the dual of a Schwartz space, a nuclear space, or a strongly nuclear space,we introduce the concepts of a -sequence and of a ()-sequence in the dual of an arbitrary lcs [E,], and we investigate the corresponding topologies and ₍₎ on E of uniform convergence on these sequences. Here is a normal sequence space such that . Under favorable enough conditions on , including the nuclearity of its normal topology , [,] acts as a universal generator for those lcs [E,] which satisfy =. Under somewhat weaker assumptions on , [,₍₎] is a universal generator for the lcs [E,] with =₍₎. These results cover e.g. the cases of -nuclear spaces and of nuclear spaces known from the recent literature. As an application we show that every non-trivial ultrabornological lcs is representable as an inductive limit of isomorphic copies of [, ( , )], where is any nuclear power series space of infinite type with stable exponent sequence.     

On the representation type of one point extensions of tame concealed algebras

Letk be an algebraically closed field and a finite dimensionalk-algebra. Letq be the quadratic Tits form associated with . If is tame we show thatq is weakly semipositive. Let be a one-point extension of a tame concealed algebra, then is tame iffq is weakly semipositive.     

Nef cotangent bundles over line arrangements

In [1] Hirzebruch introduced and studied the compact complex surfaces (,n). In [2], Sommese characterized those. (,n) with ample cotangent bundles. In this addendum, the (,n) with nef cotangent bundles are characterized.Partially supported by NSF grant DMS 8405207     

Subgroups and Hulls of Specker Lattice-Ordered Groups

In this article, it will be shown that every -subgroup of a Specker -group has singular elements and that the class of -groups that are -subgroups of Specker -group form a torsion class. Methods of adjoining units and bases to Specker -groups are then studied with respect to the generalized Boolean algebra of singular elements, as is the strongly projectable hull of a Specker -group.     

Generators of the group of principal units of a cyclic p-extension of a regular local field

Suppose k is a local field that is an extension of the field of p -adic numbers of degree n and does not contain a primitive p -th root of 1, and suppose K/k is a cyclic p-extension with Galois group G. The group E of principal units of K is a multiplicatively written module over the group ring =_p[G], where _p is the ring of p-adic integers. It was shown by Borevich (Ref. Zh. Mat., 1965, 3A256) that the -module E has a system of n+1 generators, of which n–1 are free and two are connected by certain relations. In the present paper these -generators are constructed explicitly and their arithmetical characteristics indicated.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 16–23, 1977.     

Morera type theorems on the unit disc

, . . : , , , , .     

Analogs of Chevalley modules in Hochschild cohomology theory

Analogs of Chevalley's modules are introduced for a Frobenius Z-algebra . Up to a certain equivalence relation, they form a cyclic group with respect to -tensor multiplication. The complete projective resolvent of the ring is constructed.Translated from Matematicheskie Zametki, Vol. 9, No. 5, pp. 561–568, May, 1971.The author wishes to express his gratitude to D. K. Faddeev for his interest in this work and for his valuable advice.     

Join operations in vector spaces

LetX be a vector space over a totally ordered fieldF and a subset ofF. Necessary and sufficient conditions are obtained on for a join defined bya·b={a+(1–)b|} to make (X,·) (i) a convexity space (ii) a join system and (iii) a join space. For (X,·) to be a convexity space is necessarily the set of elements between 0 and 1 for some ordered subfield ofF. In this setting join systems and join spaces are essentially the same but they remain quite distinct from convexity spaces.     

Two-magnon states in a one-dimensional non-Heisenberg ferromagnet of spins = 1 with interactions up to third neighbors

We consider a two-magnon system in a one-dimensional non-Heisenberg ferromagnet of spin s = 1 with interactions of nearest, second, and third neighbors. We prove that for = and J = J₁, the system has a unique two-magnon bound state (TMBS), while for = and J = 2J₁, the system has three bound states. If = and J J₁, J 2J₁, the system has at most five TMBS. The energies of these bound states are evaluated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 2, pp. 262–268, May, 1996.Translated by A. M. Semikhatov.     

The ring of integers of an Abelian extension of an algebraic number field as a Galois module

The ringO of integers of a finite Abelian extension K of an algebraic number field k is studied as a module over the group ring =[G], where is the ring of integers of k and G is the Galois group of K/k. It is proved that the ring is a decomposable -module if and only if there exists in K/k an intermediate extension K/F. FK, whose degree divides the different.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta. im. V. A. Steklova AN SSSR, Vol. 71, pp. 80–84, 1977.     

Differentiation for Orders and Artinian Rings

The method of differentiation for the category -lat of lattices over an order will be extended to integral almost Abelian categories A instead of -lat. In particular, this yields a differentiation for finitely generated left modules over left Artinian rings.     

Parties d'ensembles B-normaux

For a given subset A of the set R of real numbers, we defined M(A) as the infimum of all the lengths of the finite intervals I such that there exists a sequence of real numbers in I such that A is the associated normal set B(). We prove that if A is a subset of A, such that all the multiples k.a' belongs to A (for each non zero integer k and each element a of A), then M(A) is less or equal to 2.M(A). Thus the family of the subsets A such that M(A) is finite is closed under intersection and finite union.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Foliations with One-Sided Branching

We generalize the main results from the author's paper in Geom. Topol. 4 (2000), 457–515 and from Thurston's eprint math.GT/9712268 to taut foliations with one-sided branching. First constructed by Meigniez, these foliations occupy an intermediate position between -covered foliations and arbitrary taut foliations of 3-manifolds. We show that for a taut foliation with one-sided branching of an atoroidal 3-manifold M, one can construct a pair of genuine laminations ^± of M transverse to with solid torus complementary regions which bind every leaf of in a geodesic lamination. These laminations come from a universal circle, a refinement of the universal circles proposed by Thurston (unpublished), which maps monotonely and ₁(M)-equivariantly to each of the circles at infinity of the leaves of , and is minimal with respect to this property. This circle is intimately bound up with the extrinsic geometry of the leaves of . In particular, let denote the pulled-back foliation of the universal cover, and co-orient so that the leaf space branches in the negative direction. Then for any pair of leaves of with , the leaf is asymptotic to in a dense set of directions at infinity. This is a macroscopic version of an infinitesimal result from Thurston and gives much more drastic control over the topology and geometry of , than is achieved by him. The pair of laminations ^± can be used to produce a pseudo-Anosov flow transverse to which is regulating in the nonbranching direction. Rigidity results for ^± in the -covered case are extended to the case of one-sided branching. In particular, an -covered foliation can only be deformed to a foliation with one-sided branching along one of the two laminations canonically associated to the -coveredfoliation constructed in Geom. Topol. 4 (2000), 457–515, and these laminations become exactly the laminations ^± for the new branched foliation. Other corollaries include that the ambient manifold is -hyperbolic in the sense of Gromov, and that a self-homeomorphism of this manifold homotopic to the identity is isotopic to the identity.