Related papers: A Topology for Galois Types in AECs

We revisit a class of non-Hermitian topological models that are Galois conjugates of their Hermitian counter parts. Particularly, these are Galois conjugates of unitary string-net models. We demonstrate these models necessarily have real…

This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for…

These notes are an introduction to higher dimensional local fields and higher dimensional adeles. As well as the foundational theory, we summarise the theory of topologies on higher dimensional local fields and higher dimensional local…

We introduce a generalisation of norm relations in the group algebra Q[G], where G is a finite group. We give some properties of these relations, and use them to obtain relations between the S-unit groups of different subfields of the same…

We classify Galois objects for the dual of a group algebra of a finite group over an arbitrary field.

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois…

We present a general result about generating group topologies by pseudo-norms. Namely, we show that if a topology has a base of sets which are closed in a certain sense, then it can be generated by a collection of pseudo-norms such that the…

We develop some nonstandard techniques for bornological and coarse spaces. We first generalise the notion of bornology to prebornology, which better fits to coarse spaces. We then give nonstandard characterisations of some basic large-scale…

We investigate some properties of topological groups related to disconnectedness or Archimedeanness. We prove or disprove the preservation of those under operations as subgroups, quotients, products, etc. Characterizations of…

The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language with primitives for sampling from discrete distributions.…

The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…

Systems displaying quantum topological order feature robust characteristics that are very attractive to quantum computing schemes. Topological quantum field theories have proven to be powerful in capturing the quintessential attributes of…

The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q.…

In the present paper, we study the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields from the point of view of anabelian geometry. In particular, we show that, under certain mild assumptions, the…

We systematically study some basic properties of the theory of pre-topological spaces, such as, pre-base, subspace, axioms of separation, connectedness, etc. Pre-topology is also known as knowledge space in the theory of knowledge…

One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a…

We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

Let G be a connected, compact, semisimple algebraic group over the field of real numbers R. Using Kac diagrams, we describe combinatorially the first Galois cohomology sets H^1(R,H) for all inner forms H of G. As examples, we compute…