Ziyu Zhang
We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are reviewed. We also define the notion of a symplectic stack, and show that it includes all moduli stacks of semistable sheaves on K3 surfaces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Symplectic moduli space of 1-dimensional sheaves on Poisson surfaces
本文研究 Poisson 射影曲面上一维层的模空间，证明其光滑轨迹上的 Poisson 结构源于自然辛结构的约化。
We provide generalizations of the notions of Atiyah class and Kodaira-Spencer map to the case of framed sheaves. Moreover, we construct closed two-forms on the moduli spaces of framed sheaves on surfaces. As an application, we define a symplectic structure on the moduli spaces of framed sheaves on some birationally ruled surfaces.
We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp. symplectic) sheaf. We also provide an obstruction theory of these objects whose target is the second hypercohomology space of this complex.
We show that the moduli spaces of sheaves on a projective K3 surface are irreducible symplectic varieties, and that the same holds for the fibers of the Albanese map of moduli spaces of sheaves on an Abelian surface.
Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical equivalence. By refining a construction from a previous paper, we construct a local system of categories over a topological space V^0_C, where these categories are assigned to different points in V^0_C. Natural equivalence functors between these categories are parameterized by homotopy classes of paths between the corresponding points.
A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.
A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D\subseteq X$ and a morphism $Λ^{2}E\rightarrow\mathcal{O}_{X}$ satisfying some additional conditions. We construct a moduli space for framed symplectic sheaves on a surface, and present a detailed study for $X=\mathbb{P}_{\mathbb{C}}^{2}$. In this case, the moduli space is irreducible and admits an ADHM-type description and a birational proper map into the space of framed symplectic ideal instantons.
In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680)
Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space, which provides a stock of symplectic structures on moduli spaces (Mukai, Kobayashi, O'Grady, Tyurin, Huybrechts--Lehn). A parallel theory was developed for bivector fields and Poisson structures (Bottacin). However, there exist symplectic moduli spaces of sheaves over bases that have no holomorphic forms at all. A well-known example (Beauville--Donagi) is the f…
We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.
Let $X$ be a projective K3 surface with generic polarization $\cO_X(1)$ and let $M_c=M(2,0,c)$ be the moduli space of semistable torsion-free sheaves on $X$ of rank 2, with Chern classes $c_1=0$ and $c_2=c$. When $c=2n\ge 4$ is even, $M_c$ is a singular projective variety. We show that there is no symplectic desingularization of $M_{2n}$ if $\frac{n a_n}{2n-3}$ is not an integer where $a_n$ is the Euler number of the Hilbert scheme $X^{[n]}$ of $n$ points in $X$.
Perverse sheaves on the stack of $G$-zips
该研究提出了$G$-zips栈上简单反常层的计算方法，并通过多个示例完成了相关计算，为代数几何领域相关研究提供方法参考。
In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.
Anti-symplectic involutions on moduli spaces of sheaves on K3 surfaces via auto-equivalences
本文利用K3曲面上由球面丛诱导的导出范畴自等价构造了稳定层模空间上的新反辛对合，并统一推广了Beauville对合、Markman-O'Grady反射及Beri-Manivel构造等经典例子。
We prove formulae for the motives of stacks of coherent sheaves of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.
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 morphism for moduli stacks of sheaves has fibers that are schemes.
We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.
In this article, we classify the irreducible components of moduli stacks of torsion free sheaves of rank 2 on K3 surfaces of Picard number 1. For ruled surfaces, the components of moduli stacks of torsion free sheaves were classified by C.Walter. Moreover, by virtue of our result, we classify the irreducible components of Brill-Noether loci of Hilbert schemes of points on K3 surfaces.
Let k be an algebraically closed field of characteristic p>>0. Let $X\rightarrow Y$ be a symplectic resolution. There are two questions which motivates this work. One question is a construction of an action of a group on the category $\mathcal{C}:=D^b(Coh(X))$ - The bounded derived category of coherent sheaves of the symplectic resolution X. Second question is understanding equivalence functors between derived categories of coherent sheaves for different symplectic resolutions of Y. Let G/k be a reductive group. In this paper, we construct a local system on a topological space called $V^0_{\ma…
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results. First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair of {\it oriented} Lagrangian submanifolds in the complex analytic topology. Our method uses classical results in complex symplectic geometry and some results from arXiv:1304.4508. The algebraic version of our result has already been obtained by the author et al. in arXiv:1211.3259 using different methods, where we used, in particular, the recent new theory of…
In preprint alg-geom/9708009 we have constructed a (ten-dimensional) symplectic desingularization of the moduli space of rank-two torsion-free semistable sheaves on a $K3$, with trivial determinant and second Chern class equal to 4. In the present paper we prove that (every deformation of) this desingularization is a new irreducible symplectic variety. More precisely we show that the desingularization is irreducible symplectic, and that its second Betti number is at least 24.
Constructing Maximal Cohen-Macaulay Sheaves on Symplectic Singularities
本文研究了辛奇异性上极小Cohen-Macaulay层的构造与性质，通过反射层和上同调消失理论，推导了不可分解层的生成方法。
In this paper we develop a theory of Grothendieck's six operations of lisse-étale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1.
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.
We provide stacky generalizations of classical gauge-theoretic results inspired by Donaldson, the Uhlenbeck-Yau theorem and variants due to Bando and his collaborators. Moreover, we show an application of this machinery in the study of ALE spaces.
Equivalences of derived categories of sheaves on tame stacks
本文将Orlov表示定理推广至光滑、proper且tame的代数stack，证明了完全忠实函子与Fourier--Mukai变换的关联，扩展了Kawamata关于Deligne--Mumford stack的先前成果。
Perverse sheaves with nilpotent singular support on the stack of coherent sheaves on an elliptic curve
本文通过定义椭圆曲线上凝聚层模栈的分层，显式描述了全局幂零锥的不可约分支，建立了球面 Eisenstein 层与这些分支之间的双射，并参数化了具有幂零奇异支集的反常层。
Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a collection of vector spaces and a collection of linear maps between them satisfying certain composition relations.
A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to a presentation of a geometric stack are equivalent categories. As a consequence, we show that the category of quasi-coherent sheaves on a geometric stack is a Grothendieck category. We associate, in a 2-functorial way, to a 1-morphism of geometric stacks $f$, an adjunction $(f^*, f_*)$ for the corresponding categories of quasi-coherent sheaves that agrees w…
Perverse sheaves on smooth toric varieties and stacks
本文将光滑环面簇及其轨道分层上的反常层范畴显式刻画为某代数上的有限维模范畴，并推广到等变情形以描述环面轨形上的反常层，同时比较了相关导出范畴。
Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider an alternative definition of perverse coherent sheaves. We show that a coherent sheaf is perverse if and only if $RΓ_Z(\mathcal{F})$ is concentrated in degree 0 for special subvarieties Z of X. These subvarieties Z are analogs of Lagrangians in the symplectic case.
We investigate the moduli spaces of one- and two-dimensional sheaves on projective K3 and abelian surfaces that are semistable with respect to a nongeneral ample divisor with regard to the symplectic resolvability. We can exclude the existence of new examples of projective irreducible symplectic manifolds lying birationally over components of the moduli spaces of one-dimensional semistable sheaves on K3 surfaces, and over components of many of the moduli spaces of two-dimensional sheaves on K3 surfaces, in particular, of those for rank two sheaves.
We show that the moduli stacks of semistable sheaves on smooth projective varieties are analytic locally on their coarse moduli spaces described in terms of representations of the associated Ext-quivers with convergent relations. When the underlying variety is a Calabi-Yau 3-fold, our result describes the above moduli stacks as critical locus analytic locally on the coarse moduli spaces. The results in this paper will be applied to the wall-crossing formula of Gopakumar-Vafa invariants defined by Maulik and the author.
Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathbf{X}$.
A smooth but non-symplectic moduli of sheaves on a hyperkähler variety
该数学研究针对n>1的广义Kummer簇上的稳定向量丛，证明了含0次线丛相关 tautological 丛的模空间连通分支同构于对偶阿贝尔曲面的单点爆破，给出首个具非平凡典范丛的光滑模分支显式例。
Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the union of its finitely generated quasi-coherent subsheaves on any quasi-compact and quasi-separated algebraic stack.
Perverse coherent sheaves on symplectic singularities
本文提出辛奇点上反常凝聚层的概念，证明其给出泊松层Grothendieck群的简单对象基，并涵盖幂零锥与仿射格拉斯曼流形的特例。
We consider two cases of birational transformations of Q-Gorenstein threefolds: the case of a terminal flop and the case of a Francia flip. In the first case we show that, if one replaces the threefolds by their canonical covering stacks, the the flop coincides with the moduli stack of perverse point sheaves. This adds to a result of Kawamata showing the derived equivalence. Our construction has the drawback that the moduli space is defined using a presentation of the stack. In the second case we show that, if one takes a Francia flip $X \to Y$ and replaces $X$ by its canonical covering stack,…
We study the equivariant sheaf counting theory on K3 surfaces with finite group actions. Let $\sS=[S/G]$ be a global quotient stack, where $S$ is a K3 surface and $G$ is a finite group acting as symplectic homomorphisms on $S$. We show that the Joyce invariants counting Gieseker semistable sheaves on $\sS$ are independent on the Bridgeland stability conditions. As an application we prove the multiple cover formula of Y. Toda for the counting invariants for semistable sheaves on local K3 surfaces with a symplectic finite group action.
Degenerations of shifted symplectic moduli stacks of sheaves
本文通过推广 Brav--Dyckerhoff 的构造，证明了 Calabi--Yau 族上凝聚层的导出模叠具有相对平移辛结构，并识别其为伪完美对象模的子叠，为枚举几何提供了潜在应用。
Moduli of sheaves on ribbons
本文研究了带状结构上无挠层模栈的几何性质，通过完全类型引入分层并分析其性质与闭包关系，揭示了Fano、Calabi-Yau和典范极化情形间的分叉以描述不可约分支，并计算了模栈在给定层处的切空间。
Let M be a moduli space of stable sheaves on a K3 or Abelian surface S. We express the class of the diagonal in the cartesian square of M in terms of the Chern classes of a universal sheaf. Consequently, we obtain generators of the cohomology ring of M. When S is a K3 and M is the Hilbert scheme of length n subschemes, this set of generators is sufficiently small in the sense that there aren't any relations among them in the stable cohomology ring. When S is the cotangent bundle of a Riemann surface, we recover the result of T. Hausel and M. Thaddeus: The cohomology ring of the moduli spaces o…
Shifted symplectic rigidification
本文研究了Calabi-Yau簇上sheaves模空间的偏移辛导出增强结构，并证明了非正移位辛导出Artin堆上任何Bℤ_m作用是哈密顿的，同时构造了辛刚性化函子。
We regard the pre-hyperkähler structure on the moduli space of framed flags of sheaves $\mathcal{F}(1,3,1)$ on the projective plane $\mathbb{P}^2$ via an adaptation of the ADHM construction of framed sheaves. Then, we study and categorize the degenerate points of the holomorphic pre-symplectic form presented in the moduli space.
Stacks were introduced by Grothendieck and Giraud and are, roughly speaking, sheaves of categories. Kashiwara developed the theory of twisted modules, which are objects of stacks locally equivalent to stacks of modules over sheaves of rings. In this paper we recall these notions, and we develop the formalism of operations for stacks of twisted modules. As an application, we state a twisted version of an adjunction formula which is of use in the theory of integral transforms for sheaves and D-modules.
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves on one space and the derived category of twisted sheaves on the other space.
On the stack of 0-dimensional coherent sheaves: structural aspects
本文整理了参数化拟射影概形上0维凝聚层的栈$\mathscr{C}oh^n(X)$的结构性质，包括其函子性、支撑态射及与Quot概型的关系。
We generalize the decomposition theorem for perverse sheaves to Artin stacks with affine stabilizers over finite fields.
Let $M_c=M(2,0,c)$ be the moduli space of O(1)-semistable rank 2 torsion-free sheaves with Chern classes $c_1=0$ and $c_2=c$ on a K3 surface $X$ where O(1) is a generic ample line bundle on $X$. When $c=2n\geq4$ is even, $M_c$ is a singular projective variety equipped with a symplectic structure on the smooth locus. In this paper, we show that there is no crepant resolution of $M_{2n}$ for $n\geq 3$. This implies that there is no symplectic desingularization.
We prove, for all reductive groups, that the cohomology sheaves with compact support of stacks of shtukas are ind-smooth over $(X - N)^I$ and that their geometric generic fibers are equiped with an action of $\text{Weil}(X - N, \overlineη)^I$. Our method does not use any compactification of stacks of shtukas.
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 sheaves and quasi-coherent sheaves. As a corollary we obtain an alternate proof of a generalized change of rings theorem of Hovey.
Moduli of sheaves and deformation to the normal cone
研究了sheaves模空间与变形到正则锥的可交换性，并展示了广义Kummer品种在Hitchin系统中的退化特性。
Let J be an abelian surface with a generic ample line bundle O(1). For n>0, the moduli space M(2, 0, 2n) of O(1)-semistable sheaves F of rank 2 with Chern classes c_1(F) = 0, c_2(F) = 2n is a singular projective variety, endowed with a holomorphic symplectic structure on the smooth locus. In this paper, we show that there does not exist a crepant resolution of M(2; 0; 2n) for n>1. This certainly implies that there is no symplectic desingularization of M(2, 0, 2n) for n>1.
The derived moduli of perverse sheaves
本文构造了参数化复代数簇和紧实解析簇上可构造层的导出Artin叠，并证明每个反常函数给出反常层的开子叠，推广了通常的特征叠，作为应用构造了与穿孔Riemann曲面相关的上同调Hall代数的新例子。
Let $V$ be a finite-dimensional symplectic vector space over a field of characteristic 0, and let $G \subset Sp(V)$ be a finite subgroup. We prove that for any crepant resolution $X \to V/G$, the bounded derived category $D^b(Coh(X))$ of coherent sheaves on $X$ is equivalent to the bounded derived category $D^b_G(Coh(V))$ of $G$-equivariant coherent sheaves on $V$.
Quiver Varieties and Framed Sheaves on Compactified Kleinian Singularities
该研究针对Kleinian奇点$\mathbb{C}^2/\Gamma$，引入带光滑栈式除子的自然紧化栈，证明其上满足特定条件的带标架层集合与一类Nakajima箭图簇相关，部分推广了此前点Hilbert概型的相关研究。
The moduli stack of principal $ρ$-sheaves and Gieseker-Harder-Narasimhan filtrations
本文定义并紧化主 $ρ$-层模叠，构造 Gieseker 半稳定对象的模空间，并给出概形 Gieseker-Harder-Narasimhan 滤过及其分层，附录推广至任意特征。
Results on stability of tautological sheaves on Hilbert schemes of points are extended to higher dimensions and transferred to abelian surfaces and to the restriction of tautological sheaves to generalised Kummer varieties. This provides a big class of new examples of stable sheaves on higher dimensional irreducible symplectic manifolds. Some aspects of deformations of tautological sheaves are studied.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。