Invariant Random Subgroups, Soficity, and L\"uck's determinant conjecture

We extend L\"uck's determinant conjecture from groups to invariant random subgroups (IRS) of free groups, a framework generalizing groups where a non-sofic object is known to exist. For every free group, we prove the existence of an IRS satisfying the determinant conjecture that is not co-hyperlinear, and hence not co-sofic. This provides evidence that satisfying the determinant conjecture might be a weaker property than soficity for groups, and consequently the conjecture possibly holds for all groups. We use techniques from non-local games and $\mathsf{MIP}^* = \mathsf{RE}$, showing more generally when the latter can be used to narrow down when a von Neumann algebra (or IRS) contains a non-Connes embeddable object.