Related papers: Bounded Invariant Equivalence Relations

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…

We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…

Stratifications and iterative differential equations are analogues in positive characteristic of complex linear differential equations. There are few explicit examples of stratifications. The main goal of this paper is to construct…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

We propose a definition of the profinite normal structure set for the set of all manifolds in a fixed profinite homotopy type. Using this framework, we prove that the Galois action of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ on the…

We study integral points on varieties with infinite \'etale fundamental groups. More precisely, for a number field $F$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $\varphi\colon Y \to X$ of degree…

This paper is concerned with the study of Besov-type decomposition spaces, which are scales of spaces associated to suitably defined coverings of the euclidean space $\mathbb{R}^d$, or suitable open subsets thereof. A fundamental problem in…

If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated…

We investigate the homotopy type of a certain homogeneous space for a simple complex algebraic group. We calculate some of its classical topological invariants and introduce a new one. We also propose several conjectures about its…

We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…

Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.

In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…

We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…

Given an object over the algebraic closure Qbar of Q, there is often no reason for invariants of the corresponding holomorphic object to be preserved by the absolute Galois group Gal(Qbar/Q), and in general this is not true, although it is…

Suppose $G$ is a locally solid lattice group. It is known that there are non-equivalent classes of bounded homomorphisms on $G$ which have topological structures. In this paper, our attempt is to assign lattice structures on them. More…

For many finite groups, the Inverse Galois Problem can be approached through modular/automorphic Galois representations. This is a report explaining the basic strategy, ideas and methods behind some recent results. It focusses mostly on the…

For an additive polynomial and a positive integer, we define an irreducible smooth representation of a Weil group of a non-archimedean local field. We study several invariants of this representation. We deduce a necessary and sufficient…

We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…