Related papers: A categorification of the quantum Lefschetz princi…

We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is…

The aim of this paper is to generalize the notion of conformal blocks to the situation in which the Lie algebra they are attached to is not defined over a field, but depends on covering data of curves. The result will be a sheaf of…

The geometry of graded principal bundles is discussed in the framework of graded manifold theory of Kostant-Berezin-Leites. In particular, we prove that a graded principal bundle is globally trivial if and only if it admits a global graded…

In the first part of the paper, we prove that the category of diffeological spaces does not admit a model structure transferred via the smooth singular complex functor from simplicial sets, resolving in the negative a conjecture of…

Let X be a proper scheme and Z a prestack over X equipped with a flat connection. We give a local-to-global description of D-modules on the prestack S(Z) of flat sections of Z. Examples of S(Z) include the moduli stacks of principal…

Lattice field theories with a complex action can be studied numerically by allowing a complexified configuration space to be explored. Here we compare the recently introduced formulation on a Lefschetz thimble with the result from…

Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to…

We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic…

There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we extend such representations to deal with quantum channels. The result is a convex,…

We consider the internalization of the usual notion of principal bundle in a site that has all pullbacks and a terminal object. We use this notion to consider the explicit construction of quotient prestacks via presheaves of categories of…

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first…

A moduli space of stable quotients of the rank n trivial sheaf on stable curves is introduced. Over nonsingular curves, the moduli space is Grothendieck's Quot scheme. Over nodal curves, a relative construction is made to keep the torsion…

We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula…

A general noncommutative-geometric theory of principal bundles is presented. Quantum groups play the role of structure groups. General quantum spaces play the role of base manifolds. A differential calculus on quantum principal bundles is…

We develop a new method to construct the virtual fundamental classes for quasi-smooth derived schemes using the perverse sheaves of vanishing cycles on their $-1$-shifted contangent spaces. It is based on the author's previous work that can…

The moduli space of stable maps with divisible ramification uses $r$-th roots of a canonical ramification section to parametrise stable maps whose ramification orders are divisible by a fixed integer $r$. In this article, a virtual…