Related papers: Projective length, phantom extensions, and the str…
Many important graph theoretic notions can be encoded as counting graph homomorphism problems, such as partition functions in statistical physics, in particular, independent sets and colourings. In this article we study the complexity of…
We define the notion of a $\lambda$-definable category, a generalisation of the notion of definable category from the model theory of modules. Let ${\cal C}$ be a $\lambda$-accessible additive category. We characterise the additive functors…
We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…
This paper builds upon J. Nilsson's classification of rank one $\mathcal{U}(\mathfrak{h})$-free modules by extending the analysis to modules without rank restrictions, focusing on the category $\mathfrak{A}$ of…
We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…
The geometric models for the module category and derived category of any gentle algebra were introduced to realize the objects in module category and derived category by permissible curves and admissible curves respectively. The present…
In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…
In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.
Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost…
We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension $\ExD(X)$ was introduced by…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
We extend results on asymptotic invariants of line bundles on complex projective varieties to projective varieties over arbitrary fields. To do so over imperfect fields, we prove a scheme-theoretic version of the gamma construction of…
We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…
We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…
For each positive integer $r$, we construct a nowhere-vanishing, single-cuspidal Drinfeld modular form for $\GL_r(\FF_q[\theta])$, necessarily of least possible weight, via determinants using rigid analytic trivializations of the universal…
The Ap\'ery numbers of Fano varieties are asymptotic invariants of their quantum differential equations. In this paper, we initiate a program to exhibit these invariants as (mirror to) limiting extension classes of higher cycles on the…
We give sufficient conditions to ensure that the ideal $\Phi(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $\lambda$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an…
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…
Let $X=Spec{A}$ denote a regular affine scheme, over a field $k$, with $1/2\in k$ and $\dim X=d$. Let $P$ denote a projective $A$-module of rank $n\geq 2$. Let $\pi_0\left({\mathcal LO}(P)\right)$ denote the (Nori) Homotopy Obstruction set,…
We broaden the scope of quantum field theory by introducing a general class of discrete gauge theories that realize either topological order or fracton behavior across dimensions. We start from translation-invariant systems endowed with…