Showing 1–18 of 18 results for author: Tziolas, N

Topics in group schemes and surfaces in positive characteristic

Authors: Nikolaos Tziolas

Abstract: This is a survey paper on algebraic surfaces in positive characteristic based on a series of lectures that the author gave at the University of Edinburgh in March 2023. It is focused on certain positive characteristic phenomena like infinitesimal group schemes and their actions on algebraic surfaces as well as the failure in positive characteristic of certain fundamental characteristic zero result… ▽ More This is a survey paper on algebraic surfaces in positive characteristic based on a series of lectures that the author gave at the University of Edinburgh in March 2023. It is focused on certain positive characteristic phenomena like infinitesimal group schemes and their actions on algebraic surfaces as well as the failure in positive characteristic of certain fundamental characteristic zero results like the Kodaira vanishing theorem. Many explicit examples are presented. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: The paper is for the final Edge volume in the ADUF journal

MSC Class: 1402; 14J29; 14J50; 14J10; 14L15; 14F17

The structure of Frobenius kernels for automorphism group schemes

Authors: Stefan Schröer, Nikolaos Tziolas

Abstract: We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous Witt algebra, which is a simple Lie algebra without finite-dimensional counterpart over the complex numbers, together with is twisted forms. The result actuall… ▽ More We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous Witt algebra, which is a simple Lie algebra without finite-dimensional counterpart over the complex numbers, together with is twisted forms. The result actually holds true for arbitrary proper integral schemes under the assumption that the Frobenius kernel has large isotropy group at the generic point. This property is measured by a new numerical invariant called the foliation rank. △ Less

Submitted 18 August, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 42 pages, bounds in Theorem 13.2 improved, discussion of Raynaud surfaces and Tango curves in Section 14 included, otherwise minor changes, to appear in Algebra Number Theory

MSC Class: 14L15; 14J50; 14G17; 14J29; 17B50; 13N15

Journal ref: Alg. Number Th. 17 (2023) 1637-1680

Actions of $μ_p$ on canonically polarized surfaces in characteristic p>0

Authors: Nikolaos Tziolas

Abstract: This paper studies the existence of non trivial $μ_p$ actions on a canonically polarized surface X defined over an algebraically closed field of characteristic p>0. In particular, an explicit function $f(K_X^2)$ is obtained such that if $p>f(K_X^2)$, then there does not exist a non trivial $μ_p$-action on X. This implies that the connected component of the automorphism scheme of X containing the i… ▽ More This paper studies the existence of non trivial $μ_p$ actions on a canonically polarized surface X defined over an algebraically closed field of characteristic p>0. In particular, an explicit function $f(K_X^2)$ is obtained such that if $p>f(K_X^2)$, then there does not exist a non trivial $μ_p$-action on X. This implies that the connected component of the automorphism scheme of X containing the identity is either smooth or is obtained by successive extensions by $α_p$. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: 45 pages

MSC Class: 14J50; 14J29; 14J10

Vector fields on canonically polarized surfaces

Authors: Nikolaos Tziolas

Abstract: This paper investigates the geometry of canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit integer valued function f(x) is obtained with the following properties. If X is a canonical… ▽ More This paper investigates the geometry of canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit integer valued function f(x) is obtained with the following properties. If X is a canonically polarized surface with canonical singularities defined over an algebraically closed field of characteristic p>0 such that p>f(K_X^2) and X has a nontrivial global vector field, then X is unirational and the algebraic fundamental group is trivial. As a consequence of this result, large classes of canonically polarized surfaces are identified whose moduli stack is Deligne-Mumford, a property that does not hold in general in positive characteristic. This paper is mathematically identical to the previous version. The reason that the paper is replaced is in order to point out that this paper is a generalization to the case of singular surfaces with canonical singularities of the paper "Vector fields and moduli of canonically polarized surfaces in positive characteristic" with reference arXiv:1710.03076 which treated only the case of smooth surfaces. The results of this paper supercede the results of the aforementioned paper making it obsolete. △ Less

