Showing 1–50 of 72 results for author: Schroeer, S

K3 surfaces over small number fields and Kummer constructions in families

Authors: Stefan Schröer

Abstract: We construct K3 surfaces over number fields that have good reduction everywhere. These do not exists over the rational numbers, by results of Abrashkin and Fontaine. Our surfaces exist for three quadratic number fields, and an infinite family of $S_3$-number fields. To this end we develop a theory of Kummer constructions in families, based on Romagny's notion of the effective models, here applied… ▽ More We construct K3 surfaces over number fields that have good reduction everywhere. These do not exists over the rational numbers, by results of Abrashkin and Fontaine. Our surfaces exist for three quadratic number fields, and an infinite family of $S_3$-number fields. To this end we develop a theory of Kummer constructions in families, based on Romagny's notion of the effective models, here applied to sign involutions. This includes quotients of non-normal surfaces by infinitesimal group schemes in characteristic two, as developed by Kondo and myself. By the results of Brieskorn and Artin, the resulting families of normal K3 surfaces admit simultaneous resolutions of singularities, at least after suitable base-changes. These resolutions are constructed in two ways: First, by blowing-up families of one-dimensional centers that acquire embedded components. Second, by computing various l-adic local systems in terms of representation theory, and invoking Shepherd-Barrons results on the resolution functor, which is representable by a highly non-separated algebraic space. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: 40 pages

MSC Class: 14J28; 14J17; 14D10; 14F20; 14A20; 11G05; 11R16

Varieties with free tangent sheaves

Authors: Damian Rössler, Stefan Schröer

Abstract: We coin the term \emph{$T$-trivial varieties} to denote smooth proper schemes over ground fields $k$ whose tangent sheaf is free. Over the complex numbers, this are precisely the abelian varieties. However, Igusa observed that in characteristic $p\leq 3$ certain bielliptic surfaces are $T$-trivial. We show that $T$-trivial varieties $X$ separably dominated by abelian varieties $A$ can exist only f… ▽ More We coin the term \emph{$T$-trivial varieties} to denote smooth proper schemes over ground fields $k$ whose tangent sheaf is free. Over the complex numbers, this are precisely the abelian varieties. However, Igusa observed that in characteristic $p\leq 3$ certain bielliptic surfaces are $T$-trivial. We show that $T$-trivial varieties $X$ separably dominated by abelian varieties $A$ can exist only for $p\leq 3$. Furthermore, we prove that every $T$-trivial variety, after passing to a finite étale covering, is fibered in $T$-trivial varieties with Betti number $b_1=0$. We also show that if some $n$-dimensional $T$-trivial $X$ lifts to characteristic zero and $p\geq 2n+2$ holds, it admits a finite étale covering by an abelian variety. Along the way, we establish several results about the automorphism group of abelian varieties, and the existence of relative Albanese maps. △ Less

Submitted 29 April, 2025; v1 submitted 16 March, 2025; originally announced March 2025.

The Iskovskih Theorem for regular surfaces over imperfect fields

Authors: Andrea Fanelli, Stefan Schröer

Abstract: We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are geometrically non-normal or geometrically non-reduced. Here the usual approach of Galois descent breaks down, and one relies entirely on the scheme theory over the ground… ▽ More We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are geometrically non-normal or geometrically non-reduced. Here the usual approach of Galois descent breaks down, and one relies entirely on the scheme theory over the ground field. Moreover, the degrees of closed points can be larger than expected, and certain curves might have purely inseparable constant field extension. To deal with the latter we establish a general theory for inseparable pencils, which is of independent interest. A crucial case not present in the classical proof for Iskovskih's theorem leads to non-normal quartic surfaces that are singular along a twisted cubic, or more exotic space curves of degree three. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 35 pages

MSC Class: 14G17; 14J26; 14H45; 14J17; 14H60

Rational points in coarse moduli spaces and twisted representations

Authors: Fabian Korthauer, Stefan Schröer

Abstract: We study moduli spaces and moduli stacks for representations of associative algebras in Azumaya algebras, in rather general settings. We do not impose any stability condition and work over arbitrary ground rings, but restrict attention to the so-called Schur representations, where the only automorphisms are scalar multiplications. The stack comprises twisted representations, which are representati… ▽ More We study moduli spaces and moduli stacks for representations of associative algebras in Azumaya algebras, in rather general settings. We do not impose any stability condition and work over arbitrary ground rings, but restrict attention to the so-called Schur representations, where the only automorphisms are scalar multiplications. The stack comprises twisted representations, which are representations that live on the gerbe of splittings for the Azumaya algebra. Such generalized spaces and stacks appear naturally: For any rational point on the classical coarse moduli space of matrix representations, the machinery of non-abelian cohomology produces a modified moduli problem for which the point acquires geometric origin. The latter are given by representations in Azumaya algebras. △ Less

Submitted 12 January, 2025; originally announced January 2025.

Comments: 34 pages

MSC Class: 14D22; 14D23; 14A20; 16G10; 16G20; 16H05

Generalizations of quasielliptic curves

Authors: Cesar Hilario, Stefan Schröer

Abstract: We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all characteristics and having higher genera. This relies on the study of certain infinitesimal group schemes acting on the affine line and certain compactifications. The group s… ▽ More We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all characteristics and having higher genera. This relies on the study of certain infinitesimal group schemes acting on the affine line and certain compactifications. The group schemes are defined in terms of invertible additive polynomials over rings with nilpotent elements, and the compactification is constructed with the theory of numerical semigroups. The existence of regular twisted forms relies on Brion's recent theory of equivariant normalization. Furthermore, extending results of Serre from the realm of group cohomology, we describe non-abelian cohomology for semidirect products, to compute in special cases the collection of all twisted forms. △ Less

Submitted 3 January, 2024; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 31 pages

MSC Class: 14G17; 14L15; 14L30; 14H45; 20M25; 20J06; 14D06

Journal ref: Épijournal de Géométrie Algébrique, Volume 7 (January 8, 2024) epiga:11181

Sign involutions on para-abelian varieties

Authors: Jakob Bergqvist, Thuong Dang, Stefan Schröer

