Showing 1–43 of 43 results for author: Lieblich, M

Murphy's Law for Algebraic Stacks

Authors: Daniel Bragg, Max Lieblich

Abstract: We show that various natural algebro-geometric moduli stacks, including the stack of curves, have the property that every Deligne-Mumford gerbe over a field appears as the residual gerbe of one of their points. These gerbes are universal obstructions for objects of the stack to be defined over their fields of moduli, and for the corresponding coarse moduli space to be fine. Thus, our results show… ▽ More We show that various natural algebro-geometric moduli stacks, including the stack of curves, have the property that every Deligne-Mumford gerbe over a field appears as the residual gerbe of one of their points. These gerbes are universal obstructions for objects of the stack to be defined over their fields of moduli, and for the corresponding coarse moduli space to be fine. Thus, our results show that many natural moduli stacks hold objects that are obstructed from being defined over their fields of moduli in every possible way, and have coarse spaces which fail to be fine moduli spaces in every possible way. A basic insight enabling our arguments is that many classical constructions in equivariant projective geometry generalize to the setting of relative geometry over an arbitrary Deligne-Mumford gerbe over a field. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 52 pages plus an appendix. Comments welcome

MSC Class: 14D23 (Primary) 14D22; 14H10; 11G99 (Secondary)

Brauertsch fields

Authors: Daniel Krashen, Max Lieblich, Minseon Shin

Abstract: We prove a local-to-global principle for Brauer classes: for any finite collection of non-trivial Brauer classes on a variety over a field of transcendence degree at least 3, there are infinitely many specializations where each class stays non-trivial. This is deduced from a Grothendieck--Lefschetz-type theorem for Brauer groups of certain smooth stacks. This also leads to the notion of a Brauerts… ▽ More We prove a local-to-global principle for Brauer classes: for any finite collection of non-trivial Brauer classes on a variety over a field of transcendence degree at least 3, there are infinitely many specializations where each class stays non-trivial. This is deduced from a Grothendieck--Lefschetz-type theorem for Brauer groups of certain smooth stacks. This also leads to the notion of a Brauertsch field. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Derived equivalences over base schemes and support of complexes

Authors: Max Lieblich, Martin Olsson

Abstract: Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $Φ:D(X) \to D(Y)$ ensuring that $Φ$ is induced by a complex $P \in D(X \times_T Y )$, defining derived equivalences between the fibers of $f$ and $g$. We apply our results to the canonical fibration and albanese fib… ▽ More Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $Φ:D(X) \to D(Y)$ ensuring that $Φ$ is induced by a complex $P \in D(X \times_T Y )$, defining derived equivalences between the fibers of $f$ and $g$. We apply our results to the canonical fibration and albanese fibration. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 26 pages, comments welcome at any time. arXiv admin note: text overlap with arXiv:2001.05995

MSC Class: 14D23; 14F08; 14D06

An Atlas for the Pinhole Camera

Authors: Sameer Agarwal, Timothy Duff, Max Lieblich, Rekha Thomas

Abstract: We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by… ▽ More We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by completely characterizing a part of the atlas stemming from the triangulation problem. We conclude with several open problems and generalizations of the atlas. △ Less

Submitted 3 October, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 47 pages with references and appendices, final version

MSC Class: 14Q25; 94A08

Journal ref: JFoCM, 2022

Transcendental splitting fields of division algebras

Authors: Daniel Krashen, Max Lieblich

Abstract: We examine when division algebras can share common splitting fields of certain types. In particular, we show that one can find fields for which one has infinitely many Brauer classes of the same index and period at least 3, all nonisomorphic and having the same set of finite splitting fields as well as the same splitting fields of transcendence degree $1$ and genus at most $1$. On the other hand,… ▽ More We examine when division algebras can share common splitting fields of certain types. In particular, we show that one can find fields for which one has infinitely many Brauer classes of the same index and period at least 3, all nonisomorphic and having the same set of finite splitting fields as well as the same splitting fields of transcendence degree $1$ and genus at most $1$. On the other hand, we show that one fixes any division algebra over a field, then any division algebras sharing the same splitting fields of transcendence degree at most 3 must generate the same cyclic subgroup of the Brauer group. In particular, there are only a finite number of such division algebras. We also show that a similar finiteness statement holds for splitting fields of transcendence degree at most $2$. △ Less

Submitted 25 August, 2023; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 11 pages. Corrections and modifications have been made based on comments from an anonymous referee

