Skip to main content
Ilia's user avatar
Ilia's user avatar
Ilia's user avatar
Ilia
  • Member for 6 years
  • Last seen more than 2 years ago
revised
Loading…
comment
Diffeomorphism group of the projective plane
Oh, right, since we are lifting maps $S^2\to \mathbb{R}P^2$. So the ratio of these two lifts is the antipodal map. Hence only one of them preserves the orientation. For example, for the fixed Riemannian metric there is a canonical choice.
revised
Diffeomorphism group of the projective plane
deleted 23 characters in body
Loading…
revised
Loading…
comment
Diffeomorphism group of the projective plane
Aren't diffeomorhisms of the disks are supposed to agree on the circle? Do we account for it here?
awarded
revised
Diffeomorphism group of the projective plane
added 15 characters in body
Loading…
comment
Diffeomorphism group of the projective plane
I just realized that my comment is incorrect as stated but you were faster:-)
comment
Diffeomorphism group of the projective plane
Yes, that makes perfect sense! Thanks! So for the sphere the same construction gives us the bundle $\text{Diff}(D^2)\times \text{Diff}(D^2) \to \text{Diff}(S^2) \to \text{Emb}(S^1, S^2)$?
revised
Loading…
revised
Diffeomorphism group of the projective plane
added 198 characters in body; edited title
Loading…
comment
Solutions of the vector field $D=A\frac{\partial}{\partial X}+B\frac{\partial}{\partial Y}$ with $A,B\in k[[X,Y]]$
I am just curious, what is the reason they add $\text{mod }F$ there? For example, in the case $A=1$, $B=0$ I would expect the solution to satisfy $F_x =0$ but instead we get $F_x$ is proportional to $F.$
asked
Loading…
awarded
comment
Existence of solution for the PDE $p \frac{\partial f(p, q)}{\partial p}-q \frac{\partial f(p, q)}{\partial q}=g(p, q)$
@Robert Bryant: Yeah I've understood your solution and it is really nice approach. Also it turned out that in my research the function g is not an arbitrary flat function but a function of the form $g = \alpha(pq),$ where $\alpha$ is a flat function of one variable. In this case everything is a little bit simpler, for example, the function $g$ is even for any $\alpha.$ But still, it is quite interesting that this statement is true for an arbitrary flat function.
awarded
awarded
comment