Abstract: We study the so-called sign involutions on twisted forms of abelian varieties, and show that such a sign involution exists if and only if the class in the Weil--Châtelet group is annihilated by two. If these equivalent conditions hold, we prove that the Picard scheme of the quotient is étale and contains no points of finite order. In dimension one, such quotients are Brauer--Severi curves, and we… ▽ More We study the so-called sign involutions on twisted forms of abelian varieties, and show that such a sign involution exists if and only if the class in the Weil--Châtelet group is annihilated by two. If these equivalent conditions hold, we prove that the Picard scheme of the quotient is étale and contains no points of finite order. In dimension one, such quotients are Brauer--Severi curves, and we analyze the ensuing embeddings of the genus-one curve into twisted forms of Hirzebruch surfaces and weighted projective spaces. △ Less

Submitted 26 April, 2024; v1 submitted 9 January, 2023; originally announced January 2023.

Comments: 16 pages, Introduction expanded, otherwise minor changes, to appear in Indag. Math

MSC Class: 14L30; 14K15; 14K30; 14J26

The structure of regular genus-one curves over imperfect fields

Authors: Stefan Schröer

Abstract: Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in terms of twisted forms of standard models with respect to infinitesimal group scheme actions, and not via extrinsic equations. The main new idea is to analyze an… ▽ More Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in terms of twisted forms of standard models with respect to infinitesimal group scheme actions, and not via extrinsic equations. The main new idea is to analyze and exploit moduli for fields of representatives in Cohen's Structure Theorem. The results serve for the understanding of genus-one fibrations over higher-dimensional bases. △ Less

Submitted 8 November, 2022; originally announced November 2022.

Comments: 35 pages

MSC Class: 14G17; 14L30; 14H45; 14D06; 14B05

The inverse Galois problem for connected algebraic groups

Authors: Michel Brion, Stefan Schröer

Abstract: We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blow-ups of orbit closures, Fitting ideals for Kähler differentials, and Blanchard's Lemma… ▽ More We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blow-ups of orbit closures, Fitting ideals for Kähler differentials, and Blanchard's Lemma. △ Less

Submitted 25 June, 2024; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: Minor changes. Final version, to appear in Transformation Groups

MSC Class: 14L15; 14G17; 14J50 (Primary) 14M20; 17B50; 13N15 (Secondary)

Albanese maps for open algebraic spaces

Authors: Stefan Schröer

Abstract: We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the structure of an abelian variety after some ground field extension. This generalizes classical results of Serre on universal morphisms from algebraic varieties to abe… ▽ More We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the structure of an abelian variety after some ground field extension. This generalizes classical results of Serre on universal morphisms from algebraic varieties to abelian varieties. Our proof relies on corresponding facts for the proper case, together with the structural properties of group schemes, removal of singularities by alterations, and ind-objects. It turns out that the formation of the Albanese variety commutes with base-change up to universal homeomorphisms. We also give a detailed analysis of Albanese maps for algebraic curves and algebraic groups, with special emphasis on imperfect ground fields. △ Less

Submitted 31 July, 2023; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: Minor changes, references added, 34 pages. To appear in Int. Math. Res. Not. IMRN

MSC Class: 14K30; 14G17; 14E15; 14A20; 14L15

Loops on schemes and the algebraic fundamental group

Authors: Kay Rülling, Stefan Schröer

Abstract: In this note we give a re-interpretation of the algebraic fundamental group for proper schemes that is rather close to the original definition of the fundamental group for topological spaces. The idea is to replace the standard interval from topology by what we call interval schemes. This leads to an algebraic version of continuous loops, and the homotopy relation is defined in terms of the monodr… ▽ More In this note we give a re-interpretation of the algebraic fundamental group for proper schemes that is rather close to the original definition of the fundamental group for topological spaces. The idea is to replace the standard interval from topology by what we call interval schemes. This leads to an algebraic version of continuous loops, and the homotopy relation is defined in terms of the monodromy action. Our main results hinge on Macaulayfication for proper schemes and Lefschetz type results. △ Less

Submitted 17 March, 2024; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: title changed, to appear in Rev. Mat. Complut

MSC Class: 14F35; 14E20; 14H30

The resolution property holds away from codimension three

Authors: Siddharth Mathur, Stefan Schröer

Abstract: The purpose of this paper is to verify a conjecture of Gross under mild hypothesis: all reduced, separated, and excellent schemes have the resolution property away from a closed subset of codimension at least three. Our technique uses formal-local descent and the existence of affine flat neighborhoods to reduce the problem to constructing certain modules over commutative rings. Once in the categor… ▽ More The purpose of this paper is to verify a conjecture of Gross under mild hypothesis: all reduced, separated, and excellent schemes have the resolution property away from a closed subset of codimension at least three. Our technique uses formal-local descent and the existence of affine flat neighborhoods to reduce the problem to constructing certain modules over commutative rings. Once in the category of modules we exhibit enough locally free sheaves directly, thereby establishing the resolution property for a specific class of algebraic spaces. A crucial step is showing it suffices to resolve a single coherent sheaf. △ Less

Submitted 16 March, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: minor changes, to appear in Trans. Amer. Math. Soc

Algebraic spaces that become schematic after ground field extension

Authors: Stefan Schröer

Abstract: We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions. We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Comments: 7 pages

MSC Class: 14A20; 14L30; 14E20

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

Para-abelian varieties and Albanese maps

Authors: Bruno Laurent, Stefan Schröer

Abstract: We construct for every proper algebraic space over a ground field an Albanese map to a para-abelian variety, which is unique up to unique isomorphism. This holds in the absence of rational points or ample sheaves, and also for reducible or non-reduced spaces, under the mere assumption that the structure morphism is in Stein factorization. It also works under suitable assumptions in families. In fa… ▽ More We construct for every proper algebraic space over a ground field an Albanese map to a para-abelian variety, which is unique up to unique isomorphism. This holds in the absence of rational points or ample sheaves, and also for reducible or non-reduced spaces, under the mere assumption that the structure morphism is in Stein factorization. It also works under suitable assumptions in families. In fact the treatment of the relative setting is crucial, even to understand the situation over ground fields. This also ensures that Albanese maps are equivariant with respect to actions of group schemes. Our approach depends on the notion of families of para-abelian varieties, where each geometric fiber admits the structure of an abelian variety, and representability of tau-parts in relative Picard groups, together with structure results on algebraic groups. △ Less

