Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
4
votes
Formalising the principle of general covariance in differential geometry
The principle of general covariance has been explicitly described by J.-M. Souriau in his 1974 paper "Modèle de particule à spin dans le champ électromagnétique et gravitationnel"
http://www.jmsouria …
10
votes
How much of differential geometry can be developed entirely without atlases?
There is another way to develop differential geometry without atlases, and even without charts, that is Diffeology. I'm not sure this is the right answer to your question but it worths looking at.
Co …
10
votes
Is there a good (co)homology theory for manifolds with corners?
A manifold with corner is a diffeological space modeled on orthants, as such it has a very well defined De Rham cohomology.
Edit : With Serap Gürer, we just wrote a paper (will appear in Indag. Math. …
4
votes
Representing de Rham cohomology by smooth maps
This is a partial answer to what I understand from the question: "...for n=1 we have the "Albanese" map from M into a circle, given by the integration of this form. Can we do something similar for n>1 …
2
votes
Why does the group act on the right on the principal bundle?
You can look at principal fiber bundles as "half" of groupoids. And for a groupoid right and left actions have a more balanced and obvious meaning.
Consider a connected groupoid ${\bf K}$ (that is, b …
6
votes
What is meant by smooth orbifold?
Edit: Nov. 26, 2015
Another example about how diffeology represents the smooth structure of orbifolds: the Seifert Orbifolds, as space of fibers of a "Seifert fibered manifold":
http://math.huji.ac. …
3
votes
Can we define smooth diffeomorphisms on the Hilbert cube $[0,1]^\mathbb{N}$ ? Has it been do...
An addendum to what wrote Peter Michor above: Frölicher spaces identify naturally with the full subcategory of reflexive diffeological spaces. (exercises 79 and 80 of the book). So, for your space equ …
3
votes
Can one make sense of de Rham cohomology for the complement of a (dense) irrational flow on ...
The torus $T^2$ is the quotient of ${\mathbf R}^2$ by ${\mathbf Z}^2$. I denote by $z = [x,y]$ the class of $(x,y) \in {\mathbf R}^2$. I am used to denote $\Delta_\alpha \subset T^2$ what you denote b …
2
votes
Topology of maps between fibers of vector bundles
I elaborate a little bit on what your question inspires me. I will treat a more general question, but you can reduce it to finite linear dimensional fiber bundles over manifolds. Let $\pi : E \to X$ a …
5
votes
Reference for a path groupoid being a diffeological groupoid
If you mean the "Poincaré groupoid" made by fixed-end homotopy classes of smooth paths of a diffeological space, this is a honest diffeological groupoid. Its construction is contained in Chapter V of …
10
votes
Applications of diffeological spaces to ordinary differential geometry
I would add to the previous list of "applications" of diffeology in ordinary differential geometry the theorem about Homotopic invariance of De Rham cohomology (§6.88 of Diffeology). In brief:
Theorem …
5
votes
Advantages of diffeological spaces over general sheaves
If you are an algebraist: general sheaves. If you are a geometer: diffeology.
I will try to explain what I mean. I may however still modify the following.
The philosophy of the theory of sheaves is s …
14
votes
Accepted
Quantization of symplectic vector space and choice of lagrangian subspaces
The first attempt to "quantize" a dynamical variable $u$ on a symplectic manifold $(M,\omega)$, that is, to associate a linear operator $\hat u$ on the space of square summable smooth function $\psi …
1
vote
Accepted
An isomorphism on space of smooth sections
I want first to fix a confusion at the level of the two bundles involved in this construction. My way(*) is to consider, first of all, a $S^1$-bundle over a symplectic manifold $(M,\omega)$, with curv …