Source author record

Birge Huisgen-Zimmermann

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

17works
2topics
4close collaborators

Published work

17 publications

preprint2022arXiv

Contravariant finiteness and iterated strong tilting

Let P<∞(Λ\mathcal{P}^{<\infty} (Λ-mod)) be the category of finitely generated left modules of finite projective dimension over a basic Artin algebra ΛΛ. We develop an applicable criterion that reduces the test for contravariant finiteness of P<∞(Λ\mathcal{P}^{<\infty} (Λ -mod)) in ΛΛ-mod to corner algebras eΛee Λe for suitable idempotents e∈Λe \in Λ. The reduction substantially facilitates access to the numerous homological benefits entailed by contravariant finiteness of P<∞(Λ\mathcal{P}^{<\infty} (Λ-mod)). The consequences pursued hinge on the fact that this finiteness condition is known to be equivalent to the existence of a strong tilting object in ΛΛ-mod. We characterize the situation in which the process of strongly tilting ΛΛ-mod allows for arbitrary iteration: This occurs precisely when, in the strongly tilted module category mod-Λ~\widetildeΛ, the subcategory of modules of finite projective dimension is in turn contravariantly finite; the latter can, once again, be tested on suitable corners eΛee Λe of the original algebra ΛΛ. In the (frequently occurring) positive case, the sequence of consecutive strong tilts, Λ~\widetildeΛ, Λ~~ \widetilde{\widetildeΛ}, Λ~~~,…\widetilde{\widetilde{\widetildeΛ}}, \dots, is shown to be periodic with period 22 (up to Morita equivalence); moreover, any two adjacent categories in the sequence P<∞(\mathcal{P}^{<\infty} ( mod-Λ~)\widetildeΛ), P<∞(Λ~~−mod)\mathcal{P}^{<\infty}(\widetilde{\widetildeΛ}-mod), P<∞(\mathcal{P}^{<\infty}( mod-Λ~~~),…\widetilde{\widetilde{\widetildeΛ}}), \dots are dual via contravariant Hom-functors induced by tilting bimodules which are strong on both sides.

preprint2014arXiv

Classifying representations by way of Grassmannians