Submitted 9 November, 2023; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 36 pages, minor changes, to appear in Bull. Braz. Math. Soc

MSC Class: 14K30; 14A20; 14L30; 14D10

Discriminant groups of wild cyclic quotient singularities

Authors: Dino Lorenzini, Stefan Schröer

Abstract: Let p be prime. We describe explicitly the resolution of singularities of several families of wild Z/pZ-quotient singularities in dimension two, including families that generalize the quotient singularities of type E_6, E_7, and E_8 from p=2 to arbitrary characteristics. We prove that for odd primes, any power of p can appear as the determinant of the intersection matrix of a wild Z/pZ-quotient si… ▽ More Let p be prime. We describe explicitly the resolution of singularities of several families of wild Z/pZ-quotient singularities in dimension two, including families that generalize the quotient singularities of type E_6, E_7, and E_8 from p=2 to arbitrary characteristics. We prove that for odd primes, any power of p can appear as the determinant of the intersection matrix of a wild Z/pZ-quotient singularity. We also provide evidence towards the conjecture that in this situation one may choose the wild action to be ramified precisely at the origin. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Comments: 44 pages

MSC Class: 14J17; 14B05; 13A50; 14E15

Journal ref: Alg. Number Th. 17 (2023) 1017-1068

Moret-Bailly families and non-liftable schemes

Authors: Damian Roessler, Stefan Schröer

Abstract: Generalizing the Moret-Bailly pencil of supersingular abelian surfaces to higher dimensions, we construct for each field of characteristic p>0 a smooth projective variety with trivial dualizing sheaf that does not formally lift to characteristic zero. Our approach heavily relies on local unipotent group schemes, the Beauville--Bogomolov Decomposition for Kähler manifolds with $c_1=0$, and equivari… ▽ More Generalizing the Moret-Bailly pencil of supersingular abelian surfaces to higher dimensions, we construct for each field of characteristic p>0 a smooth projective variety with trivial dualizing sheaf that does not formally lift to characteristic zero. Our approach heavily relies on local unipotent group schemes, the Beauville--Bogomolov Decomposition for Kähler manifolds with $c_1=0$, and equivariant deformation theory △ Less

Submitted 30 June, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: 31 pages, Theorem 5.1 extended to the case that ω_Y is anti-nef, results on non-existence of formal liftings corrected by adding assumptions, Section 9 on non-existence of liftings to rings of Witt vectors added

MSC Class: 14J32; 14K05; 14L15; 14D10

Rigidified torsor cocycles, hypercoverings and bundle gerbes

Authors: Stefan Schröer

Abstract: We give a geometric interpretation of sheaf cohomology for higher degrees n in terms of torsors on the member of degree d=n-1 in hypercoverings of type r=n-2, endowed with an additional data, the so-called rigidification. This generalizes the fact that cohomology in degree one is the group of isomorphism classes of torsors, where the rigidification becomes vacuous, and that cohomology in degree tw… ▽ More We give a geometric interpretation of sheaf cohomology for higher degrees n in terms of torsors on the member of degree d=n-1 in hypercoverings of type r=n-2, endowed with an additional data, the so-called rigidification. This generalizes the fact that cohomology in degree one is the group of isomorphism classes of torsors, where the rigidification becomes vacuous, and that cohomology in degree two can be expressed in terms of bundle gerbes, where the rigidification becomes an associativity constraint. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: 28 pages, to appear in J. Aust. Math. Soc

MSC Class: 55N30; 19D23; 55U10; 18F20; 14F20

Journal ref: J. Aust. Math. Soc. 112 (2022) 115-144

Elliptic curves over the rational numbers with semi-abelian reduction and two-division points

Authors: Stefan Schröer

Abstract: We classify elliptic curves over the rationals whose Néron model over the integers is semi-abelian, with good reduction at p=2, and whose Mordell--Weil group contains an element of order two that stays non-trivial at p=2. Furthermore, we describe those curves where the element of order two is narrow, or where another element of order two exists, and also express our findings in terms of Deligne--M… ▽ More We classify elliptic curves over the rationals whose Néron model over the integers is semi-abelian, with good reduction at p=2, and whose Mordell--Weil group contains an element of order two that stays non-trivial at p=2. Furthermore, we describe those curves where the element of order two is narrow, or where another element of order two exists, and also express our findings in terms of Deligne--Mumford stacks of pointed curves of genus one. △ Less

Submitted 11 December, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: 19 pages, minor changes, to appear in J. Number Theory

MSC Class: 14H52; 14G05; 14G25

There is no Enriques surface over the integers

Authors: Stefan Schröer

Abstract: We show that there is no family of Enriques surfaces over the ring of integers. This extends non-existence results of Minkowski for families of finite étale schemes, of Tate and Ogg for families of elliptic curves, and of Fontaine and Abrashkin for families of abelian varieties and more general smooth proper schemes with certain restrictions on Hodge numbers. Our main idea is to study the local sy… ▽ More We show that there is no family of Enriques surfaces over the ring of integers. This extends non-existence results of Minkowski for families of finite étale schemes, of Tate and Ogg for families of elliptic curves, and of Fontaine and Abrashkin for families of abelian varieties and more general smooth proper schemes with certain restrictions on Hodge numbers. Our main idea is to study the local system of numerical classes of invertible sheaves. Among other things, our result also hinges on counting rational points, Lang's classification of rational elliptic surfaces in characteristic two, the theory of exceptional Enriques surfaces due to Ekedahl and Shepherd-Barron, some recent results on the base of their versal deformation, Shioda's theory of Mordell--Weil lattices, and an extensive combinatorial study for the pairwise interaction of genus-one fibrations. △ Less

Submitted 9 August, 2022; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 52 page; error in Proposition 7.1 and handling of weights in Section 7 corrected; proof for Proposition 9.5 simplified; parts of Section 14 moved to Section 12; a major mistake concerning two-sections corrected, by using Nikulin's theory of discriminant forms; many other corrections and improvements of minor nature; to appear in Ann. of Math

