Showing 1–15 of 15 results for author: de Jong, A J

The period-index problem and Hodge theory

Authors: Aise Johan de Jong, Alexander Perry

Abstract: Conditional on the Lefschetz standard conjecture in degree 2, we prove that the index of a Brauer class on a smooth projective variety divides a fixed power of its period, uniformly in smooth families. In the other direction, we reinterpret in more classical terms recent work of Hotchkiss which gives Hodge-theoretic lower bounds on the index of Brauer classes. We also prove versions of our results… ▽ More Conditional on the Lefschetz standard conjecture in degree 2, we prove that the index of a Brauer class on a smooth projective variety divides a fixed power of its period, uniformly in smooth families. In the other direction, we reinterpret in more classical terms recent work of Hotchkiss which gives Hodge-theoretic lower bounds on the index of Brauer classes. We also prove versions of our results over arbitrary algebraically closed base fields, and as an application construct qualitatively new counterexamples to the integral Tate conjecture. △ Less

Submitted 25 December, 2022; originally announced December 2022.

Comments: 35 pages

Point Objects on Abelian Varieties

Authors: Aise Johan de Jong, Martin Olsson

Abstract: We classify the point objects in the derived category $D(X)$ of a torsor under an abelian variety over a field of characteristic $0$. We classify the point objects in the derived category $D(X)$ of a torsor under an abelian variety over a field of characteristic $0$. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 19 pages, comments welcome

On weakly étale morphisms

Authors: Aise Johan de Jong, Noah Olander

Abstract: We show that the weakly étale morphisms, used to define the pro-étale site of a scheme, are characterized by a lifting property similar to the one which characterizes formally étale morphisms. In order to prove this, we prove a theorem called Henselian descent which is a "Henselized version" of the fact that a scheme defines a sheaf for the fpqc topology. Finally, we show that weakly étale algebra… ▽ More We show that the weakly étale morphisms, used to define the pro-étale site of a scheme, are characterized by a lifting property similar to the one which characterizes formally étale morphisms. In order to prove this, we prove a theorem called Henselian descent which is a "Henselized version" of the fact that a scheme defines a sheaf for the fpqc topology. Finally, we show that weakly étale algebras over regular rings arising in geometry are ind-étale and that weakly étale algebras do not always lift along surjective ring homomorphisms. △ Less

Submitted 11 February, 2022; originally announced February 2022.

Comments: 7 pages, comments welcome

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

Lefschetz for local Picard groups

Authors: Bhargav Bhatt, Aise Johan de Jong

Abstract: We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Kollár. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem for higher rank bundles on projective varieties in positive characteristic. We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Kollár. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem for higher rank bundles on projective varieties in positive characteristic. △ Less

Submitted 13 February, 2013; originally announced February 2013.

Comments: 10 pages, comments welcome

Genus one curves and Brauer-Severi varieties

Authors: Aise Johan de Jong, Wei Ho

