##
The canonical model structure on Cat
*November 16, 2012*

*Posted by Chris Schommer-Pries in Algebraic Topology, Category Theory.*

comments closed

comments closed

In this post I want to describe the following result, which I think is pretty neat and should be more widely known:

**Theorem**: On the category of (small) categories there is a unique model structure in which the weak equivalences are the equivalences of categories.

##
Chromatic Stable Homotopy Theory and the AHSS
*January 28, 2010*

*Posted by Chris Schommer-Pries in Algebraic Geometry, Algebraic Topology, Characteristic Classes, Chromatic Homotopy, Spectral Sequences.*

comments closed

comments closed

Now that we’ve all gotten over the excitement surrounding the new iPad, I wanted to talk about something else which I actually find very exciting (unlike the iPad). This semester Jacob Lurie is giving a course on Chromatic Homotopy Theory. This is a beautiful picture which relates algebraic topology and algebraic geometry. Hopefully with Jacob at the helm we’ll also see the derived/higher categorical perspective creeping in. This seems like a great opportunity the learn this material “in my heart”, as my old undergraduate advisor used to say.

And with most of our principal bloggers distracted by MathOverflow, it also seems like a good time to experiment with **new media**. So here’s the plan so far:

The offshoot is that today I want to talk a little about chromatic homotopy and about the Atiyah-Hirzebruch Spectral Sequence.

##
Concrete Categories
*October 26, 2009*

*Posted by David Speyer in Algebraic Topology, Category Theory.*

comments closed

comments closed

In many introductions to category theory, you first learn the notion of a concrete category: A concrete category is a collection of sets, called the objects of the category and, for each pair of objects, a subset of the maps . (There are, of course, axioms that these things must obey.) In a concrete category, the objects are sets, and the morphisms are maps that obey certain conditions. So the category of groups is concrete: a map of groups is just a map of the underlying sets such that multiplication is preserved. So are the category of vector spaces, topologicial spaces, smooth manifolds and most of the other most intuitive examples of categories.

Using terminology from a discussion at MO, I’ll call a category *concretizable* if it is isomorphic to a concrete category. For example, can be concretized by the functor which sends a set to the set of subsets of , and sends a map of sets to the preimage map .

At one point, I learned of a result of Freyd: The category of topological spaces, with maps up to homotopy, is not concretizable. I thought this was an amazing reflection of how subtle homotopy is. But now I think this result is sort of a cheat. As I’ll explain in this post, **if you are the sort of person who ignores details of set theory, then you might as well treat all categories as concrete.** My view now is that specific concretizations are very interesting; but the question of whether a category has a concretization is not. I’ll also say a few words about small concretizations, and Freyd’s proof.

##
Three ways of looking at a local system: Introduction and connection to cohomology theories
*April 20, 2009*

*Posted by David Speyer in Algebraic Geometry, Algebraic Topology.*

comments closed

comments closed

Suppose we have a space . There are a lot of ways to describe the cohomology of — algebraic geometers will know about étale cohomology, crystalline cohomology and (algebraic) deRham cohomology; topologists would add singular cohomology and simplicial cohomology to the list. Recently, thanks in large part to MIT’s K-theory seminar, I’ve come to understand how to tie the first three together. Each cohomology theory comes from a different way of looking at local systems.

Roughly, a local system consists of a vector bundle on , together with some additional data which gives isomorphisms between different fibers of . In algebraic geometry, there are many different ways to make this idea precise.

In this series of posts, I want to present several of these ideas in the case of a smooth manifold . In each case, if you pursued the idea far enough, you would get to a major tool of modern algebraic geometry.

I said above that a local system includes the data of isomorphisms between different fibers and of . This data can depend on the choice of a path between and . Our three theories will be distinguished by how short the path is required to be.

**We could work with an arbitrary . This would lead to étale sheaves**

**We could work with an infinitesimal (also known as an -jet). This would lead to crystals **

**We could work with a which is so small that it becomes a tangent vector. This would lead to ****-modules**

These give rise to étale cohomology, crystalline cohomology and deRham cohomology. I should point out that, for modern applications, one usually wants to work on stacks, with singularities and in arbitrary characteristic. I won’t be addressing any of those issues; I just want to give the intuition behind each theory.

In this post, I will explain how to build a cohomology theory, given a notion of local system. I will then follow up with three more posts, one for each of the specific approaches above.

As usual, this series comes with a disclaimer: These are tools that are relevant to my work, but their inner workings are not my expertise. If you want to see experts discussing this sort of thing, it looks like that conversation is going on at Urs’ journal club.

