Related papers: Arrow reductions for the finitistic dimension conj…

Let $\mathbb{Z}$ be the integer numbers, $\mathbb{K}$ an algebraically closed field, $\Lambda$ a finite dimensional $\mathbb{K}$-algebra, mod$\Lambda$ the category of finitely generated right modules, proj$\Lambda$ the full subcategory of…

We show that a real finite-dimensional unital associative algebra is naturally associated with a vector space of pseudo-Finsler norms whose members are linked to the algebra's space of normalized trace forms through an integral transform.…

We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke (NAND) and Peirce's…

Let $\Lambda$ be a finite dimensional algebra of type ${\mathbb A}_n$ over an algebraically closed field $K$ with the quiver $Q$ and let $|\Det(\Lambda)|$ be the number of the minimal right determiners of all irreducible morphisms between…

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places…

Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical $J$ vanishes. We determine the irreducible components of the module variety $\text{Mod}_{\bf…

We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…

We consider dimensional reduction of gauge theories with arbitrary gauge group in a formalism based on equivariant principal bundles. For the classical gauge groups we clarify the relations between equivariant principal bundles and quiver…

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that,…

In this paper, we consider a finite-dimensional optimization problem minimizing a continuous objective on a compact domain subject to a multi-dimensional constraint function. For the latter, we assume the availability of a global Lipschitz…

A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms…

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure…

This paper extends an algorithm and canonical embedding by Cauchon to a large class of quantum algebras. It applies to iterated Ore extensions over a field satisfying some suitable assumptions which cover those of Cauchon's original setting…

We resolve a long-standing open problem posed by Federer concerning the rectifiability of the integral geometric measure with exponent p >1, thereby settling a question that has persisted since its formulation. While the main theorem is…

Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the…

The Gabriel-Roiter measure is used to give an alternative proof of the finiteness of the representation dimension for Artin algebras, a result established by Iyama in 2002. The concept of Gabriel-Roiter measure can be extended to abelian…

There is a well-known class of algebras called Igusa-Todorov algebras which were introduced in relation to finitistic dimension conjecture. As a generalization of Igusa-Todorov algebras, the new notion of $(m,n)$-Igusa-Todorov algebras…