Submitted 10 May, 2020; v1 submitted 7 April, 2020; originally announced April 2020.

Comments: This paper is a generalization to the case of singular surfaces with canonical singularities of the paper "Vector fields and moduli of canonically polarized surfaces in positive characteristic" with reference arXiv:1710.03076 which treated only the case of smooth surfaces. The results of this paper supercede the results of the aforementioned paper making it obsolete. 46 pages

MSC Class: 14J50; 14DJ29; 14J10

Vector fields and moduli of canonically polarized surfaces in positive characteristic

Authors: Nikolaos Tziolas

Abstract: This paper investigates the geometry of smooth canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit real valued function f(x) is obtained such that if $X$ is a smooth canonically pol… ▽ More This paper investigates the geometry of smooth canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit real valued function f(x) is obtained such that if $X$ is a smooth canonically polarized surface defined over an algebraically closed field of characteristic p>0 such that $K_X^2 <f(p)$, then $X$ is unirational and the order of its algebraic fundamental group is at most two. As a consequence of this result, large classes of canonically polarized surfaces are identified whose moduli stack is Deligne-Mumford, a property that does not hold in general in positive characteristic. △ Less

Submitted 17 October, 2017; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: An improvement of Proposition 3.7 has resulted in a stronger statement in Theorem 1.2. Minor mistakes and typos have been corrected. 34 pages

MSC Class: 14J50; 14DJ29; 14J10

Automorphisms of smooth canonically polarized surfaces in positive characteristic

Authors: Nikolaos Tziolas

Abstract: This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain… ▽ More This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of $X$ are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity. In particular, it is shown that a smooth canonically polarized surface X with 0< K_X^2 < 3 and non smooth automorphism scheme tends to be uniruled and simply connected. Moreover, X is the purely inseparable quotient of a ruled or rational surface by a rational vector field. △ Less

Submitted 29 June, 2015; originally announced June 2015.

Comments: This paper is a generalization to all characteristics of the paper "Automorphisms of smooth canonically polarized surfaces in characteristic 2", arXiv:1408.1291, of the same author. The results of this paper completely supersede the results of the aforementioned paper making it obsolete. 64 pages

MSC Class: 14J50; 14DJ29; 14J10

Quotients of schemes by $α_p$ or $μ_p$ actions in characteristic p>0

Authors: Nikolaos Tziolas

Abstract: This paper studies schemes X defined over a field of characteristic p>0 which admit a nontrivial $α_p$ or $μ_p$ action. In particular, the structure of the quotient map $X \rightarrow Y$ is investigated. Information on local properties of the quotient Y, as singularities and local Picard groups, structure theorems for the quotient map and adjunction formulas for the quotient map are obtained. This paper studies schemes X defined over a field of characteristic p>0 which admit a nontrivial $α_p$ or $μ_p$ action. In particular, the structure of the quotient map $X \rightarrow Y$ is investigated. Information on local properties of the quotient Y, as singularities and local Picard groups, structure theorems for the quotient map and adjunction formulas for the quotient map are obtained. △ Less

Submitted 31 August, 2015; v1 submitted 26 December, 2014; originally announced December 2014.

Comments: Revised version. A section has been added which contains additional material about the singularities of the quotient of a normal scheme by a nontrivial $μ_p$ or $α_p$ action. 34 pages

MSC Class: Primary 14L30; 14L15; Secondary 14J15; 14J50

Automorphisms of smooth canonically polarized surfaces in characteristic 2

Authors: Nikolaos Tziolas

