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...

We classify the indecomposable injective E(n)⁎E(n)-comodules, where E(n) is the Johnson-Wilson homology theory. They are suspensions of the $J_{n,r}=E\left(n\right)⁎\left(M_{r}E\left(r\right)\right)$, where 0 ≤ r ≤ n, with the endomorphism ring of $J_{n,r}$ being $\widehat{E\left(r\right)}*\widehat{E\left(r\right)}$, where $\widehat{E\left(r\right)}$ denotes the completion of E(r).

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 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 ⁿ$.

The first two authors have recently defined Rabinowitz Floer homology groups $RF{H}_{*}(M,W)$ associated to a separating exact embedding of a contact manifold $(M,\xi )$ into a symplectic manifold $(W,\omega )$. These depend only on the bounded component $V$ of $W\setminus M$. We construct a long exact sequence in which symplectic cohomology of $V$ maps to symplectic homology of $V$, which in turn maps to Rabinowitz Floer homology $RF{H}_{*}(M,W)$, which then maps to symplectic cohomology of $V$. We compute $RF{H}_{*}(S{T}^{*}L,T^{*}L)$, where $S{T}^{*}L$ is the unit cosphere bundle of a closed...

Let $(R,𝔪)$ be a local ring, $𝔞$ an ideal of $R$ and $M$ a nonzero Artinian $R$-module of Noetherian dimension $n$ with $\mathrm{hd}(𝔞,M)=n$. We determine the annihilator of the top local homology module ${\mathrm{H}}_n^{𝔞}\left(M\right)$. In fact, we prove that $${\mathrm{Ann}}_R\left({\mathrm{H}}_n^{𝔞}\left(M\right)\right)={\mathrm{Ann}}_R\left(N(𝔞,M)\right),$$ where $N(𝔞,M)$ denotes the smallest submodule of $M$ such that $\mathrm{hd}(𝔞,M/N(𝔞,M\left)\right)<n$. As a consequence, it follows that for a complete local ring $(R,𝔪)$ all associated primes of ${\mathrm{H}}_n^{𝔞}\left(M\right)$ are minimal.

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...

Given a smooth proper dg algebra $A$, a perfect dg $A$-module $M$ and an endomorphism $f$ of $M$, we define the Hochschild class of the pair $(M,f)$ with values in the Hochschild homology of the algebra $A$. Our main result is a Riemann-Roch type formula involving the convolution of two such Hochschild classes.

Given an origami (square-tiled surface) $M$ with automorphism group $\Gamma$, we compute the decomposition of the first homology group of $M$ into isotypic $\Gamma$-submodules. Through the action of the affine group of $M$ on the homology group, we deduce some consequences for the multiplicities of the Lyapunov exponents of the Kontsevich-Zorich cocycle. We also construct and study several families of interesting origamis illustrating our results.

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.

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...

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 $X$ be a connected closed manifold and $f$ a self-map on $X$. We say that $f$ is almost quasi-unipotent if every eigenvalue $\lambda$ of the map $f_{*k}$ (the induced map on the $k$-th homology group of $X$) which is neither a root of unity, nor a zero, satisfies that the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ odd is equal to the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ even. We prove that if $f$ is $C^1$ having finitely many periodic points all of them...

