Related papers: Arrow reductions for the finitistic dimension conj…
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…
In this paper, we introduce new general frameworks for estimating the maximal dimension of Hilbert cubes contained in finite truncations of arbitrary sets. As applications, we investigate Hilbert cubes in a range of arithmetic sets,…
Let $k$ be a field. In this paper, we define the notion of semi-fiber products of commutative $k$-algebras and show that the class of such rings contains several classes of commutative rings, including that of the fiber products of local…
Many theories of quantum gravity live in higher dimensions, and their reduction to four dimensions via mechanisms such as Kaluza-Klein compactification or brane world models have associated problems. We propose a novel mechanism of…
Many canonical machine learning problems boil down to a convex optimization problem with a finite sum structure. However, whereas much progress has been made in developing faster algorithms for this setting, the inherent limitations of…
The Etzion-Silberstein conjecture asserts that, for any finite field $\mathbb F$, Ferrers diagram $\mathcal D$, and integer $d$, there exists a linear matrix code supported on $\mathcal D$ with minimum rank distance $d$ that attains a…
The irreducible components of varieties parametrizing the finite dimensional representations of a finite dimensional algebra $\Lambda$ are explored, with regard to both their geometry and the structure of the modules they encode. Provided…
We prove that a profinite algebra whose left (right) cyclic modules are torsionless is finite dimensional and QF. We give a relative version of the notion of left (right) PF ring for pseudocompact algebras and prove it is left-right…
Let $A$ be an Artin algebra. We investigate subalgebras of $A$ with certain conditions and obtain some classes of algebras whose finitistic dimensions are finite.
We study the meet irreducible ideals in certain direct limit algebras, namely the strongly maximal triangular subalgebras of AF C*-algebras. These ideals have a description in terms of the coordinates, or spectrum, that is a natural…
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…
We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their…
Repetitiveness in projective and injective resolutions and its influence on homological dimensions are studied. Some variations on the theme of repetitiveness are introduced, and it is shown that the corresponding invariants lead to very…
Cluster algebras, introduced by Fomin and Zelevinsky through the process of quiver mutation, have become central objects in modern algebra and geometry, linking combinatorial constructions with diverse mathematical domains such as…
We prove an extension of the theorem of Drinfeld, Grinberg and Kazhdan to arcs with arbitrary residue field. As an application we show that the embedding codimension is generically constant on each irreducible subset of the arc space which…
We take a first step towards a reconstruction of finite tensor categories using finitely many $F$-matrices. The goal is to reconstruct a finite tensor category from its projective ideal. Here we set up the framework for an important…
We study in this paper Hida's p-adic Hecke algebra for GL_n over a CM field F. Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the non-abelian Leopoldt conjecture, and shown that his conjecture in the…
We study the behaviors of cohomological Hall algebras and relevant subjects under an edge contraction. Given a quiver with potential and fix an arrow, the edge contraction is a way to construct a new quiver with potential. We show that…
A new algorithm for one-dimensional minimization is described in detail and the results of some tests on practical cases are reported and illustrated. The method requires only punctual computation of the function, and is suitable to be…
We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs. These facts properly…