Search

For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\widehat F)$ is not a cotorsion group.

Building upon recent results of Dub��dat (see arXiv:1403.6076) on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $��^��$ to a simply connected domain $��\subset\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \emph{double-dimer loop ensembles} on $��^��$ as $��\to 0$. More precisely, let $��_1,\dots,��_n\in��$ and $L$ be a macroscopic lamination on $��\setminus\{��_1,\dots,��_n\}$, i.e., a collection of disjoint simple loops surrounding at least two punctures considered up to homotopies. We show that the probabilities $P_L^��$ that one obtains $L$ after withdrawing all loops surrounding no more than one puncture from a double-dimer loop ensemble on $��^��$ converge to a conformally invariant limit $P_L$ as $��\to 0$, for each $L$. Though our primary motivation comes from 2D statistical mechanics and probability, the proofs are of a purely analytic nature. The key techniques are the analysis of entire functions on the representation variety $\mathrm{Hom}(��_1(��\setminus\{��_1,\dots,��_n\})\to\mathrm{SL}_2(\mathbb C))$ and on its (non-smooth) subvariety of locally unipotent representations. In particular, we do \emph{not} use any RSW-type arguments for double-dimers. The limits $P_L$ of the probabilities $P_L^��$ are defined as coefficients of the isomonodormic tau-function studied by Dub��dat with respect to the Fock--Goncharov lamination basis on the representation variety. The fact that $P_L$ coincides with the probability to obtain $L$ from a sample of the nested CLE(4) in $��$ requires a small additional input, namely a mild crossing estimate for this nested conformal loop ensemble., minor update following referee's comments (42 pages, 5 figures)

We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially require rely upon the theory of subanalytic sets developed in~\cite{bierstone1988semianalytic}. Motivated by this approach we develop a general setup for the similar problem of uniqueness of the Steiner tree where the Euclidean plane is replace by an arbitrary analytic Riemannian manifold $M$. In this setup we argue that the set of configurations possessing two locally-minimal trees of the same length either has the dimension $n\dim M-1$ or has a non-empty interior. We provide an example of a two-dimensional surface for which the last alternative holds. In addition to abovementioned results, we study the set of set of $n$-point configurations for which there is a unique solution of the Steiner problem in $\mathbb{R}^d$. We show that this set is path-connected.

Let $C$ be a smooth projective curve of genus $g\geq 3$ and let $\eta$ be an odd theta characteristic on it such that $h^0(C,\eta) = 1$. Pick a point $p$ from the support of $\eta$ and consider the one-dimensional linear system $|\eta + p|$. In general this linear system is base-point free and all its ramification points (i.e. ramification points of the corresponding branched cover $C\to\mathbb P^1\simeq \mathbb PH^0(C,\eta+p)$) are simple. We study the locus in the moduli space of odd spin curves where the linear system $|\eta + p|$ fails to have this general behavior. This locus splits into a union of three divisors: the first divisor corresponds to the case when $|\eta+p|$ has a base point, the second one corresponds to theta characteristics which are not reduced at $p$ (and therefore $|\eta + p|$ must have a triple point at $p$) and the third one corresponds to the case when $|\eta + p|$ has a triple point different from $p$. The second divisor was studied by G. Farkas and A. Verra in\cite{FARo} where its expansion in the rational Picard group was used to prove that the moduli space of odd spin curves is of general type for genus at least $12$. We call the first divisor a Base Point divisor and the third one a Caustic divisor (following Arnold terminology for Hurwitz spases). The objective of this paper is to expand these two divisors via the set of standard generators in the rational Picard group of the moduli space of odd spin curves.