arXiv subjects

Kate Poirier

Publications and source records attributed to Kate Poirier.

8 recordsLinked to original sources

arXiv2025

Massey products for homotopy inner products

This paper defines Massey-type products for a homotopy inner product on an $A_\infty$ algebra, called Massey inner products. We include an explicit description of ordinary Massey products for $A_\infty$ algebras, and for $A_\infty$ modules, and show that Massey product sets can have interesting internal structure. We give non-trivial applications from lens spaces, links, and low dimensional manifolds, showing Massey inner products contain information beyond ordinary Massey products.

math.AT↗

arXiv2023

A note on the string topology BV-algebra for $S^2$ with $Z_2$ coefficients

Luc Menichi showed that the BV algebras on $H^\bullet(LS^2;Z_2)[-2]$ coming from string topology and the one on $HH^\bullet(H^\bullet(S^2;Z_2),H^\bullet(S^2;Z_2))$ using Poincar\'e duality on $H^\bullet(S^2;Z_2)$ are not isomorphic. In this note we show how one can obtain the string topology BV algebra on Hochschild cohomology using a Poincar\'e duality structure with higher homotopies. This Poincar\'e duality (with higher homotopies) on cohomology is induced by a local Poincar\'e duality (with higher homotopies) on the cochain level.

math.AT↗

arXiv2018

Splittings and calculational techniques for higher THH

Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $\Sigma X \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine $THH^{[n]}_*(\mathbb{Z}/p^m; \mathbb{Z}/p)$ for all $n \geq 1$ and for all $m \geq 2$.

math.AT↗

arXiv2017

Koszuality of the $\mathcal V^{(d)}$ dioperad

Define a $\mathcal V^{(d)}$-algebra as an associative algebra with a symmetric and invariant co-inner product of degree $d$. Here, we consider $\mathcal V^{(d)}$ as a dioperad which includes operations with zero inputs. We show that the quadratic dual of $\mathcal V^{(d)}$ is $(\mathcal V^{(d)})^!=\mathcal V^{(-d)}$ and prove that $\mathcal V^{(d)}$ is Koszul. We also show that the corresponding properad is not Koszul contractible.

math.QA↗

arXiv2017

The Combinatorics of Directed Planar Trees

We give a geometric realization of the polyhedra governed by the structure of associative algebras with co-inner products, or more precisely, governed by directed planar trees. Our explicit realization of these polyhedra, which include the associahedra in a special case, shows in particular that these polyhedra are homeomorphic to balls. We also calculate the number of vertices of the lowest generalized associahedra, giving appropriate generalizations of the Catalan numbers.

math.CO↗

arXiv2015

Chain-Level String Topology Operations

We construct a space of string diagrams, which are a type of fatgraph with some additional data, and show that there are string topology operations on the chains of the free loop space of a closed Riemannian manifold which are parameterized by the chains on the space of string diagrams. These operations are shown to recover known structure on homology of the free loop space.

math.GT↗

arXiv2014

On the higher topological Hochschild homology of $\mathbb{F}_p$ and commutative $\mathbb{F}_p$-group algebras

We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ of commutative $\mathbb{F}_p$-group algebras and use this technique to calculate higher topological Hochschild homology of such group algebras for as large an $n$ as ${\sf THH}^{[n]}_*(\mathbb{F}_p) $ is known for.

math.AT↗

arXiv2011

Compactifying String Topology

We study the string topology of a closed oriented Riemannian manifold M. We describe a compact moduli space of diagrams, and show how the cellular chain complex of this space gives algebraic operations on the singular chains of the free loop space LM of M. These operations are well-defined on the homology of a quotient of this moduli space, which has the homotopy type of a compactification of the moduli space of Riemann surfaces. In particular, our action of the 0-dimensional homology of the quotient space on the homology of the free loop space of M recovers the Cohen-Godin positive boundary TQFT.

math.GT↗