Related papers: Frobenius structure on hypergeometric equations, p…
We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit…
Following the pattern of the Frobenius structure usually assigned to the 1-dimensional sphere, we investigate the Frobenius structures of spheres in all other dimensions. Starting from dimension $d=1$, all the spheres are commutative…
A variety of different orthogonal wavelet bases has been found in L_2(R) for the last three decades. It appeared that similar constructions also exist for functions defined on some other algebraic structures, such as the Cantor and Vilenkin…
v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond…
It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this…
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite…
We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest…
To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an…
In this paper, we present HyperPrecision, a Mathematica package for high-precision numerical evaluation of general Horn-type multivariate hypergeometric functions and their Laurent expansions in a small parameter $\epsilon$. Such functions…
The Frobenius of a matrix $M$ with coefficients in $\bar{\mathbb F}_p$ is the matrix $\sigma(M)$ obtained by raising each coefficient to the $p$-th power. We consider the question of counting matrices with coefficients in $\mathbb F_q$…
Given a principally polarized abelian variety $A$ of dimension $g$ over an algebraically closed field $k$ of characteristic $p$, the $p$ torsion $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There are exactly $2^g$…
We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology…
Using the theory of $(\phi,\Gamma)$-modules and the formalism of Selmer complexes we construct the p-adic height for p-adic representations with coefficients in an affinoid algebra over $Q_p$.
We study the various arithmetic and geometric Frobenius morphisms on the moduli stack of principal bundles over a smooth projective algebraic curve and determine explicitly their actions on the $\ell-$adic cohomology of the moduli stack in…
Assume that $\mathscr{A}$ is a connected cochain DG algebra. We show that $\mathscr{A}$ is homologically smooth and Gorenstein if and only if its $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a Frobenius graded…
The enumeration of points on (or off) the union of some linear or affine subspaces over a finite field is dealt with in combinatorics via the characteristic polynomial and in algebraic geometry via the zeta function. We discuss the basic…
We study contiguity relations of Lauricella's hypergeometric function F_D, by using the twisted cohomology group and the intersection form. We derive contiguity relations from those in the twisted cohomology group and give the coefficients…
We discuss when the incidence coalgebra of a locally finite preordered set is right co-Frobenius. As a consequence, we obtain that a structural matrix algebra over a field $k$ is Frobenius if and only if it consists, up to a permutation of…
We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect…
A convolution approach leading to an explicit computation of a value of a 4F3 function is outlined. We also investigate about the role of the dilogarithm reflection formula, leading to a remarkable consequence: in some cases, values of 4F3…