Burt Totaro’s research while affiliated with University of California, Los Angeles and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (87)


Bott vanishing for Fano 3-folds
  • Preprint

February 2023

·

8 Reads

Burt Totaro

Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that Hj(X,ΩXiL)=0H^j(X,\Omega^i_X\otimes L)=0 for every j>0j>0, i0i\geq 0, and L ample. This holds for toric varieties, but not for most other varieties. We classify the smooth Fano 3-folds that satisfy Bott vanishing. There are many more than expected. Along the way, we conjecture that for every projective birational morphism π ⁣:XY\pi\colon X\to Y of smooth varieties, and every line bundle A on X that is ample over Y, the higher direct image sheaf Rjπ(ΩXiA)R^j\pi_*(\Omega^i_X\otimes A) is zero for every j>0j>0 and i0i\geq 0.


Varieties of general type with doubly exponential asymptotics
  • Article
  • Full-text available

February 2023

·

18 Reads

·

24 Citations

Transactions of the American Mathematical Society Series B

We construct smooth projective varieties of general type with the smallest known volume and others with the most known vanishing plurigenera in high dimensions. The optimal volume bound is expected to decay doubly exponentially with dimension, and our examples achieve this decay rate. We also consider the analogous questions for other types of varieties. For example, in every dimension we conjecture the terminal Fano variety of minimal volume, and the canonical Calabi-Yau variety of minimal volume. In each case, our examples exhibit doubly exponential behavior.

Download

Klt varieties of conjecturally minimal volume

October 2022

·

6 Reads

We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest volume in every dimension, and we give low-dimensional evidence for that. In order to improve on earlier examples, we are forced to consider weighted hypersurfaces that are not quasi-smooth. We show that our Fano varieties are exceptional by computing their global log canonical threshold (or α\alpha-invariant) exactly; it is extremely large, roughly 22n2^{2^n} in dimension n. These examples give improved lower bounds in Birkar's theorem on boundedness of complements for Fano varieties.


Divided powers in the Witt ring of quadratic forms

September 2022

·

4 Reads

The Witt ring of quadratic forms over a field has divided power operations. On the other hand, it follows from Garibaldi-Merkurjev-Serre's work on cohomological invariants that all operations on the Witt ring are linear combinations of exterior powers. We find the explicit formula for the divided powers as a linear combination of exterior powers. The coefficients involve the ``tangent numbers'', related to Bernoulli numbers. The divided powers on the Witt ring give another construction of the divided powers on Milnor K-theory modulo 2.


Calabi-Yau varieties of large index

September 2022

·

8 Reads

Call a projective variety X Calabi-Yau if its canonical divisor is Q{\bf Q}-linearly equivalent to zero. The smallest positive integer m with mKXmK_X linearly equivalent to zero is called the index of X. We construct Calabi-Yau varieties with the largest known index in high dimensions. In our examples, the index grows doubly exponentially with dimension. We conjecture that our examples have the largest possible index, with supporting evidence in low dimensions. The examples are obtained by mirror symmetry from our Calabi-Yau varieties with an ample Weil divisor of small volume. We also give examples for several related problems, including Calabi-Yau varieties with large orbifold Betti numbers or small minimal log discrepancy.



The left-hand side of (2.8) when m=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=8$$\end{document}. We are showing that it is at most 1. Note the large number of locations where the bound of 1 is attained, including the support {1/2,1/4,1/8,1/16}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{1/2,1/4,1/8,1/16\}$$\end{document} of the optimal measure μ8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _8$$\end{document}
The left-hand side of (2.12) when m=7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=7$$\end{document}. Note the large number of locations where the bound of 1 is attained, including the support {1/2,1/4,1/8,1/14}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{1/2,1/4,1/8,1/14\}$$\end{document} of the optimal measure μ7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _7$$\end{document}
The left-hand side of (2.12) when m=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=8$$\end{document}; compare with Fig. 1
The left-hand side f(x) of (3.1) when m=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=8$$\end{document}. We are showing that it is at most 1. The bound of 1 is attained exactly at the support {π/9,3π/9,5π/9,7π/9}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{\pi /9,3\pi /9,5\pi /9,7 \pi /9\}$$\end{document} of the optimal measure μ8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _8$$\end{document}
The left-hand side f(x) of (3.1) when m=9\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=9$$\end{document}. We are showing that it is at most 1. The bound of 1 is attained exactly at the support {π/10,3π/10,5π/10,7π/10,9π/10}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{\pi /10,3\pi /10,5\pi /10,7 \pi /10, 9\pi /10\}$$\end{document} of the optimal measure μ9\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _9$$\end{document}

