Skip to main content
Lucas Culler's user avatar
Lucas Culler's user avatar
Lucas Culler's user avatar
Lucas Culler
  • Member for 14 years, 8 months
  • Last seen more than a month ago
comment
Reference request for some fragments of Gauss with dubious origin
Here is the most recent image of the LaRouchePAC library taken by the wayback machine: web.archive.org/web/20170620235108/http://…
comment
Sum of Gaussian binomial coefficients.
@aleph It was proved by Gauss in his "Summatio Quarumdam Serierum Singularium", section 6. Here is a link: eudml.org/doc/203313.
awarded
comment
Presenting 3-manifolds by planar graphs
Yes, the graphs are finite. I was only considering closed manifolds, but there's a version for manifolds with boundary.
awarded
awarded
asked
Loading…
awarded
awarded
comment
Is a double centralizer type theorem ( encountered in semisimple algebras) true for algebraic groups ?
A comment on Torsten's answer: For any group $G$, and any subset $S \subset G$ it is true that $Z_G(Z_G(Z_G(S))) = Z_G(S)$. In particular the operation $Z_G$ is always an involution on its image.
awarded
awarded
awarded
awarded
Loading…
answered
Loading…
awarded
awarded
awarded
comment
Elegant proof that any closed, oriented 3-manifold is the boundary of some oriented 4-manifold?
You can also use an embedding in S^6 (a bit easier to construct). If nM = normal bundle, then H^2(S^6-nM) = Z by Mayer Vietoris. A geometric representative of the generating class will be a 4-manifold X with dX = M. More precisely, dX will be cobordant to a nonvanishing section of nM.