scholarly journals New Dichotomies for Borel Equivalence Relations

1997 ◽  
Vol 3 (3) ◽  
pp. 329-346 ◽  
Author(s):  
Greg Hjorth ◽  
Alexander S. Kechris
Keyword(s):  
Quotient Space ◽  
Complete Classification ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Borel Equivalence Relations ◽  
Recent Developments ◽  
Borel Map ◽  
Image Position ◽  
Completely Metrizable

We announce two new dichotomy theorems for Borel equivalence relations, and present the results in context by giving an overview of related recent developments.§1. Introduction. For X a Polish (i.e., separable, completely metrizable) space and E a Borel equivalence relation on X, a (complete) classification of X up to E-equivalence consists of finding a set of invariants I and a map c : X → I such that xEy ⇔ c(x) = c(y). To be of any value we would expect I and c to be “explicit” or “definable”. The theory of Borel equivalence relations investigates the nature of possible invariants and provides a hierarchy of notions of classification.The following partial (pre-)ordering is fundamental in organizing this study. Given equivalence relations E and F on X and Y, resp., we say that E can be Borel reduced to F, in symbolsif there is a Borel map f : X → Y with xEy ⇔ f(x)Ff(y). Then if is an embedding of X/E into Y/F, which is “Borel” (in the sense that it has a Borel lifting).Intuitively, E ≤BF might be interpreted in any one of the following ways:(i) The classi.cation problem for E is simpler than (or can be reduced to) that of F: any invariants for F work as well for E (after composing by an f as above).(ii) One can classify E by using as invariants F-equivalence classes.(iii) The quotient space X/E has “Borel cardinality” less than or equal to that of Y/F, in the sense that there is a “Borel” embedding of X/E into Y/F.

scholarly journals Classification of pointed fusion categories of dimension p3 up to weak Morita Equivalence

2020 ◽  
pp. 2140008
Author(s):  
Kevin Maya ◽  
Adriana Mejía Castaño ◽  
Bernardo Uribe
Keyword(s):  
Complete Classification ◽  
Global Dimension ◽  
Morita Equivalence ◽  
Equivalence Classes ◽  
Fusion Categories ◽  
Dimension Formula ◽  
Equivalent Categories

We give a complete classification of pointed fusion categories over [Formula: see text] of global dimension [Formula: see text] for [Formula: see text] any odd prime. We proceed to classify the equivalence classes of pointed fusion categories of dimension [Formula: see text] and we determine which of these equivalence classes have equivalent categories of modules.

λ-Mappings Between Representation Rings of Lie Algebras

1983 ◽  
Vol 35 (5) ◽  
pp. 898-960 ◽  
Author(s):  
R. V. Moody ◽  
A. Pianzola
Keyword(s):  
Root System ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Cartan Subalgebra ◽  
Complete Classification ◽  
Representation Rings ◽  
Mathematical Formalization ◽  
Intuitive Idea ◽  
Image Position

In [10] Patera and Sharp conceived a new relation, subjoining, between semisimple Lie algebras. Our objective in this paper is twofold. Firstly, to lay down a mathematical formalization of this concept for arbitrary Lie algebras. Secondly, to give a complete classification of all maximal subjoinings between Lie algebras of the same rank, of which many examples were already known to the above authors.The notion of subjoining is a generalization of the subalgebra relation between Lie algebras. To give an intuitive idea of what is involved we take a simple example. Suppose is a complex simple Lie algebra of type B2. Let be a Cartan subalgebra of and Δ the corresponding root system. We have the standard root diagramInside B2 there lies the subalgebra A1 × A1 which can be identified with the sum of and the root spaces corresponding to the long roots of B2.

Bi-Borel reducibility of essentially countable Borel equivalence relations

2005 ◽  
Vol 70 (3) ◽  
pp. 979-992 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space ◽  
Borel Reducibility ◽  
New Feature ◽  
Borel Probability ◽  
Image Position

This note answers a questions from [2] by showing that considered up to Borel reducibility, there are more essentially countable Borel equivalence relations than countable Borel equivalence relations. Namely:Theorem 0.1. There is an essentially countable Borel equivalence relation E such that for no countable Borel equivalence relation F (on a standard Borel space) do we haveThe proof of the result is short. It does however require an extensive rear guard campaign to extract from the techniques of [1] the followingMessy Fact 0.2. There are countable Borel equivalence relationssuch that:(i) eachExis defined on a standard Borel probability space (Xx, μx); each Ex is μx-invariant and μx-ergodic;(ii) forx1 ≠ x2 and A μxι -conull, we haveExι/Anot Borel reducible toEx2;(iii) if f: Xx → Xxis a measurable reduction ofExto itself then(iv)is a standard Borel space on which the projection functionis Borel and the equivalence relation Ê given byif and only ifx = x′ andzExz′ is Borel;(V)is Borel.We first prove the theorem granted this messy fact. We then prove the fact.(iv) and (v) are messy and unpleasant to state precisely, but are intended to express the idea that we have an effective parameterization of countable Borel equivalence relations by points in a standard Borel space. Examples along these lines appear already in the Adams-Kechris constructions; the new feature is (iii).Simon Thomas has pointed out to me that in light of theorem 4.4 [5] the Gefter-Golodets examples of section 5 [5] also satisfy the conclusion of 0.2.

