Showing 1–32 of 32 results for author: Naef, F

Simple homotopy invariance of the loop coproduct

Authors: Florian Naef, Pavel Safronov

Abstract: We prove a transformation formula for the Goresky-Hingston loop coproduct in string topology under homotopy equivalences of manifolds. The formula involves the trace of the Whitehead torsion of the homotopy equivalence. In particular, it implies that the loop coproduct is invariant under simple homotopy equivalences. In a sense, our results determine the Dennis trace of the simple homotopy type of… ▽ More We prove a transformation formula for the Goresky-Hingston loop coproduct in string topology under homotopy equivalences of manifolds. The formula involves the trace of the Whitehead torsion of the homotopy equivalence. In particular, it implies that the loop coproduct is invariant under simple homotopy equivalences. In a sense, our results determine the Dennis trace of the simple homotopy type of a closed manifold from its framed configuration spaces of $\leq 2$ points. We also explain how the loop coproduct arises as a secondary operation in a 2-dimensional TQFT which elucidates a topological origin of the transformation formula. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 63 pages

Strong Repulsive Lifshitz-van der Waals Forces on Suspended Graphene

Authors: Gianluca Vagli, Tian Tian, Franzisca Naef, Hiroaki **no, Kemal Celebi, Elton J. G. Santos, Chih-Jen Shih

Abstract: Understanding surface forces of two-dimensional (2D) materials is of fundamental importance as they govern molecular dynamics and atomic deposition in nanoscale proximity. Despite recent observations in wetting transparency and remote epitaxy on substrate-supported graphene, very little is known about the many-body effects on their van der Waals (vdW) interactions, such as the role of surrounding… ▽ More Understanding surface forces of two-dimensional (2D) materials is of fundamental importance as they govern molecular dynamics and atomic deposition in nanoscale proximity. Despite recent observations in wetting transparency and remote epitaxy on substrate-supported graphene, very little is known about the many-body effects on their van der Waals (vdW) interactions, such as the role of surrounding vacuum in wettability of suspended 2D monolayers. Here we report on a stark repulsive Lifshitz-van der Waals (vdW) force generated at surfaces of suspended 2D materials, arising from quantum fluctuation coupled with the atomic thickness and birefringence of 2D monolayer. In combination with our theoretical framework taking into account the many-body Lifshitz formulism, we present direct measurement of Lifshitz-vdW repulsion on suspended graphene using atomic force microscopy. We report a repulsive force of up to 1.4 kN/m$^2$ at a separation of 8.8 nm between a gold-coated AFM tip and a sheet of suspended graphene, more than two orders of magnitude greater than the Casimir-Lifshitz repulsion demonstrated in fluids. Our findings suggest that suspended 2D materials are intrinsically repulsive surfaces with substantially lowered wettability. The amplified Lifshitz-vdW repulsion could offer technological opportunities such as molecular actuation and controlled atomic assembly. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Non-Formality of $S^2$ via the free loop space

Authors: Ryan McGowan, Florian Naef, Brian O'Callaghan

Abstract: We show that the $E_1$-equivalence $C^\bullet(S^2) \simeq H^\bullet(S^2)$ does not intertwine the inclusion of constant loops into the free loop space $S^2 \to LS^2$. That is, the isomorphism $HH_\bullet(H^\bullet(S^2)) \cong H^\bullet(LS^2)$ does not preserve the obvious maps to $H^\bullet(S^2)$ that exist on both sides. We give an explicit computation of the defect in terms of the $E_\infty$-str… ▽ More We show that the $E_1$-equivalence $C^\bullet(S^2) \simeq H^\bullet(S^2)$ does not intertwine the inclusion of constant loops into the free loop space $S^2 \to LS^2$. That is, the isomorphism $HH_\bullet(H^\bullet(S^2)) \cong H^\bullet(LS^2)$ does not preserve the obvious maps to $H^\bullet(S^2)$ that exist on both sides. We give an explicit computation of the defect in terms of the $E_\infty$-structure on $C^\bullet(S^2)$. Finally, we relate our calculation to recent work of Poirier-Tradler on the string topology of $S^2$. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 12 pages

Generalized Pentagon Equations

Authors: Anton Alekseev, Florian Naef, Muze Ren

Abstract: Drinfeld defined the Knizhinik--Zamolodchikov (KZ) associator $Φ_{\rm KZ}$ by considering the regularized holonomy of the KZ connection along the {\em droit chemin} $[0,1]$. The KZ associator is a group-like element of the free associative algebra with two generators, and it satisfies the pentagon equation. In this paper, we consider paths on $\mathbb{C}\backslash \{ z_1, \dots, z_n\}$ which sta… ▽ More Drinfeld defined the Knizhinik--Zamolodchikov (KZ) associator $Φ_{\rm KZ}$ by considering the regularized holonomy of the KZ connection along the {\em droit chemin} $[0,1]$. The KZ associator is a group-like element of the free associative algebra with two generators, and it satisfies the pentagon equation. In this paper, we consider paths on $\mathbb{C}\backslash \{ z_1, \dots, z_n\}$ which start and end at tangential base points. These paths are not necessarily straight, and they may have a finite number of transversal self-intersections. We show that the regularized holonomy $H$ of the KZ connection associated to such a path satisfies a generalization of Drinfeld's pentagon equation. In this equation, we encounter $H$, $Φ_{\rm KZ}$, and new factors associated to self-intersections, to tangential base points, and to the rotation number of the path. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 19 pages, 3 figures

