Related papers: Foncteur de Picard d'un champ alg\'ebrique

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of…

Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if each invertible sheaf on the generic fiber X_K can be extended to an invertible sheaf on X.…

We define a tricategory T of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2PIC(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

We show that every quasi-compact and quasi-separated algebraic stack can be approximated by a noetherian algebraic stack. We give several applications such as eliminating noetherian hypotheses in the theory of good moduli spaces.

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie…

We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…

Let S be a site. We show that the 2-stack of strictly commutative Picard stacks over S is algebraic, i.e. it is 2-equivalent to the 2-stack of 2-algebras for an adequate algebraic 2-stack theory over S.

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…

Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…

In this paper, we study the category of twisted sheaves over a scheme $X$. Let $\mathcal{M}$ be a quasi-coherent sheaf on $X$, and $\alpha$ in $\operatorname{Br}(X)$. We show that the functor $ - \otimes_{\mathcal{O}_X} \mathcal{M} :…

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…

We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove…

For an algebraic stack $\sX$ flat and of finite presentation over a scheme $S$, we introduce various notions of {\em relative connected components} and {\em relative irreducible components}. The main distinction between these notions is…

We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian…

We determine explicitly the Picard groups of the universal Jacobian stack and of its compactification over the stack of stable curves. Along the way, we prove some results concerning the gerbe structure of the universal Jacobian stack over…

We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper…

Let X be a complex affine curve (not isomorphic to the affine line), and let Pic(D) be the group of autoequivalences of the category of D(X)-modules. Cannings and Holland have shown that Pic(D) fits into an exact sequence in which the other…

We prove a Cartier duality for gerbes of algebraic and analytic vector bundles as an anti-equivalence of Hopf algebras in the category of kernels of analytic stacks. As an application, we prove that the category of solid quasi-coherent…