MSC Class: 14G27; 16K50

Locally free twisted sheaves of infinite rank

Authors: Aise Johan de Jong, Max Lieblich, Minseon Shin

Abstract: We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two close… ▽ More We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two closed subschemes of a projective scheme. We also discuss some possible theories of infinite rank Azumaya algebras, consider a new class of "very positive" infinite rank vector bundles on projective varieties, and show that an infinite rank vector bundle on a curve in a surface can be lifted to the surface away from finitely many points. △ Less

Submitted 19 September, 2021; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: fixed the proof of 4.3.11 with the new 4.3.12; expository changes to section 4; typos

MSC Class: 14F22; 13C10

Deformation theory of perfect complexes and traces

Authors: Max Lieblich, Martin Olsson

Abstract: We show that the deformation theory of a perfect complex and that of its determinant are related by the trace map, in a general setting of sheaves on a site. The key technical step, in passing from the setting of modules over a ring where one has global resolutions to the general setting, is achieved using $K$-theory and higher category theory. We show that the deformation theory of a perfect complex and that of its determinant are related by the trace map, in a general setting of sheaves on a site. The key technical step, in passing from the setting of modules over a ring where one has global resolutions to the general setting, is achieved using $K$-theory and higher category theory. △ Less

Submitted 21 September, 2022; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 36 pages, final version, to appear in Annals of K-Theory

MSC Class: 14D15; 14A30; 14D23

Journal ref: Ann. K-Th. 7 (2022) 651-694

A Tannakian approach to patching

Authors: Bastian Haase, Daniel Krashen, Max Lieblich

Abstract: We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors under linear algebraic groups, as well as patching for sheaves and torsors on proper algebraic spaces. We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors under linear algebraic groups, as well as patching for sheaves and torsors on proper algebraic spaces. △ Less

Submitted 24 April, 2020; originally announced April 2020.

Comments: 15 pages, comments welcome at any time

MSC Class: 14F05; 14D23; 14D15; 14B20

Topological reconstruction theorems for varieties

Authors: János Kollár, Max Lieblich, Martin Olsson, Will Sawin

Abstract: We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geomet… ▽ More We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equivalence relation on divisors. As a consequence, we show that the underlying scheme of any such variety is uniquely determined by its Zariski topological space. We use this to prove a topological version of Gabriel's theorem, stating that a proper normal variety over an uncountable algebraically closed field of characteristic 0 is determined by its category of constructible abelian étale sheaves. We also discuss a conjecture in arbitrary characteristic, relating the Zariski topological space to the perfection of a proper normal variety. △ Less

Submitted 12 January, 2021; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 67 pages, minor corrections in various places, especially section 5.4; comments welcome at any time. arXiv admin note: text overlap with arXiv:1902.04668

MSC Class: 14A10; 14C20; 14C34; 14J10; 14N05; 51A05

Derived categories and birationality

Authors: Max Lieblich, Martin Olsson

Abstract: We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding categorical analogous of classical Torelli theorems. We study, in particular, a notion of strongly filtered derived equivalence and study cases where strongly filtered… ▽ More We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding categorical analogous of classical Torelli theorems. We study, in particular, a notion of strongly filtered derived equivalence and study cases where strongly filtered derived equivalence implies birationality. We also consider an open variant of our main question. △ Less

Submitted 1 September, 2022; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: Paper is withdrawn in order to break it into more manageable parts. In addition, Theorem 3.2 is false as stated. A fixed version of the relevant material is now found at arXiv:2208.14378

Perfect points on genus one curves and consequences for supersingular K3 surfaces

Authors: Daniel Bragg, Max Lieblich

Abstract: We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific exampl… ▽ More We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces. △ Less

Submitted 3 December, 2021; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 35 pages, to appear in Compositio Mathematica

MSC Class: 14J28; 14H52; 14D23

A reconstruction theorem for varieties

Authors: Max Lieblich, Martin Olsson

Abstract: We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proof relies heavily on a rational version of the classical Fundamental Theorem of Projective G… ▽ More We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proof relies heavily on a rational version of the classical Fundamental Theorem of Projective Geometry. △ Less

Submitted 24 April, 2020; v1 submitted 12 February, 2019; originally announced February 2019.

Comments: This has been superseded by a corrected and vastly expanded paper that also includes additional coauthors, available at arXiv:2003.04847

Splitting Brauer classes using the universal Albanese

Authors: Wei Ho, Max Lieblich