Torsion volume forms

Authors: Florian Naef, Pavel Safronov

Abstract: We introduce volume forms on map** stacks in derived algebraic geometry using a parametrized version of the Reidemeister-Turaev torsion. In the case of derived loop stacks we describe this volume form in terms of the Todd class. In the case of map** stacks from surfaces, we compare it to the symplectic volume form. As an application of these ideas, we construct canonical orientation data for c… ▽ More We introduce volume forms on map** stacks in derived algebraic geometry using a parametrized version of the Reidemeister-Turaev torsion. In the case of derived loop stacks we describe this volume form in terms of the Todd class. In the case of map** stacks from surfaces, we compare it to the symplectic volume form. As an application of these ideas, we construct canonical orientation data for cohomological DT invariants of closed oriented 3-manifolds. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 58 pages

Batalin-Vilkovisky structures on moduli spaces of flat connections

Authors: Anton Alekseev, Florian Naef, Ján Pulmann, Pavol Ševera

Abstract: Let $Σ$ be a compact oriented 2-manifold (possibly with boundary), and let $\mathcal G_Σ$ be the linear span of free homotopy classes of closed oriented curves on $Σ$ equipped with the Goldman Lie bracket $[\cdot, \cdot]_\mathrm{Goldman}$ defined in terms of intersections of curves. A theorem of Goldman gives rise to a Lie homomorphism $Φ^\mathrm{even}$ from… ▽ More Let $Σ$ be a compact oriented 2-manifold (possibly with boundary), and let $\mathcal G_Σ$ be the linear span of free homotopy classes of closed oriented curves on $Σ$ equipped with the Goldman Lie bracket $[\cdot, \cdot]_\mathrm{Goldman}$ defined in terms of intersections of curves. A theorem of Goldman gives rise to a Lie homomorphism $Φ^\mathrm{even}$ from $(\mathcal G_Σ, [\cdot, \cdot]_\text{Goldman})$ to functions on the moduli space of flat connections $\mathcal{M}_Σ(G)$ for $G=U(N), GL(N)$, equipped with the Atiyah-Bott Poisson bracket. The space $\mathcal{G}_Σ$ also carries the Turaev Lie cobracket $δ_\mathrm{Turaev}$ defined in terms of self-intersections of curves. In this paper, we address the following natural question: which geometric structure on moduli spaces of flat connections corresponds to the Turaev cobracket? We give a constructive answer to this question in the following context: for $G$ a Lie supergroup with an odd invariant scalar product on its Lie superalgebra, and for nonempty $\partialΣ$, we show that the moduli space of flat connections $\mathcal{M}_Σ(G)$ carries a natural Batalin-Vilkovisky (BV) structure, given by an explicit combinatorial Fock-Rosly formula. Furthermore, for the queer Lie supergroup $G=Q(N)$, we define a BV-morphism $Φ^\mathrm{odd}\colon \wedge \mathcal{G}_Σ \to \mathrm{Fun}(\mathcal{M}_Σ(Q(N)))$ which replaces the Goldman map, and which captures the information both on the Goldman bracket and on the Turaev cobracket. The map $Φ^\mathrm{odd}$ is constructed using the "odd trace" function on $Q(N)$. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 58 pages, 37 figures. Comments are welcome

Poincaré Complex Diagonals and the Bass trace Conjecture

Authors: John R. Klein, Florian Naef

Abstract: For a finitely dominated Poincaré duality space $M$, we show how the author's total obstruction to the existence of a Poincaré embedding of the diagonal map $M \to M \times M$ relates to the Reidemeister trace of the identity map of $M$. We also show that if the dimension of $M$ is even and at least four, and if $π_1(M)$ is a finite direct product of cyclic groups of order two, then the diagonal… ▽ More For a finitely dominated Poincaré duality space $M$, we show how the author's total obstruction to the existence of a Poincaré embedding of the diagonal map $M \to M \times M$ relates to the Reidemeister trace of the identity map of $M$. We also show that if the dimension of $M$ is even and at least four, and if $π_1(M)$ is a finite direct product of cyclic groups of order two, then the diagonal map admits a Poincaré embedding. △ Less

Submitted 15 May, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Final prepublication version. This paper is to appear in, "Manifolds and K-Theory: in honour of Andrew Ranicki of the journal Proceedings of the Royal Society of Edinburgh Section A: Mathematics."

MSC Class: Primary: 57P10; Secondary: 16E20; 13D03; 55P91

String topology in three flavours

Authors: Florian Naef, Manuel Rivera, Nathalie Wahl

Abstract: We describe two major string topology operations, the Chas-Sullivan product and the Goresky-Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom-Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduc… ▽ More We describe two major string topology operations, the Chas-Sullivan product and the Goresky-Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom-Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduce that the coproduct distinguishes 3-dimensional lens spaces. Algebraically, we describe the structure these operations define together on the Tate-Hochschild complex. We use rational homotopy theory methods to sketch the equivalence between the geometric and algebraic definitions for simply connected manifolds and real coefficients, emphasizing the role of configuration spaces. Finally, we study invariance properties of the operations, both algebraically and geometrically. △ Less

Submitted 9 March, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: Dedicated to Dennis Sullivan on the occasion of his 80th birthday. A reference was added in v2

Report number: CPH-GeoTop-DNRF151

Stable cohomology of graph complexes

Authors: Matteo Felder, Florian Naef, Thomas Willwacher

