2021-04-25

Fukaya Category

Description of a certain wrapped [Fukaya category\] \({\mathcal{O}}\): take the objects to be (Lagrangian) embedded curves, the morphisms are the graded abelian groups \(\hom_{\mathcal{O}}\coloneqq\qty{\bigoplus_{L_0 \pitchfork L_1} {\mathbb{Z}}/2{\mathbb{Z}}, {{\partial}}}\) where \({{\partial}}\) is given by counting holomorphic strips, localize along small isotopies.

Notes from Eisenbud

Add to Algebra qual review doc #todo

An ideal \({\mathfrak{p}}\) is prime iff \(JK \subset {\mathfrak{p}}\implies J \subset {\mathfrak{p}}\) or \(K\subset {\mathfrak{p}}\).

A ring is a domain iff the ideal \((0)\) is prime.

Inductively, if \({\mathfrak{p}}\) contains a product of ideals then it contains one of them.

Maximal ideals are prime, since \({\mathfrak{m}}\) maximal implies that \(R/{\mathfrak{m}}\) is a field.

A ring is local iff it has a unique maximal ideal \({\mathfrak{m}}\).

An element \(e\) is idempotent iff \(e^2 = e\).

An \(R{\hbox{-}}\)algebra \(S\) is a ring \(S\) and a homomorphism \(\alpha:R \to S\).

Every ring is a \({\mathbb{Z}}{\hbox{-}}\)algebra in a unique way.

The most interesting commutative algebras are \(S/I\) where \(S = k[x_1, \cdots, x_n]\) for \(k\) a field, \({\mathbb{Z}}\), or the localization of a ring at a prime ideal.

Random

Milnor K Theory in the Wild

See Milnor K theory

  • An appearance of Milnor \(K_2\) in the wild:

    How Milnor K-theory shows up in number theory: a conjecture by Tate and Birch: attachments/image_2021-04-25-12-25-47.png

Modular forms and Deligne-Serre theorem

The representation ring

Tags: #idle_thoughts

  • The representation ring \(R(G)\): the free \({\mathbb{Z}}{\hbox{-}}\)module on isomorphism classes of irreducible Representation theory.

    • How can we construct this using modern groupoid yoga? Take the category \(\mathsf{G}{\hbox{-}}\mathsf{Mod}\), somehow restrict to just irreducibles. Maybe there’s a better thing to do here though, like “ignoring” reducibles the same way John Carlson “ignored” projectives. But okay, anyway, take that category. Take its nerve and then the geometric realization and then \(\pi_0\) or something? And then take the free \({\mathbb{Z}}{\hbox{-}}\)module. I definitely need to ask some homotopy theorists how this construction goes for usual K-Theory in modern terms. So like… \begin{align*} {\mathbb{Z}}\left[ \pi_0 {\left\lvert { N \mathsf{C} } \right\rvert} \right] .\end{align*} The \(\pi_0\) should be taking isomorphism classes somehow, but maybe this only works for groupoids? But okay, whatever, I just need a functor that takes categories into spaces where two objects end up in the same path component iff they’re isomorphic in \(\mathsf{C}\). So maybe this needs to be something more simplicial set.
#quick_notes #todo #idle_thoughts