Source author record

Max Lieblich

Max Lieblich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Derived categories and birationality

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.

preprint2022arXiv

Derived equivalences over base schemes and support of complexes

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.

preprint2021arXiv

Topological reconstruction theorems for varieties

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.

preprint2020arXiv

A reconstruction theorem for varieties

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.

preprint2020arXiv

Two Hilbert schemes in computer vision

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.

preprint2019arXiv

Period-index bounds for arithmetic threefolds

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.

preprint2016arXiv

Blt Azumaya algebras and moduli of maximal orders

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.

preprint2015arXiv

A stronger derived Torelli theorem for K3 surfaces

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.

preprint2015arXiv

Rational curves in the moduli of supersingular K3 surfaces

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.