+1

Optimal Sine and Sawtooth Inequalities

April 2022

·

17 Reads

·

2 Citations

Journal of Fourier Analysis and Applications

We determine the optimal inequality of the form ∑k=1maksinkx≤1k=1maksinkx1\sum _{k=1}^m a_k\sin kx\le 1, in the sense that ∑k=1makk=1mak\sum _{k=1}^m a_k is maximal. We also solve exactly the analogous problem for the sawtooth (or signed fractional part) function. Equivalently, we solve exactly an optimization problem about equidistribution on the unit circle.


Varieties of general type with doubly exponential asymptotics

September 2021

·

13 Reads

We construct smooth projective varieties of general type with the smallest known volume and others with the most known vanishing plurigenera in high dimensions. The optimal volume bound is expected to decay doubly exponentially with dimension, and our examples achieve this decay rate. We also consider the analogous questions for other types of varieties. For example, in every dimension we conjecture the terminal Fano variety of minimal volume, and the canonical Calabi-Yau variety of minimal volume. In each case, our examples exhibit doubly exponential behavior.


Figure 1. Example of a T -action on U P 1 × A 1 , t([x 0 , x 1 ], y) = ([x 0 , tx 1 ], ty), with Y = P 1 × 0 shown as the horizontal line (T = G m ). The arrows point in the direction t → 0. The xed point set Y T consists of two points.
Torus actions, Morse homology, and the Hilbert scheme of points on affine space

August 2021

·

26 Reads

·

4 Citations

Épijournal de Géométrie Algébrique

We formulate a conjecture on actions of the multiplicative group in motivic homotopy theory. In short, if the multiplicative group G_m acts on a quasi-projective scheme U such that U is attracted as t approaches 0 in G_m to a closed subset Y in U, then the inclusion from Y to U should be an A^1-homotopy equivalence. We prove several partial results. In particular, over the complex numbers, the inclusion is a homotopy equivalence on complex points. The proofs use an analog of Morse theory for singular varieties. Application: the Hilbert scheme of points on affine n-space is homotopy equivalent to the subspace consisting of schemes supported at the origin.


Varieties of general type with many vanishing plurigenera, and optimal sine and sawtooth inequalities

July 2021

·

6 Reads

We construct smooth projective varieties of general type with the smallest known volumes in high dimensions. Among other examples, we construct varieties of general type with many vanishing plurigenera, more than any polynomial function of the dimension. As part of the construction, we solve exactly an optimization problem about equidistribution on the unit circle in terms of the sawtooth (or signed fractional part) function. We also solve exactly the analogous optimization problem for the sine function. Equivalently, we determine the optimal inequality of the form k=1maksinkx1\sum_{k=1}^m a_k\sin kx\leq 1, in the sense that k=1mak\sum_{k=1}^m a_k is maximal.


Citations (62)


