Enriching some categories

Start with a plain old category C. You have some objects A and B and Hom(A,B) to describe all the arrows from A to B.

What structure does Hom(A,B) have?

Not much. Ok, now I'm stuck. I can't say any more.

If the Hom(A,B) were just sets, it would be locally small. Not good enough.

If I somehow knew they were abelian groups, then I would be in pre-additive categories, and I would start to have some hope about doing all the abelian category chases.

What are the structures I could possibly ask Hom(A,B) to have? I need to have a well defined map Hom(B,C) x Hom(A,B) to Hom(A,C) so that tells me that it has to be monoidal in order for the left hand side to make sense.

And there should be the identity in Hom(A,A).  That means there should be a morphism from the monoidal unit to Hom(A,A) in this monoidal category.

AND coherence relations time:

Now another example, what if I enrich over chain complexes of complex vector spaces. Each hom is now differential graded. So this is a dg-category.

I can relax conditions a little bit more and give you an example of an A_\infty category. The specific one I have in mind is the Fukaya category of some symplectic manifold.

Picture time

Draw more holomorphic polygons to give the higher maps that mess up the dg-category structure.

Youtube videos better than NYAN cat

Cool people saying cool things

Contact Homology

GRASP usually gives me things I can post about, and today's talk was embedded contact homology.

Start with a contact 3 manifold Y. Find it's Reeb vector field R.



Look for where this vector field makes circular orbits. Those are Reeb orbits.

Take the module generated by all unions of them.

An arbitrary element will look like

 

where R lists all the orbits and m's are the multiplicities in  .

You say the boundary of a particular union of Reeb circles is the sum over all output union of Reeb circles such that each one is counted by the size of the moduli space of holomorphic curves connecting the first set of inputs to the second set of outputs in the symplectic manifold associated to Y.

The picture looks like

The top and bottom pieces are such holomorphic curves. This therefore is showing a contribution to d^2 which we hope all cancel out.

Of course you need a condition on indices. It is so much easier to explain the index in Lagrangian Floer where it is the number of times the tangent planes turn. These indices save the day and give some control of what the end curves can be.

I don't know the index in ECH, but since he didn't say what it was in the talk, it sounds profoundly ugly. This also means I have no hope for explaining why this is a chain complex. These all have that same Morse homology flavor of trajectories breaking like shown above. In the Morse case, I can visualize all the pieces cancelling and that is where mileage can be drawn from.