Berman's genuine-naive equivariant homotopy duality conjecture

Let $G$ be a finite group. Let $_G\text{Top}$ denote the $\infty$-category of genuine left $G$-spaces, and let $\text{Top}^G$ denote the $\infty$-category of naive, or Borel, right $G$-spaces. Noncommutative motives are considered over the field with one element. Genuine-naive equivariant duality conjecture. The $\infty$-categories $_G\text{Top}$ and $\text{Top}^G$ are dual as noncommutative motives over the field with one element. This conjecture is motivated by a formal duality between naive and genuine equivariant homotopy theory and is stated as a central conjectural goal of the fourth chapter.