Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0709.4189

Strong homotopy inner product of an A-infinity algebra

Cheol-Hyun Cho
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce a strong homotopy notion of a cyclic symmetric inner product of an A-infinity algebra and prove a characterization theorem in the formalism of the infinity inner products by Tradler. We also show that it is equivalent to the notion of a non-constant symplectic structure on the corresponding formal non-commutative supermanifold. We show that (open Gromov-Witten type) potential for a cyclic filtered A-infinity algebra is invariant under the cyclic filtered A-infinity homomorphism up to reparametrization, cyclization and a constant addition, generalizing the work of Kajiura.

Explore related subjects

math.ATmath.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cheol-Hyun Cho. 2007-09-26. Strong homotopy inner product of an A-infinity algebra. https://arxiv.org/abs/0709.4189

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On The Rational Realization of Even-dimensional Spheres and Products of Eilenberg--MacLane Spaces as Classifying Spaces

In this paper, we study the rational realization problem for the classifying space $B\mathrm{aut}_1(X)$. We prove that if $S^{2n}$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected space $X$, then $X$ is $π$-infinite and has vanishing rational Gottlieb elements above degree $2n-1$. In particular, even-dimensional spheres cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. We also prove that, for all $n\geq 2$ and $s,t\geq 1$, the product of Eilenberg--MacLane spaces $K(\mathbb{Q}^s,n)\times K(\mathbb{Q}^t,n+1)$ cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. Moreover, we prove that if $r\geq 2$, $n\geq 3$ and $K(\mathbb{Q}^r,n)$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected $π$-finite space $X$, then $X$ has the rational homotopy type of $K(\mathbb{Q}^r,n-1)$. The proofs are based on two structural results for Gottlieb elements in the derivation Lie algebra of a Sullivan minimal model, which provide a uniform method for these realization problems.

math.AT↗
arXiv2026

A complete classification of the rational realization of gap-two products of Eilenberg--MacLane spaces as classifying spaces

In this paper, we study the rational realization of the gap-two product $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ as the classifying space $B\mathrm{aut}_1(X)$ for a simply-connected $π$-finite space $X$ with rational homology of finite type. We prove that $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ can be realized as $B\mathrm{aut}_1(X)$ up to rational homotopy equivalence if and only if $n=3,4$ or $4m+2$ for $m\geq 1$. Moreover, we determine all their minimal Sullivan models up to isomorphism. The rational homotopy type of such $X$ is unique for $n=3$ or $4m+2$ for $m\geq 1$; there exist infinitely many rational homotopy types of such $X$ for $n=4$.

math.AT↗