Related papers: Real and p-adic Picard-Vessiot fields

Poitou-Tate duality for the Galois group of an extension of a global field with appropriately restricted ramification can be seen as taking place between the cohomology of a compact or discrete module and the compactly-supported cohomology…

A new proof of an old theorem of Drinfeld concerning the representability of the moduli problem of special formal $\mathcal{O}_{D}$-modules by Deligne's $p$-adic formal model of Drinfeld's upper half-plane is given for $d=2.$ The display…

We give a sufficient and necessary condition for a p-adic integer to have p-th root in the ring of p-adic integers. The same condition holds clearly for residues modulo p^k. We give a proof that Fermat's last theorem is false for p-adic…

We prove that the category of (rigidified) Breuil-Kisin-Fargues modules up to isogeny is Tannakian. We then introduce and classify Breuil-Kisin-Fargues modules with complex multiplication mimicking the classical theory for rational Hodge…

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

We extend the classical duality results of Poitou and Tate for finite discrete Galois modules over local and global fields (local duality, nine-term exact sequence, etc.) to all affine commutative group schemes of finite type, building on…

The Galois representation associated to a p-divisible group over a complete noetherian normal local ring with perfect residue field is described in terms of its Dieudonn\'e display. As a corollary we deduce in arbitrary characteristic…

One of the basic questions in number theory is to determine semi-simple l-adic representations of the absolute Galois group of a number field. In this paper, we discuss the question for two dimensional representations over a totally real…

We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

There is a serious discrepancy among literature on the Picard-Vessiot theory in positive characteristics (for iterative differential fields). It is about descriptions of Galois correspondence. We should use affine group schemes instead of…

We solve the inverse differential Galois problem over differential fields with a large field of constants of infinite transcendence degree over ${\mathbb Q}$. More generally, we show that over such a field, every split differential…

This note is a development of our two previous papers, arXiv:1212.3392v1 and 1306.3660v1. The fundamental question is whether there exists a Galois theory, in which the Galois group is a quantum group. For a linear equations with respect to…

We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an…

It is quite natural to wonder whether there is a difference-differential equations, the Galois group of which is a quantum group that is neither commutative nor co-commutative. Believing that there was no such linear equations, we explored…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many…

Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and…