Abstract: We prove that every Brauer class over a field splits over a torsor under an abelian variety. If the index of the class is not congruent to 2 modulo 4, we show that the Albanese variety of any smooth curve of positive genus that splits the class also splits the class, and there exist many such curves splitting the class. We show that this can be false when the index is congruent to 2 modulo 4, but… ▽ More We prove that every Brauer class over a field splits over a torsor under an abelian variety. If the index of the class is not congruent to 2 modulo 4, we show that the Albanese variety of any smooth curve of positive genus that splits the class also splits the class, and there exist many such curves splitting the class. We show that this can be false when the index is congruent to 2 modulo 4, but adding a single genus 1 factor to the Albanese suffices to split the class. △ Less

Submitted 12 November, 2018; v1 submitted 31 May, 2018; originally announced May 2018.

Comments: 11 pages, references and acknowledgments updated, comments welcome at any time

MSC Class: 14F22; 14K30; 16K50

Twistor spaces for supersingular K3 surfaces

Authors: Daniel Bragg, Max Lieblich

Abstract: We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on universal gerbes associated to the Brauer groups of supersingular K3 surfaces. In rank 0, this is a geometric incarnation of the Artin-Tate isomorphism. Twistor… ▽ More We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on universal gerbes associated to the Brauer groups of supersingular K3 surfaces. In rank 0, this is a geometric incarnation of the Artin-Tate isomorphism. Twistor spaces give rise to curves in moduli spaces of twisted supersingular K3 surfaces, analogous to the analytic moduli space of marked K3 surfaces. We describe a theory of crystals for twisted supersingular K3 surfaces and a twisted period morphism from the moduli space of twisted supersingular K3 surfaces to this space of crystals. As applications of this theory, we give a new proof of the Ogus-Torelli theorem modeled on Verbitsky's proof in the complex analytic setting and a new proof of the result of Rudakov-Shafarevich that supersingular K3 surfaces have potentially good reduction. These proofs work in characteristic 3, filling in the last remaining gaps in the theory. As a further application, we show that each component of the supersingular locus in each moduli space of polarized K3 surfaces is unirational. △ Less

Submitted 8 February, 2019; v1 submitted 19 April, 2018; originally announced April 2018.

Comments: 98 pages. Material related to Artin's conjecture on the unirationality of supersingular K3 surfaces has been removed due to an error in Proposition 5.3.7

MSC Class: 14D23; 14D20; 14G17; 14J28; 14J10

Fourier-Mukai partners of Enriques and bielliptic surfaces in positive characteristic

Authors: Katrina Honigs, Max Lieblich, Sofia Tirabassi

Abstract: We prove that a twisted Enriques (respectively, untwisted bielliptic) surface over an algebraically closed field of positive characteristic at least 3 (respectively, at least 5) has no non-trivial Fourier-Mukai partners. We prove that a twisted Enriques (respectively, untwisted bielliptic) surface over an algebraically closed field of positive characteristic at least 3 (respectively, at least 5) has no non-trivial Fourier-Mukai partners. △ Less

Submitted 9 April, 2020; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: v3: final version to appear in Mathematical Research Letters

Moduli of sheaves: a modern primer

Authors: Max Lieblich

Abstract: We give a modern introduction to the moduli of sheaves. After reviewing the classical theory, we give a catalogue of results from the last decade. We then consider a more "symmetric" formulation of the theory by working with gerbes from the start. We give a modern introduction to the moduli of sheaves. After reviewing the classical theory, we give a catalogue of results from the last decade. We then consider a more "symmetric" formulation of the theory by working with gerbes from the start. △ Less

Submitted 1 August, 2017; originally announced August 2017.

Comments: 26 pages, contribution to proceedings of 2015 AMS Summer Institute in Algebraic Geometry

Universal limit linear series and descent of moduli spaces

Authors: Max Lieblich, Brian Osserman

Abstract: We introduce a formalism of descent of moduli spaces, and use it to produce limit linear series moduli spaces for families of curves in which the components of fibers may have monodromy. We then construct a universal stack of limit linear series over the stack of semistable curves of compact type, and produce new results on existence of real curves with few real linear series. We introduce a formalism of descent of moduli spaces, and use it to produce limit linear series moduli spaces for families of curves in which the components of fibers may have monodromy. We then construct a universal stack of limit linear series over the stack of semistable curves of compact type, and produce new results on existence of real curves with few real linear series. △ Less