MSC Class: 14J28; 14J26; 14J27; 14G15; 14K30

Unirationality and geometric unirationality for hypersurfaces in positive characteristics

Authors: Keiji Oguiso, Stefan Schröer

Abstract: Building on work of Segre and Koll'ar on cubic hypersurfaces, we construct over imperfect fields of characteristic p\geq 3 particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose rational points are Zariski dense are not necessarily unirational. A likewise behaviour holds for certain cubic surfaces in characteristic p=2. Building on work of Segre and Koll'ar on cubic hypersurfaces, we construct over imperfect fields of characteristic p\geq 3 particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose rational points are Zariski dense are not necessarily unirational. A likewise behaviour holds for certain cubic surfaces in characteristic p=2. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 16 pages

MSC Class: 14M20; 14J70; 14G05; 14J26; 14G17

Kummer surfaces associated with group schemes

Authors: Shigeyuki Kondo, Stefan Schröer

Abstract: We introduce Kummer surfaces X=Km(CxC) with the group scheme G=mu_2 acting on the self-product of the rational cuspidal curve in characteristic two. The resulting quotients are normal surfaces having a configuration of sixteen rational double points of type A_1, together with a rational double point of type D_4. We show that our Kummer surfaces are precisely the supersingular K3 surfaces with Arti… ▽ More We introduce Kummer surfaces X=Km(CxC) with the group scheme G=mu_2 acting on the self-product of the rational cuspidal curve in characteristic two. The resulting quotients are normal surfaces having a configuration of sixteen rational double points of type A_1, together with a rational double point of type D_4. We show that our Kummer surfaces are precisely the supersingular K3 surfaces with Artin invariant sigma\leq 3, and characterize them by the existence of a certain configuration of thirty curves. After contracting suitable curves, they also appear as normal K3-like coverings for simply-connected Enriques surfaces. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 17 pages

MSC Class: 14J28; 14L15; 14J27

The Deligne-Illusie Theorem and exceptional Enriques surfaces

Authors: Stefan Schröer

Abstract: Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non-liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd-B… ▽ More Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non-liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd-Barron, do not lift to truncated Witt vectors, yet the base of the miniversal formal deformation over the Witt vectors is regular. Using the classification of Bombieri and Mumford, we also show that bielliptic surfaces arising from a quotient by an unipotent group scheme of order $p$ do not lift the ring of Witt vectors. These results hinge on some observations in homological algebra that relates splittings in derived categories to Yoneda extensions and certain diagram completions. △ Less

Submitted 6 January, 2021; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 34 pages, minor changes, to appear in Eur. J. Math

MSC Class: 14D15; 14J28; 14J60 14J27; 14L15; 18E10

Journal ref: Eur. J. Math. 7 (2021), 489-525

The maximal unipotent finite quotient, unusual torsion in Fano threefolds, and exceptional Enriques surfaces

Authors: Andrea Fanelli, Stefan Schröer

Abstract: We introduce and study the maximal unipotent finite quotient for algebraic group schemes in positive characteristics. Applied to Picard schemes, this quotient encodes unusual torsion. We construct integral Fano threefolds where such unusual torsion actually appears. The existence of such threefolds is surprising, because the torsion vanishes for del Pezzo surfaces. Our construction relies on the t… ▽ More We introduce and study the maximal unipotent finite quotient for algebraic group schemes in positive characteristics. Applied to Picard schemes, this quotient encodes unusual torsion. We construct integral Fano threefolds where such unusual torsion actually appears. The existence of such threefolds is surprising, because the torsion vanishes for del Pezzo surfaces. Our construction relies on the theory of exceptional Enriques surfaces, as developed by Ekedahl and Shepherd-Barron. △ Less

Submitted 18 August, 2020; v1 submitted 11 May, 2019; originally announced May 2019.

Comments: 29 pages; minor changes

MSC Class: 14J45; 14J28; 14L15; 14C22

Journal ref: Épijournal de Géométrie Algébrique, Volume 4 (August 19, 2020) epiga:6151

Moderately ramified actions in positive characteristic

Authors: Dino Lorenzini, Stefan Schröer

Abstract: In characteristic two and dimension two, wild Z/2Z-actions on k[[u,v]] ramified precisely at the origin were classified by Artin, who showed in particular that they induce hypersurface singularities. We introduce in this article a new class of wild quotient singularities in any characteristic p>0 arising from certain non-linear actions of Z/pZ on the formal power series ring in n variables. These… ▽ More In characteristic two and dimension two, wild Z/2Z-actions on k[[u,v]] ramified precisely at the origin were classified by Artin, who showed in particular that they induce hypersurface singularities. We introduce in this article a new class of wild quotient singularities in any characteristic p>0 arising from certain non-linear actions of Z/pZ on the formal power series ring in n variables. These actions are ramified precisely at the origin, and their rings of invariants in dimension n=2 are hypersurface singularities, with an equation of a form similar to the form found by Artin when p=2. In higher dimension, the rings of invariants are not local complete intersection in general, but remain quasi-Gorenstein. We establish several structure results for such actions and their corresponding rings of invariants. △ Less

Submitted 17 April, 2019; originally announced April 2019.

Comments: 48 pages

MSC Class: 14B05; 14J17; 14L15; 14E22; 13B02

Journal ref: Math. Z. 295 (2020), 1095-1142

A higher-dimensional generalization of Mumford's rational pullback for Weil divisors

Authors: Stefan Schröer

Abstract: Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such general results. We single out a higher-dimensional situation that resembles the surface case and show for it that a rational pullback for Weil divisors exists,… ▽ More Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such general results. We single out a higher-dimensional situation that resembles the surface case and show for it that a rational pullback for Weil divisors exists, which is also linear, respects effectivity, and satisfies the projection formula. △ Less

Submitted 19 July, 2018; originally announced July 2018.

Comments: 8 pages

MSC Class: 14E05; 14C20; 14A15

Journal ref: J. Singul. 19 (2019), 53-60

Del Pezzo surfaces and Mori fiber spaces in positive characteristic

Authors: Andrea Fanelli, Stefan Schröer

