Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userLogarithmic adic spaces: some foundational results
359
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer etale and pro-Kummer etale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.
rate research
Read More
We compute the expectation of the number of linear spaces on a random complete intersection in $p$-adic projective space. Here random means that the coefficients of the polynomials defining the complete intersections are sampled uniformly form the $p$-adic integers. We show that as the prime $p$ tends to infinity the expected number of linear spaces on a random complete intersection tends to $1$. In the case of the number of lines on a random cubic in three-space and on the intersection of two random quadrics in four-space, we give an explicit formula for this expectation.
This is the final version, to appear in Commentarii Mathematici Helvetici.
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 to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies.
To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, which are now called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $p$-adic counterpart of the GKZ hypergeometric system. The $p$-adic GKZ hypergeometric complex is a twisted relative de Rham complex of over-convergent differential forms with logarithmic poles. It is an over-holonomic object in the derived category of arithmetic $mathcal D$-modules with Frobenius structures. Traces of Frobenius on fibers at Techmuller points of the GKZ hypergeometric complex define the hypergeometric function over the finite field introduced by Gelfand and Graev. Over the non-degenerate locus, the GKZ hypergeometric complex defines an over-convergent $F$-isocrystal. It is the crystalline companion of the $ell$-adic GKZ hypergeometric sheaf that we constructed before. Our method is a combination of Dworks theory and the theory of arithmetic $mathcal D$-modules of Berthelot.
On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic etale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Delignes classical Riemann--Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of residues; hence the title of the paper. As an application, we show that this $p$-adic Riemann--Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
