Tropical homological algebra - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T09:36:28Z http://mathoverflow.net/feeds/question/55018 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/55018/tropical-homological-algebra Tropical homological algebra Jeffrey Giansiracusa 2011-02-10T11:18:25Z 2011-02-11T04:44:19Z <p>Has anyone out there thought about homological algebra over the tropical semifield $\mathbb{T}$? For example, I'm interested in the Hochschild homology and cyclic homology of tropical algebras, if this can be made to make sense. </p> <p> Perhaps I should add some motivation. Topologists and geometric group theorists have been interested in the moduli space of metric graphs for at least 25 years now, mainly because of its appearance as a classifying space for automorphism groups of free groups. This space turns out to have a second identity as the moduli space of tropical curves, and people in tropical geometry tell me that it should probably in fact carry the structure of a tropical orbifold. </p> <p>This means that, in addition to homological invariants built from (sheaves of) continuous of PL functions on the space (containing essentially the information of rational homotopy), one can try to build and study homological invariants made from the tropical structure sheaf. I'm interested in what sort of geometric information these invariants might carry. Is there perhaps some new information hiding in here? </p> <p>It is always exciting when one finds that an object one has known for many years turns out to have a hidden new structure.</p> <p>Following Zoran's comment, it looks like Durov has constructed, among many other things, a model category structure on complexes of modules over $\mathbb{T}$. This means that, in principle, something like homological algebra can be done. But it's a different matter to explicitly develop homological algebra.</p> <p>So, to expand on my original question, here are some explicit questions. </p> <ol> <li><p>What is a tropical chain complex?</p></li> <li><p>Is there an explicit tropical analogue of the usual Hochschild chain complex and does it compute the correct derived functor?</p></li> <li><p>Ordinary Hochschild homology carries a Gerstenhaber algebra structure. Is there an analogous structure on a tropical Hochschild homology?</p></li> <li><p>Same questions for cyclic homology.</p></li> </ol> http://mathoverflow.net/questions/55018/tropical-homological-algebra/55094#55094 Answer by David Ben-Zvi for Tropical homological algebra David Ben-Zvi 2011-02-11T04:44:19Z 2011-02-11T04:44:19Z <p>Your question has two parts - the main question, existence of tropical homotopical algebra, seems to be nicely resolved by Zoran's answer. The questions about Hochschild homology though are rather context independently true - I am not familiar with the Durov story, but assuming he provides a symmetric monoidal model category (and hence symmetric monoidal $\infty$-category) that should suffice. Given an algebra object $A$ in any symmetric monoidal $\infty$-category, we can define its Hochschild homology and cohomology, as self-tor and ext as bimodules (see e.g. <a href="http://arxiv.org/abs/0805.0157" rel="nofollow">here</a> - note that what I'm referring to as the homology and cohomology corresponds to the chain level versions of these notions, not the cohomology groups). The former has an $S^1$ action, with invariants giving cyclic homology, and can be calculated by a version of the cyclic bar construction. Regarding the Gerstenhaber structure on Hochschild COhomology, again the answer is yes by a general form of the Deligne conjecture (see Lurie's Higher Algebra - the part that until last week was called DAG VI..) - there's an $E_2$ structure on the Hochschild cohomology. In fact if your algebra $A$ is separable (dualizable as $A$-bimodule) one obtains the full structure of a framed two-dimensional topological field theory (via Lurie's Cobordism Hypothesis theorem), which includes all these operations and many more. (The Hochschild homology and cohomology are assigned to the circle with two different framings in this story.)</p>