Abstract: We settle a question that originates from results and remarks by Kollár on extremal ray in the minimal model program: In positive characteristics, there are no Mori fibrations on threefolds with only terminal singularities whose generic fibers are geometrically non-normal surfaces. To show this we establish some general structure results for del Pezzo surfaces over imperfect ground fields. This re… ▽ More We settle a question that originates from results and remarks by Kollár on extremal ray in the minimal model program: In positive characteristics, there are no Mori fibrations on threefolds with only terminal singularities whose generic fibers are geometrically non-normal surfaces. To show this we establish some general structure results for del Pezzo surfaces over imperfect ground fields. This relies on Reid's classification of non-normal del Pezzo surfaces over algebraically closed fields, combined with a detailed analysis of geometrical non-reducedness over imperfect fields of p-degree one. △ Less

Submitted 8 September, 2019; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 71 pages, minor changes, to appear in Trans. Amer. Math. Soc

MSC Class: 14E30; 14G17; 14J26; 14J30; 14J17; 14H20; 14J45

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 1775-1843

Total separable closure and contractions

Authors: Stefan Schröer

Abstract: We show that on integral normal separated schemes whose function field is separably closed, for each pair of points the intersection of the resulting local schemes is local. This extends a result of Artin from rings to schemes. The argument relies on the existence of certain modifications in inverse limits. As an application, we show that Čech cohomology coincides with sheaf cohomology for the Nis… ▽ More We show that on integral normal separated schemes whose function field is separably closed, for each pair of points the intersection of the resulting local schemes is local. This extends a result of Artin from rings to schemes. The argument relies on the existence of certain modifications in inverse limits. As an application, we show that Čech cohomology coincides with sheaf cohomology for the Nisnevich topology. Along the way, we generalize the characterization of contractible curves on surfaces by negative-definiteness of the intersection matrix to higher dimensions, using bigness of invertible sheaves on non-reduced schemes. △ Less

Submitted 22 August, 2017; originally announced August 2017.

Comments: 17 pages

MSC Class: 14E05; 14F20; 13B22

Journal ref: J. Algebra 525 (2019), 416-434

On equivariant formal deformation theory

Authors: Stefan Schröer, Yukihide Takayama

Abstract: Using the set-up of deformation categories of Talpo and Vistoli, we re-interpret and generalize, in the context of cartesian morphisms in abstract categories, some results of Rim concerning obstructions against extensions of group actions in infinitesimal deformations. Furthermore, we observe that finite étale coverings can be infinitesimally extended and the resulting formal scheme is algebraizab… ▽ More Using the set-up of deformation categories of Talpo and Vistoli, we re-interpret and generalize, in the context of cartesian morphisms in abstract categories, some results of Rim concerning obstructions against extensions of group actions in infinitesimal deformations. Furthermore, we observe that finite étale coverings can be infinitesimally extended and the resulting formal scheme is algebraizable. Finally, we show that pre-Tango structures survive under pullbacks with respect to finite, generically étale surjections $π:X\rightarrow Y$, and record some consequences regarding Kodaira vanishing in degree one. △ Less

Submitted 6 April, 2017; originally announced April 2017.

Comments: 14 pages

MSC Class: 14D15; 14B25; 14F17

Enriques surfaces with normal K3-like coverings

Authors: Stefan Schröer

Abstract: We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the resulting twistor lines in the moduli stack of Enriques surfaces, including the case that the K3-like covering is a normal rational surface rather then a norma… ▽ More We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the resulting twistor lines in the moduli stack of Enriques surfaces, including the case that the K3-like covering is a normal rational surface rather then a normal K3 surface. Among other things, we show that elliptic double points indeed do occur. In this case,there is only one singularity.The main idea is to apply flops to Frobenius pullbacks of rational elliptic surfaces, to get the desired K3-like covering. Our results hinge on Lang's classification of rational elliptic surfaces, the determination of their Mordell--Weil lattices by Shioda and Oguiso, and the behavior of unstable fibers under Frobenius pullback via Ogg's Formula. Along the way, we develop a general theory of Zariski singularities in arbitrary dimension, which is tightly interwoven with the theory of height-one group schemes actions and restricted Lie algebras. Furthermore, we determine under what conditions tangent sheaves are locally free, and introduce a theory of canonical coverings for arbitrary proper algebraic schemes. △ Less

Submitted 17 May, 2019; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: 61 pages. Mistake in Proposition 6.3 corrected, with related changes. Small rectifications in Section 15. Section 16 trimmed off. Otherwise minor modifications

MSC Class: 14J28; 14J27; 14B05; 14L15; 14G17

The p-radical closure of local noetherian rings

Authors: Stefan Schröer

Abstract: Given a local noetherian ring $R$ whose formal completion is integral, we introduce and study the $p$-radical closure $R^\text{prc}$. Roughly speaking, this is the largest purely inseparable $R$-subalgebra inside the formal completion $\hat{R}$. It turns out that the finitely generated intermediate rings $R\subset A\subset R^\text{prc}$ have rather peculiar properties. They can be used in a system… ▽ More Given a local noetherian ring $R$ whose formal completion is integral, we introduce and study the $p$-radical closure $R^\text{prc}$. Roughly speaking, this is the largest purely inseparable $R$-subalgebra inside the formal completion $\hat{R}$. It turns out that the finitely generated intermediate rings $R\subset A\subset R^\text{prc}$ have rather peculiar properties. They can be used in a systematic way to provide examples of integral local rings whose normalization is non-finite, that do not admit a resolution of singularities, and whose formal completion is non-reduced. △ Less

Submitted 15 May, 2017; v1 submitted 27 October, 2016; originally announced October 2016.

Comments: 19 pages, change of title, corrected an erroneous application of MacLane's separability criterion, otherwise minor changes. To appear in J. Commut. Algebra

MSC Class: 14JA05; 13B22; 13F40; 13J10

Geometry on totally separably closed schemes

Authors: Stefan Schröer

Abstract: We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes such an equality holds with respect to the etale topology under the assumption that every finite subset admits an affine open neighborhood (AF-property). Our key r… ▽ More We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes such an equality holds with respect to the etale topology under the assumption that every finite subset admits an affine open neighborhood (AF-property). Our key result is that on the absolute integral closure of separated algebraic schemes, the intersection of any two irreducible closed subsets remains irreducible. We prove this by establishing general modification and contraction results adapted to inverse limits of schemes. Along the way, we characterize schemes that are acyclic with respect to various Grothendieck topologies, study schemes all whose local rings are strictly henselian, and analyze fiber products of strict localizations. △ Less