Abstract: This paper investigates the structure of the automorphism scheme of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic 2. In particular it is investigated when Aut(X) is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Re… ▽ More This paper investigates the structure of the automorphism scheme of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic 2. In particular it is investigated when Aut(X) is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of X are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity. In particular, it is shown that if X is a smooth canonically polarized surface with 1\leq K_X^2 \leq 2 with non smooth automorphism scheme, then X is uniruled. Moreover, if K_X^2=1, then X is simply connected, unirational and p_g(X) \leq 1. Moreover, X is the purely inseparable quotient of a rational surface by a rational vector field. △ Less

Submitted 14 August, 2014; v1 submitted 6 August, 2014; originally announced August 2014.

Comments: The main theorem has been strengthened compared to the last version of the paper. It now includes surfaces with K^2=2

MSC Class: 14J50 (Primary); 14DJ29; 14J10; 14D23 (Secondary); 14D22

First order deformations of schemes with normal crossing singularities

Authors: Nikolaos Tziolas

Abstract: We describe the sheaf T^1(X) of first order deformations of a reduced scheme with normal crossing singularities. In particular, we obtain a formula for T^1(X) in a suitable log resolution of X. We describe the sheaf T^1(X) of first order deformations of a reduced scheme with normal crossing singularities. In particular, we obtain a formula for T^1(X) in a suitable log resolution of X. △ Less

Submitted 18 July, 2010; originally announced July 2010.

Comments: 16 pages

MSC Class: 14D15; 14D06

Smoothings of Fano varieties with normal crossing singularities

Authors: Nikolaos Tziolas

Abstract: This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of logarithmic structures and deformations is used in order to prove that X is smoothable by a smooth variety, if and only if T^1(X)=O_D, where D is the singular locus of… ▽ More This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of logarithmic structures and deformations is used in order to prove that X is smoothable by a smooth variety, if and only if T^1(X)=O_D, where D is the singular locus of X. △ Less

Submitted 7 July, 2013; v1 submitted 4 May, 2010; originally announced May 2010.

Comments: 19 pages. Final version. To appear in the Proceedings of the Edinburgh Mathematical Society

Smoothings of Fano schemes with normal crossing singularities of dimension at most three

Authors: Nikolaos Tziolas

Abstract: We study the deformation theory of a Fano variety X with normal crossing singularities of dimension at most three. We obtain a formula for the sheaf T^1(X) of first order deformations of X in a suitable log resolution of X and its singular locus Z and we obtain explicit criteria for the existence of smoothings of X. We study the deformation theory of a Fano variety X with normal crossing singularities of dimension at most three. We obtain a formula for the sheaf T^1(X) of first order deformations of X in a suitable log resolution of X and its singular locus Z and we obtain explicit criteria for the existence of smoothings of X. △ Less

Submitted 21 July, 2009; originally announced July 2009.

Comments: 22 pages

MSC Class: 14D15; 14D06; 14J45

Smoothings of schemes with non-isolated singularities

Authors: Nikolaos Tziolas

Abstract: In this paper we study the deformation and Q-Gorenstein deformation theory of schemes with non-isolated singularities. We obtain obstruction spaces for the existence of deformations and also for local deformations to exist globally. Finally we obtain explicit criteria in order for a pure and reduced scheme of finite type over a field $k$ to have smoothings and Q-Gorenstein smoothings. In this paper we study the deformation and Q-Gorenstein deformation theory of schemes with non-isolated singularities. We obtain obstruction spaces for the existence of deformations and also for local deformations to exist globally. Finally we obtain explicit criteria in order for a pure and reduced scheme of finite type over a field $k$ to have smoothings and Q-Gorenstein smoothings. △ Less

Submitted 24 August, 2009; v1 submitted 4 August, 2008; originally announced August 2008.

Comments: Final version, accepted for publication in the Michigan Mathematical Journal. 53 pages

MSC Class: 14D15

3-fold divisorial extremal neighborhoods over cE7 and cE6 Compound DuVal singularities

Authors: Nikolaos Tziolas