##
Lurie on TFTs
*January 15, 2009*

*Posted by Chris Schommer-Pries in Algebraic Topology, groupoids, QFT, tqft.*

comments closed

comments closed

This morning Jacob Lurie posted a draft of an expository paper on his work (with Mike Hopkins) classifying extended (infinity, n)-categorical topological field theories and their relation to the Baez-Dolan cobordism hypothesis.

Should make for some intersting bedtime reading…

##
Live Blogging: AJ on Gromov-Witten theory of stacks
*October 20, 2008*

*Posted by Noah Snyder in Algebraic Geometry, Algebraic Topology, liveblogging, mathematical physics, talks.*

comments closed

comments closed

Today AJ’s talking in the Grand Unified Seminar (representation theory, geometry, and combinatorics) on his this (joint work with his collaborator C. Teleman and his advisor E. Frenkel). The title of the talk is “Gromov-Witten Theory for a point/C*.” As AJ points out with delight (after the title was misintroduced without the mod C*, “It’s negative 2 dimensional!”

The outline of the talk is:

- Gromov-Witten Invariants
- The stack pt./C*
- Integration on quotient stacks
- (the unfortunately named) admissible classes
- Bundles on nodal curves
- Invariants are well-defined

##
Generalized Homology Theories
*July 2, 2008*

*Posted by Chris Schommer-Pries in Algebraic Topology, Elliptic Cohomology, Requests.*

Tags: Algebraic Topology, Generalized Homology

comments closed

Tags: Algebraic Topology, Generalized Homology

comments closed

Recently there have been some comments on our requests page:

Sander Kupers:

Maybe you could explain a bit about elliptic cohomology and topological modular forms…

and Thomas Riepe:

I would be curious about learning more on:

“… many constructions of classical algebra (eg, the theory of modular forms) are beginning to be seen to have deep homotopy-theoretic foundations.”…

Since this is somewhat related to some of my research, I have been recruited volunteered to talk about these things. The problem is that this is a ** Huge** subject and a difficult subject and there is no way to adequately represent it in blog form. On the other hand it is a beautiful subject, filled with lots of exciting tidbits. Why not give it a go anyway, right?

##
Reference Hunt I
*April 10, 2008*

*Posted by Scott Carnahan in Algebraic Topology, Category Theory, homological algebra, quantum algebra.*

comments closed

comments closed

Does anyone know where the following useful facts were first proved? A lot of papers just say, "It is known that…" and I’d like to give proper attribution in some future work.

Let A be an abelian group, and let denote the monoidal category of A-graded complex vector spaces. Then:

- Equivalence classes of braided structures on are classified by elements of .
- also classifies -valued quadratic forms on A.
- , where the right side is "Eilenberg-MacLane abelian group cohomology" (defined in MacLane’s 1950 ICM address).

There is an additional neat interpretation involving double loop maps and multiplicative torsors on A, but I don’t need that level of sophistication for the near future.

##
Hot’n’fresh from the arXiv: 2-block Springer fibers
*February 15, 2008*

*Posted by Ben Webster in Algebraic Geometry, Algebraic Topology, link homology, the arXiv, things I don't understand.*

comments closed

comments closed

So, in my first paper based on a blog post (well, loosely adapted), Catharina Stroppel and I have finally posted our paper on 2-block Springer fibers. It was longer in coming than I had expected, but I’m certainly glad that it’s up there now. (more…)

##
Embedded TQFT?
*January 7, 2008*

*Posted by Ben Webster in Algebraic Topology, combinatorics, low-dimensional topology, QFT, topology, tqft.*

comments closed

comments closed

So, a subject rather near and dear to the hearts of many of my fellow co-bloggers is that of 1+1-dimensional TQFT: that is, of monoidal functors from the category of 1-manifolds with morphisms given by smooth cobordisms to the category of vector spaces over your favorite field .

There’s a rather remarkable theorem about such functors, which really deserves a post of its own for proper explanation, but I’ll spoil the surprise here.

Any such functor associates a vector space to a single circle, and to the “pair of pants” cobordism, it assigns a map , which one can check is a commutative multiplication.

Furthermore, the cap, thought of as a cobordism from the empty set to a circle gives a map , which gives a unit of this algebra. Thought of as a cobordism from the circle to the empty set, it gives us a map which we call the **counit **or** Frobenius trace.**

Theorem. *A commutative algebra with counit arises from a TQFT if and only if kills no left ideal of .*