scholarly journals Classification of universal formality maps for quantizations of Lie bialgebras

2020 ◽  
Vol 156 (10) ◽  
pp. 2111-2148
Author(s):  
Sergei Merkulov ◽  
Thomas Willwacher
Keyword(s):  
Complete Classification ◽  
Poisson Manifolds ◽  
Minimal Resolution ◽  
Lie Bialgebras ◽  
Induced Representation ◽  
Gauge Equivalence ◽  
Image Position ◽  
Drinfeld Associator ◽  
Deformation Complex

We settle several fundamental questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. Moreover, we settle these questions in a greater generality: we give a complete classification of the associated universal formality maps. An important new technical ingredient introduced in this paper is a polydifferential endofunctor ${\mathcal {D}}$ in the category of augmented props with the property that for any representation of a prop ${\mathcal {P}}$ in a vector space $V$ the associated prop ${\mathcal {D}}{\mathcal {P}}$ admits an induced representation on the graded commutative algebra $\odot ^\bullet V$ given in terms of polydifferential operators. Applying this functor to the minimal resolution $\widehat {\mathcal {L}\textit{ieb}}_\infty$ of the genus completed prop $\widehat {\mathcal {L}\textit{ieb}}$ of Lie bialgebras we show that universal formality maps for quantizations of Lie bialgebras are in one-to-one correspondence with morphisms of dg props \[F: \mathcal{A}\textit{ssb}_\infty \longrightarrow {\mathcal{D}}\widehat{\mathcal{L}\textit{ieb}}_\infty \] satisfying certain boundary conditions, where $\mathcal {A}\textit{ssb}_\infty$ is a minimal resolution of the prop of associative bialgebras. We prove that the set of such formality morphisms is non-empty. The latter result is used in turn to give a short proof of the formality theorem for universal quantizations of arbitrary Lie bialgebras which says that for any Drinfeld associator $\mathfrak{A}$ there is an associated ${\mathcal {L}} ie_\infty$ quasi-isomorphism between the ${\mathcal {L}} ie_\infty$ algebras $\mathsf {Def}({\mathcal {A}} ss{\mathcal {B}}_\infty \rightarrow {\mathcal {E}} nd_{\odot ^\bullet V})$ and $\mathsf {Def}({\mathcal {L}} ie{\mathcal {B}}\rightarrow {\mathcal {E}} nd_V)$ controlling, respectively, deformations of the standard bialgebra structure in $\odot V$ and deformations of any given Lie bialgebra structure in $V$. We study the deformation complex of an arbitrary universal formality morphism $\mathsf {Def}(\mathcal {A}\textit{ssb}_\infty \stackrel {F}{\rightarrow } {\mathcal {D}}\widehat {\mathcal {L}\textit{ieb}}_\infty )$ and prove that it is quasi-isomorphic to the full (i.e. not necessary connected) version of the graph complex introduced Maxim Kontsevich in the context of the theory of deformation quantizations of Poisson manifolds. This result gives a complete classification of the set $\{F_\mathfrak{A}\}$ of gauge equivalence classes of universal Lie connected formality maps: it is a torsor over the Grothendieck–Teichmüller group $GRT=GRT_1\rtimes {\mathbb {K}}^*$ and can hence can be identified with the set $\{\mathfrak{A}\}$ of Drinfeld associators.

scholarly journals EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE

2017 ◽  
Vol 82 (3) ◽  
pp. 893-930 ◽  
Author(s):  
WILLIAM CHAN
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Proper Forcing ◽  
Image Position

AbstractThe following will be shown: Let I be a σ-ideal on a Polish space X so that the associated forcing of I+${\bf{\Delta }}_1^1$ sets ordered by ⊆ is a proper forcing. Let E be a ${\bf{\Sigma }}_1^1$ or a ${\bf{\Pi }}_1^1$ equivalence relation on X with all equivalence classes ${\bf{\Delta }}_1^1$. If for all $z \in {H_{{{\left( {{2^{{\aleph _0}}}} \right)}^ + }}}$, z♯ exists, then there exists an I+${\bf{\Delta }}_1^1$ set C ⊆ X such that E ↾ C is a ${\bf{\Delta }}_1^1$ equivalence relation.

THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

