Related papers: Perfect algebraic stacks
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs,…
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…
In this paper we discuss metric theory associated with the affine (inhomogeneous) linear forms in the so called doubly metric settings within the classical and the mixed setups. We consider the system of affine forms given by $\qq\mapsto…
In this exposition-type note we present detailed proofs of certain assertions concerning several algebraic properties of the cone and cylinder algebras. These include a determination of the maximal ideals, the solution of the B\'ezout…
The $\lambda$-perfect maps, a generalization of perfect maps (continuous closed maps with compact fibers) are presented. Using $P_\lambda$-spaces and the concept of $\lambda$-compactness some results regarding $\lambda$-perfect maps will be…
Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…
We study some topological properties of maximal ideal spaces of certain algebras of almost periodic functions. Our main result is that such spaces are contractible. We present certain corollaries of this result.
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
We classify the finite quasisimple groups whose commuting graph is perfect and we give a general structure theorem for finite groups whose commuting graph is perfect.
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
We completely characterize perfect, permutative, irreducible representations of an ultragraph Leavitt path algebra. For this we extend to ultragraph Leavitt path algebras Chen's construction of irreducible representations of Leavitt path…
New relations between algebraic geometry, information theory and Topological Field Theory are developed. One considers models of databases subject to noise i.e. probability distributions on finite sets, related to exponential families. We…
We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the…
We consider affine representable algebras, that is, finitely generated algebras over a field that can be embedded into some matrix algebra over a commutative algebra. We show that this algebra can in fact be chosen to be a polynomial…
We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors…
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set…
Recently, it has been shown that the statistical manifold, related to exponential families, has a Frobenius manifold structure and appears as the fourth class of Frobenius manifolds. It has a structure of a projective manifold over a rank…