Differences

This shows you the differences between two versions of the page.

--- blog:2023-06-14 [2023/06/15 05:54] – [Teleman's ICM] pzhou
+++ blog:2023-06-14 [2023/06/25 15:53] (current) – external edit 127.0.0.1
@@ Line 43: / Line 43: @@
 Hold on, I don't understand, people usually say, $G(K)/G(O)$ has T-fixed points, labelled by $\C^* \to G$, why? If I give you such a map (doesn't have to be a group homomorphism), can you give me an element in $G[t,t^{-1}]$? An element in $G(K)$ is just a section of $G$ over the annuli (formal). so $G(K)/G(O)$ is just the 'singular' part of the loop. In the case $G$ itself is $\C^*$, everything is topological. So, that $\Z$ is just the winding number.
-But, for $G = GL(2)$, that $G(K)/G(O)$ is more intereting. topologically, we have connected component being $\Z$. The question is, what is the possible behavior, as $t \to 0$ for $G$? I mean, different entries have different divergent speed. You can say, it is a choice of lattice.
+But, for $G = GL(2)$, that $G(K)/G(O)$ is more intereting. topologically, we have connected component being $\Z$. The question is, what is the possible behavior, as $t \to 0$ for $G$? I mean, different entries have different divergent speed.
+No, that's the red herring. We really should be doing Iwahori, but there is no difference with $GL(1)$. So, can you translate $GL(1)$? Don't think about the B-side, just think about the convolution algebra. The algebra has a trivial $H^*_{\C^*}(pt)$ part, that is $\C[u]$, cohomology on $BG$. oh, that's super easy. then, we have the matrix part, the covolution part, the concatenation of loop part. That is super important. concatenation of loop. concatenation of Reeb chord, both are concatenations.
+Now, let's be super careful, which one is which. We start our life by doing gauge theory. Let $G = U(1)$ be our starting point. Then, we should do $\Omega G$, convolution homology for loop space here, that is $BFM(G^\vee)$'s coordinate ring.
+  * $H_*(\Omega K)$ is the endomorphism algebra of wrapped cotangent fiber in $T^*K$, which is commutative (since $K$ is a group).
+  * Let $T$ be the maximal torus. $H^T_*(\Omega K)$, this should be the $T$-equivariant Fukaya category of $T^*K$, where $T$ acts by conjugation, where I think the only fixed loci is $T$ itself. Can I do $Fuk(T^*K)^T$? I take the fiber over $e$, although $e$ itself is invariant, but the cotangent fiber $\mathfrak k^*$ suffers from $T$-action. The action seems ok. except the diagonal action acts trivially. I don't show, should I put some local system on the $T$-orbits? Say, we have some equivariant $U(1)$ local system over the Lagrangian.
+  * The endomorphism algebra should be an algebra over $H^*(pt/K)$. So, spec of that base algebra should be $t/W$.
+Let's face it. I don't know where does the upstairs space come from, and the upstairs superpotential.