Submitted 21 November, 2016; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: 37 pages, minor changes, references added, appendix on inductive dimension included, to appear in Algebra Number Theory

MSC Class: 14F20; 14E05; 13B22; 13J15

Journal ref: Alg. Number Th. 11 (2017) 537-582

Brauer groups for quiver moduli

Authors: Markus Reineke, Stefan Schroeer

Abstract: We compute the Brauer groups of several moduli spaces of stable quiver representations. We compute the Brauer groups of several moduli spaces of stable quiver representations. △ Less

Submitted 2 October, 2014; originally announced October 2014.

Comments: 20 pages

MSC Class: Primary 14D22; Secondary 14F22; 16G20

Points in the fppf topology

Authors: Stefan Schröer

Abstract: Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure sheaf are what we call fppf-local rings. We show that for such rings all localizations at primes are henselian with algebraically closed residue field, and rela… ▽ More Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure sheaf are what we call fppf-local rings. We show that for such rings all localizations at primes are henselian with algebraically closed residue field, and relate them to AIC and TIC rings. Furthermore, we give an abstract criterion ensuring that two sites have point spaces with identical sobrification. This applies in particular to some standard Grothendieck topologies considered in algebraic geometry: Zariski, etale, syntomic, and fppf. △ Less

Submitted 26 January, 2016; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 25 pages, minor changes, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

MSC Class: 14F20; 13B40; 18B25; 18F10

Vector bundles on proper toric 3-folds and certain other schemes

Authors: Markus Perling, Stefan Schroeer

Abstract: We show that a proper algebraic n-dimensional scheme Y admits nontrivial vector bundles of rank n, even if Y is non-projective, provided that there is a modification containing a projective Cartier divisor that intersects the exceptional locus in only finitely many points. Moreover, there are such vector bundles with arbitrarily large top Chern number. Applying this to toric varieties, we infer th… ▽ More We show that a proper algebraic n-dimensional scheme Y admits nontrivial vector bundles of rank n, even if Y is non-projective, provided that there is a modification containing a projective Cartier divisor that intersects the exceptional locus in only finitely many points. Moreover, there are such vector bundles with arbitrarily large top Chern number. Applying this to toric varieties, we infer that every proper toric threefold admits such vector bundles of rank three. Furthermore, we describe a class of higher-dimensional toric varieties for which the result applies, in terms of convexity properties around rays. △ Less

Submitted 24 August, 2015; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 28 pages, minor changes, to appear in Trans. Amer. Math. Soc

MSC Class: 14J60; 14M25

Pathologies in cohomology of non-paracompact Hausdorff spaces

Authors: Stefan Schroeer

Abstract: We construct a non-paracompact Hausdorff space for which Cech cohomology does not coincide with sheaf cohomology. Moreover, the sheaf of continuous real-valued functions is neither soft nor acyclic, and our space admits non-numerable principal bundles. We construct a non-paracompact Hausdorff space for which Cech cohomology does not coincide with sheaf cohomology. Moreover, the sheaf of continuous real-valued functions is neither soft nor acyclic, and our space admits non-numerable principal bundles. △ Less

Submitted 10 September, 2013; originally announced September 2013.

Comments: 7 pages, 1 figure

MSC Class: 55N30; 54D20; 54G20

Journal ref: Topology Appl. 160 (2013), 1809-1815

Infinite CW-complexes, Brauer groups and phantom cohomology

Authors: Jens Hornbostel, Stefan Schroeer

Abstract: Expanding a result of Serre on finite CW-complexes, we show that the Brauer group coincides with the cohomological Brauer group for arbitrary compact spaces. Using results from the homotopy theory of classifying spaces for Lie groups, we give another proof of the result of Antieau and Williams that equality does not hold for Eilenberg--MacLane spaces of type K(Z/nZ,2). Employing a result of Dwyer… ▽ More Expanding a result of Serre on finite CW-complexes, we show that the Brauer group coincides with the cohomological Brauer group for arbitrary compact spaces. Using results from the homotopy theory of classifying spaces for Lie groups, we give another proof of the result of Antieau and Williams that equality does not hold for Eilenberg--MacLane spaces of type K(Z/nZ,2). Employing a result of Dwyer and Zabrodsky, we show the same for the classifying spaces BG where G is an infinite-dimensional F_p-vector space. In this context, we also give a formula expressing phantom cohomology in terms of homology. △ Less

Submitted 10 September, 2013; v1 submitted 15 April, 2013; originally announced April 2013.

Comments: Paper reorganized by dissolving former Section 4, reference added, otherwise minor changes. 18 pages. To appear in Israel J. Math

MSC Class: 55N10; 16K50; 14F22

Wild quotient surface singularities whose dual graphs are not star-shaped

Authors: Hiroyuki Ito, Stefan Schroeer

Abstract: We obtain some results that answer certain questions of Lorenzini on wild quotient singularities in dimension two. Using Kato's theory of log structures and log regularity, we prove that the dual graph of exceptional curves on the resolution of singularities contains at least one node. Furthermore, we show that diagonal quotients for Hermitian curves by analogues of Heisenberg groups lead to examp… ▽ More We obtain some results that answer certain questions of Lorenzini on wild quotient singularities in dimension two. Using Kato's theory of log structures and log regularity, we prove that the dual graph of exceptional curves on the resolution of singularities contains at least one node. Furthermore, we show that diagonal quotients for Hermitian curves by analogues of Heisenberg groups lead to examples of wild quotient singularities where the dual graph contains at least two nodes. △ Less

Submitted 16 September, 2014; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: 37 pages, 5 figures, minor changes. To appear in Asian J. Math

MSC Class: 14B05; 14H37

Wildly Ramified Actions and Surfaces of General Type Arising from Artin-Schreier Curves

Authors: Hiroyuki Ito, Stefan Schroeer

