Starred posts

Alessandro Codenotti

Apr 21, 2020 17:35

@BalarkaSen That's a big offense

Mike Miller

Jan 27, 2020 20:49

Now the differential $x -> y$ is instead encoded as four summands like $(x,o) -> (y,o)$, counting the intersection points with orientation, such that if you swap orientations on either side you negate this count by -1

Balarka Sen

Jan 8, 2020 15:32

It's a place for ranting

Balarka Sen

Dec 16, 2019 20:08

Let's prove Wedderburn's theorem. The goal is to prove the following as a corollary: $G$ be a finite group, then we shall prove $\Bbb CG \cong R_1 \times \cdots \times R_r$ where each $R_i = M_{n_i}(\Bbb C)$

Semiclassical

Nov 15, 2019 21:08

These notes were pretty handy in general: faculty.coe.drexel.edu/jwalsh/JayantCHM.pdf

Balarka Sen

Nov 15, 2019 20:56

It's damn cool, it's amazing how technical yet powerful it can be

MatheinBoulomenos

Oct 23, 2019 17:17

because of this guy:

MatheinBoulomenos

Oct 10, 2019 23:08

consider $k[x,y]/(x^3,x^2y,y^2)$

Leaky Nun

Jun 10, 2019 14:05

leanprover.github.io/theorem_proving_in_lean/…

Alessandro Codenotti

Jun 9, 2019 10:05

So the main idea seems to be that all we know about inhabitants of the identity types is that we have $\mathrm{refl}_x:x=_Ax$ (the constant path), so we want some principles (recursor and induction) that allow us to define functions out of identity types only knowing their values on $\mathrm{refl}_x$

loch

Jun 7, 2019 17:26

@BalarkaSen you might like math.stanford.edu/~vakil/files/jets.pdf

Mike Miller

Apr 12, 2019 20:13

If it's not in use let it die

Mike Miller

Jan 7, 2019 18:01

@MartinSleziak It's no problem, but this room should functionally be considered as a private room that everyone can view. The intent is to have a discussion place for a relatively small and close-knit group of people.

Alessandro Codenotti

Dec 28, 2018 15:34

@MikeMiller D:

Mike Miller

Dec 21, 2018 01:07

Rather, you have to calculate the latter as spaces of $E_1$ maps

Mike Miller

Sep 23, 2018 19:38

Mike Miller

Sep 23, 2018 18:58

But it turns out I will never escape the Laplacian

Leaky Nun

Sep 16, 2018 16:27

alexa play despacito

Mike Miller

Sep 16, 2018 16:19

We all too busy

Mike Miller

Sep 1, 2018 06:21

F(2) is just the space of lines in R^2, kinda boring. F(3) is interesting: it has fundamental group the quaternion group.

Leaky Nun

Aug 29, 2018 09:49

I walk around the city every day and I don't know where I end up

MatheinBoulomenos

Aug 8, 2018 04:05

sorry that I'm answering this so late. I thought about it and I was worried that I can say only obvious things and guesswork. (notation: all cohomology groups are étale unless mentioned otherwise)
(Some basics since you say that you don't know Galois cohomology)
I'll cheat a bit and first talk about $H^2(\mathrm{Spec}(k),\Bbb G_m)$ where $k$ is a field. This étale cohomology group is naturally isomorphic to the Brauer group $Br(k)$ which can be defined very concretely via (non-commutative) centrally simple algebras over $k$.

Mike Miller

Jun 29, 2018 13:06

Balarka Sen

Jun 29, 2018 05:09

people like Deligne and Quillen are perceived as topologists+algebraists to algebraists but the good people of high IQ know that they are just defiling the branch

Mike Miller

Jun 29, 2018 03:28

Balarka is t r a p p

Alessandro Codenotti

Jun 21, 2018 20:42

I'll probably have to learn as much as I can from this list of topics over the summer, any book/notes suggestions?

Alessandro Codenotti

Jun 17, 2018 09:51

Leaky Nun

Jun 16, 2018 08:59

is Balarka doing algebra

Alex

Jun 16, 2018 05:32

math.soimeme.org/~arunram/Teaching/2018AlgebraicGeometry/…

Daminark

Jun 16, 2018 05:12

Wait the university is going to give you an undergraduate? Shit I've always wanted to own an undergrad

Daminark

Jun 10, 2018 05:32

Balarka Sen and the Compiler of LaTeX

Balarka Sen

Jun 4, 2018 17:55

Open conjecture: Is P = NP? Mathein Boulomenos: P $\neq$ P, that much is clear

Mike Miller

Jun 4, 2018 16:42

@MatheinBoulomenos stars in the new hit Marvel movie, ANT man

MatheinBoulomenos

Jun 3, 2018 08:16

@BalarkaSen I actually used that result in an argument in a diff geo exercise, but my TA didn't accept it

MatheinBoulomenos

Jun 3, 2018 04:45

arxiv.org/pdf/math/0607229.pdf

Daminark

Jun 3, 2018 00:59

(Also in the general list of things to do, if you'd be down for going through stuff after that, would be to do the LES of a pair, of a fibration, and the business about fiber bundles => fibrations)

random cohomology for quantum nerds

♦ random cohomology for quantum nerds