Submitted 28 October, 2019; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 23 pages, journal reference added

MSC Class: 14H51; 14D06; 14P99

Journal ref: manuscripta math. (2019) 159: 13

Two Hilbert schemes in computer vision

Authors: Max Lieblich, Lucas Van Meter

Abstract: We study multiview moduli problems that arise in computer vision. We show that these moduli spaces are always smooth and irreducible, in both the calibrated and uncalibrated cases, for any number of views. We also show that these moduli spaces always admit open immersions into Hilbert schemes for more than two views, extending and refining work of Aholt-Sturmfels-Thomas. We use these moduli spaces… ▽ More We study multiview moduli problems that arise in computer vision. We show that these moduli spaces are always smooth and irreducible, in both the calibrated and uncalibrated cases, for any number of views. We also show that these moduli spaces always admit open immersions into Hilbert schemes for more than two views, extending and refining work of Aholt-Sturmfels-Thomas. We use these moduli spaces to study and extend the classical twisted pair covering of the essential variety. △ Less

Submitted 7 January, 2020; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: Shortened version, to appear in SIAGA. Note that theorem, etc., numbering is different in published version than it is here. Corrected notational error in Notation 3.2 and Proposition 3.3, enhanced reference capitalization

Period-index bounds for arithmetic threefolds

Authors: Benjamin Antieau, Asher Auel, Colin Ingalls, Daniel Krashen, Max Lieblich

Abstract: The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the… ▽ More The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the first uniform period-index bounds over such fields. △ Less

Submitted 11 January, 2019; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: Final version, to appear in Inventiones

MSC Class: 14F22; 14J20; 16K50

Journal ref: Inventiones Mathematicae 26 (2019), no. 2, 301-335

A stronger derived Torelli theorem for K3 surfaces

Authors: Max Lieblich, Martin Olsson

Abstract: In an earlier paper the notion of a filtered derived equivalence was introduced, and it was shown that if two K3 surfaces admit such an equivalence then they are isomorphic. In this paper we study more refined aspects of filtered derived equivalences related to the action on the cohomological realizations of the Mukai motive. It is shown that if a filtered derived equivalence between K3 surfaces a… ▽ More In an earlier paper the notion of a filtered derived equivalence was introduced, and it was shown that if two K3 surfaces admit such an equivalence then they are isomorphic. In this paper we study more refined aspects of filtered derived equivalences related to the action on the cohomological realizations of the Mukai motive. It is shown that if a filtered derived equivalence between K3 surfaces also preserves ample cones then one can find an isomorphism that induces the same map as the equivalence on the cohomological realizations. △ Less

Submitted 20 December, 2015; originally announced December 2015.

Comments: 25 pages, comments welcome at any time

The Clifford algebra of a finite morphism

Authors: Daniel Krashen, Max Lieblich

Abstract: We develop a general theory of Clifford algebras for finite morphisms of schemes and describe applications to the theory of Ulrich bundles and connections to period-index problems for curves of genus 1. We develop a general theory of Clifford algebras for finite morphisms of schemes and describe applications to the theory of Ulrich bundles and connections to period-index problems for curves of genus 1. △ Less

Submitted 8 November, 2022; v1 submitted 23 September, 2015; originally announced September 2015.

Comments: Notation 2.2.2 and 2.3.1 in prior version have been changed (Definition 2.2.5 and Notation 2.2.6 in current version). Examples have been added to section 2. Proof of Lemma 2.3.11 (now Lemma 2.3.10) has been fixed, and various smaller corrections have been made as well

Rational curves in the moduli of supersingular K3 surfaces

Authors: Max Lieblich

Abstract: We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on elliptic surfaces. As a consequence, we show that every point of Artin invariant 10 in the Ogus space of marked supersingular K3 surfaces lies on infinitely many pai… ▽ More We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on elliptic surfaces. As a consequence, we show that every point of Artin invariant 10 in the Ogus space of marked supersingular K3 surfaces lies on infinitely many pairwise distinct rational curves canonically associated to elliptic structures on the underlying K3 surface. △ Less

Submitted 30 July, 2015; originally announced July 2015.

Comments: 26 pages, long overdue, comments welcome!

On the unirationality of supersingular K3 surfaces

Authors: Max Lieblich

Abstract: We prove that supersingular K3 surfaces over algebraically closed fields of characteristic at least $5$ are unirational, following a simplified form of Liedtke's strategy. We prove that supersingular K3 surfaces over algebraically closed fields of characteristic at least $5$ are unirational, following a simplified form of Liedtke's strategy. △ Less