Abstract: We analyse the diagonal quotient for products of certain Artin--Schreier curves. The smooth models are almost always surfaces of general type, with Chern slopes tending asymptotically to 1. The calculation of numerical invariants relies on a close examination of the relevant quotient singularity in characteristic p. It turns out that the canonical model has q-1 rational double points of type A_{q-… ▽ More We analyse the diagonal quotient for products of certain Artin--Schreier curves. The smooth models are almost always surfaces of general type, with Chern slopes tending asymptotically to 1. The calculation of numerical invariants relies on a close examination of the relevant quotient singularity in characteristic p. It turns out that the canonical model has q-1 rational double points of type A_{q-1}, and embeds as a divisor of degree q in P^3, which is in some sense reminiscent of the classical Kummer quartic. △ Less

Submitted 2 March, 2012; v1 submitted 1 March, 2011; originally announced March 2011.

Comments: 25 pages, 2 figures. Minor corrections, references added

MSC Class: 14J29; 14J17

Periods of Enriques Manifolds

Authors: Keiji Oguiso, Stefan Schroeer

Abstract: Enriques manifolds are complex spaces whose universal coverings are hyperkaehler manifolds. We introduce period domains for Enriques manifolds, establish a local Torelli theorem, and apply period maps in various situations, involving punctual Hilbert schemes, moduli spaces of stable sheaves, and Mukai flops. Enriques manifolds are complex spaces whose universal coverings are hyperkaehler manifolds. We introduce period domains for Enriques manifolds, establish a local Torelli theorem, and apply period maps in various situations, involving punctual Hilbert schemes, moduli spaces of stable sheaves, and Mukai flops. △ Less

Submitted 23 February, 2011; v1 submitted 5 October, 2010; originally announced October 2010.

Comments: 19 pages, minor changes, dedicated to the memory of Eckart Viehweg, to appear in Pure Appl. Math. Q

MSC Class: 14J28; 14J32

Enriques manifolds

Authors: Keiji Oguiso, Stefan Schroeer

Abstract: Using the theory of hyperkahler manifolds, we generalize the notion of Enriques surfaces to higher dimensions and construct several examples using group actions on Hilbert schemes of points or moduli spaces of stable sheaves. Using the theory of hyperkahler manifolds, we generalize the notion of Enriques surfaces to higher dimensions and construct several examples using group actions on Hilbert schemes of points or moduli spaces of stable sheaves. △ Less

Submitted 23 February, 2011; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: 18 pages, statements in Theorems 6.4 and 6.5 corrected, to appear in J. Reine Angew. Math

On the ring of unipotent vector bundles on elliptic curves in positive characteristics

Authors: Stefan Schroeer

Abstract: Using Fourier-Mukai transformations, we prove some results about the ring of unipotent vector bundles on elliptic curves in positive characteristics. This ring was determined by Atiyah in characteristic zero, who showed that it is a polynomial ring in one variable. It turns out that the situation in characteristic p>0 is completely different and rather bizarre: the ring is nonnoetherian and cont… ▽ More Using Fourier-Mukai transformations, we prove some results about the ring of unipotent vector bundles on elliptic curves in positive characteristics. This ring was determined by Atiyah in characteristic zero, who showed that it is a polynomial ring in one variable. It turns out that the situation in characteristic p>0 is completely different and rather bizarre: the ring is nonnoetherian and contains a subring whose spectrum contains infinitely many copies of Spec(Z), which are glued with successively higher and higher infinitesimal identification at the point corresponding to the prime p. △ Less

Submitted 26 August, 2009; originally announced August 2009.

Comments: 13 pages

MSC Class: 14H60; 14L05

On fibrations whose geometric fibers are nonreduced

Authors: Stefan Schroeer

Abstract: We give a bound on embedding dimensions of geometric generic fibers in terms of the dimension of the base, for fibrations in positive characteristic. This generalizes the well-known fact that for fibrations over curves, the geometric generic fiber is reduced. We illustrate our results with Fermat hypersurfaces and genus one curves. We give a bound on embedding dimensions of geometric generic fibers in terms of the dimension of the base, for fibrations in positive characteristic. This generalizes the well-known fact that for fibrations over curves, the geometric generic fiber is reduced. We illustrate our results with Fermat hypersurfaces and genus one curves. △ Less

Submitted 25 February, 2009; originally announced February 2009.

Comments: 17 pages

MSC Class: 14A15; 14D05; 14J70

The Neron model over the Igusa curves

Authors: Christian Liedtke, Stefan Schroeer

Abstract: We analyze the geometry of rational p-division points in degenerating families of elliptic curves in characteristic p. We classify the possible Kodaira symbols and determine for the Igusa moduli problem the reduction type of the universal curve. Special attention is paid to characteristic 2 and 3 where wild ramification and stacky phenomena show up. We analyze the geometry of rational p-division points in degenerating families of elliptic curves in characteristic p. We classify the possible Kodaira symbols and determine for the Igusa moduli problem the reduction type of the universal curve. Special attention is paid to characteristic 2 and 3 where wild ramification and stacky phenomena show up. △ Less

Submitted 3 May, 2010; v1 submitted 6 October, 2008; originally announced October 2008.

Comments: 44 pages, minor changes

MSC Class: 14H52; 14H10; 14L15; 11G07

Journal ref: J. Number Theory 130, 2157-2197 (2010)

The bigger Brauer group and twisted sheaves

Authors: Jochen Heinloth, Stefan Schroeer

Abstract: Given an algebraic stack with quasiaffine diagonal, we show that each G_m-gerbe comes from a central separable algebra. In other words, Taylor's bigger Brauer group equals the etale cohomology in degree two with coefficients in G_m. This gives new results also for schemes. We use the method of twisted sheaves explored by de Jong and Lieblich. Given an algebraic stack with quasiaffine diagonal, we show that each G_m-gerbe comes from a central separable algebra. In other words, Taylor's bigger Brauer group equals the etale cohomology in degree two with coefficients in G_m. This gives new results also for schemes. We use the method of twisted sheaves explored by de Jong and Lieblich. △ Less

Submitted 25 March, 2008; originally announced March 2008.

Comments: 12 pages

MSC Class: 14A20; 14F22

On genus-change in algebraic curves over nonperfect fields

Authors: Stefan Schroeer

Abstract: I give a new proof, in scheme-theoretic language, of Tate's old result on genus-change over nonperfect fields in characteristic p>0. Namely, for normal geometrically integral curves, the difference between arithmetic and geometric genus over the algebraic closure is divisible by (p-1)/2. I give a new proof, in scheme-theoretic language, of Tate's old result on genus-change over nonperfect fields in characteristic p>0. Namely, for normal geometrically integral curves, the difference between arithmetic and geometric genus over the algebraic closure is divisible by (p-1)/2. △ Less

Submitted 5 March, 2007; originally announced March 2007.

Comments: 4 pages

MSC Class: 14H20

Singularities appearing on generic fibers of morphisms between smooth schemes

Authors: Stefan Schroeer

Abstract: I give various criteria for singularities to appear on geometric generic fibers of morphism between smooth schemes in positive characteristics. This involves local fundamental groups, jacobian ideals, projective dimension, tangent and cotangent sheaves, and the effect of Frobenius. As an application, I determine which rational double points do appear on geometric generic fibers. I give various criteria for singularities to appear on geometric generic fibers of morphism between smooth schemes in positive characteristics. This involves local fundamental groups, jacobian ideals, projective dimension, tangent and cotangent sheaves, and the effect of Frobenius. As an application, I determine which rational double points do appear on geometric generic fibers. △ Less

Submitted 1 August, 2006; originally announced August 2006.

Comments: 20 pages

MSC Class: 14B07; 14D06; 14F20; 14G27

The Hilbert scheme of points for supersingular abelian surfaces

Authors: Stefan Schroeer

Abstract: We analyse the geometry of Hilbert schemes of points on abelian surfaces and Beauville's generalized Kummer varieties in positive characteristics. The main result is that, in characteristic two, the addition map from the Hilbert scheme of two points to the abelian surface is a quasifibration, such that all fibers are nonsmooth. In particular, the corresponding generalized Kummer surface is nonsm… ▽ More We analyse the geometry of Hilbert schemes of points on abelian surfaces and Beauville's generalized Kummer varieties in positive characteristics. The main result is that, in characteristic two, the addition map from the Hilbert scheme of two points to the abelian surface is a quasifibration, such that all fibers are nonsmooth. In particular, the corresponding generalized Kummer surface is nonsmooth, and minimally elliptic singularities occur in the supersingular case. We unravel the structure of the singularities in dependence of p-rank and a-number of the abelian surface. To do so, we establish a McKay Correspondence for Artin's wild involutions. △ Less

Submitted 12 June, 2006; originally announced June 2006.

Comments: 31 pages, 5 figures

MSC Class: 14B05; 14C05; 14D06; 14K15

Weak del Pezzo surfaces with irregularity

Authors: Stefan Schroeer

Abstract: I construct normal del Pezzo surfaces, and regular weak del Pezzo surfaces as well, with positive irregularity q>0. Such things can happen only over nonperfect fields. The surfaces in question are twisted forms of nonnormal del Pezzo surfaces, which were classified by Reid. The twisting is with respect to the flat topology and infinitesimal group scheme actions. The twisted surfaces appear as ge… ▽ More I construct normal del Pezzo surfaces, and regular weak del Pezzo surfaces as well, with positive irregularity q>0. Such things can happen only over nonperfect fields. The surfaces in question are twisted forms of nonnormal del Pezzo surfaces, which were classified by Reid. The twisting is with respect to the flat topology and infinitesimal group scheme actions. The twisted surfaces appear as generic fibers for Fano--Mori contractions on certain threefolds with only canonical singularities. △ Less

Submitted 5 March, 2007; v1 submitted 7 December, 2005; originally announced December 2005.

Comments: 32 pages, minor changes, to appear in Tohoku Math. J

MSC Class: 14J45; 14F17; 14L30

Kummer surfaces for the selfproduct of the cuspidal rational curve

Authors: Stefan Schroeer

Abstract: The classical Kummer construction attaches to an abelian surface a K3 surface. As Shioda and Katsura showed, this construction breaks down for supersingular abelian surfaces in characteristic two. Replacing supersingular abelian surfaces by the selfproduct of the rational cuspidal curve, and the sign involution by suitable infinitesimal group scheme actions, I give the correct Kummer-type constr… ▽ More The classical Kummer construction attaches to an abelian surface a K3 surface. As Shioda and Katsura showed, this construction breaks down for supersingular abelian surfaces in characteristic two. Replacing supersingular abelian surfaces by the selfproduct of the rational cuspidal curve, and the sign involution by suitable infinitesimal group scheme actions, I give the correct Kummer-type construction in this situation. We encounter rational double points of type D_4 and D_8, instead of type A_1. It turns out that the resulting surfaces are supersingular K3 surfaces with Artin invariant one and two. They lie in a 1-dimensional family obtained by simultaneous resolution after purely inseparable base change. △ Less

Submitted 1 December, 2005; v1 submitted 1 April, 2005; originally announced April 2005.

Comments: 33 pages, 8 figures. Artin invariants corrected

MSC Class: 14J28; 14L30

Topological methods for complex-analytic Brauer groups

Authors: Stefan Schroeer

Abstract: Using methods from algebraic topology and group cohomology, I pursue Grothendieck's question on equality of geometric and cohomological Brauer groups in the context of complex-analytic spaces. The main result is that equality holds under suitable assumptions on the fundamental group and the Pontrjagin dual of the second homotopy group. I apply this to Lie groups, Hopf manifolds, and complex-anal… ▽ More Using methods from algebraic topology and group cohomology, I pursue Grothendieck's question on equality of geometric and cohomological Brauer groups in the context of complex-analytic spaces. The main result is that equality holds under suitable assumptions on the fundamental group and the Pontrjagin dual of the second homotopy group. I apply this to Lie groups, Hopf manifolds, and complex-analytic surfaces. △ Less

Submitted 8 February, 2005; v1 submitted 12 May, 2004; originally announced May 2004.

Comments: 20 pages, minor corrections, to appear in Topology

MSC Class: 14F22; 20J06; 32J15

Journal ref: Topology 44 (2005), no. 5, 875--894