Skip to main content
Marty's user avatar
Marty's user avatar
Marty's user avatar
Marty
  • Member for 14 years, 11 months
  • Last seen this week
awarded
comment
Long exact sequence from a short exact sequence of double complexes
It's not so obvious to me what this means, and kind of shifts the question over to filtered-complex land. I.e., given a s.e.s. of filtered complexes, in what way does the l.e.s. respect the filtrations? Reference?
Loading…
comment
The extension class of a finite Heisenberg group
This follows from carefully tracking the universal coefficient theorem for group cohomology. See, e.g., groupprops.subwiki.org/wiki/…
awarded
comment
Does $G$ act 2-transitively on its Bruhat-Tits building?
I think the question should be left open... at least I'd like to think about it a bit more, because I don't know the answer. I hope my first comment didn't prevent more people from thinking about it!
comment
Does $G$ act 2-transitively on its Bruhat-Tits building?
@PaulBroussous -- I now have doubts about the idea of reducing to the affine Weyl group. I don't think that's going to work, since there could be elements of G that send (x,y) to (x',y') without preserving the chosen apartment. Something else will be needed, and I don't know whether the result is true.
comment
Does $G$ act 2-transitively on its Bruhat-Tits building?
I think @PaulBroussous just about has a counterexample. Let $x = x'$. Then the subset of the affine Weyl group fixing $x$ is just a finite Weyl group. And that definitely does not act transitively on the set of pts in the apartment at a fixed distance from $x$, when that fixed distance is chosen appropriately. E.g., $S_3$ does not act transitively on the set of 12 vertices at distance $\sqrt{7}$, in type $A_2$.
awarded
comment
Cohomology of symmetric groups and the integers mod 12
@JohnBaez -- I guess you've seen the formulae for 3-cocycles on dihedral groups in the math-phys literature? It doesn't directly help, since you assume $n \geq 4$... but it gives some idea of what might be possible.
comment
Second Betti number of lattices in $\mathrm{SL}_3(\mathbf{R})$
Maybe one can compute $b_2$ for the following non-division algebra example. Can't remember where I saw it, but it's a standard kind of thing. Take $F = Q(\sqrt{2})$ and $L = Q(\sqrt[4]{2})$. Take the unitary group $\Gamma = SU_3(A)$ , for the trivial Hermitian form and nontrivial element of $Gal(L/F)$, and $A$ a suitable ring of integers. Then $\Gamma$ will embed into $SL_3(R)$ (at one place of $F$) as a cocompact lattice... not sure about torsion.
comment
Relation between Fourier coefficients and Satake parameters
@DesideriusSeverus, I learned all this stuff from Gross's paper On the Satake Isomorphism. math.harvard.edu/~gross/preprints/sat.pdf
comment
show this nice and hard inequality with $ \prod_{i=1}^{n}|x_{i}-y_{i}|<e^{\frac{n}{2}}$
Looks like the Cauchy-Schwarz Master Class to me... is it?
comment
How did ancient greek geometers represent solids?
Well.. I should have included ostraka too (pottery shards). See ams.org/publicoutreach/feature-column/fc-2011-11 for an exposition. There's a little 2-dim diagram, accompanying a discussion of the icosahedron, from (perhaps) the 2nd centrury BCE.
comment
How did ancient greek geometers represent solids?
One of the earliest (if not the earliest?) fragments we have of Euclid's Elements is 2nd century CE (maybe 1st), around 400 years after Euclid. See math.ubc.ca/~cass/Euclid/papyrus for a description. There's a little diagram. It doesn't represent anything 3-dimensional.
Loading…
comment
Rationality of sum of reciprocals of irreducible polynomial
Is there any expectation that every absolutely convergent series of this form is an (exponential) period? Or a trick to show this?
comment
Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p)/\operatorname{GL}_2(\mathbb Z_p))$ and Hecke operators
You can always look at Bump's book for GL_2 things like this. Or Deligne's "Formes Modulaires" article in the Antwerp volume II (Modular Forms of One Variable II, 1973). But for a more general picture, I learned these things from Gross's paper "On the Satake Isomorphism". See math.harvard.edu/~gross/preprints/sat.pdf, especially Sections 1,2,3,5,8.
comment
Which mathematical definitions should be formalised in Lean?
How about a formal definition of the local or global Weil group? Have you got that already?
awarded
1
3 4
5
6 7
36