No Arabic abstract
We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the difference of two polynomial divisors. We formulate a nontrivial theory of cohomology, fundamental groups and covering spaces for tracial free functions. We show that the natural fundamental group arising from analytic continuation for tracial free functions is a direct sum of copies of $mathbb{Q}$. Our results contrast the classical case, where the analogous groups may not be abelian, and the free case, where free universal monodromy implies such notions would be trivial.
In this paper we show that the homology of a certain natural compactification of the moduli space, introduced by Kontsevich in his study of Wittens conjectures, can be described completely algebraically as the homology of a certain differential graded Lie algebra. This two-parameter family is constructed by using a Lie cobracket on the space of noncommutative 0-forms, a structure which corresponds to pinching simple closed curves on a Riemann surface, to deform the noncommutative symplectic geometry described by Kontsevich in his subsequent papers.
We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Delta$ that represents a connected normal pseudomanifold of dimension $dgeq 3$ is at least as large as ${d+2 choose 2}m(Delta)$, where $m(Delta)$ denotes the minimum number of generators of the fundamental group of $Delta$. Furthermore, we prove that a weaker bound, $h_2(Delta)geq {d+1 choose 2}m(Delta)$, applies to any $d$-dimensional pure simplicial poset $Delta$ all of whose faces of co-dimension $geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Psi$ all of whose vertex links satisfy Serres condition $(S_r)$, we establish lower bounds on $h_1(Psi),ldots,h_r(Psi)$ in terms of the $mu$-numbers introduced by Bagchi and Datta.
We show that the monodromy theorem holds on arbitrary connected free sets for noncommutative free analytic functions. Applications are numerous-- pluriharmonic free functions have globally defined pluriharmonic conjugates, locally invertible functions are globally invertible, and there is no nontrivial cohomology theory arising from analytic continuation on connected free sets. We describe why the Baker-Campbell-Hausdorff formula has finite radius of convergence in terms of monodromy, and solve a related problem of Martin-Shamovich. We generalize the Dym-Helton-Klep-McCullough-Volcic theorem-- a uniformly real analytic free noncommutative function is plurisubharmonic if and only if it can be written as a composition of a convex function with an analytic function. The decomposition is essentially unique. The result is first established locally, and then Free Universal Monodromy implies the global result. Moreover, we see that plurisubharmonicity is a geometric property-- a real analytic free function plurisubharmonic on a neighborhood is plurisubharmonic on the whole domain. We give an analytic Greene-Liouville theorem, an entire free plurisubharmonic function is a sum of hereditary and antihereditary squares.
Let $Gamma$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $Gamma$ can be the level $L$ subgroup or the spin mapping class group. We show that $H_2(Gamma;Q) cong Q$ for $g geq 5$. A corollary of this is that the rational Picard groups of the associated finite covers of the moduli space of curves are equal to $Q$. We also prove analogous results for surface with punctures and boundary components.
We show that in a holomorphic family of compact complex connected manifolds parametrized by an irreducible complex space $S$, assuming that on a dense Zariski open set $S^{*}$ in $S$ the fibres satisfy the $partialbarpartial-$lemma, the algebraic dimension of each fibre in this family is at least equal to the minimal algebraic dimension of the fibres in $S^{*}$. For instance, if each fibre in $S^{*}$ are Moishezon, then all fibres are Moishezon.