Submitted 9 April, 2019; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: Withdrawn due to an error in Proposition 5.6, corresponding to an identical error in Proposition 3.5 and Theorem 3.6 in Liedtke's original arXiv:1304.5623 (published in Inventiones Mathematicae, 200: 979--1014). Liedtke's strategy seems to be fatally flawed, as explained in the author's joint work with Bragg, arXiv:1904.04803

Colliot-Thélène's conjecture and finiteness of u-invariants

Authors: Max Lieblich, R. Parimala, V. Suresh

Abstract: We show that Colliot-Thélène's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary fields of transcendence degree 1 over the rational numbers. We show that Colliot-Thélène's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary fields of transcendence degree 1 over the rational numbers. △ Less

Submitted 25 February, 2013; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 25 pages, comments welcome at any time

Journal ref: Math. Ann. 360 (2014), no. 1-2, 1-22

Fourier-Mukai partners of K3 surfaces in positive characteristic

Authors: Max Lieblich, Martin Olsson

Abstract: We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses the derived category in place of the Hodge structure on singular cohomology; this is proven by algebraizing formal lifts of Fourier-Mukai kernels to characterist… ▽ More We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses the derived category in place of the Hodge structure on singular cohomology; this is proven by algebraizing formal lifts of Fourier-Mukai kernels to characteristic zero. As a consequence, any Shioda-supersingular K3 surface is uniquely determined up to isomorphism by its derived category of coherent sheaves. We also study different realizations of Mukai's Hodge structure in algebraic cohomology theories (etale, crystalline, de Rham) and use these to prove: 1) the zeta function of a K3 surface is a derived invariant (discovered independently by Huybrechts); 2) the variational crystalline Hodge conjecture holds for correspondences arising from Fourier-Mukai kernels on products of two K3 surfaces. △ Less

Submitted 12 August, 2014; v1 submitted 21 December, 2011; originally announced December 2011.

Comments: 31 pages, errors and typos corrected, final version

MSC Class: 14F05

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 48 (2015), no. 5, 1001-1033

Finiteness of K3 surfaces and the Tate conjecture

Authors: Max Lieblich, Davesh Maulik, Andrew Snowden

Abstract: Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k. Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k. △ Less

Submitted 12 March, 2014; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: Final version

MSC Class: 14G15; 14G10; 14J28

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 47 (2014), no. 2, 285-308

Blt Azumaya algebras and moduli of maximal orders

Authors: Rajesh S. Kulkarni, Max Lieblich

Abstract: We study moduli spaces of maximal orders in a ramified division algebra over the function field of a smooth projective surface. As in the case of moduli of stable commutative surfaces, we show that there is a Kollár-type condition giving a better moduli problem with the same geometric points: the stack of blt Azumaya algebras. One virtue of this refined moduli problem is that it admits a compactif… ▽ More We study moduli spaces of maximal orders in a ramified division algebra over the function field of a smooth projective surface. As in the case of moduli of stable commutative surfaces, we show that there is a Kollár-type condition giving a better moduli problem with the same geometric points: the stack of blt Azumaya algebras. One virtue of this refined moduli problem is that it admits a compactification with a virtual fundamental class. △ Less

Submitted 14 September, 2016; v1 submitted 18 March, 2011; originally announced March 2011.

Comments: 14 pages, comments still welcome!

MSC Class: 14D20; 16H10

A note on the cone conjecture for K3 surfaces in positive characteristic

Authors: Max Lieblich, Davesh Maulik

Abstract: We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative integer g, there are only finitely many linear systems of irreducible curves on the surface of arithmetic genus g, up to the action of the automorphism group. We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative integer g, there are only finitely many linear systems of irreducible curves on the surface of arithmetic genus g, up to the action of the automorphism group. △ Less

Submitted 28 October, 2019; v1 submitted 16 February, 2011; originally announced February 2011.

Comments: 9 pages, comments welcome at any time. Correction to the statement of Theorem 2.1 and the authors' email addresses

MSC Class: 14J28; 14J50; 14G17

Nagata compactification for algebraic spaces

Authors: Brian Conrad, Max Lieblich, Martin Olsson

Abstract: We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes. △ Less

Submitted 25 October, 2010; v1 submitted 26 October, 2009; originally announced October 2009.

Comments: 49 pages, various clarifications and bugfixes