Let ΛΛ be a finite dimensional algebra over an algebraically closed field. Criteria are given which characterize existence of a fine or coarse moduli space classifying, up to isomorphism, the representations of ΛΛ with fixed dimension dd and fixed squarefree top TT. Next to providing a complete theoretical picture, some of these equivalent conditions are readily checkable from quiver and relations. In case of existence of a moduli space -- unexpectedly frequent in light of the stringency of fine classification -- this space is always projective and, in fact, arises as a closed subvariety GrassdT{\mathfrak{Grass}}^T_d of a classical Grassmannian. Even when the full moduli problem fails to be solvable, the variety GrassdT{\mathfrak{Grass}}^T_d is seen to have distinctive properties recommending it as a substitute for a moduli space. As an application, a characterization of the algebras having only finitely many representations with fixed simple top is obtained; in this case of `finite local representation type at a given simple TT', the radical layering (JlM/Jl+1M)l≥0\bigl( J^lM/ J^{l+1}M \bigr)_{l \ge 0} is shown to be a classifying invariant for the modules with top TT. This relies on the following general fact obtained as a byproduct: Proper degenerations of a local module MM never have the same radical layering as MM.

preprint2014arXiv

Direct products of modules and the pure semisimplicity conjecture

It is shown that, if RR is either an Artin algebra or a commutative noetherian domain of Krull dimension 11, then infinite direct products of RR-modules resist direct sum decomposition as follows: If (Mn)n∈N(M_n)_{n \in \Bbb N} is a family of non-isomorphic, finitely generated, indecomposable RR-modules, then ∏n∈NMn\prod_{n\in \Bbb N} M_n is not a direct sum of finitely generated modules. The bearing of this direct product condition on the pure semisimplicity problem is discussed.

preprint2014arXiv

Direct products of modules and the pure semisimplicity conjecture. Part II

We prove that the module categories of Noether algebras (i.e., algebras module finite over a noetherian center) and affine noetherian PI algebras over a field enjoy the following product property: Whenever a direct product ∏n∈NMn\prod_{n \in \Bbb N} M_n of finitely generated indecomposable modules MnM_n is a direct sum of finitely generated objects, there are repeats among the isomorphism types of the MnM_n. The rings with this property satisfy the pure semisimplicity conjecture which stipulates that vanishing one-sided pure global dimension entails finite representation type.

preprint2014arXiv

Direct sums of representations as modules over their endomorphism rings

This paper is devoted to the study of the endo-structure of infinite direct sums ⨁i∈IMi\bigoplus_{i \in I} M_i of indecomposable modules MiM_i over a ring RR. It is centered on the following question: If S=EndR(⨁i∈IMi)S = \text{End}_R \bigl( \bigoplus_{i \in I} M_i \bigr), how much pressure, in terms of the SS-structure of ⨁i∈IMi\bigoplus_{i \in I} M_i, is required to force the MiM_i into finitely many isomorphism classes? In case the MiM_i are endofinite (i.e., of finite length over their endomorphism rings), the number of isomorphism classes among the MiM_i is finite if and only if ⨁i∈IMi\bigoplus_{i \in I} M_i is endo-noetherian and the MiM_i form a right TT-nilpotent class. This is a corollary of a more general theorem in the paper which features the weaker conditions of (right or left) semi-TT-nilpotence as well as the endosocle of a module. This result is sharpened in the case of Artin algebras, by showing that then, if the MiM_i are finitely generated, the direct sum ⨁i∈IMi\bigoplus_{i \in I} M_i is endo-Artinian if and only if it is ΣΣ-algebraically compact.

preprint2014arXiv

Purity, algebraic compactness, direct sum decompositions, and representation type

This survey article is devoted to the notions of purity, algebraic and ΣΣ-algebraic compactness, direct sum decompositions, and representation type in the category of modules over a ring. It begins with basic definitions, a brief history, and a discussion of global decomposition problems going back to work of Köthe and Cohen-Kaplansky; these are strongly tied to algebraic compactness. Characterisations of (ΣΣ-)algebraically compact modules are presented, as well as the functorial underpinnings on which they are based. In particular, product-compatible functors, matrix functors and pp-functors are discussed. The latter part of the article is devoted to rings of vanishing left pure global dimension, product completeness, endofiniteness, the pure semisimplicity problem and its connection with a strong Artin problem on division ring extensions.

preprint2014arXiv

Stacks of algebras and their homology

For any increasing function f:N→N≥2f: {\Bbb N} \rightarrow {\Bbb N}_{\ge 2} which takes only finitely many distinct values, a connected finite dimensional algebra ΛΛ is constructed, with the property that fin.dimn Λ=f(n)\text{fin.dim}_n\, Λ= f(n) for all nn; here fin.dimn Λ\text{fin.dim}_n\, Λ is the nn-generated finitistic dimension of ΛΛ. The stacking technique developed for this construction of homological examples permits strong control over the higher syzygies of ΛΛ-modules in terms of the algebras serving as layers.

preprint2014arXiv

The geometry of finite dimensional algebras with vanishing radical square

Let ΛΛ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical JJ vanishes. We determine the irreducible components of the module variety Modd(Λ)\text{Mod}_{\bf d}(Λ) for any dimension vector d\bf d. Our description leads to a count of the components in terms of the underlying Gabriel quiver. A closed formula for the number of components when ΛΛ is local extends existing counts for the two-loop quiver to quivers with arbitrary finite sets of loops. For any algebra ΛΛ with J2=0J^2 = 0, our criteria for identifying the components of Modd(Λ)\text{Mod}_{\bf d}(Λ) permit us to characterize the modules parametrized by the individual irreducible components. Focusing on such a component, we explore generic properties of the corresponding modules by establishing a geometric bridge between the algebras with zero radical square on one hand and their stably equivalent hereditary counterparts on the other. The bridge links certain closed subvarieties of Grassmannians parametrizing the modules with fixed top over the two types of algebras. By way of this connection, we transfer results of Kac and Schofield from the hereditary case to algebras of Loewy length 22. Finally, we use the transit of information to show that any algebra of Loewy length 22 which enjoys the dense orbit property in the sense of Chindris, Kinser and Weyman has finite representation type.

preprint2014arXiv

The geometry of uniserial representations of algebras II. Alternate viewpoints and uniqueness

We provide two alternate settings for a family of varieties modeling the uniserial representations with fixed sequence of composition factors over a finite dimensional algebra. The first is a quasi-projective subvariety of a Grassmannian containing the members of the mentioned family as a principal affine open cover; among other benefits, one derives invariance from this intrinsic description. The second viewpoint re-interprets the `uniserial varieties' as locally closed subvarieties of the traditional module varieties; in particular, it exhibits closedness of the fibres of the canonical maps from the uniserial varieties to the uniserial representations.

preprint2014arXiv

The geometry of uniserial representations of finite dimensional algebras I

