Related papers: Categorical cones and quadratic homological projec…

We define the notion of mirror of a Calabi-Yau manifold with a stable bundle in the context of type II strings in terms of supersymmetric cycles on the mirror. This allows us to relate the variation of Hodge structure for cohomologies…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

We introduce a notion of homological flips and homological flops. The former includes the class of all flips between Gorenstein normal varieties; while the latter includes the class of all flops between Cohen-Macaulay normal varieties whose…

We classify all wormhole singularities, i.e. cyclic quotient surface singularities admitting at least two extremal P-resolutions, thereby solving an open problem posed by Urz\'ua. Our approach introduces a new combinatorial framework based…

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

We consider the union of certain irreducible components of cohomological support loci of the canonical bundle, which we call standard. We prove a structure theorem about them and single out some particular cases, recovering and improving…

Inspired by the simple fact that a compact n-dimensional manifold-with-boundary which satisfies Poincar\'e-Lefschetz duality of dimension n has a boundary which itself satisfies Poincar\'e duality of dimension n, we show that the…

Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…

We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the…

We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…

The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

Let $X$ be a complex smooth projective variety of dimension $d$. Under some assumption on the cohomology of $X$, we construct mutually orthogonal idempotents in $CH_d(X \times X) \otimes \Q$ whose action on algebraically trivial cycles…

In this note we consider the motivic aspect of the middle cohomology of more than 200 classes of quasi-smooth Calabi--Yau threefolds inside weighted projective 4-space which come with an action of a cyclic group of even order. The action…

We construct of the main object of the Partite Lemma as the colimit over a certain diagram. This gives a purely category theoretic take on the Partite Lemma and establishes the canonicity of the object. Additionally, the categorical point…

We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal…

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

In this article we introduce a new class of non-commutative projective curves and show that in certain cases the derived category of coherent sheaves on them has a tilting complex. In particular, we prove that the right bounded derived…

Generalised characteristic classes are constructed for bordism cohomologies which allow a natural extension of classical genera to these bordism cohomology rings taking values in singular cohomology.