Related papers: New jump operators on equivalence relations

Topological Recursion generates a family of symmetric differential forms (correlators) from some initial data $(\Sigma,x,y,B)$. We give a functional relation between the correlators of genus $g=0$ generated by the initial data…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

We study the class of graphs known as k-trees through the lens of Joyal's theory of combinatorial species (and an equivariant extension known as '$\Gamma$-species' which incorporates data about 'structural' group actions). This culminates…

We define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of group schemes and are in correspondence with graded Hopf algebra. In this setting, graded group varieties…

A jump is a pair of consecutive elements in an extension of a poset which are incomparable in the original poset. The arboreal jump number is an NP-hard problem that aims to find an arboreal extension of a given poset with minimum number of…

We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan-Dupont model associated to a convenient compactification of such a…

The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5…

This paper is part of a program to understand topologies on spaces of valuations. We fix an ordered abelian group $\Gamma$ and an integral domain $R$. We study the relation between a topology on $\Gamma_\infty$ and the induced topology on…

We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous action of a countable group $\Gamma…

A countable group \Gamma is called shift-minimal if every non-trivial measure preserving action of \Gamma weakly contained in the Bernoulli shift of \Gamma on ([0,1]^\Gamma ,\lambda ^\Gamma) is free. We show that any group \Gamma whose…

Consider a group $\Gamma$ acting on a formal (Fedosov) deformation quantization $\mathbb{A}_\hbar(M)$ of a symplectic manifold $(M,\omega)$. This canonically induces an action of $\Gamma$ by symplectomorphisms on $M$. We examine the reverse…

Let $G'$ be a connected reductive group over $\mathbb{Q}$ such that $G = G'/\mathbb{Q}_p$ is quasi-split, and let $Q \subset G$ be a parabolic subgroup. We introduce parahoric overconvergent cohomology groups with respect to $Q$, and prove…

I. M. Chiswell has asked whether every group that admits a free isometric action (without inversions) on a $\Lambda$-tree is orderable. We give an example of a multiple HNN extension $\Gamma$ which acts freely on a $\mathbb{Z}^2$-tree but…

In a graph $\Gamma=(V,E)$, we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation in which two vertices are…

Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…

The game tree languages can be viewed as an automata-theoretic counterpart of parity games on graphs. They witness the strictness of the index hierarchy of alternating tree automata, as well as the fixed-point hierarchy over binary trees.…

Orbifold equivalence is a notion of symmetry that does not rely on group actions. Among other applications, it leads to surprising connections between hitherto unrelated singularities. While the concept can be defined in a very general…

A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and…

Using fixed-point-free group actions, we set up a scheme to define nested classes of groups indexed over ordinals. Restricting to cellular actions on CW-complexes, we find new classes as well as new characterizations for some well-known…

Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…