MSC Class: 14A20; 14E25

Journal ref: J. Inst. Math. Jussieu 11 (2012), no. 4, 747-814

The period-index problem for fields of transcendence degree 2

Authors: Max Lieblich

Abstract: Using geometric methods we prove the standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a finite field. Using geometric methods we prove the standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a finite field. △ Less

Submitted 4 January, 2015; v1 submitted 24 September, 2009; originally announced September 2009.

Comments: Major revision, including bug fixes, reorganization, (hopefully) improved exposition, and clarification of base field assumptions

MSC Class: 16K50; 14D20; 14G15

Journal ref: Ann. of Math. (2) 182 (2015), no. 2, 391-427

Arithmetic aspects of moduli of sheaves on curves

Authors: Max Lieblich

Abstract: We describe recent work on the arithmetic properties of moduli spaces of stable vector bundles and stable parabolic bundles on a curve over a global field. In particular, we describe a connection between the period-index problem for Brauer classes over the function field of the curve and the Hasse principle for rational points on etale forms of such moduli spaces, refining classical results of A… ▽ More We describe recent work on the arithmetic properties of moduli spaces of stable vector bundles and stable parabolic bundles on a curve over a global field. In particular, we describe a connection between the period-index problem for Brauer classes over the function field of the curve and the Hasse principle for rational points on etale forms of such moduli spaces, refining classical results of Artin and Tate. Submitted to proceedings of a Clay workshop on vector bundles on curves in honor of Newstead. △ Less

Submitted 24 May, 2009; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: History of Brauer-Manin obstruction clarified. To appear in Clay volume on vector bundles in honor of Newstead. Margins/formatting different from published version, but numbering is identical

Journal ref: Grassmannians, moduli spaces and vector bundles, 95-120, Clay Math. Proc., 14, Amer. Math. Soc., Providence, RI, 2011

Functorial reconstruction theorems for stacks

Authors: Max Lieblich, Brian Osserman

Abstract: We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their functors. Our methods seem to exhibit new anabelian-type phenomena, in the form of structures in the category of schemes that encode automorphism data in grou… ▽ More We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their functors. Our methods seem to exhibit new anabelian-type phenomena, in the form of structures in the category of schemes that encode automorphism data in groupoids. △ Less

Submitted 28 July, 2008; originally announced July 2008.

Comments: 36 pages. Preliminary version; comments welcome at any time

MSC Class: 14A20; 14D22

Journal ref: J. Algebra 322 (2009), no. 10, 3499-3541

Moduli of twisted orbifold sheaves

Authors: Max Lieblich

Abstract: We study stacks of slope-semistable twisted sheaves on orbisurfaces with projective coarse spaces and prove that in certain cases they have many of the asymptotic properties enjoyed by the moduli of slope-semistable sheaves on smooth projective surfaces. We study stacks of slope-semistable twisted sheaves on orbisurfaces with projective coarse spaces and prove that in certain cases they have many of the asymptotic properties enjoyed by the moduli of slope-semistable sheaves on smooth projective surfaces. △ Less

Submitted 2 February, 2010; v1 submitted 23 March, 2008; originally announced March 2008.

Comments: 27 pages; further clarification of the introduction; comments still welcome

MSC Class: 14D20; 16K50

Journal ref: Adv. Math. 226 (2011), no. 5, 4145-4182

Bridgeland-Stable Moduli Spaces for K-Trivial Surfaces

Authors: Daniele Arcara, Aaron Bertram, Max Lieblich

Abstract: We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable obj… ▽ More We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable objects via Mukai flops and generalized elementary modifications of the universal coherent sheaf. We also discover a natural generalization of Thaddeus' stable pairs for curves embedded in the moduli spaces. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Comments: 33 pages, with appendix by Max Lieblich

Compactified moduli of projective bundles

Authors: Max Lieblich

Abstract: We present a method for compactifying stacks of $\PGL_n$-torsors (Azumaya algebras) on algebraic spaces. In particular, when the ambient space is a smooth projective surface we use our methods to show that various moduli spaces are irreducible and carry natural virtual fundamental classes. We also prove a version of the Skolem-Noether theorem for certain algebra objects in the derived category,… ▽ More We present a method for compactifying stacks of $\PGL_n$-torsors (Azumaya algebras) on algebraic spaces. In particular, when the ambient space is a smooth projective surface we use our methods to show that various moduli spaces are irreducible and carry natural virtual fundamental classes. We also prove a version of the Skolem-Noether theorem for certain algebra objects in the derived category, which allows us to give an explicit description of the boundary points in our compactified moduli problem. △ Less

