Related papers: Tate's algorithm and F-theory
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we…
For elliptic curves over rationals, there are a well-known conjecture of Sato-Tate and a new computational guided murmuration phenomenon, for which the abelian Hasse-Weil zeta functions are used. In this paper, we show that both the…
This paper pursues the study of the Calabi-Yau equation on certain symplectic non-Kaehler 4-manifolds, building on a key example of Tosatti-Weinkove in which more general theory had proved less effective. Symplectic 4-manifolds admitting a…
F-theory, as Theory of Everything is compactified on Calabi-Yau threefolds or fourfolds. Using toric approximation of Batyrev and mirror symmetry of Calabi-Yau manifolds it is possible to present Calabi-Yau in the form of dual integer…
We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the…
We provide a set of tools for analyzing the geometry of elliptically fibered Calabi-Yau manifolds, starting with a description of the total space rather than with a Weierstrass model or a specified type of fiber/base. Such an approach to…
In this paper we give a survey of elliptic theory for operators associated with diffeomorphisms of smooth manifolds. Such operators appear naturally in analysis, geometry and mathematical physics. We survey classical results as well as…
We extend the construction of Calabi-Yau manifolds to hypersurfaces in non-Fano toric varieties, requiring the use of certain Laurent defining polynomials, and explore the phases of the corresponding gauged linear sigma models. The…
Any irreducible Dynkin diagram $\Delta$ is obtained from an irreducible Dynkin diagram $\Delta_h$ of type $\mathrm{ADE}$ by folding via graph automorphisms. For any simple complex Lie group $G$ with Dynkin diagram $\Delta$ and compact…
Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips its local moduli space with a Frobenius lifting and canonical…
With a bird's-eye view, we survey the landscape of Calabi-Yau threefolds, compact and non-compact, smooth and singular. Emphasis will be placed on the algorithms and databases which have been established over the years, and how they have…
We review briefly the characteristic topological data of Calabi--Yau threefolds and focus on the question of when two threefolds are equivalent through related topological data. This provides an interesting test case for machine learning…
F-theory models are constructed where the 7-brane has a non-trivial fundamental group. The base manifolds used are a toric Fano variety and a smooth toric threefold coming from a reflexive polyhedron. The discriminant locus of the…
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a…
We prove a few new cases of the Sato-Tate conjecture for abelian surfaces, using a new automorphy theorem of Allen et al. Then in the unproven cases, we use partial results to describe nontrivial asymptotics on the trace of Frobenius, and…
We generalize the Tian-Todorov Theorem in the case of Calabi-Yau varieties equipped with a line bundle.
From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we…
This paper first generalises the Bogomolov-Tian-Todorov unobstructedness theorem to the case of Calabi-Yau threefolds with canonical singularities. The deformation space of such a Calabi-Yau threefold is no longer smooth, but the general…
SYZ mirror conjecture predicts that a Calabi-Yau manifold $X$ consists of a family of tori which are dual to a family of special lagrangian tori on the mirror dual manifold $\hat{X}$. Here we consider a fibration of polarized abelian…
Generalised Probabilistic Theories (GPTs) provide a unifying framework encompassing classical theories, quantum theories, as well as hypothetical alternatives. We investigate the problem of extending a system with a finite set of…