Abstract: We study three graph complexes related to the higher genus Grothendieck-Teichmüller Lie algebra and diffeomorphism groups of manifolds. We show how the cohomology of these graph complexes is related, and we compute the cohomology as the genus $g$ tends to $\infty$. As a byproduct, we find that the Malcev completion of the genus $g$ map** class group relative to the symplectic group is Koszul in… ▽ More We study three graph complexes related to the higher genus Grothendieck-Teichmüller Lie algebra and diffeomorphism groups of manifolds. We show how the cohomology of these graph complexes is related, and we compute the cohomology as the genus $g$ tends to $\infty$. As a byproduct, we find that the Malcev completion of the genus $g$ map** class group relative to the symplectic group is Koszul in the stable limit (partially answering a question of Hain). Moreover, we obtain that any elliptic associator gives a solution to the elliptic Kashiwara-Vergne problem. △ Less

Submitted 24 June, 2021; originally announced June 2021.

The string coproduct "knows" Reidemeister/Whitehead torsion

Authors: Florian Naef

Abstract: We show that the string coproduct is not homotopy invariant. More precisely, we show that the (reduced) coproducts are different on $L(1,7)$ and $L(2,7)$. Moreover, the coproduct on $L(k,7)$ can be expressed in terms of the Reidemeister torsion and hence transforms with respect to the Whitehead torsion of a homotopy equivalence. The string coproduct can thereby be used to compute the image of the… ▽ More We show that the string coproduct is not homotopy invariant. More precisely, we show that the (reduced) coproducts are different on $L(1,7)$ and $L(2,7)$. Moreover, the coproduct on $L(k,7)$ can be expressed in terms of the Reidemeister torsion and hence transforms with respect to the Whitehead torsion of a homotopy equivalence. The string coproduct can thereby be used to compute the image of the Whitehead torsion under the Dennis trace map. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Report number: CPH-GEOTOP-DNRF151

Solid-State Lifshitz-van der Waals Repulsion through Two-Dimensional Materials

Authors: Tian Tian, Gianluca Vagli, Franzisca Naef, Kemal Celebi, Yen-Ting Li, Shu-Wei Chang, Frank Krumeich, Elton J. G. Santos, Yu-Cheng Chiu, Chih-Jen Shih

Abstract: In the 1960s, Lifshitz et al. predicted that quantum fluctuations can change the van der Waals (vdW) interactions from attraction to repulsion. However, the vdW repulsion, or its long-range counterpart - the Casimir repulsion, has only been demonstrated in liquid. Here we show that the atomic thickness and birefringent nature of two-dimensional materials make them a versatile medium to tailor the… ▽ More In the 1960s, Lifshitz et al. predicted that quantum fluctuations can change the van der Waals (vdW) interactions from attraction to repulsion. However, the vdW repulsion, or its long-range counterpart - the Casimir repulsion, has only been demonstrated in liquid. Here we show that the atomic thickness and birefringent nature of two-dimensional materials make them a versatile medium to tailor the Lifshitz-vdW interactions. Based on our theoretical prediction, we present direct force measurement of vdW repulsion on 2D material surfaces without liquid immersion and demonstrate their substantial influence on epitaxial properties. For example, heteroepitaxy of gold on a sheet of freestanding graphene leads to the growth of ultrathin platelets, owing to the vdW repulsion-induced ultrafast diffusion of gold clusters. The creation of repulsive force in nanoscale proximity offers technological opportunities such as single-molecule actuation and atomic assembly. △ Less

Submitted 11 July, 2022; v1 submitted 24 August, 2020; originally announced August 2020.

String topology and configuration spaces of two points

Authors: Florian Naef, Thomas Willwacher

Abstract: Given a closed manifold $M$. We give an algebraic model for the Chas-Sullivan product and the Goresky-Hingston coproduct. In the simply-connected case, this admits a particularly nice description in terms of a Poincaré duality model of the manifold, and involves the configuration space of two points on $M$. We moreover, construct an $IBL_\infty$-structure on (a model of) cyclic chains on the cocha… ▽ More Given a closed manifold $M$. We give an algebraic model for the Chas-Sullivan product and the Goresky-Hingston coproduct. In the simply-connected case, this admits a particularly nice description in terms of a Poincaré duality model of the manifold, and involves the configuration space of two points on $M$. We moreover, construct an $IBL_\infty$-structure on (a model of) cyclic chains on the cochain algebra of $M$, such that the natural comparison map to the $S^1$-equivariant loop space homology intertwines the Lie bialgebra structure on homology. The construction of the coproduct/cobracket depends on the perturbative partition function of a Chern-Simons type topological field theory. Furthermore, we give a construction for these string topology operations on the absolute loop space (not relative to constant loops) in case that $M$ carries a non-vanishing vector field and obtain a similar description. Finally, we show that the cobracket is sensitive to the manifold structure of $M$ beyond its homotopy type. More precisely, the action of ${\rm Diff}(M)$ does not (in general) factor through ${\rm aut}(M)$. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Comments: 43 pages

The Elliptic Kashiwara-Vergne Lie algebra in low weights

Authors: Florian Naef, Yuting Qin

