Let$M$be a smooth manifold and$V$a Euclidean space. Let $ \overline{{{\text{Emb}}}} $ ($M$,$V$) be the homotopy fiber of the map Emb($M$,$V$) → Imm($M$,$V$). This paper is about the rational homology of $ \overline{{{\text{Emb}}}} $ ($M$,$V$). We study it by applying embedding calculus and orthogonal calculus to the bifunctor ($M$,$V$)↦$HQ$∧ $ \overline{{{\text{Emb}}}} $ ($M$,$V$)_{+}. Our main theorem states that if $$ \dim V \geqslant 2{\text{ED}}{\left( M \right)} + 1 $$ (where ED($M$) is the embedding dimension of$M$), the Taylor tower in the sense of orthogonal calculus (henceforward called “the orthogonal tower”) of this functor splits as a product of its layers. Equivalently, the rational homology spectral sequence associated with the tower collapses at$E$^{1}. In the case of knot embeddings, this spectral sequence coincides with the Vassiliev spectral sequence. The main ingredients in the proof are embedding calculus and Kontsevich's theorem on the formality of the little balls operad. We write explicit formulas for the layers in the orthogonal tower of the functor $$ HQ \wedge \overline{{{\text{Emb}}}} {\left( {M,V} \right)}_{ + }. $$ The formulas show, in particular, that the (rational) homotopy type of the layers of the orthogonal tower is determined by the (rational) homotopy type of$M$. This, together with our rational splitting theorem, implies that, under the above assumption on codimension, rational homology equivalences of manifolds induce isomorphisms between the rational homology groups of $ \overline{{{\text{Emb}}}} $ (–,V).

We characterize those Lie groups, and algebraic groups over a local field of characteristic zero, whose first reduced$L$^{$p$}-cohomology is zero for all$p$>1, extending a result of Pansu. As an application, we obtain a description of Gromov-hyperbolic groups among those groups. In particular we prove that any non-elementary Gromov-hyperbolic algebraic group over a non-Archimedean local field of zero characteristic is quasi-isometric to a 3-regular tree. We also extend the study to general semidirect products of a locally compact group by a cyclic group acting by contracting automorphisms.

We study minimizers of the functionalwhere $B_{1}^{{\mathchoice {\raise .17ex\hbox {$\scriptstyle +$}} {\raise .17ex\hbox {$\scriptstyle +$}} {\raise .1ex\hbox {$\scriptscriptstyle +$}} {\scriptscriptstyle +}}}=\{x\in B_{1}: x_{1}>0\}$ ,$u$=0 on {$x$∈$B$_{1}:$x$_{1}=0}, $\lambda^{{\mathchoice {\raise .17ex\hbox {$\scriptstyle \pm $}} {\raise .17ex\hbox {$\scriptstyle \pm $}} {\raise .1ex\hbox {$\scriptscriptstyle \pm $}} {\scriptscriptstyle \pm }}}$ are two positive constants and 0<$p$<1. In two dimensions, we prove that the free boundary is a uniform$C$^{1}graph up to the flat part of the fixed boundary and also that two-phase points cannot occur on this part of the fixed boundary. Here, the free boundary refers to the union of the boundaries of the sets {$x$:±$u$($x$)>0}.

Given a hypersurface coamoeba of a Laurent polynomial$f$, it is an open problem to describe the structure of the set of connected components of its complement. In this paper we approach this problem by introducing the lopsided coamoeba. We show that the closed lopsided coamoeba comes naturally equipped with an order map, i.e. a map from the set of connected components of its complement to a translated lattice inside the zonotope of a Gale dual of the point configuration $\operatorname{supp}(f)$ . Under a natural assumption, this map is a bijection. Finally we use this map to obtain new results concerning coamoebas of polynomials of small codimension.

We study the root of unity degeneration of cluster algebras and quantum dilogarithm identities. We prove identities for the cyclic dilogarithm associated with a mutation sequence of a quiver, and as a consequence new identities for the noncompact quantum dilogarithm at |$b=1$|⁠.Communicated by Michio Jimbo