Related papers: Cube term blockers without finiteness
We study idempotents in intensional Martin-L\"of type theory, and in particular the question of when and whether they split. We show that in the presence of propositional truncation and Voevodsky's univalence axiom, there exist idempotents…
If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…
The celebrated Drozd's theorem asserts that a finite-dimensional basic algebra $\Lambda$ over an algebraically closed field $k$ is either tame or wild, whereas the Crawley-Boevey's theorem states that given a tame algebra $\Lambda$ and a…
Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type…
In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot…
Finite-dimensional Jacobian algebras are studied from the perspective of representation types. We establish that (like other representation types) the notions of $E$-finiteness and $E$-tameness are invariant under mutations of quivers with…
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…
In this article we provide a combinatorial sufficient (and conjecturally, necessary) condition (called $\alpha$-symmetry) for the mating of two postcritically finite polynomials in $\mathcal{S}_1$ to be obstructed. To do this, we study the…
We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be…
Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus…
In this paper, motivated by a $\tau$-tilting version of the Brauer-Thrall Conjectures, we study general properties of band modules and their endomorphisms in the module category of a finite dimensional algebra. As an application we describe…
For the truncated moment problem associated to a complex sequence $\gamma ^{(2n)}=\{\gamma _{ij}\}_{i,j\in Z_{+},i+j \leq 2n}$ to have a representing measure $\mu $, it is necessary for the moment matrix $M(n)$ to be positive semidefinite,…
If $A$ and $B$ are $n$- and $m$-representation finite $k$-algebras, then their tensor product $\Lambda = A\otimes_k B$ is not in general $(n+m)$-representation finite. However, we prove that if $A$ and $B$ are acyclic and satisfy the weaker…
The exponential orthogonal polynomials encode via the theory of hyponormal operators a shade function $g$ supported by a bounded planar shape. We prove under natural regularity assumptions that these complex polynomials satisfy a three term…
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also…
Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of…
We obtain criteria for when a ring with enough idempotents is left/right artinian or noetherian in terms of local criteria defined by the associated complete set of idempotents for the ring. We apply these criteria to object unital category…
We investigate the function $d_\mathbf{A}(n)$, which gives the size of a least size generating set for $\mathbf{A}^n$, in the case where $\mathbf{A}$ has a cube term. We show that if $\mathbf{A}$ has a $k$-cube term and $\mathbf{A}^k$ is…
A classical result in additive combinatorics, which is a combination of Balog-Szemer\'edi-Gowers theorem and a variant of Freiman's theorem due to Ruzsa, says that if a subset $A$ of $\mathbb{F}_p^n$ contains at least $c |A|^3$ additive…
Classical Castelnuovo Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if…