Related papers: A Modular Andre-Oort Statement with Derivatives

There are three aims of this note. The first one is to report some advances around the dynamical Mordell-Lang (=DML) conjecture. Second, we generalize some known results. For example, the Dynamical Mordell-lang conjecture was known for…

In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is highly challenging to implement this technique in proof…

The aim of this paper is to propose an extension of the Wilf conjecture to semimodules over a numerical semigroup through a new approach toward the solution of the Wilf conjecture on numerical semigroups. The key point is the introduction…

The $A$-polynomial is conjectured to be obtained from the potential function of the colored Jones polynomial by elimination. The AJ conjecture also implies the relationship between the $A$-polynomial and the colored Jones polynomial. In…

We show that all triples $(x_1,x_2,x_3)$ of singular moduli satisfying $x_1 x_2 x_3 \in \mathbb{Q}^{\times}$ are "trivial". That is, either $x_1, x_2, x_3 \in \mathbb{Q}$; some $x_i \in \mathbb{Q}$ and the remaining $x_j, x_k$ are distinct,…

In his striking 1995 paper, Borcherds found an infinite product expansion for certain modular forms with CM divisors. In particular, this applies to the Hilbert class polynomial of discriminant $-d$ evaluated at the modular $j$-function.…

We prove certain conjecture holds true for a finite category which has M\"obius inversion. The conjecture states a relationship between the zeta function of a finite category and the Euler characteristic of a finite category.

We give a brief introduction to Drinfeld modular forms, concentrating on the many equivalent constructions of the form h of weight q+1 and type 1, to which we contribute some new characterizations involving Moore determinants, and an…

Let Z be a subvariety of the moduli space of principally polarised abelian varieties of dimension g over the complex numbers. Suppose that Z contains a Zariski dense set of points which correspond to abelian varieties from a single isogeny…

We investigate a question of Burns and Sano concerning the structure of the module of Euler systems for a general $p$-adic representation. Assuming the weak Leopoldt conjecture, and the vanishing of $\mu$-invariants of natural Iwasawa…

We study Rubin's variant of the $p$-adic Birch and Swinnerton-Dyer conjecture for CM elliptic curves concerning certain special values of the Katz two-variable $p$-adic $L$-function that lie outside the range of $p$-adic interpolation.

We show that an earlier conjecture of the author, on diophantine approximation of rational points on varieties, implies the ``abc conjecture'' of Masser and Oesterl'e. In fact, a weak form of the former conjecture is sufficient, involving…

The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…

This paper contains an alternate proof of the Schanuel Nullstellensatz for Zilber's Pseudoexponentiation. Furthermore, in an algebraically closed exponential field whose exponential map is surjective with standard kernel, this property…

We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type…

Recently, R\'emond stated a very general conjecture on lower bounds of a normalized height on either an abelian variety or a power of the multiplicative group. In this note, we extend a particular case of this conjecture to split…

Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of…

The Sendov conjecture asserts that if $p(z) = \prod_{j=1}^{N}(z-z_j)$ is a polynomial with zeros $|z_j| \leq 1$, then each disk $|z-z_j| \leq 1$ contains a zero of $p'$. Our purpose is the following: Given a zero $z_j$ of order $n \geq 2$,…

We present a solution of the $(A_2+A_1)^{(1)}$ $q$-Painlev\'{e} equation in terms of the $\mu$-function. The $\mu$-function introduced by Zwegers is the most fundamental object in the study of mock theta functions. The results of this paper…

Under mild hypotheses, we prove that if F is a totally real field, k is the algebraic closure of the finite field with l elements and r : G_F --> GL_2(k) is irreducible and modular, then there is a finite solvable totally real extension…