... (1) Almost homogeneous spaces (see [26], [23]); (2) Smooth hypersurfaces of a projective space (see [26], [7]; cf. [42]); (3) Fano threefolds (see [2], [21]; cf. [42]); (4) Fano manifolds containing a rational curve with trivial normal bundle (see [21]); (5) Fano fourfolds with Fano index ≥ 2 (see [41]; cf. ...

Reference:

Bigness of tangent bundles and dynamical rigidity of Fano manifolds of Picard number 1 (with an appendix by Jie Liu)
Endomorphisms of varieties and Bott vanishing
  • Citing Article
  • November 2024

Journal of Algebraic Geometry

... Thanks to the first author, the third author, B. Totaro, and others, numerous examples of varieties with extreme invariants have been established in arbitrary dimensions. These extreme values often show doubly exponential growth or decay with respect to the dimension of the ambient variety [9,10,11,12,28,29,31]. This paper continues this series of studies by focusing on the minimal log discrepancy of exceptional Fano varieties. ...

Log canonical pairs with conjecturally minimal volume

manuscripta mathematica

... In particular, the linear system | − 2 | is nonempty. In [42, §8], Totaro investigates Fano varieties with large bottom weight, which is the smallest positive integer m for which 0 ( , − ) ≠ 0. In particular, [42,Theorem 8.1] implies the existence of a Fano 4-fold that does not admit an m-complement for ≤ 1799233. This shows that the constant (4) obtained by Birkar in [3] is at least 1799233. ...

Klt Varieties With Conjecturally Minimal Volume
  • Citing Article
  • March 2023

International Mathematics Research Notices

... Many important examples come from weighted complete intersections in weighted projective spaces, see for example [9,5,7,14,13]. Pizzato, Sano, and Tasin confirmed Conjecture 1.1 for weighted complete intersections which are Fano or Calabi-Yau or which are of codimension 1. ...

Varieties of general type with doubly exponential asymptotics

Transactions of the American Mathematical Society Series B

... Many important examples come from weighted complete intersections in weighted projective spaces, see for example [9,5,7,14,13]. Pizzato, Sano, and Tasin confirmed Conjecture 1.1 for weighted complete intersections which are Fano or Calabi-Yau or which are of codimension 1. ...

Klt Varieties of General Type with Small Volume
  • Citing Article
  • April 2022

ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE

... In the following theorem, we obtain the fractional analogue of the floor and ceiling formulae (2) and (3). Esser, Tao, Totaro, and Wang [1] considered signed fractional function g(x) = x + 1 2 − x which takes values in − 1 2 , 1 2 , and proved that r j=0 g k 2 j + 2g ...

Optimal Sine and Sawtooth Inequalities

Journal of Fourier Analysis and Applications

... When the discretely valued field is henselian of characteristic > 0, Kato [Kat89, Page 110] and Izhboldin [Izh96] analyzed the wild quotient of +1, ( ) = +1 ( , Z/ ( )) = 1 ( , Ω ,log ) (Section 2.3), which is the quotient of this group by its tamely ramified part (defined below). Totaro [Tot22] generalizes the result to arbitrary discrete valuation fields. Kato defined an increasing filtration of +1, ( ) as follows: For ≥ 0, let be the subgroup of +1, ( ) generated by elements of the form 1 1 ∧ · · · ∧ with ∈ , 1 , . . . ...

Cohomological Invariants in Positive Characteristic
  • Citing Article
  • January 2021

International Mathematics Research Notices

... The latter sits in the long exact exponential sequenc먨/ (i) The cohomology of the Hilbert scheme S rns of a K3 surface is torsion free, cf. [44,56]. In fact, H 3 pS rns , Zq " 0. (ii) The cohomology of the generalised Kummer variety K 2 pAq of dimension four is torsion free, cf. ...

The integral cohomology of the Hilbert scheme of points on a surface

Forum of Mathematics Sigma

... It is thus natural to ask whether the Fourier transform on rational Chow groups preserves integral cycles modulo torsion or, more generally, lifts to a homomorphism between integral Chow groups. This question was raised by Moonen and Polishchuk [MP10] and Totaro [Tot21]. More precisely, Moonen and Polishchuk gave a counterexample for abelian varieties over non-closed fields and asked about the case of algebraically closed fields. ...

THE INTEGRAL HODGE CONJECTURE FOR 3-FOLDS OF KODAIRA DIMENSION ZERO
  • Citing Article
  • February 2020

Journal of the Institute of Mathematics of Jussieu