Related papers: Remarks on the arithmetic fundamental lemma

In this note we present a brief introduction to Lagrangian Floer homology and its relation with the solution of Arnol'd conjecture, on the minimal number of non-degenerate fixed points of a Hamiltonian diffeomorphism. We start with the…

We establish the equivalence of three notions of $\mathbb{F}_q$-rational points on weighted projective spaces $\mathbb{P}_{\mathbf{w}}^n$ and derive explicit combinatorial formulas for their enumeration, leveraging Burnside's lemma and gcd…

In this paper, we give a general boundary Schwarz lemma for holomorphic mappings between unit balls in any dimensions. It is proved that if the mapping $f\in C^{1+\alpha}$ at $z_0\in \partial \mathbb B^n$ with $f(z_0)=w_0\in \partial…

This article is a Bourbaki seminar report on Ngo Bao Chau's proof of the fundamental lemma. About thirty years ago, R. P. Langlands conjectured a collection of identities to hold among integrals over conjugacy classes in reductive groups.…

The Jiang--Su algebra Z has come to prominence in the classification program for nuclear C*-algebras of late, due primarily to the fact that Elliott's classification conjecture predicts that all simple, separable, and nuclear C*-algebras…

In this paper we resolve a conjecture of Zhi-Wei Sun concerning the integrality and arithmetic structure of certain trigonometric determinants. Our approach builds on techniques developed in our previous work, where trigonometric…

In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…

General properties of perturbed conformal field theory interacting with quantized Liouville gravity are considered in the simplest case of spherical topology. We discuss both short distance and large distance asymptotic of the partition…

We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial…

In 2007, the first author gave an alternative proof of the refined alternating sign matrix theorem by introducing a linear equation system that determines the refined ASM numbers uniquely. Computer experiments suggest that the numbers…

We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of…

Let $p$ and $q$, where $pq-qp=1$, be the standard generators of the first Weyl algebra $A_1$ over a field of characteristic zero. Then the spectrum of the inner derivation $ad(pq)$ on $A_1$ are exactly the set of integers. The algebra $A_1$…

Disjunctive Linear Arithmetic (DLA) is a major decidable theory that is supported by almost all existing theorem provers. The theory consists of Boolean combinations of predicates of the form $\Sigma_{j=1}^{n}a_j\cdot x_j \le b$, where the…

Let $K$ be an algebraically closed field of characteristic zero, $\delta$ a nonzero $\mathcal{E}$-derivation of $K[x]$. We first prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x]$ in some cases. Then we prove that LFED…

A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…

The space spanned by the characters of twisted affine Lie algebras admit the action of certain congruence subgroups of $SL(2,\mathbb{Z})$. By embedding the characters in the space spanned by theta functions, we study an…

We formulate and prove examples of a conjecture which describes the W-algebras in type A as successive quantum Hamiltonian reductions of affine vertex algebras associated with several hook-type nilpotent orbits. This implies that the affine…

We show that a finite set of integers $A \subseteq \mathbb{Z}$ with $|A+A| \le K |A|$ contains a large piece $X \subseteq A$ with Fre\u{i}man dimension $O(\log K)$, where large means $|A|/|X| \ll \exp(O(\log^2 K))$. This can be thought of…

We prove the Effective Bogomolov Conjecture, and so the Bogomolov Conjecture, over a function field of characteristic 0 by proving Zhang's Conjecture about certain invariants of metrized graphs. In the function field case, these conjectures…

Let ${\mathcal U}(\lambda)$ denote the family of analytic functions $f(z)$, $f(0)=0=f'(0)-1$, in the unit disk $\ID$, which satisfy the condition $\big |\big (z/f(z)\big )^{2}f'(z)-1\big |<\lambda $ for some $0<\lambda \leq 1$. The…