Abstract: Let X be the germ of a Gorenstein 3-fold singularity and C a smooth curve through it such that the general hyperplane section S of X containing D is DuVal of type E6 or E7. In this paper we obtain criteria for the existence of a terminal divisorial extremal neighborhood f: Y-->X contracting an irreducible divisor E onto C and classify all such neighborhoods. Let X be the germ of a Gorenstein 3-fold singularity and C a smooth curve through it such that the general hyperplane section S of X containing D is DuVal of type E6 or E7. In this paper we obtain criteria for the existence of a terminal divisorial extremal neighborhood f: Y-->X contracting an irreducible divisor E onto C and classify all such neighborhoods. △ Less

Submitted 17 January, 2008; v1 submitted 28 March, 2007; originally announced March 2007.

Comments: A section has been added classifying all divisorial extremal neighborhoods f:Y-->X such that if E is the f-exceptional divisor and C=f(E), the general hyperplane section S of X containg C is DuVal of type E6. The previous version classified only the E7 case. 20 pages

MSC Class: 14E30;14E35

Q-Gorenstein deformations of non-normal surfaces

Authors: Nikolaos Tziolas

Abstract: Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added. Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added. △ Less

Submitted 6 November, 2007; v1 submitted 11 April, 2005; originally announced April 2005.

Comments: 27 pages

MSC Class: 14E30; 14E35

Three dimensional divisorial extremal neighborhoods

Authors: Nikolaos Tziolas

Abstract: Revised version. Proper credits added. In this paper we study divisorial extremal neighborhoods f:Y-->X, such that X is a cAn type three dimensional terminal singularity, and C=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one-parameter smoothing of certain surface singularities, and based on this we give a classification of such… ▽ More Revised version. Proper credits added. In this paper we study divisorial extremal neighborhoods f:Y-->X, such that X is a cAn type three dimensional terminal singularity, and C=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one-parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods. △ Less

Submitted 18 September, 2003; v1 submitted 31 August, 2003; originally announced September 2003.

Comments: 37 pages

MSC Class: 14E30; 14E35

Families of D-minimal models and applications to 3-fold divisorial contractions

Authors: Nikolaos Tziolas

Abstract: Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of this we classify terminal divisorial contractions Y-->X that contract an irreducible divisor E onto a smooth curve C in the case when the general hyperplane… ▽ More Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of this we classify terminal divisorial contractions Y-->X that contract an irreducible divisor E onto a smooth curve C in the case when the general hyperplane section S of X through C is a D5 DuVal singularity. △ Less

Submitted 27 April, 2005; v1 submitted 3 October, 2002; originally announced October 2002.

Comments: Revised version. A gap in the proofs of Lemma 2.3 and Theorem 2.4 is corrected. 26 pages

MSC Class: 14E30; 14E35

Journal ref: Proc. London Math. Soc. (3) 90 (2005), 345-370

Infinitesimal Extensions of P^1 and their Hilbert Schemes

Authors: Nikolaos Tziolas

Abstract: 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… ▽ More 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^]. △ Less

Submitted 8 October, 2001; originally announced October 2001.

Comments: 22 pages

MSC Class: 14C05

Terminal 3-fold divisorial contractions of a surface to a curve, I

Authors: Nikolaos Tziolas

Abstract: Let C be a smooth curve on an index 1 terminal 3-fold. We investigate the existence of extremal terminal divisorial contractions Y-->X that contract an irreducible surface E to C. We consider cases in respect to the singularities of the general hypersurface section S of X through C. We completely classify such contractions in the case that S has A_i, i < 4 and D_2n for any n, type singularities. Let C be a smooth curve on an index 1 terminal 3-fold. We investigate the existence of extremal terminal divisorial contractions Y-->X that contract an irreducible surface E to C. We consider cases in respect to the singularities of the general hypersurface section S of X through C. We completely classify such contractions in the case that S has A_i, i < 4 and D_2n for any n, type singularities. △ Less

Submitted 6 October, 2001; originally announced October 2001.

Comments: 32 pages

MSC Class: 14C05