The class in the Brauer group of a quaternion algebra over a field is 2-torsion. We study the following question: Which 2-torsion elements of the Brauer group of a complex function field are representable by quaternion algebras? Using intersection theory to show that a certain cohomology class (on a smooth projective model) is the class of an algebraic cycle, we arrive at an obstruction, defined on a subgroup of the 2-torsion of the Brauer group, to representability by quaternion algebras. For the function fields of some complex threefolds, the obstruction map is computed and found to be nontrivial.
We prove a vanishing theorem for the Hodge number h^21 of projective toric varieties provided by a certain class of polytopes. We explain how this Hodge number also gives information about the deformation theory of the toric Gorenstein singularity derived from the same polytope. In particular, the vanishing theorem for h^21 implies that these deformations are unobstructed.
In this paper we give a general construction of transcendental lattices for K3 surfaces with real multiplication by arbitrary field up to degree 6 along with formula for their discriminants. We also show that all simple Abelian fourfolds with definite quaternionic multiplication can be realized as Kuga-Satake varieties of K3 surfaces with Picard rank 16 and real multiplication by a quadratic field by keeping track of the arithmetic input on both sides.
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
We prove the following statement motivated by the quaternionic linear algebra: there is no continuous map from the quaternionic Grassmannian to the quaternionic projective space such that the pull back of the first Pontryagin class of the tautological bundle over the projective space is equal to the first Pontryagin class of the tautological bundle over the Grassmannian.
Given a smooth, projective variety $X$ and an effective divisor $D\,\subseteq\, X$, it is well-known that the (topological) obstruction to the deformation of the fundamental class of $D$ as a Hodge class, lies in $H^2(\mathcal{O}_X)$. In this article, we replace $H^2(\mathcal{O}_X)$ by $H^2_D(\mathcal{O}_X)$ and give an analogous topological obstruction theory. We compare the resulting local topological obstruction theory with the geometric obstruction theory (i.e., the obstruction to the deformation of $D$ as an effective Cartier divisor of a first order infinitesimal deformations of $X$). We…
In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.
Let $X$ be a compact complex manifold, consider a small deformation $ϕ: \mathcal{X} \to B$ of $X$, the dimension of the Dolbeault cohomology groups $H^q(X_t,Ω_{X_t}^p)$ may vary under this defromation. This paper will study such phenomenons by studying the obstructions to deform a class in $H^q(X,Ω_X^p)$ with the parameter $t$ and get the formula for the obstructions.
Mumford constructed a family of abelian fourfolds with special stucture not characterized by endomorphism ring. Galluzzi showed that the weight 2 Hodge structure of such a variety decomposes into Hodge substructures via the action of Mumford-Tate group, one of which is of K3 type with Hodge number (1,7,1). We will compute the intersection form of such a Hodge structure and provide a canonical integral Hodge structure on this subspace. Furthermore, we shall show two applications of this invariant. Firstly, using the above formula we shall show that every K3 surface obtained in this way will adm…
We analyze the Brauer-Manin obstruction to rational points on the K3 surfaces over $\mathbb{Q}$ given by double covers of $\mathbb{P}^2$ ramified over a diagonal sextic. After finding an explicit set of generators for the geometric Picard group of such a surface, we find two types of infinite families of counterexamples to the Hasse principle explained by the algebraic Brauer-Manin obstruction. The first type of obstruction comes from a quaternion algebra, and the second type comes from a 3-torsion element of the Brauer group, which gives an affirmative answer to a question asked by Ieronymou …
In this paper we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin sequence, and the existence of proper pushforward. In this way we recover and generalize analogous statements for the cohomology of Hodge sheaves and Hodge-Witt sheaves. We give several applications of the general theory to problems which have been classically studied. Among these applications, we construct new birational invariants of smooth projective varie…
We show that odd order transcendental elements of the Brauer group of a K3 surface can obstruct the Hasse principle. We exhibit a general K3 surface $Y$ of degree 2 over $\mathbb{Q}$ together with a three torsion Brauer class $α$ that is unramified at all primes except for 3, but ramifies at all 3-adic points of $Y$. Motivated by Hodge theory, the pair $(Y, α)$ is constructed from a cubic fourfold $X$ of discriminant 18 birational to a fibration into sextic del Pezzo surfaces over the projective plane. Notably, our construction does not rely on the presence of a central simple algebra represen…
We consider the Brauer-Manin obstruction to the existence of integral points on affine surfaces defined by $x^2 - ay^2 = P(t)$ over a number field. We enumerate the possibilities for the Brauer groups of certain families of such surfaces, and show that in contrast to their smooth compactifications, the Brauer groups of these affine varieties need not be generated by cyclic (e.g. quaternion) algebras. Concrete examples are given of such surfaces over $\mathbb{Q}$ which have solutions in $\mathbb{Z}_{p}$ for all $p$ and solutions in $\mathbb{Q}$, but for which the failure of the integral Hasse p…
Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploi…
We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the de Rham complex in $\max(p-1, 2)$ consecutive degrees can be reconstructed as objects of the derived category in terms of its truncation in degrees at most one (or, equivalently, in terms the obstruction class to lifting modulo $p^2$). Consequently, these truncations are decomposable if $X$ admits a lifting to $W_2(k)$, in which case the first nonzero differe…
