Let $M$ be a 1-connected closed manifold of dimension $m$ and $LM$ be the space of free loops on $M$. M.Chas and D.Sullivan defined a structure of BV-algebra on the singular homology of $LM$, $H_{*}(LM;k)$. When the ring of coefficients is a field of characteristic zero, we prove that there exists a BV-algebra structure on the Hochschild cohomology $H{H}^{*}(C^{*}\left(M\right);C^{*}\left(M\right))$ which extends the canonical structure of Gerstenhaber algebra. We construct then an isomorphism of BV-algebras between $H{H}^{*}(C^{*}\left(M\right);C^{*}\left(M\right))$ and the shifted homology $H_{*+m}(LM;k)$. We also prove...

Let $\Sigma$ be a compact connected oriented surface with one boundary component, and let $\pi$ be the fundamental group of $\Sigma$. The Johnson filtration is a decreasing sequence of subgroups of the Torelli group of $\Sigma$, whose $k$-th term consists of the self-homeomorphisms of $\Sigma$ that act trivially at the level of the $k$-th nilpotent quotient of $\pi$. Morita defined a homomorphism from the $k$-th term of the Johnson filtration to the third homology group of the $k$-th nilpotent quotient of $\pi$. In this paper, we...

We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$ and $L$ have cylindrical ends. The theory associates to $(X,L)$ a $\mathbb{Z}$-graded chain complex of vector spaces over ${\mathbb{Z}}_2$, filtered with $k$ filtration levels. The corresponding $k$-level spectral sequence is invariant under deformations of $(X,L)$ and has the following property: if $(X,L)$ is obtained by...

For a prime $p\ge 5$, we compute the algebraic $K$-theory modulo $p$ and $v_1$ of the mod $p$ Adams summand, using topological cyclic homology. On the way, we evaluate its modulo $p$ and $v_1$ topological Hochschild homology. Using a localization sequence, we also compute the $K$-theory modulo $p$ and $v_1$ of the first Morava $K$-theory.

We introduce two entire functions $f_{{\mathrm{A}}_{\frac{1}{2}\infty }}$ and $f_{{\mathrm{D}}_{\frac{1}{2}\infty }}$ in two variables. Both of them have only two critical values $0$ and $1$, and the associated maps ${\mathbf{C}}^2\to \mathbf{C}$ define topologically locally trivial fibrations over $\mathbf{C}\setminus \{0,1\}$. All critical points in the singular fibers over $0$ and $1$ are ordinary double points, and the associated vanishing cycles span the middle homology group of the general fiber, whose intersection diagram forms bi-partitely decomposed infinite quivers of type ${\mathrm{A}}_{\frac{1}{2}\infty }$ and ${\mathrm{D}}_{\frac{1}{2}\infty }$, respectively. Coxeter elements...

We study the Taylor towers of the nth symmetric and exterior power functors, Spⁿ and Λⁿ. We obtain a description of the layers of the Taylor towers, $D_{k}Spⁿ$ and $D_k\Lambda ⁿ$, in terms of the first terms in the Taylor towers of $S{p}^t$ and ${\Lambda }^t$ for t < n. The homology of these first terms is related to the stable derived functors (in the sense of Dold and Puppe) of $S{p}^t$ and ${\Lambda }^t$. We use stable derived functor calculations of Dold and Puppe to determine the lowest nontrivial homology groups for $D_{k}Spⁿ$ and $D_k\Lambda ⁿ$.

Let $M$ be any compact simply-connected oriented $d$-dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $H{H}^{*}(S^{*}\left(M\right),S^{*}\left(M\right))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}\left(LM\right)$ introduced by Chas and Sullivan. We also show that the negative cyclic...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

A cluster ensemble is a pair $(𝒳,𝒜)$ of positive spaces (i.e. varieties equipped with positive atlases), coming with an action of a symmetry group $\Gamma$. The space $𝒜$ is closely related to the spectrum of a cluster algebra [12]. The two spaces are related by a morphism $p:𝒜\to 𝒳$. The space $𝒜$ is equipped with a closed $2$-form, possibly degenerate, and the space $𝒳$ has a Poisson structure. The map $p$ is compatible with these structures. The dilogarithm together with its motivic and quantum avatars plays a central...

Little is known about the global topology of the Fatou set U(f) for holomorphic endomorphisms $f:ℂ{\mathbb{P}}^k\to ℂ{\mathbb{P}}^k$, when k >1. Classical theory describes U(f) as the complement in $ℂ{\mathbb{P}}^k$ of the support of a dynamically defined closed positive (1,1) current. Given any closed positive (1,1) current S on $ℂ{\mathbb{P}}^k$, we give a definition of linking number between closed loops in $ℂ{\mathbb{P}}^k\setminus suppS$ and the current S. It has the property that if lk(γ,S) ≠ 0, then γ represents a non-trivial homology element in $H₁\left(ℂ{\mathbb{P}}^k\setminus suppS\right)$. As an application, we use...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

Suppose that A and B are unital Banach algebras with units $1_A$ and $1_B$, respectively, M is a unital Banach A,B-module, $=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$ is the triangular Banach algebra, X is a unital -bimodule, $X_{AA}=1_{A}X{1}_A$, $X_{BB}=1_{B}X{1}_B$, $X_{AB}=1_{A}X{1}_B$ and $X_{BA}=1_{B}X{1}_A$. Applying two nice long exact sequences related to A, B, , X, $X_{AA}$, $X_{BB}$, $X_{AB}$ and $X_{BA}$ we establish some results on (co)homology of triangular Banach algebras.

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...