arXiv subjects
Publications and source records attributed to James Hotchkiss.
Huybrechts conjectured that for every Brauer class $α$ on a hyperkähler variety $X$ we have that $\mathop{\rm ind}(α)\mid\mathop{\rm per}(α)^{\dim(X)/2}$, strengthening the usual period-index conjecture. We show that this fails on certain hyperkähler fourfolds, both in type $\mathrm{K}3^{[2]}$ and $\mathrm{Kum}^2$.
We investigate the Brauer group of the ring $\mathcal{O}(S)$ of holomorphic functions on a finite-dimensional Stein space S. We provide a purely topological computation of this group and deduce a comparison theorem between the étale cohomology of $\textrm{Spec}(\mathcal{O}(S))$ and the singular cohomology of S in degree 2. Furthermore, we prove a purity theorem when S is nonsingular and study the index of classes in the Brauer group of $\mathcal{O}(S)$.
We prove new bounds for the period-index problem for hyper-Kähler varieties of $K3^{[n]}$-type using projectively hyperholomorphic bundles constructed by Markman. We show that $\mathrm{dim}(X)$ is a bound for any $X$ of $K3^{[n]}$-type. We also show that $\frac{1}{2}\mathrm{dim}(X)$ is a bound for most Brauer classes when the Picard rank of $X$ is at least two, providing evidence for a conjecture of Huybrechts.
We introduce a new stable birational invariant, which takes the form of a functor sending a degenerating variety to the homotopy type of a chain complex. Our invariant is a categorification of the motivic volume of Nicaise and Shinder. From the class of the chain complex in a Grothendieck group, we obtain a motivic obstruction to retract rationality, valued in a quotient of the Grothendieck ring of varieties. In addition, we construct a general class of stable birational invariants, with the invariant above as the universal example, given by applying any chosen stable birational invariant (e.g., unramified cohomology) to the strata of a semistable degeneration.
We prove the period-index conjecture for unramified Brauer classes on abelian threefolds. To do so, we develop a theory of reduced Donaldson-Thomas invariants for 3-dimensional Calabi-Yau categories, with the feature that the noncommutative variational integral Hodge conjecture holds for classes with nonvanishing invariant. The period-index result is then proved by interpreting it as the algebraicity of a Hodge class on the twisted derived category, and specializing within the Hodge locus to an untwisted abelian threefold with nonvanishing invariant. As a consequence, we also deduce the integral Hodge conjecture for generically twisted abelian threefolds.
We propose conjectural semiorthogonal decompositions for Fano schemes of linear subspaces on intersections of two quadrics, in terms of symmetric powers of the associated hyperelliptic (resp. stacky) curve. When the intersection is odd-dimensional, we moreover conjecture an identity in the Grothendieck ring of varieties and other motivic contexts. The evidence for these conjectures is given by upgrading recent results of Chen-Vilonen-Xue, to obtain formulae for the Hodge numbers of these Fano schemes. This allows us to numerically verify the conjecture in the hyperelliptic case, and establish a combinatorial identity as evidence for the stacky case.
We solve the period-index problem for the Brauer group of a general complex torus of dimension at least three, giving an explicit formula for the index of each Brauer class. As a consequence, the complex-analytic version of the period-index conjecture is false for infinitely many Brauer classes on a general complex torus of dimension at least three.
We study the Hodge theory of twisted derived categories and its relation to the period-index problem. Our main contribution is the development of a theory of twisted Mukai structures for topologically trivial Brauer classes on arbitrary smooth proper varieties and in families. As applications, we construct Hodge classes whose algebraicity would imply period-index bounds; construct new counterexamples to the integral Hodge conjecture on Severi-Brauer varieties; and prove the integral Hodge conjecture for derived categories of Deligne-Mumford surfaces.
The purpose of this paper is to show that for a complete intersection curve $C$ in projective space (other than a few stated exceptions), any morphism $f: C \to \mathbb{P}^r$ satisfying $\text{deg}\, f^*\mathcal{O}_{\mathbb{P}^r}(1) <\text{deg}\, C$ is obtained by projection from a linear space. In particular, we obtain bounds on the gonality of such curves and compute the gonality of general complete intersection curves. We also prove a special case of one of the well-known Cayley-Bacharach conjectures posed by Eisenbud, Green, and Harris.