Related papers: Remarks on the arithmetic fundamental lemma
These notes give a statement of the "fundamental lemma," which is a conjectural identity between p-adic integrals that arises as part of the Langlands program.
The dynamical Mordell-Lang conjecture concerns the structure of the intersection of an orbit in an algebraic dynamical system and an algebraic variety. In this paper, we bound the size of this intersection for various cases when it is…
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian'…
A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…
We present new descriptive complexity characterisations of classes REG (regular languages), LCFL (linear context-free languages) and CFL (context-free languages) as restrictions on inference rules, size of formulae and permitted connectives…
A relatively compressed algebra with given socle degrees is an Artinian quotient $A$ of a given graded algebra $R/\fc$, whose Hilbert function is maximal among such quotients with the given socle degrees. For us $\fc$ is usually a…
In this article, we demonstrate that the claim made by Xiaoyan Li and Ni Sun \cite{bib 1} regarding the incorrectness of Theorem 7 in the paper \cite{bib 2} is wrong, and show that this Theorem is based on the integral with respect to…
The $p$-adic Littlewood Conjecture due to De Mathan and Teuli\'e asserts that for any prime number $p$ and any real number $\alpha$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle m\alpha \rangle|\, =\, 0 $$ holds. Here, $|m|$…
We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of…
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on…
We define some formal moduli space of quasi-isogenies of isoclinic $p$-divisible groups with a non-reductive group as the "structure group". We then formulate new Arithmetic Fundamental Lemma conjectures for Bessel subgroups in the context…
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the…
The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a…
We study the behavior of $A$-orbits in $G/\Gamma$, when $G$ is a semisimple real algebraic $\mathbb{Q}$-group, $\Gamma$ is a non-uniform arithmetic lattice, and $A$ is a torus of dimension $\geq\operatorname{rank}_\mathbb{Q}(\Gamma)$. We…
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by…
We propose a proof for conjectures of Langlands, Shelstad and Waldspurger known as the fundamental lemma for Lie algebras and the non-standard fundamental lemma. The proof is based on a study of the decomposition of the l-adic cohomology of…
In algebraic number theory, the finiteness of the Picard group of an order in a number field is generally proved via a lattice argument: the order forms a lattice and every ideal class contains an integral ideal with a small enough non-zero…
We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex…
Let $K/F$ be an unramified quadratic extension of non-Archimedian local fields with residue character not equals to 2. We prove the linear Arithmetic Fundamental Lemma for GL$_4$ with the unit element in the spherical Hecke Algebra. In this…
Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums…