Kyoung-Seog Lee, Han-Bom Moon
We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan and Belmans-Mukhopadhyay. Finally, we produce a one-dimensional family of ACM bundles over the moduli space.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Given a smooth non-hyperelliptic prime Fano threefold X, we prove the existence of all rank 2 ACM vector bundles on X by deformation of semistable sheaves. We show that these bundles move in generically smooth components of the corresponding moduli space. We give applications to pfaffian representations of quartic threefolds in P^4 and cubic hypersurfaces of a smooth quadric of P^5.
Let P^n be the projective space of dimension n on an algebraically closed field of characteristic 0 and F be the image of the Segre embedding of P^1xP^1xP^1 inside P^7. In the present paper we deal with the moduli spaces of locally free sheaves E on F of rank 2 with h^i(F,E(t))=0 for i=1,2 and each integer t.
We classify indecomposable aCM bundles of rank $2$ on the del Pezzo threefold of degree $7$ and analyze the corresponding moduli spaces.
We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgeland stability conditions, in the example of instanton sheaves of minimal charge.
We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four.
ACM tilting bundles on a Geigle-Lenzing projective plane of type $(2,2,2,p)$
本文研究型 $(2,2,2,p)$ 的 Geigle–Lenzing 射影平面上的 ACM 倾斜丛，刻画线丛倾斜丛、给出构造程序，并获得其分类结果。
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative Tor-amplitude we define a derived stack classifying pseudo-coherent objects. For reasonable base schemes, this classifies the bounded derived category. In the case that X is a projective derived scheme flat over the base, we show the moduli is locally geometric and locally of almost finite type. Using this result, we prove the existence of a derived motivic Hall algebr…
In this paper we contribute to the construction of families of arithmetically Cohen-Macaulay (aCM) indecomposable vector bundles on a wide range of polarized surfaces $(X,\Oo_X(1))$ for $\Oo_X(1)$ an ample line bundle. In many cases, we show that for every positive integer $r$ there exists a family of indecomposable aCM vector bundles of rank $r$, depending roughly on $r$ parameters, and in particular they are of \emph{wild representation type}. We also introduce a general setting to study the complexity of a polarized variety $(X,\Oo_X(1))$ with respect to its category of aCM vector bundles. …
In this paper we prove that, for every $r \geq 2$, the moduli space $M^s_X(r;c_1,c_2)$ of rank $r$ stable vector bundles with Chern classes $c_1=rH$ and $c_2=(3r^2-r)/2$ on a nonsingular cubic surface $X \subset \mathbb{P}^3$ contains a nonempty smooth open subset formed by ACM bundles, i.e. vector bundles with no intermediate cohomology. The bundles we consider for this study are extremal for the number of generators of the corresponding module (these are known as Ulrich bundles), so we also prove the existence of indecomposable Ulrich bundles of arbitrarily high rank on $X$.
Let $X$ be any smooth prime Fano threefold of degree $2g-2$ in $\mathbb{P}^{g+1}$, with $g \in \{3,\ldots,10,12\}$. We prove that for any integer $d$ satisfying $\left\lfloor \frac{g+3}{2} \right\rfloor \leq d \leq g+3$ the Hilbert scheme parametrizing smooth irreducible elliptic curves of degree $d$ in $X$ is nonempty and has a component of dimension $d$, which is furthermore reduced except for the case when $(g,d)=(4,3)$ and $X$ is contained in a singular quadric. Consequently, we deduce that the moduli space of rank--two slope--stable $ACM$ bundles $\mathcal{F}_d$ on $X$ such that $\det(\ma…
Existence of ACM Bundles on Polarized Abelian Varieties
本文证明在特征零代数闭域上的极化阿贝尔簇中，Picard簇连通分量中的每个非平凡线丛都是算术Cohen-Macaulay（ACM）的，并通过归纳构造了任意秩的不可分解ACM向量丛的无穷序列，同时研究了ACM线丛的分类问题，表明高维阿贝尔簇上ACM丛的表示类型是野的。
We introduce the concept of strict ample sequence in a fibered triangulated category and define the stability of the objects in a triangulated category. Then we construct the moduli space of (semi) stable objects by GIT construction.
This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem of the corresponding moduli functor $\mathcal{F}$ by using the 2-category of stacks. To this end, we shall briefly revisit the basics of 2-category theory and present a 2-categorical version of Yoneda's lemma.
We prove that the normalized Poincaré bundle on the moduli space of stable rank $r$ vector bundles with a fixed determinant on a smooth projective curve $X$ induces a family of nef vector bundles on the moduli space. Two applications follow. We show that when the genus of $X$ is large, the derived category of $X$ is embedded into the derived category of the moduli space for arbitrary rank and coprime degree, which extends the results of Narasimhan, Fonarev-Kuznetsov, and Belmans-Mukhopadhyay. As the second application, we construct a family of ACM bundles on the moduli space. A key ingredient …
Derived category of moduli of parabolic bundles on $\mathbb{P}^1$
该研究针对$\u2119^1$上秩2抛物丛模空间的凝聚层有界导出范畴的结构问题，提出了一项相关猜想，为代数几何领域该方向的研究提供了新的探索方向。
Rank $2$ aCM and Ulrich bundles on Fano and Calabi--Yau double coverings of $\mathbb{P}^3$
本文证明了一类特殊有限覆盖上 aCM 和 Ulrich 层的存在性，精确描述了双重覆盖上秩 $2$ 情况的零轨迹，并在正则情况下完成分类，同时验证了沿度为 $4,6,8$ 除子分岔的 $\mathbb{P}^3$ 双重覆盖上这些层的存在性及稳定时模空间分支维数。
This is the first paper in the sequence devoted to derived category of moduli spaces of curves of genus $0$ with marked points. We develop several approaches to describe it equivariantly with respect to the action of the symmetric group permuting marked points. We construct an equivariant full exceptional collection on the Losev-Manin space which categorifies derangements.
Derived category of moduli of pointed curves -- II
研究带n个标点的稳定有理曲线模空间，证明其具有在对称群S_n作用下不变的完全例外集合，且其整系数K群是排列S_n-模。
Given an action of a finite group $G$ on the derived category of a smooth projective variety $X$ we relate the fixed loci of the induced $G$-action on moduli spaces of stable objects in $D^b(\mathrm{Coh}(X))$ with moduli spaces of stable objects in the equivariant category $D^b(\mathrm{Coh}(X))_G$. As an application we obtain a criterion for the equivariant category of a symplectic action on the derived category of a symplectic surface to be equivalent to the derived category of a surface. This generalizes the derived McKay correspondence, and yields a general framework for describing fixed lo…
Brieskorn-Pham singularities via ACM bundles on Geigle-Lenzing projective spaces
通过Geigle-Lenzing射影空间上的ACM丛研究Brieskorn-Pham奇点，引入2-扩张丛并建立与特定CM模的对应，构造倾斜对象并给出Picard群轨道数公式，肯定回答开放问题的高维版本。
Let $X$ be a smooth projective curve of genus $g \geq 2$ and $M$ be the moduli space of rank 2 stable vector bundles on $X$ whose determinants are isomorphic to a fixed odd degree line bundle $L$. There has been a lot of works studying the moduli and recently the bounded derived category of coherent sheaves on $M$ draws lots of attentions. It was proved that the derived category of $X$ can be embedded into the derived category of $M$ by the second named author and Fonarev-Kuznetsov. In this paper we prove that the derived category of the second symmetric product of $X$ can be embedded into der…
We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion free sheaves. For a very general such cubic fourfold, we show that $Z$ is isomorphic to a connected component of a moduli space of tilt-stable objects in the derived category and to a moduli space of Bri…
Local Constancy of the Betti Automorphic Category over the Moduli of Curves
本文采用纯微局部方法证明了曲线模空间上Betti自守范畴的局部常性猜想，该结果不依赖新近确立的Betti几何朗兰兹猜想，还验证了Ben-Zvi与Nadler关于Betti自守范畴仅依赖曲线亏格的猜想。
The main theme of this work is the study of the operations that naturally exist on moduli spaces of maps $Map(S,X)$, also called the space of branes of $X$ with respect $S$. These operations will be constructed as operations on the (quasi-coherent) derived category $\D(Map(S,X))$, in the particular case where $S$ has some close relations with an operad $\OO$. More precisely, for an $\s$-operad $\OO$ and an algebraic variety $X$ (or more generally a derived algebraic stack), satisfying some natural conditions, we prove that $\OO$ acts on the object $\OO(2)$ by mean cospans. This universal actio…
Partial semiorthogonal decompositions for quiver moduli
本文通过将箭图导出范畴的副本及线丛嵌入表示模空间，构造了半正交分解的开端，并利用开源工具QuiverTools实现，类比了曲线上向量丛模空间的分解。
We show that the Poincaré bundle gives a fully faithful embedding from the derived category of a curve of sufficiently high genus into the derived category of its moduli space of bundles of rank $r$ with fixed determinant of degree 1. Moreover we show that a twist of the embedding, together with 2 exceptional line bundles, gives the start of a semi-orthogonal decomposition. This generalises results of Narasimhan and Fonarev-Kuznetsov, who embedded the derived category of a single copy of the curve, for rank 2.
For the derived category of bounded complexes of sheaves on a smooth projective surface, Bridgeland and Arcara-Bertram constructed Bridgeland stability conditions $(Z_m, \mathcal P_m)$ parametrized by $m \in (0, +\infty)$. In this paper, we show that the set of mini-walls in $(0, +\infty)$ of a fixed numerical type is locally finite. In addition, we strengthen a result of Bayer by proving that the moduli of polynomial Bridgeland semistable objects of a fixed numerical type coincides with the moduli of $(Z_m, \mathcal P_m)$-semistable objects whenever $m$ is larger than a universal constant dep…
Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of…
We generalise Fløystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a mo…
We develop homotopical algebraic geometry (see math.AG/0207028) in the special context where the base symmetric monoidal model category is the category S of spectra, i.e. what might be called, after Waldhausen, ``brave new algebraic geometry''. We discuss various model topologies on the model category of commutative algebras in S, the associated theories of geometric S-stacks (a geometric S-stack being an analog of Artin notion of algebraic stack in Algebraic Geometry), and finally show how to define global moduli spaces of associative ring spectra structures and a moduli space related to topo…
Derived Category of certain maximal order on $\mathbb{P}^{2}$
本文研究了$"mathbb{P}^{2}$上沿光滑四次曲线分歧的极大四元数序$A$，证明了具有极小第二陈类的$A$-线丛模空间是精细模空间，并构造了从其导出范畴到$A$-模导出范畴的全忠实嵌入以及$D^{b}("mathbb{P}^{2},A)$的半正交分解。
In the first part of this paper we construct a model structure for the category of filtered cochain complexes of modules over some commutative ring $R$ and explain how the classical Rees construction relates this to the usual projective model structure over cochain complexes. The second part of the paper is devoted to the study of derived moduli of sheaves: we give a new proof of the representability of the derived stack of perfect complexes over a proper scheme and then use the new model structure for filtered complexes to tackle moduli of filtered derived modules. As an application, we const…
To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the triangulated category $[T]$ associated to $T$. The main result of this work states that under certain finiteness conditions on $T$ (e.g. if it is saturated) the $D^{-}$-stack $\mathcal{M}_{T}$ is locally geometric (i.e. union of open and geometric sub-stacks). As a consequence we prove the algebraicity of the group of auto-equivalences of a saturated dg-cate…
Moduli of Multi-Uniformized Stacks and Seifert $\mathbb{G}_m^d$-Bundles
本文推广均匀化扭曲簇构造，引入多重均匀化栈，证明满足Kollár条件类似物的多重$\mathbb{Q}$-线丛与多重均匀化扭曲范畴等价，并将框架扩展至Seifert $\mathbb{G}_m^d$-丛，证明其模空间与$d$-均匀化$d$-分圆轨形空间一致。
Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a stacky sum over the set of all objects of the category, respectively, in terms of the geometry of the cotangent bundle on the moduli stack. The first formula was inspired by the work of Hausel, Letellier, and Rodriguez-Villegas. It provides a new approach for counting absolutely indecomposable quiver representations, vector bundles with parabolic structure on…
Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we show there exists a semiorthogonal decomposition of the derived category of $\mathcal{X}$ where the pieces are equivalent to the derived category of the components of the coarse moduli of the inertia stack.
The existence of stable ACM vector bundles of high rank on algebraic varieties is a challenging problem. In this paper, we study stable Ulrich bundles (that is, stable ACM bundles whose corresponding module has the maximum number of generators) on nonsingular cubic surfaces $X \subset \mathbb{P}^3.$ We give necessary and sufficient conditions on the first Chern class $D$ for the existence of stable Ulrich bundles on $X$ of rank $r$ and $c_1=D$. When such bundles exist, we prove that that the corresponding moduli space of stable bundles is smooth and irreducible of dimension $D^2-2r^2+1$ and co…
Kontsevich and Soibelman introduced a notion of orientation data on Calabi-Yau category. It can be viewed as a consistent choice of spin structure on moduli space of objects in the given category. The orientation data plays an important role in Donaldson-Thomas theory. Let X be a projective, simply connected and torsion free CY 3-fold. We prove the existence of orientation data for the moduli space of coherent sheaves on X.
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying A…
We show that the failure of the usual Verdier duality on Bun(G) leads to a new duality functor on the category of D-modules, and we study its relation to the operation of Eisenstein series.
Categorical resolutions of curves and Bridgeland stability
本文研究了奇异曲线的范畴解析与Bridgeland稳定性条件，扩展了经典构造，并给出了特定奇点曲线的torsion-free sheaves模空间的显式描述。
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 G-bundles and de Rham local systems on X. We show that the category of D-modules is equivalent to the category of ind-coherent sheaves which are equivariant with respect to infinitesimal Hecke groupoids parametrized by finite subsets of X. We describe a number of applications to geometric representation theory and conformal field theory, including a derived enhance…
We show that the Hilbert scheme of curves and Le Potier's moduli space of stable pairs with one dimensional support have a common GIT construction. The two spaces correspond to chambers on either side of a wall in the space of GIT linearisations. We explain why this is not enough to prove the "DT/PT wall crossing" conjecture relating the invariants derived from these moduli spaces when the underlying variety is a 3-fold. We then give a gentle introduction to a small part of Joyce's theory for such wall crossings, and use it to give a short proof of an identity relating the Euler characteristic…
Using Keel's presentation and Orlov's theorem, we give an inductive description of the derived category of moduli spaces of $n$--pointed stable curves of genus zero and some full exceptional collections in it. The detailed calculations are given for $\bar{M}_{0,6}$.
Autoequivalences of Derived Categories of Moduli Spaces of Vector Bundles
研究固定行列式的稳定向量丛模空间的有界导出范畴的自等价群，结合Bondal-Orlov重构定理和自同构群的描述给出显式刻画，并构造不同秩模空间之间的扩展对应以定义Fourier-Mukai型正合函子。
In this paper we deal with a particular class of rank two vector bundles (\emph{instanton} bundles) on the Fano threefold of index one $F:=\mathbb{F}_1 \times \mathbb{P}^1$. We show that every instanton bundle on $F$ can be described as the cohomology of a monad whose terms are free sheaves. Furthermore we prove the existence of instanton bundles for any admissible second Chern class and we construct a nice component of the moduli space where they sit. Finally we show that minimal instanton bundles (i.e. with the least possible degree of the second Chern class) are aCM and we describe their mo…
Moduli stack of stable curves from a stratified homotopy viewpoint
本文加强了Charney和Lee的结果，证明了稳定曲线范畴能捕获模栈的分层同伦类型，并通过外行进等价对可构造层进行分类。
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that the group of autoequivalences of the category of quasi-coherent sheaves consists of automorphisms of the underlying space and twists by line bundles. We apply our strategy to prove analogous statement…
We prove a formula for the motive of the stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.
In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3 surfaces, and we identify alpha in terms of Mukai's map between the cohomology of X and of M (defined by means of a quasi-universal sheaf). We prove that the derived category of sheaves on X and the derived category of alpha-twisted sheaves on M are equivalent. This suggests a conjecture which describes, in terms of Hodge isometries of lattices, when derived…
An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar resu…
Singularities of Bridgeland moduli spaces for K3 categories: an update
本文综述K3曲面导出范畴与四次三维fold的Kuznetsov分量中Bridgeland模空间的局部结构，证明形式性、正规性与不可约性，并联系GIT商变化与稳定性条件变化。
Given a sufficiently nice collection of sheaves on an algebraic variety V, Bondal explained how to build a quiver Q along with an ideal of relations in the path algebra of Q such that the derived category of representations of Q subject to these relations is equivalent to the derived category of coherent sheaves on V. We consider the case in which these sheaves are all locally free and study the moduli spaces of semistable representations of our quiver with relations for various stability conditions. We show that V can often be recovered as a connected component of such a moduli space and we d…
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use the general framework developed in Toen, Vezzosi, ``Homotopical Algebraic Geometry I: Topos theory'', and in particular the notions of model topology, model sites and stacks over them, in order to define various derived moduli functors and study their geometric properties. We start by defining the model category of D-stacks, with respect to an extension of …
This article generalizes the operad of moduli spaces of curves to SUSY curves. SUSY curves are algebraic curves with additional supersymmetric or supergeometric structure. Here, we focus on the description of the relevant category of graphs and its combinatorics as well as the construction of dual graphs of SUSY curves and the SUSY operad taking values in a category of moduli spaces of SUSY curves with Neveu-Schwarz and Ramond punctures.
Mirror symmetry for the Painlevé character varieties
本文通过建立射影线上秩二（不规则）局部系统模空间作为4-流形的同调镜像定理，证明了具有一般微局部单值的Fukaya范畴等价于具有平凡微局部单值的对应模空间极小分解上的凝聚层范畴。
Moduli of objects in finite length abelian categories
本文基于Artin-Zhang和Alper等人的工作，研究有限长度abelian范畴中对象的模空间构造与性质。
In [BM14b], the first author and Macrì constructed a family of nef divisors on any moduli space of Bridgeland-stable objects on a smooth projective variety X. In this article, we extend this construction to the setting of any separated scheme Y of finite type over a field, where we consider moduli spaces of Bridgeland-stable objects on Y with compact support. We also show that the nef divisor is compatible with the polarising ample line bundle coming from the GIT construction of the moduli space in the special case when Y admits a tilting bundle and the stability condition arises from a θ-stab…
We show the existence of semiorthogonal decompositions (SOD) of Pandharipande-Thomas (PT) stable pair moduli spaces on Calabi-Yau 3-folds with irreducible curve classes, assuming relevant moduli spaces are non-singular. The above result is motivated by categorifications of wall-crossing formula of PT invariants in the derived category, and also a d-critical analogue of Bondal-Orlov, Kawamata's D/K equivalence conjecture. We also give SOD of stable pair moduli spaces on K3 surfaces, which categorifies Kawai-Yoshioka's formula proving Katz-Klemm-Vafa formula for PT invariants on K3 surfaces with…
In this paper, we introduce new enumerative invariants of curves on Calabi-Yau 3-folds via certain stable objects in the derived category of coherent sheaves. We introduce the notion of limit stability on the category of perverse coherent sheaves, a subcategory in the derived category, and construct the moduli spaces of limit stable objects. We then define the counting invariants of limit stable objects using Behrend's constructible functions on that moduli spaces. It will turn out that our invariants are generalizations of counting invariants of stable pairs introduced by Pandharipande and Th…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。