Sayan Chattopadhyay

 Mathematics

Associated with Math.SE; for both general discussion & math qu...
Feb 12, 2023 22:50
Oh yeah he left as well
Feb 12, 2023 22:49
There has been a slight resurgence though with them hiring two mirror symmetry/enumerative adjacent AG folks in the last year. But no grad students sadly
Feb 12, 2023 22:48
Yeah. I am guessing you mean Angela, Ben and Danny Krashen?
Feb 12, 2023 22:46
That has been a problem. AG has kind of dried over the ages (less grad students that is)
Feb 12, 2023 22:45
I am sorry for the trouble. I think I need to talk with people more about this, because there is something I clearly do not understand here
Feb 12, 2023 22:42
This $E$ is called your perfect obstruction theory
Feb 12, 2023 22:41
What I want to say is not 1th but more like there is a two term complex of sheaves $E^{\bullet}$ and a morphism $E^{\bullet} \to L$ where $L$ is the truncated cotangent complex. Now here you take the $h^{-1}(E)$ where $E^{\bullet} = E^{-1} \to E^{0}$
Feb 12, 2023 22:39
Yep @Ted. There are some results going back to Bloch, where they show that the deformations of a submanifold $C \subset S$ staying algebraic lies in $\operatorname{ker}(H^1(N_C) \to H^2(\mathcal{O}_S)$ but I am having difficulty really putting this into some morphism of complex of sheaves such that the $1$th cohomology gives me this kernel.
Feb 12, 2023 22:34
Also sorry for rant.
Feb 12, 2023 22:34
I am working in the case of a K3 surface (in general for holomorphic symplectic manifolds) where this fails drastically as you can deform a K3 such that a curve class can not be algebraic anymore. So you need to really quotient out your vector bundle by some trivial piece given by this kind of a deformation. I am trying to exactly understand how my sheaf theoretic picture in terms of the derived category matches with this fantasy picture when I take cohomology.
Feb 12, 2023 22:32
Well so do I. From what I understand it is some funny business about how moduli spaces of stable maps might in general be too big/singular and have arbitrary components. So in order to get enumerative invariants out you want to integrate classes against fundamental classes on the moduli space of stable maps. This would require you to define a "correct" notion of fundamental class on this usually horrible space.

This is usually done by hoping for a fantasy. That is "locally" embedding your moduli space into some smooth projective variety, looking at some vector bundle such that some section
Feb 12, 2023 22:27
Nope. There are some new hires who do Gromov Witten/Donaldson Thomas. But I am also talking to Valery
Feb 12, 2023 22:26
@TedShifrin Virtual fundamental classes in Gromov Witten theory
Feb 12, 2023 22:23
Do you have any plans to visit sometime?
Feb 12, 2023 22:22
Lol I really hope I am not.
Feb 12, 2023 22:21
Doing fine as well. Annoyed at some math I do not understand
Feb 12, 2023 22:18
how's it going Ted?
Feb 12, 2023 22:16
Hello chat
Sep 30, 2022 04:43
@TedShifrin Ahh I see, the 6th floor gets lonely. I am on the 5th and that gets lonely at times.
Sep 30, 2022 04:42
@TedShifrin Yes coming from North of India, I thought I should be doing alright. That's all out the window now
Sep 30, 2022 04:41
Oh btw, where was your office?
Sep 30, 2022 04:39
I am going to be in Massachusetts in November, I think. It's done and dusted for me
Sep 30, 2022 04:37
I was told it would not be that cold
Sep 30, 2022 04:36
This makes me really worried
Sep 30, 2022 04:35
Oh no
Sep 30, 2022 04:34
Lol, for instance on early saturday morning it's going to go down to 50. Considering I have to drive to UGA, that is too cold for me
Sep 30, 2022 04:14
Its making it very windy and cold. It's freezing early in the morning
Sep 30, 2022 03:54
I am doing good @Ted, facing Athens's terrible weather
Sep 30, 2022 03:46
Hey chat
Jul 15, 2022 18:52
Absolutely will do
Jul 15, 2022 18:50
Yeah I will be moving in a week
Jul 15, 2022 18:49
@Ted Greetings from boyd (soon)
Jul 15, 2022 18:46
Hello chat
Jan 11, 2022 07:41
The first and second implications are fine, the only issue is the last one, for which the idea I was asked to think about was convexity on lines + properness of a smooth function and it's relation to critical points
Jan 11, 2022 07:35
Okay so here is what is happening: Let $X \subset \Bbb{P}^n$ be a projective submanifold and let $G$ be a reductive algebraic group action on $X$ and consider a representation of $G$ on $GL(n+1,\Bbb{C})$. Let $K \subset G$ be its maximal compact subgroup.
A point $p \in X$ is said to be polystable under $G$ (Mumford) if $G \cdot \tilde{p}$ is closed where $G$ acts on a lift of $p$ in $\Bbb{C}^{n+1}$ (this is called a linearization of the action to a line bundle (in this case O(1)). Now the Kempf-Ness theorem states the following:
Jan 11, 2022 07:20
Lol yeah
Jan 11, 2022 07:18
Also what I said was BS, that f is smooth
Jan 11, 2022 07:17
Oh okay cool
Jan 11, 2022 07:15
But e^x is not proper
Jan 11, 2022 07:14
That f is not smooth right
Jan 11, 2022 07:14
Oh hold on
Jan 11, 2022 07:08
But this is weird still. I want to show that if $f$ is proper and strictly convex on geodesics it attains a critical point. So reducing to $\Bbb{R}$ essentially proper and strictly convex should imply there is a critical point. But that $f$ is a counterexample
Jan 11, 2022 07:07
I think so too
Jan 11, 2022 07:06
But then as Thorgott claims that if f is proper, it implies $\lim_{|x| \to \infty} f(x) = \infty$ happens then $f$ cannot be proper as it will go to $-\infty$
Jan 11, 2022 07:01
Weird.
Jan 11, 2022 07:00
tanh(x) = 2 for f'(x) = 0 right
Jan 11, 2022 06:57
Okay sanity check: The function $f = -2x + \log(\cosh (x))$ is strictly convex ($f'' = (sech(x))^2$) and is proper (for |x|>>1, it is -2x + |x| - log(2)) but it still does not have a critical point. This works right?
Jan 11, 2022 06:30
@Thorgott Okay is there a reference for that properness and nets condition you mentioned? The thing is that if that limit condition holds then I can show that $f$ actually attains a minimum, which is what I require to show the Kempf-Ness theorem(equivalence of symplectic and algebraic quotients)
Jan 9, 2022 15:05
$f$ is a smooth map on $\Bbb{R}$
Jan 9, 2022 15:04
If $f$ is strictly convex and is a proper map (inverse image of a compact set is compact), can one show that $\lim_{|x| \to \infty} f(x) = \infty$ ?