In this possibly speculative talk I will try to outline a way to define analytic D-modules, using (higher) category theory and the ``six operations" on quasicoherent sheaves as the main tools. The aim is to follow the successful approach of Andy Jiang in the algebraic setting, who obtained such a theory without using stacks or formal schemes (as in Gaitsgory-Rozenblyum's approach). By using local cohomology, Jiang was able to avoid enlarging the category of algebras beyond the usual ones. We believe that an analytic variant of local cohomology can be used to recover the Ardakov-Wadsley theory of D-cap modules ``on the nose". (Work in progress).

In the world of von Neumann algebras, the factors that do not have a trace, the so-called type III factors, are the most difficult to study. Some of their key structural properties are still not well-understood. In this talk, I will give a gentle introduction to Connes's Bicentralizer Problem, which is the most important open problem in the theory of type III factors. I will then present some recent progress on this problem and its applications.

Often, one tries to understand the behaviour of non-commutative random variables or of von Neumann algebras through matricial approximations. In some cases, such as when appealing to the determinant conjecture or investigating the soficity of a group, it is important to find approximations by matrices with good algebraic conditions on their entries (e.g., being integers). On the other hand, the most common tool for generating asymptotic independence -- conjugating with random unitaries -- often destroys such delicate structure.

 I will speak on recent joint work with de Santiago, Hayes, Jekel, Kunnawalkam Elayavalli, and Nelson, where we investigate graph products (an interpolation between free and tensor products) and conjugation of matrix models by large structured random permutations. We show that with careful control of how the permutation matrices are chosen, we can achieve asymptotic graph independence with amalgamation over the diagonal matrices. We are able to use this fine structure to prove that strong $1$-boundedness for a large class of graph product von Neumann algebras follows from the vanishing of the corresponding first $L^2$-Betti number. The main idea here is to show that a version of the determinant conjecture holds as long as the individual algebras have generators with approximations by matrices with entries in the ring of integers of some finite extension of Q satisfying some conditions strongly reminiscent of soficity for groups.