Related papers: An operadic proof of the BTT Theorem
Using the algebraic geometry method of Berenstein et al (hep-th/0005087), we reconsider the derivation of the non commutative quintic algebra ${\mathcal{A}}_{nc}(5)$ and derive new representations by choosing different sets of Calabi-Yau…
We prove a multilinear local $T(b)$ theorem that differs from previously considered multilinear local $T(b)$ theorems in using exclusively general testing functions $b$ as opposed to a mix of general testing functions and indicator…
We prove the non-vanishing conjecture for lc pairs $(X,\Delta)$ when $X$ is of Calabi--Yau type.
We consider a set of toric Calabi-Yau varieties which arise as deformations of the small resolutions of type A surface singularities. By careful analysis of the heuristics of B-brane transport in the associated GLSMs, we predict the…
We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…
We present an orbifold topological vertex formalism for PT invariants of toric Calabi-Yau 3-orbifolds with transverse $A_{n-1}$ singularities. We give a proof of the orbifold DT/PT Calabi-Yau topological vertex correspondence. As an…
In this note, a procedure is developed to explicitly construct non-trivial F-theory lifts of perturbative IIB orientifold models on Calabi-Yau complete intersections in toric varieties. This procedure works on Calabi-Yau orientifolds where…
Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of…
According to a well-known theorem of Serre and Tate, the infinitesimal deformation theory of an abelian variety in positive characteristic is equivalent to the infinitesimal deformation theory of its Barsotti-Tate group. We extend this…
We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…
This paper gives a simple example of a family of Calabi-Yaus of any dimension with canonical singularities of dimension one, whose Kuranishi space is singular. Thus the Bogomolov-Tian-Todorov unobstructedness theorem is not true for…
We investigate topological properties of Calabi-Yau fourfolds and consider a wide class of explicit constructions in weighted projective spaces and, more generally, toric varieties. Divisors which lead to a non-perturbative superpotential…
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…
We discuss derived categories of coherent sheaves on algebraic varieties. We focus on the case of non-singular Calabi-Yau varieties and consider two unsolved problems: proving that birational varieties have equivalent derived categories,…
We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization result is reduction-free, in the sense of yielding a bijection…
We study the structures of klt Calabi--Yau pairs. We show that the discrepancies of log centers of all klt Calabi--Yau varieties with fixed dimension are in a finite set. As a corollary, we show that the index of 4-dimensional non-canonical…
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of…
A classical problem in algebraic geometry is to construct smooth algebraic varieties with prescribed properties. In the approach via smoothings, one first constructs a degenerate scheme with the prescribed properties, and then shows the…
We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We…