Searcharxiv⌕ Search

arXiv subjects

Stefan Schroeer

Publications and source records attributed to Stefan Schroeer.

At least 19 recordsLinked to original sources
arXiv2015

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

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.

math.AG↗
arXiv2014

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

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.

math.AG↗
arXiv2013

Infinite CW-complexes, Brauer groups and phantom cohomology

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.

math.AT↗
arXiv2013

Pathologies in cohomology of non-paracompact Hausdorff spaces

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.

math.AT↗
arXiv2012

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

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.

math.AG↗
arXiv2011

Enriques manifolds

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.

math.AG↗
arXiv2011

Periods of Enriques Manifolds

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.

math.AG↗
arXiv2010

The Neron model over the Igusa curves

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.

math.AG↗
arXiv2009

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

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.

math.AG↗
arXiv2009

On fibrations whose geometric fibers are nonreduced

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.

math.AG↗
arXiv2008

The bigger Brauer group and twisted sheaves

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.

math.AG↗
arXiv2007

Ample families, multihomogeneous spectra, and algebraization of formal schemes

Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts, but are possibly nonseparated. We relate them to ample families of invertible sheaves and simplicial toric varieties. As an application, we generalize Grothendieck's Algebraization Theorem and show that formal schemes with certain ample families are algebraizable.

math.AG↗
arXiv2007

Weak del Pezzo surfaces with irregularity

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.

math.AG↗
arXiv2007

On genus-change in algebraic curves over nonperfect fields

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.

math.AG↗
arXiv2006

Singularities appearing on generic fibers of morphisms between smooth schemes

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.

math.AG↗
arXiv2006

The Hilbert scheme of points for supersingular abelian surfaces

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.

math.AG↗
arXiv2005

Kummer surfaces for the selfproduct of the cuspidal rational curve

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.

math.AG↗