Related papers: Quot Functors for Deligne-Mumford Stacks

We prove that a GIT chamber quotient of an affine variety $X=Spec(A)$ by a reductive group $G$, where $A$ is an almost factorial domain, is a Mori dream space if it is projective, regardless of the codimension of the unstable locus. This…

Given a finite dimensional algebra $A$ over an algebraically closed field, we consider the $c$-vectors such as defined by Fu in \cite{Fu2017} and we give a new proof of its sign-coherence. Moreover, we characterise the modules whose…

We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

Let $X$ be a compact connected Riemann surface of genus at least two, and let ${\mathcal Q}_X(r,d)$ be the quot scheme that parametrizes all the torsion coherent quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. This ${\mathcal…

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…

The functionals on an ordered semigroup S in the category Cu--a category to which the Cuntz semigroup of a C*-algebra naturally belongs--are investigated. After appending a new axiom to the category Cu, it is shown that the "realification"…

Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular…

We prove that every quasi-Hopfian finitely presented structure $A$ has a $d$-$\Sigma_2$ Scott sentence, and that if in addition $A$ is computable and $Aut(A)$ satisfies a natural computable condition, then $A$ has a computable…

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git…

In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…

Certain integrable models are described by pairs (X,Y) of ADET Dynkin diagrams. At high energy these models are expected to have a conformally invariant limit. The S-matrix of the model determines algebraic equations, whose solutions are…

The normalized cochain complex of a simplicial set N^*(Y) is endowed with the structure of an E_{infinity} algebra. More specifically, we prove in a previous article that N^*(Y) is an algebra over the Barratt-Eccles operad. According to M.…

We define a functor from the category of Lie conformal algebras to the category of differential Lie coalgebras, which associates to any Lie conformal algebra $L$ a differential Lie coalgebra $L^{\,0}$, defined as the maximal good…

The notion of locally finite part of the dual coalgebra of certain quantized coordinate rings is introduced. In the case of irreducible flag manifolds this locally finite part is shown to coincide with a natural quotient coalgebra V of…

We study conformal field theories (CFTs) on curved spaces including both orientable and unorientable manifolds possibly with boundaries. We first review conformal transformations on curved manifolds. We then compute the identity components…

Recently, Gomez-Ullate et al. (1) have studied a particular N-particle quantum problem with an elliptic function potential supplemented by an external field. They have shown that the Hamiltonian operator preserves a finite dimensional space…

We study the Quot scheme of points $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$. We exhibit and compute the cohomology of explicit loci in $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$, whose complement has…

We prove an essentially surjective Galois-correspondence-like functor for $n$-stacks. More specifically, it gives an essentially surjective functor from the $\infty$-category of $n$-stacks of finite sets with an action of the fundamental…

We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…