相关论文: Separated quotients of Picard schemes

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 investigate to what extent the theory of N\'eron models of jacobians and of abel-jacobi maps extends to relative curves over base schemes of dimension greater than 1. We give a necessary and sufficient criterion for the existence of a…

We work with a smooth relative curve $X_U/U$ with nodal reduction over an excellent and locally factorial scheme $S$. We show that blowing up a nodal model of $X_U$ in the ideal sheaf of a section yields a new nodal model, and describe how…

N\'eron models of abelian varieties do not necessarily exist if the base $S$ has dimension higher than 1. We introduce a new condition, called toric additivity, on a family of smooth curves having nodal reduction over a normal crossing…

We prove that there exist some stacks, representable over the stack of stable curves, having the following universal property with respect to N\'eron models of Jacobians. For every one-parameter family of stable curves, with regular total…

We show that the Jacobians of prestable curves over toroidal varieties always admit N\'eron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of…

We prove that N\'eron models of jacobians of generically-smooth nodal curves over bases of arbitrary dimension are quasi-compact (hence of finite type) whenever they exist. We give a simple application to the orders of torsion subgroups of…

We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…

We introduce the notion of pseudo-N\'eron model and give new examples of varieties admitting pseudo-N\'eron models other than Abelian varieties. As an application of pseudo-N\'eron models, given a scheme admitting a finite morphism to an…

Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…

It is proved that the degree of a morphism from a smooth projective n-fold with Picard number one to a smooth n-quadric is bounded (provided, of course, that n is at least three). Actually it has been proved some years ago, but I have never…

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

We show that a particular subfunctor of the relative logarithmic Picard functor for families of aligned, log semistable curves over a regular base scheme and smooth over an open dense subscheme of the base is representable by a smooth…

We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The…

We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.

We introduce the notion of a separator for a morphism of schemes f:T\to S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some…

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

The jacobian of the universal curve over $\mathcal{M}_{g,n}$ is an abelian scheme over $\mathcal{M}_{g,n}$. Our main result is the construction of an algebraic space $\beta\colon \tilde{\mathcal{M}}_{g,n} \rightarrow…

We extend the criterion of Kawatani and Okawa for indecomposability of the derived category of a smooth projective variety to arbitrary schemes. For relative schemes, we also give a criterion for the nonexistence of semiorthogonal…

Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…