Abstract: In this paper, we study the elliptic Kashiwara-Vergne Lie Algebra $\mathfrak{krv}$, which is a certain Lie subalgebra of the Lie algebra of derivations of the free Lie algebra in two generators. It has a natural bigrading, such that the Lie bracket is of bidegree $(-1,-1)$. After recalling the graphical interpretation of this Lie algebra, we examine low degree elements of $\mathfrak{krv}$. More pr… ▽ More In this paper, we study the elliptic Kashiwara-Vergne Lie Algebra $\mathfrak{krv}$, which is a certain Lie subalgebra of the Lie algebra of derivations of the free Lie algebra in two generators. It has a natural bigrading, such that the Lie bracket is of bidegree $(-1,-1)$. After recalling the graphical interpretation of this Lie algebra, we examine low degree elements of $\mathfrak{krv}$. More precisely, we find that $\mathfrak{krv}^{(2,j)}$ is one-dimensional for even $j$ and zero $j$ odd. We also compute $\operatorname{dim}(\mathfrak{krv})^{(3,m)} = \lfloor\frac{m-1}{2}\rfloor - \lfloor\frac{m-1}{3}\rfloor$. In particular, we show that in those degrees there are no odd elements and also confirm Enriquez' conjecture in those degrees. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Goldman-Turaev formality implies Kashiwara-Vergne

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: Let $Σ$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bialgebra $\mathfrak{g}(Σ)$ and its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$.… ▽ More Let $Σ$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bialgebra $\mathfrak{g}(Σ)$ and its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$. In this paper, we prove the converse: if $F$ induces an isomorphism $\mathfrak{g}(Σ) \cong {\rm gr} \, \mathfrak{g}(Σ)$, then it satisfies the Kashiwara-Vergne equations up to conjugation. As an application of our results, we compute the degree one non-commutative Poisson cohomology of the Kirillov-Kostant-Souriau double bracket. The main technical tool used in the paper is a novel characterization of conjugacy classes in the free Lie algebra in terms of cyclic words. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 26 pages

The Goldman-Turaev Lie bialgebra and the Kashiwara-Vergne problem in higher genera

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: For a compact oriented surface $Σ$ of genus $g$ with $n+1$ boundary components, the space $\mathfrak{g}(Σ)$ spanned by free homotopy classes of loops in $Σ$ carries the structure of a Lie bialgebra equipped with a natural decreasing filtration, whose structure morphisms are called the Goldman bracket and the (framed) Turaev cobracket. We address the following Goldman-Turaev (GT) formality proble… ▽ More For a compact oriented surface $Σ$ of genus $g$ with $n+1$ boundary components, the space $\mathfrak{g}(Σ)$ spanned by free homotopy classes of loops in $Σ$ carries the structure of a Lie bialgebra equipped with a natural decreasing filtration, whose structure morphisms are called the Goldman bracket and the (framed) Turaev cobracket. We address the following Goldman-Turaev (GT) formality problem: construct a Lie bialgebra homomorphism $θ$ from $\mathfrak{g}(Σ)$ to its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$ such that ${\rm gr} \, θ= {\rm id}$. In order to solve it, we define a family of higher genus Kashiwara-Vergne (KV) problems for an element $F\in {\rm Aut}(L)$, where $L$ is a free Lie algebra. In the case of $g=0$ and $n=2$, it is the classical KV problem from Lie theory. For $g>0$, these KV problems are new. We show that an element $F$ induces a GT formality map if and only if it is a solution of the KV problem. A crucial step in solving the higher genus KV problem is to construct solutions for the case of $g=1$ and $n=1$ in terms of certain elliptic associators following Enriquez. By solving the KV problem, we establish the GT formality for every $g$ and $n$, with the exception of some framings for $g=1$ in which case the GT formality actually does not hold. Furthermore, we introduce pro-unipotent groups ${\rm KV}$ and ${\rm KRV}$ which act on the space of solutions of the KV problem freely and transitively. There are injective maps ${\rm GT}_1\to {\rm KV}, {\rm GRT}_1\to {\rm KRV}$ from Grothendieck-Teichmüller groups. As an application, we show that the Johnson obstruction given by the Turaev cobracket coincides with the one given by the Enomoto-Satoh trace. As part of our study, we prove a uniqueness theorem for non-commutative divergence cocycles on the group algebra of a free group which is of independent value. △ Less

Submitted 23 October, 2023; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 155 pages, 16 figures. The major updates from v2 include adding a number of new results and details of all background materials

Goldman-Turaev formality from the Knizhnik-Zamolodchikov connection

Authors: Anton Alekseev, Florian Naef

