Related papers: On the deformation theory of $\mathbb{E}_\infty$-c…

We develop the theory of $\hbar$-vertex algebras, algebraic structures closely related to vertex algebras but with a deformed translation covariance axiom. We establish their structure theory, including analogues of Goddard's Uniqueness…

Certain integrable hierarchies appearing in random matrix theory, enumerative geometry, and conformal field theory are governed by Virasoro/$W$-algebra constraints and their $W$-representations.Motivated by the Gaussian Hermitian…

We show that there are four chiral ${\cal W}$-algebra extensions of $\mathfrak{so}(2,3)$ algebra and construct them explicitly. We do this by a simple identification of each of the inequivalent embeddings of a copy of…

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

We present methods for computing the explicit decomposition of the minimal simple affine $W$-algebra $W_k(\mathfrak g, \theta)$ at a conformal level $k$ as a module for its maximal affine subalgebra $\mathcal V_k(\mathfrak g^{\natural})$. A…

Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…

Given a continuous, odd, reducible and semi-simple $2$-dimensional representation $\bar\rho_0$ of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$, we study the relation between the universal deformation ring of the…

We propose a novel quantum integrable model for every non-simply laced simple Lie algebra ${\mathfrak g}$, which we call the folded integrable model. Its spectra correspond to solutions of the Bethe Ansatz equations obtained by folding the…

We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular…

We show that the weakly \'etale morphisms, used to define the pro-\'etale site of a scheme, are characterized by a lifting property similar to the one which characterizes formally \'etale morphisms. In order to prove this, we prove a…

We find all values of $k\in \mathbb C$, for which the embedding of the maximal affine vertex algebra in a simple minimal W-algebra $W_k(\mathfrak g,\theta)$ is conformal, where $\mathfrak g$ is a basic simple Lie superalgebra and $-\theta$…

Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates…

We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…

Given a one-dimensional formal group of height 2, let E be the Morava E-theory spectrum associated to its universal deformation over the Lubin-Tate ring. By computing with moduli spaces of elliptic curves, we give an explicitation for an…

We give an explicit description and calculate the dimension of the vector space of linear natural liftings of $p$-forms on $n$-dimensional manifolds $M$ to $q$-forms on $T^{{\mathbb D}^r_k}M$, where ${\mathbb D}^r_k$ is the Weil algebra of…

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical…

We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the…

Let $C$ be a complete algebraically closed extension of $\mathbb{Q}_p$, and let $\mathfrak{X}$ be a smooth formal scheme over $\mathcal{O}_C$. By the work of Bhatt--Morrow--Scholze, it is known that when $\mathfrak{X}$ is proper, the length…