\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Alex Hoffnung}

\begin{itemize}%
\item here i am\ldots{}$<$http://math.ucr.edu/{\tt \symbol{126}}alex

\end{itemize}
\hypertarget{things_i_need_to_work_out}{}\subsection*{{Things I need to work out}}\label{things_i_need_to_work_out}

\begin{itemize}%
\item Centers

\end{itemize}
I can not seem to figure out what the idea of Drinfeld center is supposed to be about over at the [[geometric infinity-function theory]] journal club page. There are probably tons of other things I should be trying to really understand instead, but I am going to be stubborn and fixate on this one.

I want to know what the Drinfeld center is and also why ``the Drinfeld center is not a ''sub`` in any reasonable sense (except in the loose sense that it's a categorical limit).''

So maybe I should just start listing off different notions of center and trying to understand these and just hope for the best.

What types of centers do I know about?

A monoid $M$ has a center.

A group $G$ has a center.

A ring/algebra $A$ has a center.

These can all be interpreted as $1$-object categories where a morphism is in the center iff it commutes with all other morphisms. This, of course, makes sense since all morphisms have the same source and target.

Each of these algebraic objects $\mathcal{C}$ has an injection from the center $Z(\mathcal{C})\hookrightarrow \mathcal{C}$.

Bruce, can we finish our conversation here?

``center of Rep(G) = Rep (loop groupoid of G)'' which seems to summarize everything

In this case, it's more like we have Rep(G) embedding inside Rep (/$\backslash$G)

Alex, I remember Jim Dolan's telling me stuff about Drinfeld doubles a while back. My memories of the conversation are not vivid, but I thought I took away the memory that we are dealing with the ordinary center of a monoidal category $M$, which is not a sub-thing of $M$. Rather, the objects are objects $x$ of $M$ together with an isomorphism $x \otimes y \to y \otimes x$ natural in $y$ \ldots{} well maybe you know all this already, and you're driving at something else? -- Todd

Hi Todd, I know a little about the center of a monoidal category. Your comment is still helpful to me. My comments came from trying to understand part of the Ben-Zvi/Francis/Nadler paper. I was just getting a little overwhelmed and decided to take a step back and see if a big picture would dawn on me. I can't really say if that has happened yet. Maybe I should bug Jim a bit.

Alex

In these cases, we interpeted the composition in the category as the binary operation which we could query for commutativity. As these are all cases of monoids with extra structure, we really want to think of the composition as a monoidal product. This leads us to a more general notion of the center of a category.

We consider the periodic table of $k$-tuply monoidal $n$-categories described here $<$http://math.ucr.edu/home/baez/week121.html{\tt \symbol{62}}. This generalized center takes us vertically down the columns of the periodic table. Taking one object versions of the gadget in a certain square takes us southwest down the chart.

From poking around a bit it seems that having these ideas down we are supposed now start thinking about Hopf algebras.

Gotta go eat and for a walk\ldots{}be back soon. I had a meatball sub, tea, orange juice and now I am back.

Braided Hopf algebras provide solutions to the braid equation. The Drinfel'd quantum double construction is a way to get our hands on these starting with finite dimensional Hopf algebras with invertible antipodes.

The quantum double $D(H)$ is the [[bicrossed product]] of the Hopf algebra $H$ and its dual $H^*$. See Kassel for definitions. The quantum double contains $H$ and its dual as Hopf subalgebras. Given a finite group $G$ there is a double construction for its group algebra.

Theorem: Left $D(H)$-modules are the same as crossed $H$-bimodules.

(Need to say what this means and possible relationship to Drinfel'd double.)

See $<$http://math.ucr.edu/home/baez/neuchl.ps{\tt \symbol{62}} for the categorification of the Drinfel'd double of a finite group.

\hypertarget{things_i_will_forget_to_keep_reading_if_i_do_not_write_down_some_notes_here}{}\subsection*{{Things I will forget to keep reading if I do not write down some notes here.}}\label{things_i_will_forget_to_keep_reading_if_i_do_not_write_down_some_notes_here}

\begin{itemize}%
\item Lurie on \href{http://arxiv.org/abs/0905.0459}{Structured spaces}

\end{itemize}
commutative rings $\rightarrow$ categorical rings

Keep track of extra information (e.g. quotients) by adding extra isomorphisms to the obvious discrete categorification of the ring

What is Serre's intersection formula?

To understand the entire formula we need commutative ring structures on $\infty$-groupoids

Two approaches: 1. topological spaces (or simplicial sets) w. comm ring structure axioms satisfied on nose and addition, multiplication are given by continuous maps

This forms the $\infty$-category SCR (see section 4.1)

\begin{enumerate}%
\item commutative ring structures on $\infty$-groupoids, axioms hold up to coherent homotopy

\end{enumerate}
This gives theory of (connective $E_\infty$-rings)

For a topological ring we care about homotopy structure not topology

What is correct notion of ``generalized rings''?

\begin{enumerate}%
\item $E_\infty$-ring spectra - apply algebraic topology to commutative algebra


\item simplicial commutative rings - apply commutative algebra to algebraic topology (in particular, stable homotopy theory)



\end{enumerate}
K-theory and other cohomology theories can be endowed with $E_\infty$-structures

DERIVED SCHEMES

scheme - ``locally looks like Spec $A$, for some commutative ring $A$''

derived scheme - ``locally looks like Spec $A$, for some commutative simplicial ring $A$''

Given a geometry $G$ and a topological space $X$, there is an associated theory of $G$-structures on $X$.

``A $G$-structure on $X$ is a sheaf $O_X$ endowed with some operations.''

For appropriate $G$, we recover the classical theory of ringed and locally ringed spaces.

Page 6 gives some general overview for the paper which will be helpful.

\begin{itemize}%
\item Note on \href{http://arxiv.org/abs/0904.1247}{The Character Theory of a Complex Group}

\end{itemize}
Go back here to see different correspondences related to the Hecke algebra

\begin{itemize}%
\item [[Hecke algebra]]

\end{itemize}
\hypertarget{borelweil_example}{}\subsection*{{Borel-Weil Example}}\label{borelweil_example}

Following Joel Kamnitzer's notes from the summer school on Geometric Representation Theory in Ottawa, we attempt an example.

Consider the highest weight $\lambda = \omega_1 = (1,0,\ldots,0)$. Then we have the standard representation $V_\lambda$.

According to the line bundle construction $L(\lambda)$ on the flag variety $Fl(\mathbb{C}^n)$:

\begin{displaymath}
L(\lambda)_{V_\bullet} = (V_n/V_{n-1})^{\otimes \lambda_1} \otimes (V_{n-1}/V_{n-2})^{\otimes \lambda_2} \otimes\cdots \otimes (V_1/V_0)^{\otimes\lambda_n}
\end{displaymath}
we have $L(\lambda)_{V_\bullet}$ = $V_n/V_{n-1}$. We can construct a map from the flag variety to the projective space $\mathbb{P}^{n-1}$ = $\{ H\subset \mathbb{C}^n | dim\; H = n-1\}$ taking a flag to the $(n-1)$-dimensional component.

We then have the following pullback diagram:

\begin{displaymath}
\itexarray{
    L(\lambda)
    &\to&
    Q
    \\
    \downarrow && \downarrow 
    \\
    Fl(\mathbb{C}^n)
    &\stackrel{f}{\to}&
    \mathbb{P}^{n-1}
  }
  \,,
\end{displaymath}
where $f$ is the map descried above. Here Q has the same fibers as the line bundle in the sense that $L(\lambda)_x = Q_{f(x)}$.

Now to see the Borel-Weil theorem at work we consider the map

\begin{displaymath}
\Gamma(\mathbb{P}^{n-1}),Q)\to \Gamma(Fl(\mathbb{C}^n),L(\lambda))
\end{displaymath}
This takes a section $s$ to the section

\begin{displaymath}
x \mapsto s(f(x)).
\end{displaymath}
We have the following isomorphisms:

\begin{displaymath}
\mathbb{C}^n \cong \Gamma(\mathbb{P}^{n-1}),Q)\cong \Gamma(Fl(\mathbb{C}^n),L(\lambda)) = V_\lambda
\end{displaymath}
The cool part is that these isomorphisms are intertwiners.

\hypertarget{ginzburg_construction}{}\subsection*{{Ginzburg Construction}}\label{ginzburg_construction}

To understand the Ginzburg construction we first need to understand partial flag varieties, Springer fibers and Borel-Moore homology. But doing things in order would be boring. So we skip to the main construction and fill in the details as we go:

OK, so we already need to know about partial flag varieties and Springer fibers. Let's define these:

We first fix $n,N\in \mathbb{N}$ and define the $n$-step flags in $\mathbb{C}^N$:

\begin{displaymath}
Fl_n(\mathbb{C}^N) = \{0 = V_0\subseteq V_1\subseteq \ldots \subseteq V_n = \mathbb{C}^N\}
\end{displaymath}
For partial flags we consider $\mu \in \mathbb{N}^n$ such that $\mu_1 + \cdots + \mu_n = N$, then define

\begin{displaymath}
Fl_\mu(\mathbb{C}^N) = \{0 = V_0 \subset \cdots \subset V_n | dim\;V_i-dim\;V_{i-1} = \mu_i\}.
\end{displaymath}
To define Springer fibers we need to consider a map from the cotangent bundle of the flag variety to the $n$-nilpotent operators on $\mathbb{C}^n$. First we take a look at the cotangent bundle:

\begin{displaymath}
T^*(Fl_n(\mathbb{C}^N) = \{(X,V_\bullet)|V_\bullet \in Fl_n(\mathbb{C}^N), X\in End(\mathbb{C}^N), X(V_i)\subset V_{i-1}, \forall i \}
\end{displaymath}
Then the fibers of the obvious map below are the Springer fibers:

\begin{displaymath}
T^*(Fl_n(\mathbb{C}^N)) \to N_n(\mathbb{C}^N) = \{x\in End(\mathbb{C}^n)|x^n = 0\}
\end{displaymath}
The fibers are denoted:

\begin{displaymath}
Fl_n(\mathbb{C}^N)^X = \{ V_\bullet | X(V_i) \subset V_{i-1} \}
\end{displaymath}
This breaks up over partitions as:

\begin{displaymath}
Fl_n(\mathbb{C}^N)^X = \bigcup_\mu Fl_\mu(\mathbb{C}^N)^X
\end{displaymath}
Moving on:

We want to construct a representation on a certain vector space. This comes from Borel-Moore homology. This means my dreams of pushing the technical stuff to the side have been completely dashed. So to construct a representation on $H_\bullet(Fl(\mathbb{C}^N)^X), X\in N_n(\mathbb{C}^N)$ we need to describe this homology theory.

\hypertarget{borelmoore_homology}{}\section*{{[[Borel-Moore homology]]}}\label{borelmoore_homology}

We want to construct a homology theory for topological spaces and/or complex algebraic varieties Y. This functor is concerned with locally compact spaces and there are several ways to define this. We will take a first stab at it by locally finite chains. Here we will sketch the idea and eventually should formalize this on the page for Borel-Moore homology. In the meantime the Wikipedia article plus its references and the Chriss-Ginzburg book {\colorbox[rgb]{1.00,0.93,1.00}{\tt Representation\char32Theory\char32and\char32Complex\char32Geometry}} provide plenty of information.

\begin{displaymath}
H_\bullet(Y) = (possibly\; unbounded)\; i-chains\; in\; Y\;(with\; coefficients\; in \;\mathbb{C})
\end{displaymath}
\begin{displaymath}
H_i(Y) = i-dim\; subspace\;of\; Y \;without\; boundary \;(possibly \;singular\; or\; unbounded)
\end{displaymath}
The construction starts by triangulating the space and considering the vector space of formal sums of $i$-simplices.

Of course, one wants independence of triangulation so we need to take a direct limit of these vectors spaces over all refinements of the triangulation. The boundary map then comes from simplicial homology and we have a chain complex. The homology of this complex is the Borel-Moore homology.

To anyone reading this: These are notes from the University of Ottawa/Fields Institute summer school which took place last week (if you are reading this before Friday July 3). Adam Katz and I are trying to make our way through the notes from several of the classes. Anyone is welcome to add comments, corrections, insights or just join our discussion. Actually it would be great if we had some more people involved. I think the plan is something like: 1) Understand Kamnitzer's lectures on Borel-Weil, Ginzburg construction and geometric Satake, then move to Savage's lectures relating the geometry from Kamnitzer and the combinatorics from Kang's lectures. So Kang's lectures will hopefully serve as background reading to understand Savage's lectures.

Alex

Other projects:

1) Understand q-Schur algebras and relationship to representation theory of Hecke algebras

2) Learn lots of things in Ginzburg-Chriss.

3) Write my thesis!

4) Write everything else I should be writing.

5) Get a job! :)

I guess 3) and 5) are taken care of now.

If anyone wants to talk about the first item that would be great. I guess this is my new recruiting station to get people to talk to me about math.

category: people

[[!redirects Alexander Hoffnung]]



\end{document}