We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these two simple objects have been classified. We review this classification. Finally, we address the problem of determining the infinitesimal deformations of simple finite group schemes.
We describe infinitesimal deformations of complex naturally graded filiform Leibniz algebras. It is known that any $n$-dimensional filiform Lie algebra can be obtained by a linear integrable deformation of the naturally graded algebra $F_n^3(0)$. We establish that in the same way any $n$-dimensional filiform Leibniz algebra can be obtained by an infinitesimal deformation of the filiform Leibniz algebras $F_{n}^1,$ $F_{n}^2$ and $F_{n}^3(α)$. Moreover, we describe the linear integrable deformations of above-mentioned algebras with a fixed basis of $HL^2$ in the set of all $n$-dimensional Leibni…
We compute the restricted infinitesimal deformations of the restricted simple Lie algebras over an algebraically closed field of characteristic different from 2 and 3.
In this paper we describe the infinitesimal deformations of null-filiform Leibniz superalgebras over a field of zero characteristic. It is known that up to isomorphism in each dimension there exist two such superalgebras $NF^{n,m}$. One of them is a Leibniz algebra (that is $m=0$) and the second one is a pure Leibniz superalgebra (that is $m\neq 0$) of maximum nilindex. We show that the closure of union of orbits of single-generated Leibniz algebras forms an irreducible component of the variety of Leibniz algebras. We prove that any single-generated Leibniz algebra is a linear integrable defor…
We construct infinitesimal deformations on an open domain of a smooth projective surface given by a complement of plumbings of disjoint linear chains of smooth rational curves. We show that the infinitesimal deformations are not small deformations, that is, they change the complex structure away from the boundary of the domain.
In this note, we study the infinitesimal forms of Deligne cycle class maps. As an application, we prove that the infinitesimal form of a conjecture by Beilinson is true.
We show that the Hilbert scheme which parameterises bitangent lines to a general quartic surface is a counterexample to the infinitesimal Torelli claim and is a smooth regular surface with no rational curves and very ample canonical divisor.
We identify dglas that control infinitesimal deformations of the pairs (manifold, Higgs bundle) and of Hitchin pairs. As a consequence, we recover known descriptions of first order deformations and we refine known results on obstructions. Secondly we prove that the Hitchin map is induced by a natural L-infinity morphism and, by standard facts about L-infinity algebras, we obtain new conditions on obstructions to deform Hitchin pairs.
The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The second contains the obstruction space -- in all known cases it is the whole obstruction space for rational surface singularities.
This paper gives a canonical construction, in terms of additive cohomological functors, of the universal formal deformation of a compact complex manifold without vector fields (more generally of a faithful $g$-module, where $g$ is a sheaf of Lie algebras without sections). The construction is based on a certain (multivariate) Jacobi complex $J(g)$ associatd to $g$: indeed ${\mathbb C}\oplus {\mathbb H}^0(J(g))^*$ is precisely the base ring of the universal deformation.
If $X$ is a rational surface without nonzero holomorphic vector field and $f$ is an automorphism of $X$, we study in several examples the Zariski tangent space of the local deformation space of the pair $(X, f)$.
The goal of this paper is to give a method to compute the space of infinitesimal deformations of a double cover of a smooth algebraic variety. The space of all infinitesimal deformations has a representation as a direct sum of two subspaces. One is isomorphic to the space of simultaneous deformations of the branch locus and the base of the double covering. The second summand is the subspace of deformations of the double covering which induce trivial deformations of the branch divisor. The main result of the paper is a description of the effect of imposing singularities in the branch locus. As …
This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme as iterative differential Galois group. In this article we prove a necessary and sufficient condition to decide whether an infinitesimal group scheme occurs as Galois group scheme of a Picard-Vessiot extension over a given ID-field or not. In particular, this solves the inverse ID-Galois problem for infinitesimal group schemes.
In this paper, we give a purely cohomological interpretation of the extension problem for associative algebras; that is the problem of extending an associative algebra by another associative algebra. We then give a similar interpretation of infinitesimal deformations of extensions. In particular, we consider infinitesimal deformations of representations of an associative algebra.
We use the Thom-Whitney construction to show that infinitesimal deformations of a coherent sheaf F are controlled by the differential graded Lie algebra of global sections of an acyclic resolution of the sheaf End(E), where E is any locally free resolution of F. In particular, one recovers the well known fact that the tangent space to deformations of F is Ext^1(F,F), and obstructions are contained in Ext^2(F,F). The main tool is the identification of the deformation functor associated with the Thom-Whitney DGLA of a semicosimplicial DGLA whose cohomology is concentrated in nonnegative degrees …
According to a well-known theorem of Serre and Tate, the infinitesimal deformation theory of an abelian variety in positive characteristic is equivalent to the infinitesimal deformation theory of its Barsotti-Tate group. We extend this result to $1$-motives.
The parity of theta characteristics is preserved by infinitesimal deformations
Fundação para a Ciência e Tecnologia (FCT), Portugal, through CAMGSD, IST-ID（葡萄牙科学与技术基金会（FCT），通过CAMGSD，IST-ID）；European Union - Next Generation EU, Mission 4 Component 2（欧盟-下一代欧盟，使命4组成部分2）；Italian MUR（意大利教育部大学与研究部）；Centro de Análise Matemática, Geometria e Sistemas Dinâmicos（数学分析、几何与动力系统中心）；INDAM（意大利国家高等研究学院数学研究所）
In this article, we study the Hilbert scheme of generically non-reduced curves in $\mathbb{P}^3$. We prove the existence of generically non-reduced curves in $\mathbb{P}^3$ for which there exist infinitesimal deformations of the curve that do not induce deformations of the associated reduced scheme. We show that such infinitesimal deformations contribute to the non-reducedness of the corresponding Hilbert scheme. We introduce the notion of extension of curves and prove that such infinitesimal deformations (such that the associated reduced scheme does not deform) are inherited by the extended c…
The study of infinitesimal deformations of a variety embedded in projective space requires that of deformations of a collection of points, as specified by a zero-dimensional scheme. Further, basic problems in infinitesimal interpolation correspond directly to the analysis of such a scheme We interpret conjectures of Froberg and Iarrobino on the Hilbert function of a general collection of infinitesimal neighbourhoods of a collection of points in projective space. A main result gives a method for verifying the Weak Conjecture prescribed. Further, we present results on establishing the Strong Con…
In order to calculate the multiplicity of an isolated rational curve C in a local complete intersection variety X, i.e. the length of the Hilbert scheme of X at [C], it is important to study infinitesimal neighborhoods of the curve in X. This is equivalent to infinitesimal extensions of P^1 by locally free sheaves. In this paper we study infinitesimal extensions of P^1, determine their structure and obtain upper and lower bounds for the length of the local rings of their Hilbert schemes at [P^].
An analytic approach and description are presented for the moduli cotangent sheaf for suitable stable curve families including noded fibers. For sections of the square of the relative dualizing sheaf, the residue map at a node gives rise to an exact sequence. The residue kernel defines the vanishing residue subsheaf. For suitable stable curve families, the direct image sheaf on the base is locally free and the sequence of direct images is exact. Recent work of Hubbard-Koch and a formal argument provide that the direct image sheaf is naturally identified with the moduli cotangent sheaf. The res…
Let $X$ be a compact connected Riemann surface of genus $g$, with $g\geq 2$, and ${\cal M}_ξ$ a smooth moduli space of fixed determinant semistable vector bundles of rank $n$, with $n\geq 2$, over $X$. Take a smooth anticanonical divisor $D$ on ${\cal M}_ξ$. So $D$ is a Calabi-Yau variety. We compute the number of moduli of $D$, namely $\dim H^1(D, T_D)$, to be $3g-4 + \dim H^0({\cal M}_ξ, K^{-1}_{{\cal M}_ξ})$. Denote by $\cal N$ the moduli space of all such pairs $(X',D')$, namely $D'$ is a smooth anticanonical divisor on a smooth moduli space of semistable vector bundles over the Riemann su…
We construct a general semiregularity map for cycles on a complex analytic or algebraic manifold and show that such semiregularity map can be obtained from the classical tool of the Atiyah-Chern character. The first part of the paper is fairly detailed, deducing the existence and explicit form of a generalized semiregularity map from known results and constructions. We obtain as well a description of the infinitesimal Abel-Jacobi map for smooth cycles as the leading term of this generalized semiregularity map, indicate why for locally complete intersections the appropriate component of our sem…
By considering non-trivial global deformations of the Witt (and the Virasoro) algebra given by geometric constructions it is shown that, despite their infinitesimal and formal rigidity, they are globally not rigid. This shows the need of a clear indication of the type of deformations considered. The families appearing are constructed as families of algebras of Krichever-Novikov type. They show up in a natural way in the global operator approach to the quantization of two-dimensional conformal field theory. In addition, a proof of the infinitesimal and formal rigidity of the Witt algebra is pre…
Let Y be a compact reduced subspace of a complex manifold X, and let F be a subsheaf of the tangent bundle T_X which is closed under the Lie bracket. This paper discusses criteria to guarantee that infinitesimal deformations of the inclusion morphism Y -> X give rise to positive-dimensional deformation families, deforming the inclusion map "along the sheaf F". In case where X is complex-symplectic and F is the sheaf of Hamiltonian vector fields, this partially reproduces known results on unobstructedness of deformations of Lagrangian submanifolds. Written for the IMPANGA Lecture Notes series, …
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 pseudo finite type. Among our results we show that these infinitesimal properties of a map of usual schemes carry over into the completion with respect to suitable closed subsets. We characterize unramifiedness by the vanishing of the module of differentials. Also we see that a smooth morphism of noetherian formal schemes is flat and its module of differentials …
A p-divisible group over a complete local domain determines a Galois representation on the Tate module of its generic fibre. We determine the image of this representation for the universal deformation in mixed characteristic of a bi-infinitesimal group and for the p-rank strata of the universal deformation in positive characteristic of an infinitesimal group. The method is a reduction to the known case of one-dimensional groups by a deformation argument based on properties of the stratification by Newton polygons.
Using determinant functor, we describe a natural transformation from local Hilbert functor to K-theoretic cycle groups of codimension one, which were variants of Balmer's tensor triangular Chow groups. This enables us to answers a question of Bloch on infinitesimal deformation of Chow groups of divisors.
We introduce a notion of Jacobi-Bernoulli cohomology associated to a semi-simplicial Lie algebra (SELA). For an algebraic scheme $X$ over $\C$, we construct a tangent SELA $\t_X$ and show that the Jacobi-Bernoulli cohomology of $\t_X$ is related to infinitesimal deformations of $X$.
We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new conjecture.
We discuss essential dimension of group schemes, with particular attention to infinitesimal group schemes. We prove that the essential dimension of a group scheme of finite type over a field k is at least equal to the difference between the dimension of its Lie algebra and its dimension. Furthermore, we show that the essential dimension of a trigonalizable group scheme of length p^{n} over a field of characteristic p>0 is at most n. We give several examples.
In this paper we study the infinitesimal deformations of a trigonal curve that preserve the trigonal series and such that the associate infinitesimal variation of Hodge structure (IVHS) is of rank 1. We show that if the genus g is greater or equal to 8 or g=6,7 and the curve is Maroni general, this locus is zero dimensional. Moreover, we complete a result of Naranjo and Pirola. We show in fact that if the genus g is greater or equal to 6, the hyperelliptic locus is the only 2g-1-dimensional sub-locus Y of the moduli space of curves of genus g, such that for the general element [C] in Y, its Ja…
In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb C$), its Log Infinitesimal Cohomology $H^{^.}(Y^{log}_{inf}, \mathcal O_{Y^{log}_{inf}})$, and its Log Betti Cohomology, which is the Cohomology of its associated Kato-Nakayama topological space $Y^{an}_{log}$, and we prove that they are isomorphic. These results are the log scheme analogues of two classical comparison theorems.
Let $X$ be a 3-dimensional affine variety with a faithful action of a 2-dimensional torus $T$. Then the space of first order infinitesimal deformations $T^1(X)$ is graded by the characters of $T$, and the zeroth graded component $T^1(X)_0$ consists of all equivariant first order (infinitesimal) deformations. Suppose that using the construction of such varieties from [1], one can obtain $X$ from a proper polyhedral divisor $\mathscr D$ on $\mathbb P^1$ such that the tail cone of (any of) the used polyhedra is pointed and full-dimensional, and all vertices of all polyhedra are lattice points. Th…
In this paper, we use (bi)semicosimplicial language to study the classical problem of infinitesimal deformations of a closed subscheme in a fixed smooth variety, defined over an algebraically closed field of characteristic 0. In particular, we give an explicit description of the differential graded Lie algebra controlling this problem.
In this article we give a sufficient condition for a morphism $φ$ from a smooth variety $X$ to projective space, finite onto a smooth image, to be deformed to an embedding. This result puts some theorems on deformation of morphisms of curves and surfaces such as $K3$ and general type, obtained by ad hoc methods, in a new, more conceptual light. One of the main interests of our result is to apply it to the construction of smooth varieties in projective space with given invariants. We illustrate this by using our result to construct canonically embedded surfaces with $c_1^2=3p_g-7$ and derive so…
We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We define a completion map of formal schemes as the one that arises canonically by performing the completion of a noetherian formal scheme along a subscheme, following the well-known pattern of ordinary schemes. These maps are etale in the sense of this work (but not adic). They allow us to give a local description of smooth morphisms. This morphisms can be fact…
The purpose of this article is to show that the Castelnuovo theory for abelian varieties, developed by G. Pareschi and M. Popa, can be infinitesimalized. More precisely, we prove that an irreducible principally polarized abelian variety has a finite scheme in extremal position, in the sense of Castelnuovo theory for abelian varieties, if, and only if, it is a Jacobian and the scheme is contained in a unique Abel-Jacobi curve.
The title refers to the nilcommutative or $NC$-schemes introduced by M. Kapranov in math.AG/9802041. The latter are noncommutative nilpotent thickenings of commutative schemes. We consider also the parallel theory of nil-Poisson or $NP$-schemes, which are nilpotent thickenings of commutative schemes in the category of Poisson schemes. We study several variants of de Rham cohomology for $NC$- and $NP$-schemes. The variants include nilcommutative and nil-Poisson versions of the de Rham complex as well as of the cohomology of the infinitesimal site introduced by Grothendieck. It turns out that ea…
The aim of this paper is twofold: First we give an explicit construction of the infinitesimal deformations of the category Coh(X) of coherent sheaves on a smooth projective variety X. Secondly we show that any Fourier-Mukai transform $/Phi/colon D^b(X)/to D^b(Y)$ extends to an equivalence between the derived categories of the deformed Abelian categories.
We introduce a notion of Jacobi-Bernoulli cohomology associated to a semi-simplicial Lie algebra (SELA). For an algebraic scheme $X$ over $\C$, we construct a tangent SELA $\t_X$ and show that the Jacobi-Bernoulli cohomology of $\t_X$ is related to infinitesimal deformations of $X$.
