Let $A$ be a dg algebra over ${𝔽}_2$ and let $M$ be a dg $A$-bimodule. We show that under certain technical hypotheses on $A$, a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product $M{\otimes }_A^{L}M$ and converges to the Hochschild homology of $M$. We apply this result to bordered Heegaard Floer theory, giving spectral sequences associated to Heegaard Floer homology groups of certain branched and unbranched double covers.

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

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.

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

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.

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

The reconstruction algebra is a generalization of the preprojective algebra, and plays important roles in algebraic geometry and commutative algebra. We consider the homological property of this class of algebras by calculating the Hochschild homology and Hochschild cohomology. Let ${\Lambda }_t$ be the Yoneda algebra of a reconstruction algebra of type ${𝐀}_1$ over a field $.Inthispaper,aminimalprojectivebimoduleresolutionof$t$isconstructed,andthe$-dimensions of all Hochschild homology and cohomology groups of ${\Lambda }_t$ are calculated explicitly.

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.

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

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.

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

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

For a real central arrangement $𝒜$, Salvetti introduced a construction of a finite complex Sal$\left(𝒜\right)$ which is homotopy equivalent to the complement of the complexified arrangement in [Sal87]. For the braid arrangement ${𝒜}_{k-1}$, the Salvetti complex Sal$\left({𝒜}_{k-1}\right)$ serves as a good combinatorial model for the homotopy type of the configuration space $F(ℂ,k)$ of $k$ points in $C$, which is homotopy equivalent to the space $C_2\left(k\right)$ of k little $2$-cubes. Motivated by the importance of little cubes in homotopy theory, especially in...

Let p be a prime number. We prove that if G is a compact Lie group with a non-trivial p-subgroup, then the orbit space $\left(B_p\left(G\right)\right)/G$ of the classifying space of the category associated to the G-poset ${}_p\left(G\right)$ of all non-trivial elementary abelian p-subgroups of G is contractible. This gives, for every G-CW-complex X each of whose isotropy groups contains a non-trivial p-subgroup, a decomposition of X/G as a homotopy colimit of the functor $X^{Eₙ}/(NE₀\cap ...\cap NEₙ)$ defined over the poset $\left(s{d}_p\left(G\right)\right)/G$, where sd is the barycentric subdivision....

Let be a proper ideal of a commutative Noetherian ring R of prime characteristic p and let Q() be the smallest positive integer m such that ${{(}^F)}^{\left[p^m\right]}{=}^{\left[p^m\right]}$, where ${}^F$ is the Frobenius closure of . This paper is concerned with the question whether the set $Q{(}^{\left[p^m\right]}):m\in \mathbb{N}₀$ is bounded. We give an affirmative answer in the case that the ideal is generated by an u.s.d-sequence c₁,..., cₙ for R such that (i) the map $R/{\sum }_{j=1}^{n}R{c}_j\to R/{\sum }_{j=1}^{n}Rc{²}_j$ induced by multiplication by c₁...cₙ is an R-monomorphism; (ii) for all $\in ass(c{₁}^j,...,c{ₙ}^j)$, c₁/1,..., cₙ/1 is a $R_{}$-filter...

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

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...

A ring $R$ is called right P-injective if every homomorphism from a principal right ideal of $R$ to $R_R$ can be extended to a homomorphism from $R_R$ to $R_R$. Let $R$ be a ring and $G$ a group. Based on a result of Nicholson and Yousif, we prove that the group ring $\mathrm{RG}$ is right P-injective if and only if (a) $R$ is right P-injective; (b) $G$ is locally finite; and (c) for any finite subgroup $H$ of $G$ and any principal right ideal $I$ of $\mathrm{RH}$, if $f\in {\mathrm{Hom}}_R(I_R,R_R)$, then there exists $g\in {\mathrm{Hom}}_R({\mathrm{RH}}_R,R_R)$ such that ${g|}_I=f$. Similarly, we also obtain equivalent...