All Questions
Tagged with reference-request dg.differential-geometry
800 questions
2
votes
0
answers
134
views
Reference for Morse-Bott vector fields
I'm looking for a reference for the following result:
Let $X$ be a vector field on a manifold $M$ and let $C$ be a submanifold of $M$ formed by critical points of $X$. Assume that the Hessian of $X$ ...
- 1,409
2
votes
3
answers
478
views
Groups of conformal isomorphisms of simply connected surfaces
By the uniformization theorem every connected and simply connected surface $M$ is conformally equivalent to one of the following three surfaces:
open disk $D$, complex plane $\mathbb{C}$, or $2$-...
6
votes
1
answer
423
views
Difference between parallel transport and ambient projection
Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
- 125
4
votes
0
answers
114
views
Degeneration formula and Donaldson-Floer theory
Is there a relation between the degeneration formula of GW Invariants of Jun Li and the Donaldson-Floer theory? Is there an example / discussion anywhere of/on this relation?
- 153
1
vote
0
answers
113
views
Hodge-Helmholtz decomposition for 1-form of strategic game
This question is motivated by the attempt of decomposing (in a direct sum sense) a strategic game into components in the spirit of Hodge decomposition.
Preamble
Combinatorial setting
Candogan et al. (...
- 111
15
votes
3
answers
1k
views
(An introduction to) deformation theory (written) for differential geometers
Question is as mentioned in the title:
Are there any introductory notes on deformation theory that are easier to read for differential geometers?
I am learning about differential graded Lie algebras (...
- 6,023
14
votes
3
answers
2k
views
Recommendations for getting into sheaves with emphasis on differential geometry and algebraic topology
I want to study the theory of sheaves from a categorical point of view with an emphasis on applications in algebraic topology and differential geometry and I'm looking for a good introductory book to ...
- 141
3
votes
0
answers
233
views
A bridge between the algebraic / differential geometry of $\frak{sl}_2(\mathbb{C})$ and the Sheffer-Appell calculus and combinatorics
In "Four examples of Beilinson-Bernstein localization", Anna Romanov introduces the basis
$m_k = \frac{(-1)^k}{k!} \partial^k \delta $
on p. 9, where $\partial$ is a partial derivative and $\...
- 10.5k
5
votes
1
answer
306
views
Topological invariance of rational Pontrjagin classes for non-compact spaces
Given a homeomorphism between complex manifolds, $f : X → Y$, is it then true that the rational Pontrjagin class $p_1(X) \in H^4(X,\mathbb Q)$ equals the pull-back $f^* p_1(Y)$?
If $X$ and $Y$ are ...
- 153
6
votes
1
answer
342
views
The Cauchy problem in general relativity, hyperbolic PDEs, and Sobolev spaces on manifolds
(I apologize in advance if this question is ill-posed or not suitable for Math Overflow, I am not yet a research mathematician, just a student.)
Let $(\Sigma,\bar{g})$ be an $n$-dimensional Riemannian ...
- 221
2
votes
1
answer
223
views
Hodge decomposition for non-elliptic complexes
It is a well-known result that there is a bijective correspondence between harmonic sections and cohomology classes of an elliptic complex in a Riemannian/Hermitian manifold. Now consider Riemannian/...
- 167
2
votes
0
answers
109
views
Further directions in representations of surface group into a Lie group
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}$I studied the interpretation of Teichmuller space as a representation space for surface groups in $\PSL(2,\mathbb{R})$.
Now I am planning to ...
user498026
2
votes
0
answers
141
views
Harmonic functions on varifolds
Let $T$ be a $k$-dimensional varifold in a Riemannian manifold $M$. Assume that $f$ is a smooth function on $M$ which is weakly (sub-)harmonic on $T$; that means that
$$
\int \langle \nabla_\omega f, ...
- 415
1
vote
0
answers
170
views
$L^2$ metric on $\textrm{Diff}(M)$ and geodesics
The paper Geometry of diffeomorphism groups, complete integrability and optimal transport mentions the following:
The group $\textrm{Diff}(M)$ carries a natural $L^2$-metric
$\displaystyle \langle\...
- 305
5
votes
0
answers
289
views
A certain kind of proof of the Hairy Ball Theorem
I'd just like to know if proofs of the Hairy Ball Theorem along the following lines are well-known or even somewhere in the literature.
From a given vector field $V_1$ on $S^2$, form another, $V_2$, ...
- 17.6k
5
votes
1
answer
234
views
Does $F_{A}^{0,2}=0$ for a connection $A$ on $TM$ almost complex give a complex structure?
First, some motivation. Let $X$ be a complex manifold, and $A$ a Hermitian connection on some complex vector bundle $E$ over $X$. It is known that the existence of $A$ such that the $(0,2)$-part of ...
- 1,763
11
votes
3
answers
1k
views
What is the minimum-curvature curve interpolating a given set of points in the plane?
We are given a set $X$ of $n\ge 3$ points in $\mathbb{R}^2$, belonging to the boundary of the convex hull of $X$ itself. Let $\Gamma(X)$ be the set of all convex, simple closed curves in $\mathbb{R}^2$...
- 1,677
3
votes
1
answer
232
views
Vector fields $X$ and $Y$ commute on a closed set $K$. Do there exist commuting $\tilde X,\tilde Y$ with $\tilde X=X$ and $\tilde Y=Y$ on $K$?
I have a nice research idea whose proof hinges on the following question
Suppose $X_p$ and $Y_p$ are vector fields in $\mathbb{R}^3$ with $[X,Y]_p=0$ for all $p$ in some closed set $K\subset\mathbb{R}...
- 133
3
votes
0
answers
109
views
"Practical" references on mapping spaces as infinite-dimensional manifolds
I am studying spaces of the form $C^{k}(\mathcal{M},\mathcal{N})$ between manifolds ($k=\infty$ allowed) and I am looking for extensive references, especially analysing their topology and smooth ...
- 1,171
7
votes
1
answer
210
views
Recognizing sections up to isotopy
Let $E$, $B$ be smooth manifolds, $\pi\colon E\to B$ be a smooth fiber bundle, and $h:B\to E$ be a smooth embedding. I would like to learn what is known about the following
Question. When does there ...
- 491
5
votes
1
answer
407
views
Making a submanifold transverse to a vector field by an isotopy
Let $M$ be a smooth manifold, $N\subset M$ be a smooth closed hypersurface not bounding a compact submanifold, and $X$ be a smooth nowhere-zero vector field on $M$. I would like to learn what is known ...
- 491
1
vote
1
answer
124
views
Relative equivariant Thom transversality
I'm looking for a reference for the following:
Suppose that $G$ is a finite group, that $M$ is a smooth $G$-manifold, and that $A\subseteq M$ is a closed $G$-invariant subspace of $M$ such that the ...
- 55
13
votes
1
answer
1k
views
Are there textbooks on differential geometry in the language of smooth sets or smooth derived stacks?
In differential geometry it is often natural to speak of infinite-dimensional manifolds (e.g., the manifold of mappings between two smooth manifolds). Different versions of generalized smooth spaces ...
3
votes
0
answers
142
views
Conjugacy classes of Cartan subspaces in parahermitian symmetric spaces
Are there any good tables of the numbers of conjugacy classes of Cartan subspaces in pseudo-Riemannian symmetric spaces? Or a good method to count them? In particular, I am interested in the ...
- 954
2
votes
1
answer
290
views
On the stack of semistable curves
This is a question related to
Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology?
Let $\mathcal C\rightarrow \mathcal M^{ss}_g$ be the universal curve over the ...
- 494
4
votes
1
answer
295
views
On a result of Cartan for homogeneous manifolds arising from a quotient of discrete subgroups
I'm not sure if this is completely relevant to MO, let me know if this would be better on MSE.
I have been told today by a professor of mine that the following is a classic result of Cartan. Suppose $...
- 1,763
7
votes
0
answers
496
views
Finite atlas on a smooth manifold
If a smooth manifold admits a finite atlas, then for many technical purposes it is as good as compact. I was surprised to learn that every connected smooth manifold actually has a finite atlas. This ...
- 1,959
0
votes
0
answers
86
views
Reference request for Poincare-Hopf theorem in a compact submanifold
I recently read the following question about the Poincare-Hopf theorem in a compact submanifold. All the answers were very satisfactory to me. Is there any reference where I can look for more details ...
- 1
2
votes
2
answers
519
views
How to use that the Hessian is negative definite in this proof
Let $X$ be a Riemannian compact manifold on which acts a compact Lie group $H^+$. Let $f^+ : X \rightarrow \mathbb{R} $ be a smooth function on $X$. Consider a Lie subgroup $U$ of $H^+$ and suppose ...
- 139
2
votes
0
answers
65
views
Coordinate free supersymmetric sigma model Lagrangian
I would like to know if there is a coordinate free version of the Lagrangian of the supersymmetric sigma model on a $2$-dimensional spacetime, with target space a Kähler manifold. The action for this ...
- 355
1
vote
0
answers
132
views
About the classification of simply connected homogeneous 3-manifolds
I've read somewhere (but cannot locate the source) that the following classification holds: simply connected homogeneous 3-manifolds are either isometric to $S^2 \times \mathbb{R}$ or to a metric Lie ...
- 1,763
4
votes
0
answers
81
views
Pseudometrics on world lines
Consider the space $W$ of smooth time-like curves in $\mathbb{R}^{n,1}$ with fixed ends.
Given $\gamma\in W$, consider the space $T_\gamma$ of all smooth normal fields along $\gamma$;
one may think ...
- 14.3k
1
vote
1
answer
255
views
A different version of Besicovitch Covering Theorem involving balls of half radius
I am trying a find a reference to/proof of the following result:
Let $(M, g)$ be a compact Riemannian manifold. Then there is $b$ so that the following holds: for any $r>0$, there is a covering $\...
- 534
8
votes
1
answer
218
views
Existence of properly discontinuous and cocompact action
Let $M$ be a complete Riemannian manifold. My question is, under what conditions does $M$ admit a discrete group of isometries $\Gamma$ which acts properly discontinuously and cocompactly on $M$, that ...
- 81
1
vote
0
answers
72
views
A proof that the analytic index for families is multiplicative
I am looking for a detailed proof of the analytic index for families (of geometrically defined Dirac operators is good enough and assuming the existence of the kernel bundle) is multiplicative. Any ...
- 1,173
4
votes
0
answers
310
views
PDE obtained while trying to construct a complex structure
Upon reading this answer to this question, the last paragraph mentions the following. "Requiring the [almost complex] structure to be integrable corresponds to a certain PDE for this map." ...
- 1,763
4
votes
0
answers
129
views
Geodesic distances and Grassmannians
Let $Gr(n, V)$ be the Grassmannian parametrising $n$-dimensional subspaces of a vector space $V$.
When $V$ is an inner product space, formulae exist for calculating the geodesic distance between ...
- 61
1
vote
0
answers
310
views
Can we classify two dimensional complex vector bundles over $\mathbb{R}P^2$?
I know it is easy to classify line bundles over $\mathbb{R}P^2$. But do we have a classification of two dimensional complex vector bundles over $\mathbb{R}P^2$?
- 9,019
2
votes
0
answers
175
views
Expository material on the Gromov-Lawson surgery theorem
I am looking for an expository text on the paper "The classification of simply connected
manifolds of positive scalar curvature" by Gromov and Lawson, in particular on the proof of Theorem A....
- 147
1
vote
0
answers
46
views
Help with a surface of delay differential equations
This question is difficult for me to phrase, as it's very much outside of my mathematical purview. This is a question which intersects directly with my research, but as I work predominantly in ...
- 388
4
votes
0
answers
113
views
Is there a general definition of twisted Real equivariant cohomology theory?
There are some classical examples of Real equivariant cohomology theories and twisted cohomology theories, including equivariant KR-theory in Atiyah and Segal's paper, and the more general ...
- 1,040
5
votes
1
answer
224
views
Spectral theory of infinite volume hyperbolic manifolds
I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
- 1,407
2
votes
0
answers
65
views
Connection between a function and its usage in geometry [closed]
I know nothing about geometry, but I found a function which seems to have something to do with geometry.
This function is, $$f(x,y,z) = \dfrac{(x,y,z)}{\sqrt{1 + x^2 + y^2 + z^2}}$$
where $x,y,z$ is ...
- 121
4
votes
0
answers
433
views
Convex core and geometric finiteness of negatively curved manifolds
I am reading a paper on hyperbolic geometry where they are using the concept of "convex core" in the context of "geometric finiteness". Roughly, this means (from Definition F4 of a ...
- 41
4
votes
0
answers
186
views
Ends of a negatively curved Riemannian manifold
Let $M$ be a complete Riemannian manifold. Let us use the standard definition of "end", for example, as in this article. If $M$ has non-negative Ricci curvature, it is well-known that it has ...
- 41
8
votes
1
answer
375
views
Harmonic functions on complete Riemannian manifolds
I have started reading a paper of Colding and Minicozzi, where they prove that on a complete Riemannian manifold $M$ of non-negative Ricci curvature, the space of harmonic functions of growth order at ...
- 81
2
votes
0
answers
663
views
Reference request - Texts on geometric analysis with exercises
I’ve recently been studying some Riemannian geometry and geometric analysis, however I have found it difficult to find resources with exercises to practice. It seems that many textbooks past the ...
2
votes
1
answer
224
views
The differentiability of the distance function on asymptotically flat manifolds
Let $M = \mathbb{R}^3 \setminus \overline{B_1}$ where $\overline{B_1}$ is the closed unit ball.
Let $g$ be an asymptotically flat metric of the form $g_{ij} = \delta_{ij}+h_{ij}$ in standard ...
- 969
1
vote
1
answer
148
views
Completeness of asymptotically Euclidean manifolds
Say that you place an asymptotically Euclidean metric on $\mathbb{R}^3,$ e.g. $\mathbb{R}^3$ is endowed Riemannian metric $g$ such that $\text{supp}(g^{ij}-\delta^{ij})\subseteq\{|x|\leq R\}$ for some ...
- 13
8
votes
3
answers
976
views
Examples and properties of spaces with only trivial vector bundles
Let $B$ be a paracompact space with the property that any (topological) vector bundle $E \to B$ is trivial. What are some non-trivial examples of such spaces, and are there any interesting properties ...
- 1,763