Related papers: Minimal model structures

Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category of separable complex C*-algebras. Namely, they are in bijective…

Let $G$ be an algebraic real reductive group and $Z$ a real spherical $G$-variety, that is, it admits an open orbit for a minimal parabolic subgroup $P$. We prove a local structure theorem for $Z$. In the simplest case where $Z$ is…

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

A recent result by J. \v{S}aroch and J. \v{S}\v{t}ov\'{\i}\v{c}ek asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and…

For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective…

This paper contains an elementary proof of the existence of the classical model structure on the category of unbounded DG-Lie algebras over a field of characteristic zero, with an emphasis on the properties of free and semifree extensions,…

For a coisotropic (or first-class) submanifold C of a Poisson manifold X we consider star-products for which the vanishing ideal I of C becomes a left ideal in the deformed algebra thus defining a left module structure on the space of…

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure…

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\mathbb{R}^n$. In this framework, a CAD $\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\mathscr{C}$.…

By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher…

We compute the minimal model for Ginzburg algebras associated to acyclic quivers $Q$. In particular, we prove that there is a natural grading on the Ginzburg algebra making it formal and quasi-isomorphic to the preprojective algebra in…

We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…

Let L be a finite dimensional simple Lie algebra over an algebraically closed field of characteristic p>3. We prove in this paper that if all tori of maximal dimansion in the semisimple p-envelope of L are standard, the L is up to…

Let $\mathcal C$ be a small category with cofibrations. In this paper, we define the $K$-theory and Hochschild homology groups of $\mathcal C$ of order $Y$, where $Y$ is an ordered finite simplicial set with basepoint. Further, we construct…

The injective right comodules appearing in the minimal injective resolution of a finite-dimensional comodule need not to be of finite dimension or even quasi-finite. The obstruction here is that factor comodules of quasi-finite comodules…

We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…

In this note we prove that the set of all uniformly continuous units on a product system over a C* algebra B can be endowed with the structure of left right B - B Hilbert module after identifying similar units by the suitable equivalence…

Recently, tilting and cotilting classes over commutative noetherian rings have been classified in arXiv:1203.0907. We proceed and, for each n-cotilting class C, construct an n-cotilting module inducing C by an iteration of injective…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…