English
Related papers

Related papers: Finiteness of formal pushforwards

200 papers

Let T be a compact complex torus, dim T>2. We show that the category of coherent sheaves on T is independent of the choice of the complex structure, if this complex structure is generic. The proof is independent of math.AG/0205210, where…

Algebraic Geometry · Mathematics 2007-05-23 Misha Verbitsky

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

Quantum Algebra · Mathematics 2010-03-22 Masaki Kashiwara , Pierre Schapira

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

Algebraic Geometry · Mathematics 2025-11-17 Pieter Belmans , Shinnosuke Okawa , Andrea T. Ricolfi

A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…

Group Theory · Mathematics 2007-05-23 Jonathan P. McCammond , Daniel T. Wise

Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this space with values in the complex vector space…

Geometric Topology · Mathematics 2009-10-14 Danny Calegari , Michael Freedman , Kevin Walker

Let $F$ be a torsionfree semistable coherent sheaf on a polarized normal projective variety. We prove that $F$ has a unique maximal locally free subsheaf $V$ such that $F/V$ is torsionfree and $V$ admits a filtration of subbundles for which…

Algebraic Geometry · Mathematics 2021-06-08 Indranil Biswas , A. J. Parameswaran

We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such…

Algebraic Geometry · Mathematics 2011-07-19 Ugo Bruzzo , Dimitri Markushevich

We extend previous results on boundedness of sets of coherent sheaves on a compact K\"ahler manifold to the relative and not necessarily smooth case. This enlarged context allows us to prove properness properties of the relative Douady…

Complex Variables · Mathematics 2022-09-22 Matei Toma

From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…

Category Theory · Mathematics 2026-02-25 Rita Fioresi , Angelica Simonetti , Ferdinando Zanchetta

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

Algebraic Geometry · Mathematics 2008-12-18 Jean-Yves Etesse

We analyse infinitesimal deformations of pairs $(X,\mathcal{F})$ with $\mathcal{F}$ a coherent sheaf on a smooth projective manifold $X$ over an algebraic closed field of characteristic $0$. We describe a differential graded Lie algebra…

Algebraic Geometry · Mathematics 2022-07-29 Donatella Iacono , Marco Manetti

The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height…

Algebraic Topology · Mathematics 2008-02-08 Paul G. Goerss

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

Quantum Algebra · Mathematics 2007-05-23 Vasiliy Dolgushev

Let $R$ be a complete discrete valuation ring with fraction field of characteristic $0$ and algebraically closed residue field of characteristic $p>0$. Let $X_R \to \mathrm{Spec}(R)$ be a smooth projective morphism of relative dimension…

Algebraic Geometry · Mathematics 2017-02-17 Inder Kaur

We show that if the universal cover of a closed smooth manifold admitting a metric with non-negative Ricci curvature is formal, then the manifold itself is formal. We reprove a result of Fiorenza-Kawai-L\^e-Schwachh\"ofer, that closed…

Differential Geometry · Mathematics 2024-07-01 Aleksandar Milivojevic

In this paper we begin the classification of coherent systems $(E,V)$ on the projective line which are stable with respect to some value of a parameter $\alpha$. In particular we show that the moduli spaces, if non-empty, are always smooth…

Algebraic Geometry · Mathematics 2007-05-23 H. Lange , P. E. Newstead

Following an idea of Kontsevich, we introduce and study the notion of formal completion of a compactly generated (by a set of objects) enhanced triangulated category along a full thick essentially small triangulated subcategory. In…

Algebraic Geometry · Mathematics 2010-08-13 Alexander I. Efimov

The main focus of this paper is to show that the gluing of formal schemes is also a formal scheme. The algebraic approach established here also leads us to conclude when the gluing of $k$-formal schemes is a $k$-formal scheme. In addition,…

Commutative Algebra · Mathematics 2024-12-11 R. A. Calixto , T. H. Freitas , V. H. Jorge Pérez

In this paper, which is the sequel to arXiv:1410.3742, we study the Frobenius pushforward of the structure sheaf on the adjoint varieties in type ${\bf A}_3$ and ${\bf A}_4$. We show that this pushforward sheaf decomposes into a direct sum…

Algebraic Geometry · Mathematics 2017-07-12 Alexander Samokhin

Let ${\bf P}^n$ be the projective $n-$space over the complex numbers. In this note we show that an indecomposable rigid coherent sheaf on ${\bf P}^n$ has a trivial endomorphism algebra. This generalizes a result of Drezet for $n=2.$

Algebraic Geometry · Mathematics 2012-08-16 Dieter Happel , Dan Zacharia