2016 ◽  
Vol 81 (4) ◽  
pp. 1375-1395 ◽  
Author(s):  
URI ANDREWS ◽  
ANDREA SORBI
Keyword(s):  
Open Problem ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Index Set ◽  
Index Sets ◽  
Image Position ◽  
Computably Enumerable

AbstractLet$ \le _c $be computable the reducibility on computably enumerable equivalence relations (or ceers). We show that for every ceerRwith infinitely many equivalence classes, the index sets$\left\{ {i:R_i \le _c R} \right\}$(withRnonuniversal),$\left\{ {i:R_i \ge _c R} \right\}$, and$\left\{ {i:R_i \equiv _c R} \right\}$are${\rm{\Sigma }}_3^0$complete, whereas in caseRhas only finitely many equivalence classes, we have that$\left\{ {i:R_i \le _c R} \right\}$is${\rm{\Pi }}_2^0$complete, and$\left\{ {i:R \ge _c R} \right\}$(withRhaving at least two distinct equivalence classes) is${\rm{\Sigma }}_2^0$complete. Next, solving an open problem from [1], we prove that the index set of the effectively inseparable ceers is${\rm{\Pi }}_4^0$complete. Finally, we prove that the 1-reducibility preordering on c.e. sets is a${\rm{\Sigma }}_3^0$complete preordering relation, a fact that is used to show that the preordering relation$ \le _c $on ceers is a${\rm{\Sigma }}_3^0$complete preordering relation.

The hyperplanes of DW(5,F) arising from the Grassmann embedding

2017 ◽  
Vol 32 ◽  
pp. 1-14 ◽  
Author(s):  
Bart De Bruyn ◽  
Mariusz Kwiatkowski
Keyword(s):  
Main Tool ◽  
Complete Classification ◽  
Polar Space ◽  
Equivalence Classes ◽  
Dual Polar Space ◽  
Characteristic 2 ◽  
Universal Embedding ◽  
Symplectic Vector Space ◽  
Dimensional Module

The hyperplanes of the symplectic dual polar space DW(5; F) that arise from the Grassmann embedding have been classied in [B.N. Cooperstein and B. De Bruyn. Points and hyperplanes of the universal embedding space of the dual polar space DW(5; q), q odd. Michigan Math. J., 58:195{212, 2009.] in case F is a finite field of odd characteristic, and in [B. De Bruyn. Hyperplanes of DW(5;K) with K a perfect eld of characteristic 2. J. Algebraic Combin., 30:567{584, 2009.] in case F is a perfect eld of characteristic 2. In the present paper, these classifications are extended to arbitrary fields. In the case of characteristic 2 however, it was not possible to provide a complete classification. The main tool in the proof is the classification of the quasi-Sp(V; f)-equivalence classes of trivectors of a 6-dimensional symplectic vector space (V; f) obtained in [B. De Bruyn and M. Kwiatkowski. A 14-dimensional module for the symplectic group: orbits on vectors. Comm. Algebra,43:4553{4569, 2015.

scholarly journals Congruences on simple regular ω-semigroups

1972 ◽  
Vol 14 (2) ◽  
pp. 155-167 ◽  
Author(s):  
G. R. Baird
Keyword(s):  
Complete Classification ◽  
Partially Ordered ◽  
Image Position

The set E of idempotents of a semigroup S can be partially ordered by defining e ≦ f if and only if . If E = {ei: i = 0,1, …} and under this ordering e0 > e1 > e2, …, then we call S an ω-semigroup. Munn [7] has given a complete classification of simple regular ω-semigroups in terms of groups and group homomorphisms.

scholarly journals On the blow-up and positive entire solutions of semilinear elliptic equations

2000 ◽  
Vol 43 (3) ◽  
pp. 625-631
Author(s):  
Jann-Long Chern
Keyword(s):  
Elliptic Equations ◽  
Blow Up ◽  
Type Equation ◽  
Semilinear Elliptic Equation ◽  
Complete Classification ◽  
Entire Solutions ◽  
Solution Structures ◽  
Semilinear Elliptic ◽  
Image Position

AbstractIn this paper we consider the following semilinear elliptic equationwhere n ≥ 3, and β ≥ 0, γ ≥ 0, q > p ≥ 1, μ and ν are real constants. We note that if γ = 0, β > 0 and ν ≥ 2, then the equation above is called the Matukuma-type equation. If β = 0, γ > 0 and ν > 2, then the complete classification of all possible positive solutions had been conducted by Cheng and Ni. If β > 0, γ > 0 and μ ≥ ν ≥ 2, then some results about the maximal solution and positive solution structures can be found in Chern. The purpose of this paper is to discuss and investigate the blow-up and positive entire solutions of the equation above for the μ ≥ 2 ≥ ν case.

Sign in / Sign up

Export Citation Format

Share Document