Let $X$ denote either ${\mathrm{ℂ\mathbb{P}}}^m$ or ${ℂ}^m$. We study certain analytic properties of the space ${ℰ}^n(X,gp)$ of ordered geometrically generic $n$-point configurations in $X$. This space consists of all $q=(q_1,\cdots ,q_n)\in X^n$ such that no $m+1$ of the points $q_1,\cdots ,q_n$ belong to a hyperplane in $X$. In particular, we show that for a big enough $n$ any holomorphic map $f:{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ commuting with the natural action of the symmetric group $𝐒\left(n\right)$ in ${ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ is of the form $f\left(q\right)=\tau \left(q\right)q=(\tau \left(q\right)q_1,\cdots ,\tau \left(q\right)q_n)$, $q\in {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$, where $\tau :{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to \mathrm{𝐏𝐒𝐋}(m+1,ℂ)$ is an $𝐒\left(n\right)$-invariant holomorphic map. A similar result holds true for mappings of the configuration...

Let $f:{\mathbb{P}}^k\to {\mathbb{P}}^k$ be a dominating rational mapping of first algebraic degree $\lambda \ge 2$. If $S$ is a positive closed current of bidegree $(1,1)$ on ${\mathbb{P}}^k$ with zero Lelong numbers, we show – under a natural dynamical assumption – that the pullbacks ${\lambda }^{-n}{\left(f^n\right)}^{*}S$ converge to the Green current $T_f$. For some families of mappings, we get finer convergence results which allow us to characterize all $f^{*}$-invariant currents.

Let $f$ be a non-invertible holomorphic endomorphism of a projective space and $f^n$ its iterate of order $n$. We prove that the pull-back by $f^n$ of a generic (in the Zariski sense) hypersurface, properly normalized, converges to the Green current associated to $f$ when $n$ tends to infinity. We also give an analogous result for the pull-back of positive closed $(1,1)$-currents and a similar result for regular polynomial automorphisms of ${ℂ}^k$.

Let $P$ be a polynomial with integral coefficients. Shapiro showed that if the values of $P$ at infinitely many blocks of consecutive integers are of the form $Q\left(m\right)$, where $Q$ is a polynomial with integral coefficients, then $P\left(x\right)=Q\left(R\right(x\left)\right)$ for some polynomial $R$. In this paper, we show that if the values of $P$ at finitely many blocks of consecutive integers, each greater than a provided bound, are of the form $m^q$ where $q$ is an integer greater than 1, then $P\left(x\right)={\left(R\left(x\right)\right)}^q$ for some polynomial $R\left(x\right)$.

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

We consider nonsingular polynomial maps F = (P,Q): ℝ² → ℝ² under the following regularity condition at infinity $\left(J_{\infty }\right)$: There does not exist a sequence $(p_k,q_k)\subset ℂ²$ of complex singular points of F such that the imaginary parts $(\Im \left(p_k\right),\Im \left(q_k\right))$ tend to (0,0), the real parts $(\Re \left(p_k\right),\Re \left(q_k\right))$ tend to ∞ and $F(\Re \left(p_k\right),\Re \left(q_k\right)))\to a\in ℝ²$. It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition $\left(J_{\infty }\right)$ and if, in addition, the restriction of F to every real level set $P^{-1}\left(c\right)$ is proper for values of |c| large enough.

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...

We prove that for every ε > 0 and every nonnegative integer w there exist primes $p_1,...,p_w$ such that for $n=p_1...p_w$ the height of the cyclotomic polynomial ${\Phi }_n$ is at least $(1-\epsilon )c_w{M}_n$, where $M_n={\prod }_{i=1}^{w-2}{p}_i^{2^{w-1-i}-1}$ and $c_w$ is a constant depending only on w; furthermore $li{m}_{w\to \infty }{c}_w^{2^{-w}}\approx 0.71$. In our construction we can have $p_i>h(p_1...p_{i-1})$ for all i = 1,...,w and any function h: ℝ₊ → ℝ₊.

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s ≥ 3. Also let ${\Omega }_{\pi }$ be the image of D under the proper holomorphic map π. We characterize those continuous functions $f:\partial {\Omega }_{\pi }\to ℝ$ that can be extended to a real-valued pluriharmonic function in ${\Omega }_{\pi }$.

We study questions related to exceptional sets of pluri-Green potentials $V_{\mu }$ in the unit ball B of ℂⁿ in terms of non-isotropic Hausdorff capacity. For suitable measures μ on the ball B, the pluri-Green potentials $V_{\mu }$ are defined by $V_{\mu }\left(z\right)={\int }_{B}log(1/|{\varphi }_z\left(w\right)\left|\right)d\mu \left(w\right)$, where for a fixed z ∈ B, ${\varphi }_z$ denotes the holomorphic automorphism of B satisfying ${\varphi }_z\left(0\right)=z$, ${\varphi }_z\left(z\right)=0$ and $\left({\varphi }_z\circ {\varphi }_z\right)\left(w\right)=w$ for every w ∈ B. If dμ(w) = f(w)dλ(w), where f is a non-negative measurable function of B, and λ is the measure on B, invariant under all holomorphic automorphisms of...