Representation dimension and tilting

Let Λ be a finite dimensional k-algebra over an algebraically closed field k and let _ΛT be a splitting tilting module of projective dimension at most 1. Let Γ=End_ΛT. If the representation dimension of Λ is at most 3 then the main result asserts that the representation dimension of Γ does not exceed that of Λ.     

Submodule categories of wild representation type

Let Λ be a commutative local uniserial ring with radical factor field k. We consider the category S(Λ) of embeddings of all possible submodules of finitely generated Λ-modules. In case Λ=Z/〈pⁿ〉, where p is a prime, the problem of classifying the objects in S(Λ), up to isomorphism, has been posed by Garrett Birkhoff in 1934. In this paper we assume that Λ has Loewy length at least seven. We show that S(Λ) is controlled k-wild with a single control object I∈S(Λ). It follows that each finite dimensional k-algebra can be realized as a quotient End(X)/End(X)_I of the endomorphism ring of some object X∈S(Λ) modulo the ideal End(X)_I of all maps which factor through a finite direct sum of copies of I.     

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     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

On some equations in prime rings

The main purpose of this paper is to prove the following result. Let R be a prime ring of characteristic different from two and let T : R → R be an additive mapping satisfying the relation T(x ³) = T(x)x ² − xT(x)x + x ² T(x) for all x ∈ R. In this case T is of the form 4T(x) = qx + xq, where q is some fixed element from the symmetric Martindale ring of quotients. This result makes it possible to solve some functional equations in prime rings with involution which are related to bicircular projections.     

On a separation of orbits in the module variety for string special biserial algebras

Given a pair M,M^′ of finite-dimensional modules over a string special biserial algebra Λ, a fully verifiable criterion, expressed in terms of a finite set of simple linear algebra invariants, deciding if M and M^′ lie in the same orbit in module variety, equivalently, if M and M^′ are isomorphic, is formulated and proved.     

The number of Gabriel-Roiter submodules

Let k be an algebraically closed field and Λ a tilted algebra of a path algebra of a Dynkin quiver (of type A_n, D_n, E₆, E₇ or E₈). We show that every sincere indecomposable Λ-module has at most three Gabriel-Roiter submodules.     

Sequences of Hopf-Swan subgroups

Let l be an odd prime which satisfies Vandiver's conjecture, let n?1 be an integer, and let K=Q(ζn) where ζn is a primitive lnth root of unity. Let Cl denote the cyclic group of order l. For each j, j=1,…,ln−1, there exists an inclusion of Larson orders in KCl: Λj−1⊆Λj and a corresponding surjection of Hopf-Swan subgroups T(Λj−1)→T(Λj). For the cases n=1,2 we investigate the structure of various terms in the sequence of Hopf-Swan subgroups including the Swan subgroup T(Λ₀).     

Universal deformation rings and self-injective Nakayama algebras

Let k be a field and let Λ be an indecomposable finite dimensional k-algebra such that there is a stable equivalence of Morita type between Λ and a self-injective split basic Nakayama algebra over k. We show that every indecomposable finitely generated Λ-module V has a universal deformation ring $R(\mathrm{\Lambda },V)$ and we describe $R(\mathrm{\Lambda },V)$ explicitly as a quotient ring of a power series ring over k in finitely many variables. This result applies in particular to Brauer tree algebras, and hence to p-modular blocks of finite groups with cyclic defect groups.     

The support points of several classes of analytic functions with fixed coefficients

Let B denote the set of functions ?(z) that are analytic in the unit disk D and satisfy |?(z)|?1(|z|<1). Let P denote the set of functions p(z) that are analytic in D and satisfy p(0)=1 and Rep(z)>0(|z|<1). Let T denote the set of functions f(z) that are analytic in D, normalized by f(0)=0 and f^′(0)=1 and satisfy that f(z) is real if and only if z is real (|z|<1). In this article we investigate the support points of the subclasses of B, P and T of functions with fixed coefficients.     

Non-separating trees in connected graphs

Let T be any tree of order d≥1. We prove that every connected graph G with minimum degree d contains a subtree T^′ isomorphic to T such that G−V(T^′) is connected.     

Jordan maps on triangular algebras

Let T be a triangular algebra and R′ be an arbitrary ring. Suppose that M:T→R^′ and M^∗:R^′→T are surjective maps such that

     

Strongly quasibounded maximal monotone perturbations for the Berkovits-Mustonen topological degree theory

Let X be a real reflexive Banach space with dual X^∗. Let L:X⊃D(L)→X^∗ be densely defined, linear and maximal monotone. Let T:X⊃D(T)→X^∗2, with 0∈D(T) and 0∈T(0), be strongly quasibounded and maximal monotone, and C:X⊃D(C)→X^∗ bounded, demicontinuous and of type (S₊) w.r.t. D(L). A new topological degree theory has been developed for the sum L+T+C. This degree theory is an extension of the Berkovits-Mustonen theory (for T=0) and an improvement of the work of Addou and Mermri (for T:X→X^∗2 bounded). Unbounded maximal monotone operators with are strongly quasibounded and may be used with the new degree theory.     

Superspecial abelian varieties and the Eichler Basis Problem for Hilbert modular forms

Let p be an unramified prime in a totally real field L such that h⁺(L)=1. Our main result shows that Hilbert modular newforms of parallel weight two for Γ₀(p) can be constructed naturally, via classical theta series, from modules of isogenies of superspecial abelian varieties with real multiplication on a Hilbert moduli space. This may be viewed as a geometric reinterpretation of the Eichler Basis Problem for Hilbert modular forms.     

Normal families of meromorphic functions with multiple zeros

Let F be a family of meromorphic functions defined in a domain D such that for each f∈F, all zeros of f(z) are of multiplicity at least 3, and all zeros of f^′(z) are of multiplicity at least 2 in D. If for each f∈F, f^′(z)−1 has at most 1 zero in D, ignoring multiplicity, then F is normal in D.     

Hyperelliptic jacobians with real multiplication

Let K be a field of characteristic p≠2, and let f(x) be a sextic polynomial irreducible over K with no repeated roots, whose Galois group is isomorphic to A₅. If the jacobian J(C) of the hyperelliptic curve C:y²=f(x) admits real multiplication over the ground field from an order of a real quadratic field D, then either its endomorphism algebra is isomorphic to D, or p>0 and J(C) is a supersingular abelian variety. The supersingular outcome cannot occur when p splits in D.     

Torsion points on some abelian surfaces of CM-type

Let A be a two-dimensional abelian variety of CM-type defined over Q, which is not simple over C. Let p be a prime number. We show that torsion points of A(Q) of prime order p are possible only for p≦7.     

A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.