6,842 reputation
22149
bio website
location Moscow, Russia
age
visits member for 2 years, 10 months
seen 3 hours ago
stats profile views 1,172

umagon at google mail


Dec
1
comment Higher Dimensional equivalent of genus
Betti numbers (aka ranks of homology groups) is, perhaps, closest thing to what you're looking for.
Dec
1
comment Higher Dimensional equivalent of genus
There are, actually, many ways to generalize the notion of genus to higher dimensions: Betti numbers and Heegaard genus in algebraic topology, arithmetic and geometric genus in algebraic geometry...
Dec
1
comment How to Make This Functor $H_n(X;\mathbb{Z}/2)$?
Despite looking almost identical, the diagram for the torus has only 1 vertex and the diagram for $\mathbb RP^2$ has 2 vertices. Hence different homology.
Dec
1
comment The derivative is a real limit?
@Micro Oh... what would be really useful is some reference. Unfortunately I know nothing about English-language calculus text(book)s (and Knuth's comment suggests that maybe there is some problem here), but maybe someone else could help.
Nov
29
comment Quiver describing perverse sheaves on $\mathbb C$
I don't know the name, but it's discussed @ mathoverflow.net/questions/31595/…
Nov
29
comment What lies beyond the Sedenions
AFAICS, arxiv.org/abs/1010.2156 claims to answer OPs last question
Nov
29
comment The derivative is a real limit?
@Micro Let me stress, that this "little-o-style definition" is precisely equivalent to the "limit-style definition" -- so if a function has derivative it can be approximated by a linear function. But, of course, finding such an approximation is not always that easy (compared to what you describe in your post). For example $e^h$ is $1+h+o(h)$ but it's quite non-trivial theorem (which one can't prove just by writing down all terms and throwing away higher-order ones).
Nov
29
comment The derivative is a real limit?
An example, where thinking in terms of linear approximation is especially convenient: math.stackexchange.com/a/3105
Nov
28
comment Octonionic Hopf fibration and $\mathbb HP^3$
(related: mathoverflow.net/questions/14698)
Nov
28
comment What lies beyond the Sedenions
(somewhat) related: mathoverflow.net/questions/19929/19975#19975
Nov
28
comment How do you integrate imaginary numbers?
@ZevChonoles Huh? Notation like $\mathbb Z[\sqrt{-5}]$ for rings and (say) $1+\sqrt{-5}$ for elements of such rings is absolutely standard.
Nov
28
comment How do you integrate imaginary numbers?
@ZevChonoles I don't see the problem (there is completely general definition $R(\sqrt d):=R[x]/(x^2-d)$, if you wish)
Nov
28
comment The Barber Paradox — A proposed set-theoretic approach
Doesn't look like a question to me.
Nov
27
comment Cohomology of $\mathbb RP^{n}$ with $\mathbb Z_2$ coefficients
@palio That's incorrect. (Have you read the Wikipedia page you're linking to?..)
Nov
27
comment Cohomology of $\mathbb RP^{n}$ with $\mathbb Z_2$ coefficients
(Re: second part) how do you compute $H_i(RP^n;\mathbb Z/2)$?
Nov
26
comment Properties preserved by diffeomorphisms but not by homeomorphisms
@lurscher Exactly: every diffeomorphism is a homeomorphism, but not every homeomorphism is a diffeomorphism. So there can be some properties preserved by diffeomorphisms but not by (some non-smooth) homeomorphisms.
Nov
26
comment Properties preserved by diffeomorphisms but not by homeomorphisms
Julia sets are not manifolds (but nice example anyway)
Nov
26
comment Vanishing of the second Stiefel–Whitney classes of orientable surfaces
(Anyway, $\chi=w_n\mod 2$ is the Property 9.5 in Milnor-Stasheff's «Characteristic classes».)
Nov
26
comment Vanishing of the second Stiefel–Whitney classes of orientable surfaces
@Anirbit Are you sure, you need this? Spin structures on a Riemann surface are in bijection with "halves" of the canonical class. So there are always exactly $2^{2g}$ (think of 2-torsion in the Jacobian) spin structures on a Riemann surface of genus $g$.
Nov
26
comment Euler characteristic of sphere with a hole
Unlike the analytic formula, formula $2-2g-b$ for Euler char works for surfaces without boundary nicely, missing condition here is compactness.