Abstract: For an oriented 2-dimensional manifold $Σ$ of genus $g$ with $n$ boundary components the space $\mathbb{C}π_1(Σ)/[\mathbb{C}π_1(Σ), \mathbb{C}π_1(Σ)]$ carries the Goldman-Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded (under the natural filtration) is described by cyclic words in $H_1(Σ)$ and carries the structure of a neckl… ▽ More For an oriented 2-dimensional manifold $Σ$ of genus $g$ with $n$ boundary components the space $\mathbb{C}π_1(Σ)/[\mathbb{C}π_1(Σ), \mathbb{C}π_1(Σ)]$ carries the Goldman-Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded (under the natural filtration) is described by cyclic words in $H_1(Σ)$ and carries the structure of a necklace Schedler Lie bialgebra. The isomorphism between these two structures in genus zero has been established in [G. Massuyeau, Formal descriptions of Turaev's loop operations] using Kontsevich integrals and in [A. Alekseev, N. Kawazumi, Y. Kuno and F. Naef, The Goldman-Turaev Lie bialgebra in genus zero and the Kashiwara-Vergne problem] using solutions of the Kashiwara-Vergne problem. In this note we give an elementary proof of this isomorphism over $\mathbb{C}$. It uses the Knizhnik-Zamolodchikov connection on $\mathbb{C}\backslash\{ z_1, \dots z_n\}$. The proof of the isomorphism for Lie brackets is a version of the classical result by Hitchin. Surprisingly, it turns out that a similar proof applies to cobrackets. △ Less

Submitted 22 February, 2018; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 12 pages, 1 figure, section 3 added

The Goldman-Turaev Lie bialgebra in genus zero and the Kashiwara-Vergne problem

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: In this paper, we describe a surprising link between the theory of the Goldman-Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara-Vergne (KV) problem in Lie theory. Let $Σ$ be an oriented 2-dimensional manifold with non-empty boundary and $\mathbb{K}$ a field of characteristic zero. The Goldman-Turaev Lie bialgebra is defined by the Goldman bracket $\{ -,- \}$ and Turaev cobracket… ▽ More In this paper, we describe a surprising link between the theory of the Goldman-Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara-Vergne (KV) problem in Lie theory. Let $Σ$ be an oriented 2-dimensional manifold with non-empty boundary and $\mathbb{K}$ a field of characteristic zero. The Goldman-Turaev Lie bialgebra is defined by the Goldman bracket $\{ -,- \}$ and Turaev cobracket $δ$ on the $\mathbb{K}$-span of homotopy classes of free loops on $Σ$. Applying an expansion $θ: \mathbb{K}π\to \mathbb{K}\langle x_1, \dots, x_n \rangle$ yields an algebraic description of the operations $\{ -,- \}$ and $δ$ in terms of non-commutative variables $x_1, \dots, x_n$. If $Σ$ is a surface of genus $g=0$ the lowest degree parts $\{ -,- \}_{-1}$ and $δ_{-1}$ are canonically defined (and independent of $θ$). They define a Lie bialgebra structure on the space of cyclic words which was introduced and studied by T. Schedler. It was conjectured by the second and the third authors that one can define an expansion $θ$ such that $\{ -,- \}=\{ -,- \}_{-1}$ and $δ=δ_{-1}$. The main result of this paper states that for surfaces of genus zero constructing such an expansion is essentially equivalent to the KV problem. G. Massuyeau constructed such expansions using the Kontsevich integral. In order to prove this result, we show that the Turaev cobracket $δ$ can be constructed in terms of the double bracket (upgrading the Goldman bracket) and the non-commutative divergence cocycle which plays the central role in the KV theory. Among other things, this observation gives a new topological interpretation of the KV problem and allows to extend it to surfaces with arbitrary number of boundary components (and of arbitrary genus, see [C. R. Acad. Sci. Paris, Ser. I 355 (2017), 123--127]). △ Less

Submitted 16 May, 2018; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: 49 pages, 4 figures

Journal ref: Advances in Mathematics, 326, 1-53 (2018)

Chern-Simons, Wess-Zumino and other cocycles from Kashiwara-Vergne and associators

Authors: Anton Alekseev, Florian Naef, Xiaomeng Xu, Chenchang Zhu

Abstract: Descent equations play an important role in the theory of characteristic classes and find applications in theoretical physics, e.g. in the Chern-Simons field theory and in the theory of anomalies. The second Chern class (the first Pontrjagin class) is defined as $p= \langle F, F\rangle$ where $F$ is the curvature 2-form and $\langle \cdot, \cdot\rangle$ is an invariant scalar product on the corres… ▽ More Descent equations play an important role in the theory of characteristic classes and find applications in theoretical physics, e.g. in the Chern-Simons field theory and in the theory of anomalies. The second Chern class (the first Pontrjagin class) is defined as $p= \langle F, F\rangle$ where $F$ is the curvature 2-form and $\langle \cdot, \cdot\rangle$ is an invariant scalar product on the corresponding Lie algebra $\mathfrak{g}$. The descent for $p$ gives rise to an element $ω=ω_3 + ω_2 + ω_1 + ω_0$ of mixed degree. The 3-form part $ω_3$ is the Chern-Simons form. The 2-form part $ω_2$ is known as the Wess-Zumino action in physics. The 1-form component $ω_1$ is related to the canonical central extension of the loop group $LG$. In this paper, we give a new interpretation of the low degree components $ω_1$ and $ω_0$. Our main tool is the universal differential calculus on free Lie algebras due to Kontsevich. We establish a correspondence between solutions of the first Kashiwara-Vergne equation in Lie theory and universal solutions of the descent equation for the second Chern class $p$. In more detail, we define a 1-cocycle $C$ which maps automorphisms of the free Lie algebra to one forms. A solution of the Kashiwara-Vergne equation $F$ is mapped to $ω_1=C(F)$. Furthermore, the component $ω_0$ is related to the associator corresponding to $F$. It is surprising that while $F$ and $Φ$ satisfy the highly non-linear twist and pentagon equations, the elements $ω_1$ and $ω_0$ solve the linear descent equation. △ Less

Submitted 28 February, 2017; originally announced February 2017.

Higher genus Kashiwara-Vergne problems and the Goldman-Turaev Lie bialgebra

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: We define a family ${\rm KV}^{(g,n)}$ of Kashiwara-Vergne problems associated with compact connected oriented 2-manifolds of genus $g$ with $n+1$ boundary components. The problem ${\rm KV}^{(0,3)}$ is the classical Kashiwara-Vergne problem from Lie theory. We show the existence of solutions of ${\rm KV}^{(g,n)}$ for arbitrary $g$ and $n$. The key point is the solution of ${\rm KV}^{(1,1)}$ based o… ▽ More We define a family ${\rm KV}^{(g,n)}$ of Kashiwara-Vergne problems associated with compact connected oriented 2-manifolds of genus $g$ with $n+1$ boundary components. The problem ${\rm KV}^{(0,3)}$ is the classical Kashiwara-Vergne problem from Lie theory. We show the existence of solutions of ${\rm KV}^{(g,n)}$ for arbitrary $g$ and $n$. The key point is the solution of ${\rm KV}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman-Turaev Lie bialgebra $\mathfrak{g}^{(g, n+1)}$. In more detail, we show that every solution of ${\rm KV}^{(g,n)}$ induces a Lie bialgebra isomorphism between $\mathfrak{g}^{(g, n+1)}$ and its associated graded ${\rm gr} \, \mathfrak{g}^{(g, n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. This paper is a summary of our results. Details and proofs will appear elsewhere. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Comments: 6 pages, 2 figures

Poisson Brackets in Kontsevich's "Lie World"

Authors: Florian Naef

Abstract: In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a quadratic Lie algebra. We prove a uniqueness statement about these Poisson brackets with a given moment map. As an application we get formulae for the linearizat… ▽ More In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a quadratic Lie algebra. We prove a uniqueness statement about these Poisson brackets with a given moment map. As an application we get formulae for the linearization of the quasi-Poisson structure of the moduli space of flat connections on a punctured sphere, and thereby identify their symplectic leaves with the reduction of coadjoint orbits. Equivalently, we get linearizations for the Goldman double Poisson bracket, our definition of Poisson brackets coincides with that of Van Den Bergh in this case. This can furthermore be interpreted as giving a monoidal equivalence between Hamiltonian quasi-Poisson spaces and Hamiltonian spaces. △ Less

Submitted 31 August, 2016; originally announced August 2016.

A trace formula for the quantization of coadjoint orbits

Authors: Damien Calaque, Florian Näf

Abstract: The main goal of this paper is to compute the characteristic class of the Alekseev-Lachowska *-product on coadjoint orbits. We deduce an analogue of the Weyl dimension formula in the context of deformation quantization. The main goal of this paper is to compute the characteristic class of the Alekseev-Lachowska *-product on coadjoint orbits. We deduce an analogue of the Weyl dimension formula in the context of deformation quantization. △ Less

Submitted 26 March, 2014; originally announced March 2014.

Journal ref: Int Math Res Not Volume 2015, Issue 21, pp. 11236-11252

Representing perturbed dynamics in biological network models

Authors: Gautier Stoll, Jacques Rougemont, Felix Naef

Abstract: We study the dynamics of gene activities in relatively small size biological networks (up to a few tens of nodes), e.g. the activities of cell-cycle proteins during the mitotic cell-cycle progression. Using the framework of deterministic discrete dynamical models, we characterize the dynamical modifications in response to structural perturbations in the network connectivities. In particular, we… ▽ More We study the dynamics of gene activities in relatively small size biological networks (up to a few tens of nodes), e.g. the activities of cell-cycle proteins during the mitotic cell-cycle progression. Using the framework of deterministic discrete dynamical models, we characterize the dynamical modifications in response to structural perturbations in the network connectivities. In particular, we focus on how perturbations affect the set of fixed points and sizes of the basins of attraction. Our approach uses two analytical measures: the basin entropy $H$ and the perturbation size $Δ$, a quantity that reflects the distance between the set of fixed points of the perturbed network to that of the unperturbed network. Applying our approach to the yeast-cell cycle network introduced by Li \textit{et al.} provides a low dimensional and informative fingerprint of network behavior under large classes of perturbations. We identify interactions that are crucial for proper network function, and also pinpoints functionally redundant network connections. Selected perturbations exemplify the breadth of dynamical responses in this cell-cycle model. △ Less

Submitted 28 February, 2007; originally announced February 2007.

Comments: presented at CompBioNets, dec 2004, recife, Brazil

Collective synchronization in populations of globally coupled phase oscillators with drifting frequencies

Authors: Jacques Rougemont, Felix Naef

Abstract: We generalize the Kuramoto model for coupled phase oscillators by allowing the frequencies to drift in time according to Ornstein-Uhlenbeck dynamics. Such drifting frequencies were recently measured in cellular populations of circadian oscillator and inspired our work. Linear stability analysis of the Fokker-Planck equation for an infinite population is amenable to exact solution and we show tha… ▽ More We generalize the Kuramoto model for coupled phase oscillators by allowing the frequencies to drift in time according to Ornstein-Uhlenbeck dynamics. Such drifting frequencies were recently measured in cellular populations of circadian oscillator and inspired our work. Linear stability analysis of the Fokker-Planck equation for an infinite population is amenable to exact solution and we show that the incoherent state is unstable passed a critical coupling strength $K_c(\ga, \sigf)$, where $\ga$ is the inverse characteristic drifting time and $\sigf$ the asymptotic frequency dispersion. Expectedly $K_c$ agrees with the noisy Kuramoto model in the large $\ga$ (Schmolukowski) limit but increases slower as $\ga$ decreases. Asymptotic expansion of the solution for $\ga\to 0$ shows that the noiseless Kuramoto model with Gaussian frequency distribution is recovered in that limit. Thus varying a single parameter allows to interpolate smoothly between two regimes: one dominated by the frequency dispersion and the other by phase diffusion. △ Less

Submitted 22 November, 2005; v1 submitted 27 September, 2005; originally announced September 2005.

Comments: 5 pages, 5 figures, accepted in Phys. Rev. E

Solving the riddle of the bright mismatches: hybridization in oligonucleotide arrays

Authors: Felix Naef, Marcelo O. Magnasco

Abstract: HDONA technology is predicated on two ideas. First, the differential between high-affinity (perfect match, PM) and lower-affinity (mismatch, MM) probes is used to minimize cross-hybridization. Second, several short probes along the transcript are combined, introducing redundancy. Both ideas have shown problems in practice: MMs are often brighter than PMs, and it is hard to combine the pairs beca… ▽ More HDONA technology is predicated on two ideas. First, the differential between high-affinity (perfect match, PM) and lower-affinity (mismatch, MM) probes is used to minimize cross-hybridization. Second, several short probes along the transcript are combined, introducing redundancy. Both ideas have shown problems in practice: MMs are often brighter than PMs, and it is hard to combine the pairs because their brightness often spans decades. Previous analysis suggested these problems were sequence-related; publication of the probe sequences has permitted us an in-depth study of this issue. Our results suggest that fluorescently labeling the nucleotides interferes with mRNA binding, causing a catch-22 since, to be detected, the target mRNA must both glow and stick to its probe: without labels it cannot be seen even if bound, while with too many it won't bind. We show that this conflict causes much of the complexity of HDONA raw data, suggesting that an accurate physical understanding of hybridization by incorporating sequence information is necessary to perfect microarray analysis. △ Less

Submitted 28 August, 2002; originally announced August 2002.

Comments: 4 figures

A study of accuracy and precision in oligonucleotide arrays: extracting more signal at large concentrations

Authors: Felix Naef, Nicholas D. Socci, Marcelo Magnasco

Abstract: Despite the success and popularity of oligonucleotide arrays as a high-throughput technique for measuring mRNA expression levels, quantitative calibration studies have until now been limited. The main reason is that suitable data was not available. However, calibration data recently produced by Affymetrix now permits detailed studies of the intensity dependent sensitivity. Given a certain transc… ▽ More Despite the success and popularity of oligonucleotide arrays as a high-throughput technique for measuring mRNA expression levels, quantitative calibration studies have until now been limited. The main reason is that suitable data was not available. However, calibration data recently produced by Affymetrix now permits detailed studies of the intensity dependent sensitivity. Given a certain transcript concentration, it is of particular interest to know whether current analysis methods are capable of detecting differential expression ratios of 2 or higher. Using the calibration data, we demonstrate that while current techniques are capable of detecting changes in the low to mid concentration range, the situation is noticeably worse for high concentrations. In this regime, expression changes as large as 4 fold are severely biased, and changes of 2 are often undetectable. Such effects are mainly the consequence of the sequence specific binding properties of probes, and not the result of optical saturation in the fluorescence measurements. GeneChips are manufactured such that each transcript is probed by a set of sequences with a wide affinity range. We show that this property can be used to design a method capable of reducing the high intensity bias. The idea behind our methods is to transfers the weight of a measurement to a subset of probes with optimal linear response at a given concentration, which can be achieved using local embedding techniques. △ Less

Submitted 27 August, 2002; v1 submitted 10 May, 2002; originally announced May 2002.

Comments: 11 pages, 5 figures, please email authors for better quality figures; accepted

DNA hybridization to mismatched templates: a chip study

Authors: Felix Naef, Daniel A. Lim, Nila Patil, Marcelo Magnasco

Abstract: High-density oligonucleotide arrays are among the most rapidly expanding technologies in biology today. In the {\sl GeneChip} system, the reconstruction of the target concentration depends upon the differential signal generated from hybridizing the target RNA to two nearly identical templates: a perfect match (PM) and a single mismatch (MM) probe. It has been observed that a large fraction of MM… ▽ More High-density oligonucleotide arrays are among the most rapidly expanding technologies in biology today. In the {\sl GeneChip} system, the reconstruction of the target concentration depends upon the differential signal generated from hybridizing the target RNA to two nearly identical templates: a perfect match (PM) and a single mismatch (MM) probe. It has been observed that a large fraction of MM probes repeatably bind targets better than the PMs, against the usual expectation from sequence-specific hybridization; this is difficult to interpret in terms of the underlying physics. We examine this problem via a statistical analysis of a large set of microarray experiments. We classify the probes according to their signal to noise ($S/N$) ratio, defined as the eccentricity of a (PM, MM) pair's `trajectory' across many experiments. Of those probes having large $S/N$ ($>3$) only a fraction behave consistently with the commonly assumed hybridization model. Our results imply that the physics of DNA hybridization in microarrays is more complex than expected, and they suggest new ways of constructing estimators for the target RNA concentration. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: 3 figures 1 table

From features to expression: High-density oligonucleotide array analysis revisited

Authors: Felix Naef, Daniel A. Lim, Nila Patil, Marcelo O. Magnasco

Abstract: One of the most popular tools for large scale gene expression studies are high-density oligonucleotide (GeneChip(R)) arrays. These currently have 16-20 small probe cells (``features'') for evaluating the transcript abundance of each gene. In addition, each probe is accompanied by a mismatched probe designed as a control for non-specificity. An algorithm is presented to compute comparative expres… ▽ More One of the most popular tools for large scale gene expression studies are high-density oligonucleotide (GeneChip(R)) arrays. These currently have 16-20 small probe cells (``features'') for evaluating the transcript abundance of each gene. In addition, each probe is accompanied by a mismatched probe designed as a control for non-specificity. An algorithm is presented to compute comparative expression levels from the intensities of the individual features, based on a statistical study of their distribution. Interestingly, MM probes need not be included in the analysis. We show that our algorithm improves significantly upon the current standard and leads to a substantially larger number of genes brought above the noise floor for further analysis. △ Less

Submitted 21 February, 2001; v1 submitted 5 February, 2001; originally announced February 2001.

Comments: 9 pages, 7 figures

Reactive Hall response

Authors: X. Zotos, F. Naef, M. Long, P. Prelovsek

Abstract: The zero temperature Hall constant R_H, described by reactive (nondissipative) conductivities, is analyzed within linear response theory. It is found that in a certain limit, R_H is directly related to the density dependence of the Drude weight implying a simple picture for the change of sign of charge carriers in the vicinity of a Mott-Hubbard transition. This novel formulation is applied to th… ▽ More The zero temperature Hall constant R_H, described by reactive (nondissipative) conductivities, is analyzed within linear response theory. It is found that in a certain limit, R_H is directly related to the density dependence of the Drude weight implying a simple picture for the change of sign of charge carriers in the vicinity of a Mott-Hubbard transition. This novel formulation is applied to the calculation of R_H in quasi-one dimensional and ladder prototype interacting electron systems. △ Less

Submitted 29 February, 2000; originally announced February 2000.

Comments: 4 pages, 3 Postscript figures

Journal ref: Phys. Rev. Lett. 85 (2000) 377

Nuclear spin relaxation rates in two-leg spin ladders

Authors: F. Naef, Xiaoqun Wang

Abstract: Using the transfer-matrix DMRG method, we study the nuclear spin relaxation rate 1/T_1 in the two-leg s=1/2 ladder as function of the inter-chain (J_{\perp}) and intra-chain (J_{|}) couplings. In particular, we separate the q_y=0 and πcontributions and show that the later contribute significantly to the copper relaxation rate ^{63}(1/T_1) in the experimentally relevant coupling and temperature r… ▽ More Using the transfer-matrix DMRG method, we study the nuclear spin relaxation rate 1/T_1 in the two-leg s=1/2 ladder as function of the inter-chain (J_{\perp}) and intra-chain (J_{|}) couplings. In particular, we separate the q_y=0 and πcontributions and show that the later contribute significantly to the copper relaxation rate ^{63}(1/T_1) in the experimentally relevant coupling and temperature range. We compare our results to both theoretical predictions and experimental measures on ladder materials. △ Less

Submitted 25 November, 1999; v1 submitted 8 July, 1999; originally announced July 1999.

Comments: Few modifications from the previous version 4 pages, 5 figures, accepted for publication in PRL

Finite temperature transport in integrable quantum many body systems

Authors: X. Zotos, F. Naef, P. Prelovsek

Abstract: Recent developments in the analysis of finite temperature dissipationless transport in integrable quantum many body problems are presented. In particular, we will discuss: (i) the role played by the conservation laws in systems as the spin 1/2 Heisenberg chain and the one-dimensional Hubbard model, (ii) exact results obtained using the Bethe ansatz method on the long time decay of current correl… ▽ More Recent developments in the analysis of finite temperature dissipationless transport in integrable quantum many body problems are presented. In particular, we will discuss: (i) the role played by the conservation laws in systems as the spin 1/2 Heisenberg chain and the one-dimensional Hubbard model, (ii) exact results obtained using the Bethe ansatz method on the long time decay of current correlations. △ Less

Submitted 30 June, 1999; originally announced June 1999.

Comments: Proceedings of the 1999 "Rencontres de Moriond" Conference, 5 pages, 1 Postscript figure

Spin and energy correlations in the one dimensional spin 1/2 Heisenberg model

Authors: F. Naef, X. Zotos

Abstract: In this paper, we study the spin and energy dynamic correlations of the one dimensional spin 1/2 Heisenberg model, using mostly exact diagonalization numerical techniques. In particular, observing that the uniform spin and energy currents decay to finite values at long times, we argue for the absence of spin and energy diffusion in the easy plane anisotropic Heisenberg model. In this paper, we study the spin and energy dynamic correlations of the one dimensional spin 1/2 Heisenberg model, using mostly exact diagonalization numerical techniques. In particular, observing that the uniform spin and energy currents decay to finite values at long times, we argue for the absence of spin and energy diffusion in the easy plane anisotropic Heisenberg model. △ Less

Submitted 25 November, 1997; originally announced November 1997.

Comments: 10 pages, 3 figures, gzipped postscript

Transport and conservation laws

Authors: X. Zotos, F. Naef, P. Prelovsek

Abstract: We study the lowest order conservation laws in one-dimensional (1D) integrable quantum many-body models (IQM) as the Heisenberg spin 1/2 chain, the Hubbard and t-J model. We show that the energy current is closely related to the first conservation law in these models and therefore the thermal transport coefficients are anomalous. Using an inequality on the time decay of current correlations we s… ▽ More We study the lowest order conservation laws in one-dimensional (1D) integrable quantum many-body models (IQM) as the Heisenberg spin 1/2 chain, the Hubbard and t-J model. We show that the energy current is closely related to the first conservation law in these models and therefore the thermal transport coefficients are anomalous. Using an inequality on the time decay of current correlations we show how the existence of conserved quantities implies a finite charge stiffness (weight of the zero frequency component of the conductivity) and so ideal conductivity at finite temperatures. △ Less

Submitted 1 November, 1996; originally announced November 1996.

Comments: 6 pages, Latex