Related papers: A proof of the refined PRV conjecture via the cycl…
We prove the Shafarevich conjecture for very irregular varieties of dimension less than half the dimension of their Albanese variety, subject to some mild numerical conditions. Our proof relies on the Lawrence-Venkatesh method as in the…
We explore a strong categorical correspondence between isomorphism classes of sheaves of arbitrary rank on a given algebraic curve and twisted pairs on another algebraic curve, mostly from a linear-algebraic standpoint. In a particular…
Menon's proof of the preservation of log-concavity of sequences under convolution becomes simpler when adapted to 2-sided infinite sequences. Under assumption of log-concavity of two 2-sided infinite sequences, the existence of the…
The link between Vandiver's conjecture and Gauss sums is well known since the papers of Iwasawa (1975), Thaine (1995-1999) and Angl{\`e}s-Nuccio (2010). This conjecture is required in many subjects and we shall give such examples of…
We prove a new Radon type theorem for unions of convex sets, settling an open problem posed by Kalai in the 1970s. We also define and study an extension of the notion of the VC-dimension of a hypergraph and apply it to establish an…
In this paper we prove the conjecture of D\'{e}fago & Konagaya. Furthermore, we describe a deterministic protocol for forming a regular n-gon in finite time.
The Grothendieck-Katz $p$-curvature conjecture is an analogue of the Hasse Principle for differential equations. It states that a set of arithmetic differential equations on a variety has finite monodromy if its $p$-curvature vanishes…
We present a detailed proof of Wolstenholme's theorem using an Egorychev-type contour integral and an exponential change of variables. All formal series manipulations are justified, and the connection with harmonic sums and Bernoulli…
We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor,…
We prove N.Takahashi's conjecture determining the contribution of each contact point in genus-$0$ maximal contact Gromov-Witten theory of $\mathbb{P}^2$ relative to a smooth cubic $E$. This is a new example of a question in Gromov-Witten…
We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $\phi$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $\phi$…
Let $G = GL(n)$ and $K = GL(p) \times GL(q)$ with $p+q=n$, where the groups are taken over $\C$. In this paper we study a certain family of $K$-orbit closures on the flag variety $X$ of $G$. The geometry of these orbit closures plays a…
We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for…
We study tori which are cyclic covers of the standard torus, that is, the deck transformation group of the covering map is cyclic. These covering tori can be parametrized in a natural way and we show that being cyclic is equivalent to…
Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to…
Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…
We compute the convolution product on the equivariant K-groups of the cyclic quiver variety. We get a q-analogue of double-loop algebras, closely related to the toroidal quantum groups previously studied by the authors. We also give a…
We establish several results towards the two-variable main conjecture of Iwasawa theory for elliptic curves without complex multiplication over imaginary quadratic fields, namely (i) the existence of an appropriate p-adic L-function,…
Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a…