Related papers: On Dwork's p-adic formal congruences theorem and h…

We prove three more general supercongruences between truncated hypergeometric series and $p$-adic Gamma function from which some known supercongruences follow. A supercongruence conjectured by Rodriguez-Villegas and proved by E. Mortenson…

In the recent articles by Alper, Eastwood and Isaev, it was conjectured that all rational $GL_n({\mathbb C})$-invariant functions of forms of degree $d\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of…

The main purpose of this article is to introduce a comprehensive, unified theory of the geometry of all connections. We show that one can study a connection via a certain, closely associated second-order differential equation. One of the…

In the year 2000, Eric Egge introduced the generalized Terwilliger algebra $\mathcal T$ of a distance-regular graph $\Gamma$. For any vertex $x$ of $\Gamma,$ there is a surjective algebra homomorphism $\natural$ from $\mathcal T$ to the…

Let n,d be positive integers, with d even (say d=2e). Let X_(n,d) denote the locus of degree d hypersurfaces in P^n which consist of two e-fold hyperplanes. We bound the regularity of the ideal of this variety. Moreover, we show that this…

Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the familiar pairing on the…

We establish pointwise convergence for nonconventional ergodic averages taken along $\lfloor p^c\rfloor$, where $p$ is a prime number and $c\in(1,4/3)$ on $L^r$, $r\in(1,\infty)$. In fact, we consider averages along more general sequences…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…

We construct Fourier transforms relating functions and distributions on finite height $p$-divisible rigid analytic groups and objects in a dual category of $\mathbb{Z}_p$-local systems with analyticity conditions. Our Fourier transforms are…

Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of…

We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…

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 develop a theory for the existence of perfect matchings in hypergraphs under quite general conditions. Informally speaking, the obstructions to perfect matchings are geometric, and are of two distinct types: 'space barriers' from convex…

We present a generalization of the induced matching theorem and use it to prove a generalization of the algebraic stability theorem for $\mathbb{R}$-indexed pointwise finite-dimensional persistence modules. Via numerous examples, we show…

We compute the essential dimension of the functors Forms_{n,d} and Hypersurf_{n, d} of equivalence classes of homogeneous polynomials in n variables and hypersurfaces in P^{n-1}, respectively, over any base field k of characteristic 0. Here…

Using an intrinsic $q$-hypergeometric strategy, we generalise Dwork-type congruences $H(p^{s+1})/H(p^s)\equiv H(p^s)/H(p^{s-1})\pmod{p^3}$ for $s=1,2,\dots$ and $p$ a prime, when $H(N)$ are truncated hypergeometric sums corresponding to the…

We prove supercongruences modulo $p^2$ for values of truncated hypergeometric series at some special points. The parameters of the hypergeometric series are $d$ copies of $1/2$ and $d$ copies of $1$ for any integer $d\ge2$.

Harder's reduction theory provides filtrations of euclidean buildings that allow one to deduce cohomological and homological properties of S-arithmetic groups over global function fields. In this survey I will sketch the main points of…

In this article we give a new proof of Ng\^o's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the…