Related papers: Quot Functors for Deligne-Mumford Stacks

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of…

This informal note collects key results and open problems on the (co)homology of the Deligne-Mumford moduli spaces of real marked rational curves. The open problems are both of topological nature, aiming to investigate the (co)homology of…

We construct an arithmetic period map for cubic fourfolds, in direct analogy with Rizov's work on K3 surfaces. For each $N\geq 1$, we introduce a Deligne-Mumford stack $\widetilde{\mathcal{C}^{[N]}}$ of cubic fourfolds with level structure…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…

In this thesis, we construct a new version of orthogonal calculus for functors $F$ from $C_2$-representations to $C_2$-spaces, where $C_2$ is the cyclic group of order 2. For example, the functor $BO(-)$, which sends a $C_2$-representation…

The mathematical problem of localizing modular functors to neighborhoods of points is shown to be closely related to the physical problem of engineering a local Hamiltonian for a computationally universal quantum medium. For genus $=0$…

Rank functors on a quiver $Q$ are certain additive functors from the category of representations of $Q$ to the category of finite-dimensional vector spaces. Composing with the dimension function on vector spaces gives a rank function on…

Given a fixed binary form $f(u,v)$ of degree $d$ over a field $k$, the associated \emph{Clifford algebra} is the $k$-algebra $C_f=k\{u,v\}/I$, where $I$ is the two-sided ideal generated by elements of the form $(\alpha u+\beta…

Consider a Kleinian singularity $ \mathbb{C}^2/\Gamma $, where $ \Gamma $ is a finite subgroup of $ SL_2(\mathbb{C}) $. In this paper, we construct moduli spaces of framed sheaves on a projective Deligne-Mumford stack compactifying the…

Let $\mathcal{F}$ be a coherent $\mathcal{O}_X$-module over a complex manifold $X$, and let $G$ be a vector bundle on $X$. We describe an explicit isomorphism between two different representations of the global…

Unitary principal series representations of the conformal group appear in the dS/CFT correspondence. These are infinite dimensional irreducible representations, without highest weights. In earlier work of Guijosa and the author it was shown…

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…

Let $F$ be the function field of a projective smooth geometrically connected curve $X$ defined over a finite field $\mathbb{F}_q$. Let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Let $S$ be a non-empty finite set of…

We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…

Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…

For each adjointable idempotent $Q$ on a Hilbert $C^*$-module $H$, a specific projection $m(Q)$ called the matched projection of $Q$ was introduced recently due to the characterization of the minimum value among all the distances from…

For any marked three manifold $(M,\mathcal N)$ and any quantum parameter $q^{\frac{1}{2}}$ (a nonzero complex number), we use $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})$ to denote the stated skein module of $(M,\mathcal{N})$. When…

Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally…