Is tame open? No answer so far. One may pose the Tame-Open Conjecture: Tame is open. But how to support it? No effective way to date. In this note, the rank of a wild algebra is introduced. The Wild-Rank Conjecture, which implies the Tame-Open Conjecture, is formulated. The Wild-Rank Conjecture is improved to the Basic-Wild-Rank Conjecture. A covering criterion on the rank of a basic wild algebra is given, which can be effectively applied to verify the Basic-Wild-Rank Conjecture for concrete algebras. It makes all conjectures much reliable.
We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".
We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. The proof is based on the technique of matrix problems (boxes and reduction algorithm). It implies, in particular, that any degeneration of a derived wild algebra is derived wild; respectively, any deformation of a derived tame algebra is derived tame.
We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. We also prove that any deformation of a derived tame algebra is derived tame.
We provide a complete classification of all tame and wild symmetric special multiserial algebras in terms of the underlying Brauer configuration. Our classification contains the symmetric special multiserial algebras of finite representation type.
We prove the tame-wild dichotomy conjecture, due to D. Simson, for infinite dimensional algebras and coalgebras. The key part of the approach is proving new representation theoretic characterizations local finiteness. Among other, we show that the Ext quiver of the category ${\rm f.d.-}A$ of finite dimensional representations of an arbitrary algebra $A$ is locally finite (i.e. $\dim(\Ext^1(S,T))<\infty$ for all simple finite dimensional $A$-modules $S,T$) if and only if for every dimension vector $\underline{d}$, the representations of $A$ of dimension vector $\underline{d}$ are all contained …
We present a class of wild matrix problems (representations of boxes), which are "brick-tame," i.e. only have one-parameter families of \emph{bricks} (representations with trivial endomorphism algebra). This class includes several boxes that arise in study of simple vector bundles on degenerations of elliptic curves, as well as those arising from the coadjoint action of some linear groups.
In this paper, we consider the problem of determining when two tensor networks are equivalent under a heterogeneous change of basis. In particular, to a string diagram in a certain monoidal category (which we call tensor diagrams), we formulate an associated abelian category of representations. Each representation corresponds to a tensor network on that diagram. We then classify which tensor diagrams give rise to categories that are finite, tame, or wild in the traditional sense of representation theory. For those tensor diagrams of finite and tame type, we classify the indecomposable represen…
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, re…
Let $Λ$ be a finite-dimensional algebra over an algebraically closed field, then $Λ$ is either tame or wild. Is there any homological description in terms of AR-translations on tameness? Or equivalently, is there any combinatorial description in terms of AR-quivers? The answer is yes. In the present paper we prove the following main theorem: ``$Λ$ is tame if and only if almost all modules are isomorphic to their Auslander-Reiten translations, if and only if they lie in homogeneous tubes". The method used in the paper is bimodule problem, which has been studied by several authors. We treat bimo…
In continuation of the article \cite{L} we classify all radically graded basic Hopf algebras of tame type over an algebraically closed field of characteristic 0.
The celebrated Drozd's theorem asserts that a finite-dimensional basic algebra $Λ$ over an algebraically closed field $k$ is either tame or wild, whereas the Crawley-Boevey's theorem states that given a tame algebra $Λ$ and a dimension $d$, all but finitely many isomorphism classes of indecomposable $Λ$-modules of dimension $d$ are isomorphic to their Auslander-Reiten translations and hence belong to homogeneous tubes. In this paper, we prove the inverse of Crawley-Boevey's theorem, which gives an internal description of tameness in terms of Auslander-Reiten quivers.
A famous result by Drozd says that a finite-dimensional representation-infinite algebra is of either tame or wild representation type. But one has to make assumption on the ground field. The Gabriel-Roiter measure might be an alternative approach to extend these concepts of tame and wild to arbitrary artin algebras. In particular, the infiniteness of the number of GR segments, i.e. sequences of Gabriel-Roiter measures which are closed under direct predecessors and successors, might relate to the wildness of artin algebras. As the first step, we are going to study the wild quiver with three ver…
Let $Λ$ be a finite-dimensional basic algebra over an algebraically closed field $k$. The well-known Drozd's theorem asserts, that $Λ$ is either tame or wild. The Crawley-Boevey's Theorem states that for a given tame algebra $Λ$, and for each dimension $d$ almost all isomorphism classes of indecomposable $Λ$-modules of dimension $d$ are isomorphic to their Auslander-Reiten translations and hence belong to homogeneous tubes. In this paper we prove the converse of Crawley-Boevey's Theorem and thus give an internal description of tameness in terms of AR-quivers. This gives a complete answer to a …
We study minimal disjoint degenerations for representations of tame quivers. In particular, we prove that their codimensions are bounded by 2. Therefore a quiver is Dynkin resp. Euclidean resp. wild iff the codimensions are 1 resp. bounded by 2 resp. unbounded. We explain also that for tame quivers the complete classification of all minimal disjoint degenerations is a finite problem that can be solved with the help of a computer.
Let k be an algebraically closed field of characteristic p> 0. For a basic classical Lie superalgebra, we show its restricted cohomology algebra is a finitely generated algebra. Thus the cohomological support theory can be established. As a consequence, we show that the restricted enveloping algebra of a basic classical Lie superalgebra g is always wild except g=sl(2) or g=osp(1|2) or g=C(2). Moreover, all finite dimensional indecomposable restricted representations of u(osp(1|2)), the restricted enveloping algebra of Lie superalgebra osp(1|2), are determined.
We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get that a degeneration of a derived wild algebra is derived wild too. We also explain why the so-called counter-example of Bruestle is in fact not a counter-example.
In this note we are concerned with the notion of amenable representation type as defined in a recent paper by Gábor Elek. Roughly speaking, an algebra is of amenable type if for all $\varepsilon > 0$, every finite-dimensional module has a submodule which is a direct sum of modules which are small with respect to $\varepsilon$ such that the quotient is also small in that respect. We will show that the tame hereditary path algebras of quivers of extended Dynkin type over any field $k$ are of amenable type, thus extending a conjecture in the aforementioned paper to another class of tame algebras.…
For the algebra $I_n$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple weight and generalized weight (left and right) $I_n$-modules is given. It is proven that the category of weight $I_n$-modules is semisimple. An explicit description of generalized weight $I_n$-modules is given and using it a criterion is obtained for the problem of classification of indecomposable generalized weight $I_n$-modules to be of finite representation type, tame or wild. In the tame case, a classification of indecomposable generalized weight $I_n$-modu…
In our previous work arXiv:1306.1770, we found all Borel-Schur algebra of finite representation type. In the present article, we determine which Borel-Schur algebras of infinite representation type are tame, and which are wild.
We establish representation types (finite, tame or wild) of finite dimensional Munn algebras with semisimple bases. As an application, we establish representation types of finite 0-simple semigroups and their mutually annihilating unions.
We establish a number of results which say, roughly, that interpretation functors preserve algebraic complexity. First we show that representation embeddings between categories of modules of finite-dimensional algebras induce embeddings of lattices of pp formulas and hence are non-decreasing on Krull-Gabriel dimension and uniserial dimension. A consequence is that the category of modules of any wild finite-dimensional algebra has width $\infty$ and hence, if the algebra is countable, there is a superdecomposable pure-injective representation. It is conjectured that a stronger result is true: t…
We introduce and study the algebras of generalized quaternion type, which are natural generalizations of algebras which occurred in the study of blocks of group algebras with generalized quaternion defect groups. We prove that all these algebras, with 2-regular Gabriel quivers, are periodic algebras of period 4 and very specific deformations of the weighted surface algebras of triangulated surfaces with arbitrarily oriented triangles. The main result o f the paper forms an important step towards the Morita equivalence classification of all periodic symmetric tame algebras of non-polynomial gro…
We prove a theorem which gives a bijection between the support $τ$-tilting modules over a given finite-dimensional algebra $A$ and the support $τ$-tilting modules over $A/I$, where $I$ is the ideal generated by the intersection of the center of $A$ and the radical of $A$. This bijection is both explicit and well-behaved. We give various corollaries of this, with a particular focus on blocks of group rings of finite groups. In particular we show that there are $τ$-tilting finite wild blocks with more than one simple module. We then go on to classify all support $τ$-tilting modules for all algeb…
A finite-dimensional algebra $A$ over an algebraically closed field $K$ is called periodic if it is periodic under the action of the syzygy operator in the category of $A-A-$ bimodules. The periodic algebras are self-injective and occur naturally in the study of tame blocks of group algebras, actions of finite groups on spheres, hypersurface singularities of finite Cohen-Macaulay type, and Jacobian algebras of quivers with potentials. Recently, the tame periodic algebras of polynomial growth have been classified and it is natural to attempt to classify all tame periodic algebras. We introduce …
We will give several descriptions of some basic examples of wild character varieties, including a discussion of links to work of Sibuya, Calabi and Euler, amongst others.
In this paper, we compute the projective class rings of the tensor product $\mathcal{H}_n(q)=A_n(q)\otimes A_n(q^{-1})$ of Taft algebras $A_n(q)$ and $A_n(q^{-1})$, and its cocycle deformations $H_n(0,q)$ and $H_n(1,q)$, where $n>2$ is a positive integer and $q$ is a primitive $n$-th root of unity. It is shown that the projective class rings $r_p(\mathcal{H}_n(q))$, $r_p(H_n(0,q))$ and $r_p(H_n(1,q))$ are commutative rings generated by three elements, three elements and two elements subject to some relations, respectively. It turns out that even $\mathcal{H}_n(q)$, $H_n(0,q)$ and $H_n(1,q)$ ar…
Let $\mathbb X\subset\mathbb P(V)$ be a projective variety, which is not contained in a hyperplane. Then every vector $v$ in $V$ can be written as a sum of vectors from the affine cone $X$ over $\mathbb X$. The minimal number of summands in such a sum is called the rank of $v$. The set of vectors of rank $r$ is denoted by $X_r$ and its projective image by $\mathbb X_r$. The r-th secant variety of $X$ is defined $σ_r(\mathbb X):=\bar{\sqcup_{s\le r}\mathbb X_s}$; it is called tame if $σ_r(\mathbb X)=\sqcup_{s\le r} \mathbb X_s$ and wild if the closure contains elements of higher rank. In this p…