Submitted 24 May, 2009; v1 submitted 11 June, 2007; originally announced June 2007.

Comments: 28 pages. Major reogranization and clarification. Hypothesis removed; results as stated now apply to arbitrary stable bundles, with no constraint on the rank

MSC Class: 14D20; 14D15

Journal ref: Algebra Number Theory 3 (2009), no. 6, 653-695

Index reduction for Brauer classes via stable sheaves (with an appendix by Bhargav Bhatt)

Authors: Daniel Krashen, Max Lieblich

Abstract: We use twisted sheaves to study the problem of index reduction for Brauer classes. In general terms, this problem may be phrased as follows: given a field $k$, a $k$-variety $X$, and a class $α\in \Br(k)$, compute the index of the class $α_{k(X)} \in \Br(X)$ obtained from $α$ by extension of scalars to $k(X)$. We give a general method for computing index reduction which refines classical results… ▽ More We use twisted sheaves to study the problem of index reduction for Brauer classes. In general terms, this problem may be phrased as follows: given a field $k$, a $k$-variety $X$, and a class $α\in \Br(k)$, compute the index of the class $α_{k(X)} \in \Br(X)$ obtained from $α$ by extension of scalars to $k(X)$. We give a general method for computing index reduction which refines classical results of Schofield and van den Bergh. When $X$ is a curve of genus 1, we use Atiyah's theorem on the structure of stable vector bundles with integral slope to show that our formula simplifies dramatically, giving a complete solution to the index reduction problem in this case. Using the twisted Fourier-Mukai transform, we show that a similarly simple formula describes homogeneous index reduction on torsors under higher-dimensional abelian varieties. △ Less

Submitted 26 December, 2007; v1 submitted 7 June, 2007; originally announced June 2007.

Comments: 18 pages. Additional minor revisions and corrections

MSC Class: 16K50; 14D20

Journal ref: Int. Math. Res. Not. IMRN 2008, no. 8, Art. ID rnn010, 31 pp

Generators and relations for the etale fundamental group

Authors: Max Lieblich, Martin Olsson

Abstract: If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the étale fundamental group is known by analytic methods. In this paper, we discuss the properties of the fundamental group that can be deduced by purely algebraic techniques. We describe a general reduction from an arbitrary curve to the projective li… ▽ More If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the étale fundamental group is known by analytic methods. In this paper, we discuss the properties of the fundamental group that can be deduced by purely algebraic techniques. We describe a general reduction from an arbitrary curve to the projective line minus three points, and show what can be proven unconditionally about the maximal pro-nilpotent and pro-solvable quotients of the prime-to-$p$ fundamental group. Included is an appendix which treats the tame fundamental group from a stack-theoretic perspective. △ Less

Submitted 26 November, 2007; v1 submitted 5 March, 2007; originally announced March 2007.

Comments: 26 pages. Significant revision; errors corrected, various points clarified

MSC Class: 14H30

Journal ref: Pure Appl. Math. Q. 6 (2010), no. 1, Special Issue: In honor of John Tate. Part 2, 209-243

Period and index in the Brauer group of an arithmetic surface (with an appendix by Daniel Krashen)

Authors: Max Lieblich

Abstract: In this paper we introduce two new ways to split ramification of Brauer classes on surfaces using stacks. Each splitting method gives rise to a new moduli space of twisted stacky vector bundles. By studying the structure of these spaces we prove new results on the standard period-index conjecture. The first yields new bounds on the period-index relation for classes on curves over higher local fi… ▽ More In this paper we introduce two new ways to split ramification of Brauer classes on surfaces using stacks. Each splitting method gives rise to a new moduli space of twisted stacky vector bundles. By studying the structure of these spaces we prove new results on the standard period-index conjecture. The first yields new bounds on the period-index relation for classes on curves over higher local fields, while the second can be used to relate the Hasse principle for forms of moduli spaces of stable vector bundles on pointed curves over global fields to the period-index problem for Brauer groups of arithmetic surfaces. We include an appendix by Daniel Krashen showing that the local period-index bounds are sharp. △ Less

Submitted 27 May, 2009; v1 submitted 8 February, 2007; originally announced February 2007.

Comments: 29 pages. Major revision: completely different methods, an earlier error corrected, paper reorganized. Comments are still welcome!

