Related papers: A note on purity of crystalline local systems
The general construction of frames of p-adic wavelets is described. We consider the orbit of a mean zero generic locally constant function with compact support (mean zero test function) with respect to the action of the p-adic affine group…
We study orbit closures and stationary measures for groups of automorphisms of $p$-adic affine surfaces.
Let K be a p-adic local field with residue field k such that [k:k^p]=p^e<\infty and V be a p-adic representation of Gal(\bar{K}/K). Then, by using the theory of p-adic differential modules, we show that V is a potentially crystalline (resp.…
We study the notion of Wach modules in relative setting, generalizing the arithmetic case. Over an unramified base, for a $p$-adic representation admitting such structure, we examine the relationship between its relative Wach module and…
We investigate the arithmetic of algebraic curves on coarse moduli spaces for special linear rank two local systems on surfaces with fixed boundary traces. We prove a structure theorem for morphisms from the affine line into the moduli…
We shall realize certain affine geometric crystal of type $D_4^{(3)}$ associated with the fundamental representation $W(\pi_1)$ explicitly . By its explicit form, we see that it has a positive structure.
This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of…
In the framework of adelic approach we consider real and p-adic properties of dynamical system given by linear fractional map f (x) = (a x + b)/(c x + d), where a, b, c and d are rational numbers. In particular, we investigate behavior of…
It is known that, in general, an affine or Gabor AP-frame is an $L^2(\mathbb{R})$-frame and conversely. In part as a consequence of the Ergodic Theorem, we prove a necessary and sufficient condition for an affine (wavelet) system…
We characterize equicontinuous Delone dynamical systems as those coming from Delone sets with strongly almost periodic Dirac combs. Within the class of systems with nite local complexity the only equicontinuous systems are then shown to be…
We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…
For each smooth curve over a finite field, after puncturing it at finitely many points, we construct local systems on it of geometric origin which do not come from a family of abelian varieties. We do so by proving a criterion which must be…
We consider smooth completion of algebraic manifolds. Having some information about its singular completions or about completions of its images we prove purity of cohohomology of the set at infinity. We deduce also some topological…
We prove the existence of local constancy phenomena for reductions in a general prime power setting of two-dimensional irreducible crystalline representations. Up to twist, these representations depend on two parameters: a trace $a_p$ and a…
In this paper we prove that a pure, regular, totally odd, polarizable weakly compatible system of $l$-adic representations is potentially automorphic. The innovation is that we make no irreducibility assumption, but we make a purity…
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…
In this note we prove the existence and uniqueness of local maximal smooth solution of the stochastic simplified Ericksen-Leslie systems modelling the dynamics of nematic liquid crystals under stochastic perturbations.
In this article we prove exactness of the homotopy sequence of overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving a corresponding result for rigid analytic…
A method for enhancing the stability and robustness of explicit schemes in computational fluid dynamics is presented. The method is based in reformulating explicit schemes in matrix form, which cane modified gradually into semi or…
The aim of this article is to given an extension of the prismatization functor for $p$-adic formal schemes (whose construction was first sketched by Drinfeld and then given by Bhatt-Lurie) to all schemes over $\mathrm{Spec}(\mathbf{Z})$. We…