It is shown that, given any finite dimensional, split basic algebra Λ=KΓ/IΛ= KΓ/I (where ΓΓ is a quiver and II an admissible ideal in the path algebra KΓK Γ), there is a finite list of affine algebraic varieties, the points of which correspond in a natural fashion to the isomorphism types of uniserial left ΛΛ-modules, and the geometry of which faithfully reflects the constraints met in constructing such modules. A constructive coordinatized access to these varieties is given, as well as to the accompanying natural surjections from the varieties onto families of uniserial modules with fixed composition series. The fibres of these maps are explored, one of the results being a simple algorithm to resolve the isomorphism problem for uniserial modules. Moreover, new invariants measuring the complexity of the uniserial representation theory are derived from the geometric viewpoint. Finally, it is proved that each affine algebraic variety arises as a variety of uniserial modules over a suitable finite dimensional algebra, in a setting where the points are in one-one correspondence with the isomorphism classes of uniserial modules.

preprint2014arXiv

The geometry of uniserial representations of finite dimensional algebras III: Finite uniserial type

A description is given of those sequences S=(S(0),S(1),…,S(l)){\Bbb S}= (S(0),S(1),\dots,S(l)) of simple modules over a finite dimensional algebra for which there are only finitely many uniserial modules with consecutive composition factors S(0),…,S(l)S(0),\dots,S(l). Necessary and sufficient conditions for an algebra to permit only a finite number of isomorphism types of uniserial modules are derived. The main tools in this investigation are the affine algebraic varieties parametrizing the uniserial modules with composition series S{\Bbb S}.

preprint2014arXiv

The phantom menace in representation theory

Our principal goal in this overview is to explain and motivate the concept of a phantom in the representation theory of a finite dimensional algebra ΛΛ. In particular, we exhibit the key role of phantoms towards understanding how a full subcategory A\cal A of the category Λ-modΛ\text{-mod} of all finitely generated left ΛΛ-modules is embedded into Λ-modΛ\text{-mod}, in terms of maps leaving or entering A\cal A. Contents: 1. Introduction and prerequisites; 2. Contravariant finiteness and first examples; 3. Homological importance of contravariant finiteness and a model application of the theory; 4. Phantoms. Definitions, existence, and basic properties; 5. An application: Phantoms over string algebras.

preprint2014arXiv

Top-stable degenerations of finite dimensional representations I

Given a finite dimensional representation MM of a finite dimensional algebra, two hierarchies of degenerations of MM are analyzed in the context of their natural orders: the poset of those degenerations of MM which share the top M/JMM/JM with MM - here JJ denotes the radical of the algebra - and the sub-poset of those which share the full radical layering (JlM/Jl+1M)l≥0\bigl(J^lM/J^{l+1}M\bigr)_{l \ge 0} with MM. In particular, the article addresses existence of proper top-stable or layer-stable degenerations - more generally, it addresses the sizes of the corresponding posets including bounds on the lengths of saturated chains - as well as structure and classification.

preprint2014arXiv

Varieties of uniserial representations IV. Kinship to geometric quotients

Let ΛΛ be a finite dimensional algebra over an algebraically closed field, and S{\Bbb S} a finite sequence of simple left ΛΛ-modules. In [6, 9], quasiprojective algebraic varieties with accessible affine open covers were introduced, for use in classifying the uniserial representations of ΛΛ having sequence S{\Bbb S} of consecutive composition factors. Our principal objectives here are threefold: One is to prove these varieties to be `good approximations' -- in a sense to be made precise -- to geometric quotients of the classical varieties Mod-Uni⁡(S)\operatorname{Mod-Uni}({\Bbb S}) parametrizing the pertinent uniserial representations, modulo the usual conjugation action of the general linear group. To some extent, this fills the information gap left open by the frequent non-existence of such quotients. A second goal is that of facilitating the transfer of information among the `host' varieties into which the considered uniserial varieties can be embedded. These tools are then applied towards the third objective, concerning the existence of geometric quotients: We prove that Mod-Uni⁡(S)\operatorname{Mod-Uni}({\Bbb S}) has a geometric quotient by the GLGL-action precisely when the uniserial variety has a geometric quotient modulo a certain natural algebraic group action, in which case the two quotients coincide. Our main results are exploited in a representation-theoretic context: Among other consequences, they yield a geometric characterization of the algebras of finite uniserial type which supplements existing descriptions, but is cleaner and more readily checkable.

preprint2014arXiv

Viewing finite dimensional representations through infinite dimensional ones

We develop criteria for deciding the contravariant finiteness status of a subcategory A⊆Λ-modA \subseteq Λ\text{-mod}, where ΛΛ is a finite dimensional algebra. In particular, given a finite dimensional ΛΛ-module XX, we introduce a certain class of modules -- we call them AA-phantoms of XX -- which indicate whether or not XX has a right AA-approximation: We prove that XX fails to have such an approximation if and only if XX has infinite-dimensional AA-phantoms. Moreover, we demonstrate that large phantoms encode a great deal of additional information about XX and AA and that they are highly accessible, due to the fact that the class of all AA-phantoms of XX is closed under subfactors and direct limits.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.