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

We prove an explicit integral representation -- involving the pullback of a suitable Siegel Eisenstein series -- for the twisted standard $L$-function associated to a holomorphic vector-valued Siegel cusp form of degree $n$ and arbitrary…

We define a generalization of the fixed point set, called the bounded fixed set, for a group acting by isometries on a metric space. An analogue of the P. A. Smith theorem is proved for metric spaces of finite asymptotic dimension, which…

We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of…

A well-known principle states that a congruence between objects should give rise to a corresponding congruence between the special values of $L$-functions attached to these objects. We computationally investigate this principle for…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

We prove an extension of the theorem of Drinfeld, Grinberg and Kazhdan to arcs with arbitrary residue field. As an application we show that the embedding codimension is generically constant on each irreducible subset of the arc space which…

We prove a generalization of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve $C$ of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$. We build on…

We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency proof does not rely on the representation of consistency as…

The paper extends the well-known Lyusternik-Graves theorem for set-valued mappings to the Holder framework, offers an affirmative answer to an open problem proposed by Dontchev and improves recent results of He and Ng. Primal and dual…

In this article, we introduce congruential Euler numbers, which are a further generalization of generalized Euler numbers. We prove the $p$-adic congruences of congruential Euler numbers, which include answers to a conjecture related to…

We define the notion of {\it Dwork family of logarithmic $F$-crystals}, a typical example of which is the family of Gauss hypergeometricdifferential systems, viewed as parametrized by their exponents of algebraic monodromy. The $p$-adic…

The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the complex structure in the complex Euclidean space. We will show two results about the Newlander-Nirenberg theorem with parameter.…

We give a criterion for two l-adic Galois representations of an algebraic number field to be isomorphic when restricted to a decomposition group, in terms of the global representations mod l. This is applied to prove a generalization of a…

``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of…

Let $f$ be a normalized, ordinary newform of weight $\ge 2$. For each prime $\mathfrak{p}$ of $F=\mathbb{Q}(a_n)_{n\in \mathbb{N}}$, there is an associated $\mathfrak{p}$-adic $L$-function $\mathcal{L}_\mathfrak{p}(f)\in \Lambda \otimes…

It is well known that the Fourier--Bohr coefficients of regular model sets exist and are uniformly converging, volume-averaged exponential sums. Several proofs for this statement are known, all of which use fairly abstract machinery. For…

This paper explores the relationship between mirror symmetry for P^2, at the level of big quantum cohomology, and tropical geometry. The mirror of P^2 is typically taken to be ((C^*)^2,W), where W is a Landau-Ginzburg potential of the form…

We study the asymptotic behaviour of the well-known Dykstra's algorithm through the lens of proof-theoretical techniques. We provide an elementary proof for the convergence of Dykstra's algorithm in which the standard argument is stripped…

A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching…

Given a Z_p-linear local system over a smooth rigid space, we show that it is crystalline (resp. semi-stable) with respect to any smooth (resp. semi-stable) integral model if and only if its restrictions at many classical points are…