Related papers: W-Types with Reductions and the Small Object Argum…

Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a…

We investigate the W-algebra resulting from Drinfel'd-Sokolov reduction of a $B_2$ WZW model with respect to the grading induced by a short root. The quantum algebra, which is generated by three fields of spin-2 and a field of spin-1, is…

We derive sufficient conditions under which the ``second'' Hamiltonian structure of a class of generalized KdV-hierarchies defines one of the classical $\cal W$-algebras obtained through Drinfel'd-Sokolov Hamiltonian reduction. These…

Motivated by the theory of Inoue-type varieties, we give a structure theorem for projective manifolds $W_0$ with the property of admitting a 1-parameter deformation where $W_t$ is a hypersurface in a projective smooth manifold $Z_t$. Their…

In this paper we study the finitely generated algebras underlying $W$ algebras. These so called 'finite $W$ algebras' are constructed as Poisson reductions of Kirillov Poisson structures on simple Lie algebras. The inequivalent reductions…

We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between…

We show that one can construct a classical affine W-algebra via a classical BRST complex. This definition clarifies that classical affine W-algebras can be considered as quasi-classical limits of quantum affine W-algebras. We also give a…

We prove that there exists a version of Weil descent, or Weil restriction, in the category of $\mathcal{D}$-algebras. The objects of this category are $k$-algebras $R$ equipped with a homomorphism $e \colon R \to R \otimes_k \mathcal{D}$…

The problem of gauging a closed form is considered. When the target manifold is a simple Lie group G, it is seen that there is no obstruction to the gauging of a subgroup H\subset G if we may construct from the form a cocycle for the…

We prove universal (case-free) formulas for the weighted enumeration of factorizations of Coxeter elements into products of reflections valid in any well-generated reflection group $W$, in terms of the spectrum of an associated operator,…

We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

For every commutative ring $A$, one has a functorial commutative ring $W(A)$ of $p$-typical Witt vectors of $A$, an iterated extension of $A$ by itself. If $A$ is not commutative, it has been known since the pioneering work of L. Hesselholt…

This paper consists of two parts. In the first part, we prove that when $\mathfrak{g}$ is a simple basic Lie superalgebra with a principal odd nilpotent element $f$, the W-algebra $W^k(\mathfrak{g}, F)$ for $F=-\frac{1}{2}[f,f]$ is…

We define lowest weight polynomials (LWPs), motivated by $so(d,2)$ representation theory, as elements of the polynomial ring over $ d \times n $ variables obeying a system of first and second order partial differential equations. LWPs…

We introduce a dependent type theory whose models are weak {\omega}-categories, generalizing Brunerie's definition of {\omega}-groupoids. Our type theory is based on the definition of {\omega}-categories given by Maltsiniotis, himself…

We analyze the structure of left maps in algebraic weak factorization systems constructed using Garner's algebraic small object argument. We find that any left map can be constructed from generators in Bourke and Garner's double category of…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Given an irreducible contractible open 3-manifold W which is not homeomorphic to R^3, there is an associated simplicial complex S(W), the complex of end reductions of W. Whenever W covers a 3-manifold M one has that the fundamental group of…