Related papers: $p$-adic formulas and unit root $F$-subcrystals of…
We classify all the zeros and non-zero values of a family of hypergeometric series in the $p$-adic setting. These values of hypergeometric series in the $p$-adic setting lead to transformations of hypergeometric series in the $p$-adic…
Using the Tannakian formalism, we formulate conjectural analogs of Chebotar\"ev's Density Theorem for $F$-isocrystals over a smooth geometrically irreducible variety defined over a finite field. We prove these analogs for several large…
Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…
Andrews and Petsche proposed in 2020 a conjectural characterization of all pairs $(f,\alpha)$, where $f$ is a polynomial over a number field $K$ and $\alpha\in K$, such that the dynamical Galois group of the pair $(f,\alpha)$ is abelian. In…
The main objective of this article is to establish the $p$-adic Artin formalism for the algebraic $p$-adic $L$-functions attached to the adjoint representations of Coleman families of modular forms. In particular, we prove a factorization…
Let $\mathfrak{X}$ be a smooth connected $p$-adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for torsion crystalline local systems on the generic fiber of…
Brzezi\'nski's trusses are ``ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to…
Wan proved the rationality of partial toric $L$-functions using $\ell$-adic techniques. In this paper, we present a $p$-adic proof in the spirit of Dwork. We demonstrate that partial $L$-functions can be expressed as an alternating product…
Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…
Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the…
We consider arbitrary algebraic families of lower order deformations of nondegenerate toric exponential sums over a finite field. We construct a relative polytope with the aid of which we define a ring of coefficients consisting of p-adic…
In this paper, we prove Fukui-Kurdyka-Paunescu's Conjecture, which says that subanalytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of…
The Lascoux-Leclerc-Thibon-Ariki theory asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with a Lie…
We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse…
We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated…
We develop a theory of $p$-adic continued fractions for a quaternion algebra $B$ over $\mathbb Q$ ramified at a rational prime $p$. Many properties holding in the commutative case can be proven also in this setting. In particular, we focus…
Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring…
Let $P(x,z)= z^d +\sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $\R^n$. If for any $x \in U$ the polynomial $z\mapsto P(x,z)$ has only real roots, then we can write those…
The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the…
This paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of…