Related papers: A Dictionary between Fontaine-Theory and its Analo…
We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type…
As a simple corollary of a highly general framework for differential and difference Galois theory introduced by Y. Andre, we formulate a version of the Galois correspondence that applies over a difference field with arbitrary field of…
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…
This paper represents the main portion of the Ph.D. Thesis of the author, and is the first of the series of four papers, which is a joint work with K. Matsuki as a whole. We present a program toward constructing an algorithm for resolution…
We propose in this paper a method for measuring the similarity between ontological concepts and terms. Our metric can take into account not only the common words of two strings to compare but also other features such as the position of the…
A general formulation of the equilibrium state of a many-electron system in terms of a (mixed-state, ensemble) density matrix operator in the Fock space, based on the maximum entropy principle, is introduced. Various characteristic…
This is a literal word-for-word translation from the French of Phragmen's proof (the first such published) of Weierstrass' famous theorem characterizing all analytic functions which possess an algebraic addition theorem.
In this paper we discuss the relation between the standard covariant quantum field theory and light-front field theory. We define covariant theory by its Feynman diagrams, whereas light-front field theory is defined in terms of light-cone…
Inequalities, asymptotics and, for some specific cases, asymptotical expansions were obtained for generalized Mathieu's series. A connection between inequalities for Mathieu's series and positive definite and completely monotonic functions.
There are abundant results on Diophantine approximation over fields of positive characteristic (see the survey papers [13, 25]), but there is very little information about simultaneous approximation. In this paper, we develop a technique of…
We look at various questions related to filtrations in $p$-adic Hodgetheory, using a blend of building and Tannakian tools. Specifically,Fontaine and Rapoport used a theorem of Laffaille on filtered isocrystalsto establish a converse of…
I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for…
We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi,…
The purpose of this paper is to derive the analogue of Lebesgue-Radon-Nikodym theorem with respect to $p$-adic $q$-invariant distribution on $\Bbb Z_p$ which is defined by author in [1].
We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of…
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent,…
The main aim of this paper is to make a remark about the relation between (i) dualities between theories, as `duality' is understood in physics and (ii) equivalence of theories, as `equivalence' is understood in logic and philosophy. The…
We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups.
In this paper we establish the convergence case of Khintchine's theorem for affine hyperplanes in function field of positive characteristic. Along with that, we also prove a quantitative version of the same. The main technique used in the…
We introduce a general formalism with minimal requirements under which we are able to prove the pro-modular Fontaine-Mazur conjecture. We verify it in the ordinary case using the recent construction of Breuil and Herzig.