Questions tagged [dg.differential-geometry]
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
8,677
questions
3
votes
1
answer
111
views
Are limits of compact leaves compact?
Let $M$ be a compact smooth manifold, and $\mathcal{F}$ be a foliation on $M$. Assume that $L$ is a leaf of $\mathcal{F}$ for which there is $x\in L$ with the property that every neighborhood of $x$ ...
0
votes
0
answers
43
views
Reference request: explicit formula for Lie derivative of matrix Lie groups
Let $M =End(n,\mathbb{C})$ be the space of complex matrices with adjoint action by $ U(n)$, i.e. acted by $B\rightarrow gBg^{-1}$ for $B\in End(n,\mathbb{C}),g\in U(n)$. Let $X_{\xi}$ be the vector ...
2
votes
0
answers
29
views
Connection vs Exponential preserving maps
Connection Preserving Diffeomorphisms
The setting is a manifold $M$ equipped with a linear connection $\nabla$. Kobayashi & Nomizu [K&N §VI.1] define a connection preserving diffeomorphism (...
1
vote
0
answers
26
views
Boundary behavior for submanifolds with bounded second fundamental form
I am interested in a boundary version of this question About hypersurfaces in R^n+1 with bounded 2nd fundamental form.
The question is as follows. Let $\Sigma^k\subset \Bbb R^n$ be a submanifold with ...
2
votes
1
answer
72
views
Compute Christoffel symbols of sphere by embedding
In his answer V. Semeria, starts by taking
$$(y_1,\dots,y_{n+1})=\left(x_1,\dots,x_n,\sum_{i=1}^{n+1}x_i^2 -R^2\right)$$
Write $(\vec{e}_1,\dots,\vec{e}_{n+1})$ the canonical basis of $\mathbb{R}^{n+1}...
2
votes
1
answer
77
views
Construction of Scherk's surface using soap films
I am currently interested in the differential geometry of minimal surfaces, and I have a rather trivial question regarding Scherk's surface (the one which can be parametrised by the real function $(x,...
2
votes
0
answers
36
views
Existence of a spin map from a standard sphere to any closed Riemaninan manifold with nonnegative curvature operator
Let $S^m$ be a standard sphere of dimension $m=n+4k$, and let $M$ be any closed Riemaninan manifold of dimension $n$ with nonnegative curvature operator.
My question: Is there always a smooth spin map ...
1
vote
1
answer
66
views
For proper group action on closed Riemannian manifold, must the union of orbits with non-unique closest points to a given point be of 0 volume measure
Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}d\operatorname{vol}_g \forall E \in \mathcal{B}(M),$ the ...
1
vote
0
answers
66
views
Question from Taubes' SW$\Rightarrow$ Gr
I am trying to understand Taubes' paper on SW$\Rightarrow$ Gr. I don't understand how either of the equations 2.16 or 2.17 appears, I would be happy to understand how the curvature term $F_a$ appears ...
3
votes
2
answers
280
views
A paper of Borel (in German) on compact homogeneous Kähler manifolds
I am trying to understand the statement of Satz 1 in Über kompakte homogene Kählersche Mannigfaltigkeiten by Borel. Here is the statement in German
Satz I: Jede zusammenhängende kompakte homogene ...
2
votes
2
answers
422
views
Are Chern classes always vertical?
Let $c_k \in H^{2k}(M, \mathbb{Z})$ be the $k$-th Chern class of the tangent bundle of a Hermitian manifold $M$.
Is $c_k$ necessarily vertical, i.e.
$$
c_k = \sum_{i_1,\dots, i_{k}} \alpha_{i_1 \dots ...
4
votes
0
answers
98
views
A compact Kähler manifold that admits a homogeneous action of a non-reductive Lie group
Is it possible to have a compact Kähler manifold that admits a homogeneous action of a non-reductive Lie group? It seems not to be the case, but a precise argument of reference would be great!
Edit: ...
4
votes
1
answer
173
views
Taubes' SW$\Rightarrow$ Gr
I am reading Taubes' paper on SW$\Rightarrow$ Gr and lost in some analysis, can anyone help me to see how to get equation 2.19 from equation 2.18? Is this some version of Kato for the Laplacian?
1
vote
0
answers
78
views
A homogeneous manifold that does not admit an equivariant Riemannian metric?
Let $M = G/H$ be a homogeneous space, where $G$ is a Lie group and $H$ is a closed Lie subgroup. Can it happen that $M$ does not admit an invariant Riemannian metric?
1
vote
0
answers
57
views
An integration formula that looks like polar coordinates in $\mathbb{R}^n$ [migrated]
Let $M$ be a complete $n$-dimensional Riemannian manifold with non-negative Ricci curvature. Let $x_0\in M$ and $\theta>1$ be fixed. Consider the function $f=\theta^{-1}d(\cdot, x_0)$, where $d$ is ...
1
vote
0
answers
76
views
Differential operators and iterations of tangent bundle
Is there a relationship between higher order differential operators and higher tangent bundle viewed as bundle on the base manifold?
2
votes
1
answer
80
views
Germs of left invariant differential operators on a group
Are there germs at the identity of linear differential operators on a group which are not germs at the identity of left invariant differential operators?
I feel like the answer is no but the statement ...
2
votes
1
answer
116
views
Continuity of the volume function
Consider a continuous map $F:(a,b)\times\mathbb{S}^n\to\mathbb{R}^{n+1}$ such that for any $t\in(a,b)$, the map $F(t,\cdot)=F_t:\mathbb{S}^n\to\mathbb{R}^{n+1}$ is Lipschitz continuous. The $n$-...
2
votes
1
answer
136
views
Analogue of vector for differential operators
A differential operators of order one is a vector field which is defined pointwise . Differential operators of order greater than one are not. The closest analogue to a vector is given by a germ of a ...
1
vote
0
answers
77
views
Index and nullity of a short closed geodesic
Let $g$ be a reasonably smooth Riemannian metric on the n-dimensional sphere $S^n$. Call a closed geodesic $\gamma$ in $(S^n, g)$ short if, for every diffeomorphism $S^n \to S^n$, the image of at ...
2
votes
0
answers
75
views
Simply connectedness of leaves of a foliation on an complex manifold
Now I'm searching about leaves of foliation in the following special setting.
Let $U,V$ be two holomorphic vector field on $\mathbb{C}^2$ s.t the Lie bracket $[U,V]=UV-VU=0$ and $U$ and $V$ spaned ...
2
votes
1
answer
152
views
Identifying the circle bundle of the canonical line bundle $\mathcal{O}(-n-1)$ over a projective space $\mathbb{CP}^n$
It's not hard to see the following fact: the circle bundle of the tautological line bundle $\mathcal{O}(-1)\rightarrow \mathbb{CP}^n$ is $S^{2n+1}$, the unit sphere inside $C^{n+1}.$ I want to see ...
0
votes
1
answer
125
views
Flow of a vector field
Consider a Riemannian manifold $(M^n , g)$ and let $d_p: M^n \to [0,\infty)$ be the distance function of $p \in M^n$. Then the flow lines generated by $\nabla d_p$ are radial geodesics from $p$. Also, ...
1
vote
0
answers
114
views
What can we say when a module of differential is free?
Let $\mathbb{C}$ complex number.
$R=\mathbb{C}[x,y]/(f)(f\in \mathbb{C}[x,y])$
If the module of differential $\Omega_{R/\mathbb{C}}$ is free $R$ module of rank one,
what can we say about $R$.
How far ...
4
votes
0
answers
282
views
Merits of derived geometry
What are the merits of derived geometry? More precisely, which specific mathematical problems that can be formulated without this machinery have been solved using it? If those problems exist, could ...
5
votes
1
answer
284
views
Question about Neumann eigenvalues on manifolds
Question:
Let $\Omega\subset \mathbb{S}^2_+$ be any geodesically convex subset of the hemisphere $\mathbb{S}^2_+$. Then is it true that $\mu_1(\Omega)\geq \mu_1(\mathbb{S}^2_+)$ where $\mu_1$ is the ...
0
votes
0
answers
59
views
About geodesic vector fields and the status of a classic problem on the number of closed geodesics
A classical problem in differential geometry is to determine whether every compact Riemannian manifold admits infinitely many geometrically distinct closed geodesics. A good reference on the subject ...
5
votes
1
answer
166
views
Converging paths implies converging parallel transports along those paths?
Suppose we have a vector bundle $E$ with connection $\nabla$ over a smooth manifold $M$. Let’s also say we have a sequence of smooth paths $\gamma_n\in C^\infty([0,1],M)$ starting at the same point $\...
2
votes
1
answer
130
views
Understanding the integral $\int_0^1\det(v(t),v'(t))dt$ where $v(t)$ is path in the plane
Let $v(t) : [0,1]\rightarrow\mathbb{C}^2$ be a smooth path, and let $v' := dv/dt$. I'd like to understand what the integral:
$$I(v) := \int_0^1 \det(v(t),v'(t))dt$$
tells us about $v$, where $\det(v(t)...
0
votes
0
answers
46
views
Condition to show $\{ U \in \mathbb{R}^{n \times p}|\mathscr{A}(UU^{\top}) = b \}$ is (is not) a manifold
Consider $\mathscr{A}: S^{n\times n} \to \mathbb{R}^{m}$, $b \in \mathbb{R}^{m}$, I would like to know when $\mathscr{M}:=\{ U \in \mathbb{R}^{n \times p}|\mathscr{A}(UU^{\top}) = b \}$ is a manifold. ...
2
votes
1
answer
194
views
Deriving the definition of vector bundle morphisms from Cartan geometry (a.k.a. why are they linear?)
I'm familiar with the definition of the category of vector bundles, but I'm trying to derive it from some first principles about general fiber bundles. My intuition is that vector bundles should be ...
3
votes
0
answers
218
views
What is the image of a smooth map? [migrated]
Let $f: S^2 \to \mathbb{R}^n$ be a smooth map from the two-dimensional sphere to euclidean space. Let $X = \mathrm{Im}(f) \subset \mathbb{R}^n$ be the image topological space (note: the quotient ...
6
votes
0
answers
141
views
+50
What are compact manifolds such that GROWTH (of spheres volumes) is well approximated by the Gaussian normal distribution?
Consider some compact Riemannian manifold $M$. Fix some point $p$.
Consider a "sub-sphere of radius $r$" - i.e. set of points on distance $r$ from $p$.
Consider growth function $g(r)$ to be ...
0
votes
0
answers
86
views
Using a theorem (which is originally set on 2-dim bounded domain in Euclidean space) on a torus
Actually I'm reading a paper on mean-field equation on torus by M.Struwe and G.Tarantello Here, they studied $$\tag{1}
-\Delta u=\lambda\left(\frac{e^u}{\int_{\Omega} e^u d x}-\frac{1}{|\Omega|}\right)...
0
votes
0
answers
49
views
When considering an equation on flat torus, can we treat it as an equation on a square with opposite sites topologically identified? [migrated]
I need to use some theorems (which is originally for $2$-dim bounded domain in Euclidean space) on torus, what should I do to the equation? Can I just simply treat it as an equation on a square with ...
5
votes
3
answers
809
views
Naturality of Lie bracket — alternate proof
Let $M$ and $N$ be smooth manifolds, and let $F: M \to N$ be a smooth map. Let $X$ and $Y$ be vector fields on $M$, and let $\tilde{X}$ and $\tilde{Y}$ be vector fields on $N$. We say that $X$ and $\...
0
votes
0
answers
84
views
Can a Tangent Space always be expressed with “more structure” than just a vector space (e.g. a choice of basis for Stiefel manifold)
I'm currently trying to read about the Stiefel manifold, or set of all $p$ orthonormal $n$-dimensional vectors embedded in $\mathbb{R}^{n\times p}$.
$$\mathcal{V}_p(\mathbb{R}^n) = \{U \in \mathbb{R}^{...
0
votes
0
answers
111
views
Expressing the union of principal orbits as a disjoint union of global slices for proper group actions
Setup:
I was reading about slices and principal orbit theorems (Theorem 3.4.6) from these notes.
Let the Lie group $G$ act on a complete Riemannian manifold $(M,g)$ isometrically on $M$, i.e. $\phi^{*}...
8
votes
1
answer
154
views
Approximation of triply periodic minimal surfaces with trigonometric level sets
Some triply periodic minimal surfaces are known to be approximated by trigonometric level sets very accurately.
To see this, let's sample a gyroid scaled to the bounding box $[0, 1]^3$ exactly through ...
1
vote
0
answers
90
views
Compactification of a Cartan-Hadamard manifold
Let $X$ be a simply connected manifold with nonpositive sectional curvature. It is standard that $X$ is uniquely geodesic, i.e., for any distinct points $p$ and $q$, there is a unique geodesic ...
0
votes
0
answers
51
views
Prove the orthogonality of vector spherical harmonics
We define
$S_a^{lm} = \Big( - \frac{1}{\sin \theta} Y^{lm}_{,\varphi}, \sin \theta\ Y^{lm}_{,\theta} \Big)$
$Y_a^{lm} = \Big( Y^{lm}_{,\theta}, Y^{lm}_{,\varphi} \Big)$
to be the axial vector ...
6
votes
1
answer
166
views
Coarse embeddings and Gromov products in (Gromov) hyperbolic spaces
I am new into geometric group theory and I have recently started reading the book "Sur les Groupes Hyperboliques d’après Mikhael Gromov" by Ghys and de la Harpe. The following inequality ...
6
votes
0
answers
272
views
Theories of manifolds w/ extra structure and singularities
Many different objects in mathematics can be described as manifolds with extra structure. Among the most famous examples of these are smooth manifolds, Riemannian manifolds, complex manifolds, and ...
2
votes
1
answer
159
views
Proving that $H^1(X,\mathcal{Hom}(\mathcal{G},\mathcal{E})) \cong \text{Ext}^1(\mathcal{G},\mathcal{E})$ holds for locally free sheaves
The following passage is from a thesis I'm reading:
Suppose we have a short exact sequence of vector bundles $$0 \to \mathcal{E} \to \mathcal{F}\to \mathcal{G} \to 0.$$ Since these sheaves are ...
5
votes
1
answer
326
views
Systems of (hyperbolic) 2nd order PDEs with lower order constraints
Certain surfaces in mechanics are endowed with the fundamental forms
\begin{align}
\text{I} &= \mathrm{d}u^2+\mathrm{d}v^2+2\cos\gamma\: \mathrm{d}u\: \mathrm{d}v \\
\text{II} &= \alpha\left(\...
0
votes
1
answer
107
views
Regular value theorem for Banach manifolds without surjectivity
It is well-known (e.g. Lang, Fundamentals of differential geometry, Prop. 2.3 in Chapter II) that the following extension of the regular value theorem holds for Banach manifolds:
Let $\phi : M\...
0
votes
1
answer
127
views
Vector bundles over a homotopy-equivalent fibration
I think this question is related to what is known as "obstruction theory", but I'm not very familiar with this field of mathematics, so I am asking here.
Let $\pi:N\rightarrow M$ be a smooth ...
0
votes
0
answers
72
views
Convergence of metric implies convergence of eigenvalues?
Consider the metric $g_\varepsilon=d\theta^2 + \varepsilon^2 \sin(\theta)^2 \, d\varphi^2$ on the hemisphere $S^2_+.$ I had two naive questions:
Does $g_\varepsilon$ converge to the flat metric on ...
6
votes
1
answer
226
views
Densities, pseudoforms, absolute differential forms and measures, differential forms, etc
Apologies if this question is too basic, but I figured I first heard of most of these concepts on MO, so perhaps I can ask here.
Gelfand’s definition, copied from AlvarezPaiva [My edit, could be ...
1
vote
0
answers
101
views
Dolbeault class of the curvature of the Chern connection equaling the Atiyah class
The following is a proposition from Complex Geometry by Huybrechts.
Proposition $4.3.10$. For the curvature $F_\nabla$ of the Chern connection on an hermitian holomorphic vector bundle $(E,h)$ one ...