MSC Class: 14D15 (Primary); 14G27; 16K50 (Secondary)

Journal ref: J. Reine Angew. Math. 659 (2011), 1-41

Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich's conjecture

Authors: Sandor J. Kovacs, Max Lieblich

Abstract: We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonical… ▽ More We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties. △ Less

Submitted 31 December, 2009; v1 submitted 22 November, 2006; originally announced November 2006.

Comments: 19 pages, v2: minor changes; one reference added to make a step cleaner and one name added to acknowledgements, v3: final version to appear in Annals of Mathematics

MSC Class: 14J10

Journal ref: Ann. of Math. (2) 173 (2011), no. 1, 585-617

Remarks on the stack of coherent algebras

Authors: Max Lieblich

Abstract: We consider the stack of coherent algebras with proper support, a moduli problem generalizing Alexeev and Knutson's stack of branchvarieties to the case of an Artin stack. The main results are proofs of the existence of Quot and Hom spaces in greater generality than is currently known and several applications to Alexeev and Knutson's original construction: a proof that the stack of branchvarieti… ▽ More We consider the stack of coherent algebras with proper support, a moduli problem generalizing Alexeev and Knutson's stack of branchvarieties to the case of an Artin stack. The main results are proofs of the existence of Quot and Hom spaces in greater generality than is currently known and several applications to Alexeev and Knutson's original construction: a proof that the stack of branchvarieties is always algebraic, that limits of one-dimensional families always exist, and that the connected components of the stack of branchvarieties are proper over the base under certain hypotheses on the ambient stack. △ Less

Submitted 20 June, 2006; v1 submitted 1 March, 2006; originally announced March 2006.

Comments: 9 pages; several sections and new results added; to appear in IMRN

MSC Class: 14D20

Journal ref: Int. Math. Res. Not. 2006, Art. ID 75273, 12 pp

Twisted sheaves and the period-index problem

Authors: Max Lieblich

Abstract: We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group (including Gabber's theorem that they coincide for a separated union of two affine schemes), (2) give a new proof of de Jong's period-index theorem for surface… ▽ More We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group (including Gabber's theorem that they coincide for a separated union of two affine schemes), (2) give a new proof of de Jong's period-index theorem for surfaces over algebraically closed fields, and (3) prove an analogous result for surfaces over finite fields. We also include a reduction of all period-index problems for Brauer groups of function fields over algebraically closed fields to characteristic 0, which (among other things) extends de Jong's result to include classes of period divisible by the characteristic of the base field. Finally, we use the theory developed here to give counterexamples to a standard type of local-to-global conjecture for geometrically rational varieties over the function field of the projective plane. △ Less

Submitted 25 May, 2007; v1 submitted 9 November, 2005; originally announced November 2005.

Comments: 31 pages. Major changes to section 4.2.3; the "question" is now answered in the negative, with resulting applications to local-to-global problems. To appear in Compositio Mathematica

MSC Class: 14D22; 14G05; 14G15

Journal ref: Compos. Math. 144 (2008), no. 1, 1-31

Moduli of complexes on a proper morphism

Authors: Max Lieblich

Abstract: Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Modu… ▽ More Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin's representability theorem. △ Less

Submitted 8 July, 2005; v1 submitted 9 February, 2005; originally announced February 2005.

Comments: 25 pages. Revised version, to appear in the Journal of Algebraic Geometry

MSC Class: 14J10; 14A20

Journal ref: J. Algebraic Geom. 15 (2006), no. 1, 175-206

Moduli of twisted sheaves

Authors: Max Lieblich

Abstract: We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to spaces of semistable vector bundles. In the case of surfaces, we show (under a mild hypothesis on the twisting class) that the spaces are asympotically geometrica… ▽ More We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to spaces of semistable vector bundles. In the case of surfaces, we show (under a mild hypothesis on the twisting class) that the spaces are asympotically geometrically irreducible, normal, generically smooth, and l.c.i. over the base. We also develop general tools necessary for these results: the theory of associated points and purity of sheaves on Artin stacks, twisted Bogomolov inequalities, semistability and boundedness results, and basic results on twisted Quot-schemes on a surface. △ Less

Submitted 8 July, 2005; v1 submitted 15 November, 2004; originally announced November 2004.

Comments: 65 pages, minor changes made and typographical errors corrected

MSC Class: 14D20; 18G50

Journal ref: Duke Math. J. 138 (2007), no. 1, 23-118