Related papers: Parameterized Picard-Vessiot extensions and Atiyah…

We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented)…

This is the first in a series on papers developing an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois…

We define a derived version of Mazur's Galois deformation ring. It is a pro-simplicial ring $\mathcal{R}$ classifying deformations of a fixed Galois representation to simplicial coefficient rings; its zeroth homotopy group $\pi_0…

We introduce a notion of "Galois closure" for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an S_n degree n extension of fields. Moreover, we prove a number of properties of this…

In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…

We study the integrability of polynomial vector fields using Galois theory of linear differential equations when the associated foliations is reduced to a Riccati type foliation. In particular we obtain integrability results for some…

We use techniques from functorial quantum field theory to provide a geometric description of the parity anomaly in fermionic systems coupled to background gauge and gravitational fields on odd-dimensional spacetimes. We give an explicit…

Let $k\subseteq K$ be a finite Galois extension of fields with Galois group $G$. Let $\mathscr{G}$ be the automorphism $k$-group scheme of $K$. We construct a canonical $k$-subgroup scheme $\underline{G}\subset\mathscr{G}$ with the property…

In (Borceux-Janelidze 2001) they prove a Categorical Galois Theorem for ordinary categories, and establish the main result of (Joyal-Tierney 1984), along with the classical Galois theory of Rings, as instances of this more general result.…

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

We describe how Lie groupoids are used in singular analysis, index theory and non-commutative geometry and give a brief overview of the theory. We also expose groupoid proofs of the Atiyah-Singer index theorem and discuss the Baum-Connes…

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of…

Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…

We consider distinction of representations in the context of $p$-adic Galois symmetric spaces. We provide new sufficient conditions for distinction of parabolically induced representations in terms of similar conditions on the inducing data…

In \cite{GQ2008} R. Gow and R. Quinlan have cast a new look on the endomorphism algebra of a $K$-vector space $V$ of dimension $n$ assuming that $K$ has a Galois extension $L$ of degree $n$. In this approach the $K$-space $L$ may serve as a…

We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without…

We review the concept of differentiably simple ring and we give a new proof of Harper's Theorem on the characterization of Noetherian differentiably simple rings in positive characteristic. We then study flat families of differentiably…

Choose $q\in {\mathbb C}$ with 0<|q|<1. The main theme of this paper is the study of linear q-difference equations over the field K of germs of meromorphic functions at 0. It turns out that a difference module M over K induces in a…

Linear differential algebraic groups (LDAGs) appear as Galois groups of systems of linear differential and difference equations with parameters. These groups measure differential-algebraic dependencies among solutions of the equations.…

The notion of double Lie algebroid was defined by M. Van den Bergh and was illustrated by the double quasi Poisson case. We give new examples of double Lie algebroids and develop a differential calculus in that context. We recover the non…