相关论文: Representability of Hom implies flatness

Let $S$ be a noetherian scheme, and let $E$ be a coherent sheaf on it. We define a group-valued contravariant functor $GL_E$ on $S$-schemes by associating to any $S$-scheme $T$ the group $GL_E(T)$ of all linear automorphisms of the pullback…

Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$.…

Recently N. Nitsure showed that for a coherent sheaf F on a noetherian scheme the automorphism functor Aut_F is representable if and only if F is locally free. Here we remove the noetherian hypothesis and show that the same result holds for…

We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…

In SGA3, Demazure and Grothendieck showed that if $G$ and $H$ are smooth affine group schemes over a scheme $S$ and $G$ is reductive, then the functor of $S$-homomorphism $G \to H$ is representable. In this paper we extend this result to…

Let $X \overset{f}\longrightarrow S$ be a morphism of Noetherian schemes, with $S$ reduced. For any closed subscheme $Z$ of $X$ finite over $S$, let $j$ denote the open immersion $X\setminus Z \hookrightarrow X$. Koll\'ar asked whether for…

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is…

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…

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

Let X be a complex space and F a coherent O_X-module. A F-(co)framed} sheaf on X is a pair (E,f) with a coherent O_X-module E and a morphism of coherent sheaves f : F -> E (resp. f : E -> F). Two such pairs (E,f) and (E',f') are said to be…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

Let $A$ be a diagonal linear operator on $\C^n$, with all eigenvalues satisfying $0<|\alpha_i|<1$, and $M = (\C^n\backslash 0)/<A>$ the corresponding Hopf manifold. We show that any stable holomorphic bundle on $M$ can be lifted to a…

We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…

Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…

If $\mathcal E, \mathcal F$ are vector bundles of ranks $r-1,r$ on a smooth fourfold $X$ and $\mathcal{Hom}(\mathcal E,\mathcal F)$ is globally generated, it is well known that the general map $\phi: \mathcal E \to \mathcal F$ is injective…