Abstract: Let K be a field. Let A be a central simple algebra over K and let X be the associated Brauer-Severi variety over K. It has recently been asked if there exists a genus 1 curve C over K such that K(C) splits A. In other words, is there a genus one curve C over K with a morphism to X? In this short note, we explicitly construct such a curve in the case where X has dimension at most 4 (equivalently,… ▽ More Let K be a field. Let A be a central simple algebra over K and let X be the associated Brauer-Severi variety over K. It has recently been asked if there exists a genus 1 curve C over K such that K(C) splits A. In other words, is there a genus one curve C over K with a morphism to X? In this short note, we explicitly construct such a curve in the case where X has dimension at most 4 (equivalently, when A has degree at most 5). △ Less

Submitted 19 July, 2012; originally announced July 2012.

Comments: comments welcome

Crystalline cohomology and de Rham cohomology

Authors: Bhargav Bhatt, Aise Johan de Jong

Abstract: The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications, linearisations, and pd-differential operators. The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications, linearisations, and pd-differential operators. △ Less

Submitted 22 October, 2011; originally announced October 2011.

Comments: 10 pages, comments welcome!

Invariant rings through categories

Authors: Jarod Alper, A. J. de Jong

Abstract: We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result applies to the category of modules over a bialgebra, the category of comodules over a bialgebra, and the category of quasi-coherent sheaves on a finite type algeb… ▽ More We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result applies to the category of modules over a bialgebra, the category of comodules over a bialgebra, and the category of quasi-coherent sheaves on a finite type algebraic stack over an affine base. △ Less

Submitted 9 November, 2010; originally announced November 2010.

On the Geometry of Principal Homogeneous Spaces

Authors: A. J. de Jong, Robert Friedman

Abstract: Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of the Tate-Shafarevich group. If $Y$ is such a principal homogeneous space of order $n$, we find strong restrictions on the $\mathbb{P}^{n-1}$ bundle over $B$ i… ▽ More Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of the Tate-Shafarevich group. If $Y$ is such a principal homogeneous space of order $n$, we find strong restrictions on the $\mathbb{P}^{n-1}$ bundle over $B$ into which $Y$ embeds. Examples for small values of $n$ show that, in at least some cases, these restrictions are sharp. Finally, we determine these bundles in case $k$ has characteristic zero, $B = \mathbb{P}^1$, and $X$ is generic in a suitable sense. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 49 pages

MSC Class: 14J27

Families of rationally simply connected varieties over surfaces and torsors for semisimple groups

Authors: A. J. de Jong, Xuhua He, Jason Michael Starr

Abstract: Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomolog… ▽ More Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field. △ Less

Submitted 30 September, 2008; originally announced September 2008.

Higher Fano manifolds and rational surfaces

Authors: A. J. de Jong, Jason Michael Starr

Abstract: For a Fano manifold of pseudo-index at least 3 and $c_1^2-2c_2$ nef, we show irreducibility of certain spaces of curves on the Fano manifold implies the manifold is a union of rational surfaces. For a Fano manifold of pseudo-index at least 3 and $c_1^2-2c_2$ nef, we show irreducibility of certain spaces of curves on the Fano manifold implies the manifold is a union of rational surfaces. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 5 pages

MSC Class: 14J45; 14C05

Very twisting families of pointed lines on Grassmannians

Authors: A. J. de Jong, Jason Michael Starr

Abstract: There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction. There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 25 pages, posting of older preprint

MSC Class: 14C05; 14M15

A note on Fano manifolds whose second Chern character is positive

Authors: A. J. de Jong, Jason Michael Starr

Abstract: This note outlines some first steps in the classification of Fano manifolds for which $c_1^2-2c_2$ is positive or nef. This note outlines some first steps in the classification of Fano manifolds for which $c_1^2-2c_2$ is positive or nef. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 10 pages, posting of older preprint

MSC Class: 14J45

Divisor classes and the virtual canonical bundle for genus 0 maps

Authors: A. J. de Jong, Jason Michael Starr

Abstract: Some divisor class relations are proved and used to compute the Cartier divisor class of the virtual canonical bundle for genus 0 maps to a smooth target. Some divisor class relations are proved and used to compute the Cartier divisor class of the virtual canonical bundle for genus 0 maps to a smooth target. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 18 pages, posting of older preprint

MSC Class: 14C05

On Hitchin's Connection

Authors: Bert van Geemen, Aise Johan de Jong

Abstract: The aim of this paper is to give an explicit expression for Hitchin's connection in the case of rank 2 bundles with trivial determinant over curves of genus 2. We recall the definition of this connection (which arose in Quantum Field Theory) and characterize it for families of genus two curves. We then consider a particular family (over a configuration space), the corresponding vector bundles ar… ▽ More The aim of this paper is to give an explicit expression for Hitchin's connection in the case of rank 2 bundles with trivial determinant over curves of genus 2. We recall the definition of this connection (which arose in Quantum Field Theory) and characterize it for families of genus two curves. We then consider a particular family (over a configuration space), the corresponding vector bundles are (almost) trivial. The Heat equations which give the connection these bundles are related to the Lie algebra so(6). We compute some local monodromy representations. As a byproduct we obtain, for any representation space V of so(2g+2), a flat connection on the trivial bundle with fiber V over a configuration space and thus a monodromy representation of a pure braid group. △ Less

Submitted 18 January, 1997; originally announced January 1997.

Comments: 49 pages, LaTeX