Related papers: A Dictionary between Fontaine-Theory and its Analo…
In this paper we consider a norm based on the infinitesimal generator of the shift semigroup in a direction. The relevance of such a focus is guaranteed by an abstract representation of a fractional integro-differential operator by means of…
We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from…
Functors involved in Fontaine equivalences decompose as extension of scalars and taking of invariants between full subcategories of modules over a topological ring equipped with semi-linear continuous action of a topological monoid. We give…
The Bonnaf\'e-Rouquier equivalence can be seen as a modular analogue of Lusztig's Jordan decomposition for groups of Lie type. In this paper, we show that this equivalence can be lifted to include automorphisms of the finite group of Lie…
We investigate the analogue of the Andr\'e--Pink--Zannier conjecture in characteristic $p$. Precisely, we prove it for ordinary function field-valued points with big monodromy, in Shimura varieties of Hodge type. We also prove an algebraic…
We present a somewhat different way of looking on Shannon entropy. This leads to an axiomatisation of Shannon entropy that is essentially equivalent to that of Fadeev. In particular we give a new proof of Fadeev theorem.
Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein…
Analogical proportions compare pairs of items (a, b) and (c, d) in terms of their differences and similarities. They play a key role in the formalization of analogical inference. The paper first discusses how to improve analogical inference…
Logically constrained term rewriting is a rewriting framework that supports built-in data structures such as integers and bit vectors. Recently, constrained terms play a key role in various analyses and applications of logically constrained…
In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and…
We develop a semigroup-theoretic analogue of liaison for relative ideals of a numerical semigroup. Two parallel linkage notions are proposed: a theory based on translates of the semigroup and a theory based on translates of the canonical…
In the conference paper we construct analouge to Pascal's triangle that characterize primes with additional fascinating properties.
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed…
Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we…
We construct the (filtered) Ogus realisation of Laumon 1-motives over a number field. This realisation extends the functor defined on Deligne 1-motives by Andreatta, Barbieri-Viale and Bertapelle.
This note presents a unified theorem of the alternative that explicitly allows for any combination of equality, componentwise inequality, weak dominance, strict dominance, and nonnegativity relations. The theorem nests 60 special cases,…
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…
In a recent paper by the authors, a bounded version of Goellnitz's (big) partition theorem was established. Here we show among other things how this theorem leads to nontrivial new polynomial analogues of certain fundamental identities of…
In this paper we prove the conjecture of Lusztig in "Generic character sheaves on groups over $\mathbf{k}[\epsilon]/(\epsilon^r)$." Given a reductive group over $\mathbb{F}_q$ for some $r\geq 2$, there is a notion of a character sheaf…
Let $\Delta$ be a finite set. We adapt the techniques of Carter-Kedlaya-Z\'abr\'adi to obtain a multivariable Fontaine equivalence which relates continuous finite dimensional $\mathbb{F}_q$-representations of $\prod_{\alpha \in \Delta}…