Related papers: Tate's algorithm and F-theory
We study the Mumford--Tate conjecture for hyperk\"{a}hler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…
The depth-bounded fragment of the pi-calculus is an expressive class of systems enjoying decidability of some important verification problems. Unfortunately membership of the fragment is undecidable. We propose a novel type system,…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of $\mathbb P^3$ branched along stable hyperplane arrangements.
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous,…
We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding…
We study orbifolds of two-dimensional topological field theories using defects. If the TFT arises as the twist of a superconformal field theory, we recover results on the Neveu-Schwarz and Ramond sectors of the orbifold theory as well as…
This paper details the lesser known conditions on ${\mathbb {R}}^{n}$ for the integrability of pfaffian forms, or 1-forms. Emphasis is given to locality of these conditions, and proofs in some additional detail are provided for theorems due…
We establish a doubly-weighted vertical Sato-Tate law for GL(4) with explicit error terms. The main ingredient is an extension of the orthogonality relation for Maass cusp forms on GL(4) of Goldfeld, Stade, and Woodbury from spherical to…
We probe the existence of supersymmetric vacua of the type IIB orientifold of the elliptic Calabi-Yau space P_{11169}[18] where generically two complex structure moduli z_i, the dilaton tau and the two K\"ahler moduli T_i are stabilized by…
Birational Calabi-Yau threefolds in the same deformation family provide a `weak' counterexample to the global Torelli problem, as long as they are not isomorphic. In this paper, it is shown that deformations of certain desingularized…
Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic geometry. In [CVV19, CVV20] the formalism of Gr{\"o}bner…
During the last years we have generated a large number of data related to Calabi-Yau hypersurfaces in toric varieties which can be described by reflexive polyhedra. We classified all reflexive polyhedra in three dimensions leading to K3…
We describe how to find period integrals and Picard-Fuchs differential equations for certain one-parameter families of Calabi-Yau manifolds. These families can be seen as varieties over a finite field, in which case we show in an explicit…
In this study, four-dimensional $N=1$ F-theory models with multiple U(1) gauge group factors are constructed. A class of rational elliptic 4-folds, which we call as "$\frac{1}{2}$Calabi-Yau 4-folds," is introduced, and we construct the…
For any smooth complex projective surface $S$, we construct semistable refined Vafa-Witten invariants of $S$ which prove the main conjecture of arXiv:1810.00078. This is done by extending part of Joyce's universal wall-crossing formalism to…
In this article, following an insight of Kontsevich, we extend the famous Weil conjecture (as well as the strong form of the Tate conjecture) from the realm of algebraic geometry to the broad noncommutative setting of dg categories. As a…
We go on in the program of investigating the removal of divergences of a generical quantum gauge field theory, in the context of the Batalin-Vilkovisky formalism. We extend to open gauge-algebrae a recently formulated algorithm, based on…