Questions tagged [dg.differential-geometry]
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
8,673
questions
5
votes
0
answers
103
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 ...
- 23.9k
1
vote
1
answer
53
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 ...
- 11.9k
1
vote
0
answers
32
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,...
- 494
3
votes
2
answers
165
views
For a closed Riemannian manifold $M$, must the set of points with non-unique closest points to a closed submanifold $S$ of $M$ 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}dvol_g \forall E \in \mathcal{B}(M),$ the Borel sigma algebra ...
- 8,076
2
votes
0
answers
32
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 ...
- 553
1
vote
0
answers
58
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 ...
- 853
3
votes
2
answers
266
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 ...
- 6,718
8
votes
2
answers
2k
views
Transitivity of automorphism group of smooth manifolds
Suppose $M$ is a connected smooth manifold and $x,y \in M$ are two points. Is there always a
diffeomorphism $\phi: M \rightarrow M$ with $\phi(x)= y$ ?
- 60.2k
3
votes
2
answers
276
views
Lie's third theorem via graded geometry
Lie's third theorem : Given any finite dimensional Lie algebra $\mathfrak{g}$, there exists a Lie group $G$ whose Lie algebra is equal to $\mathfrak{g}$.
In one of the talks, speaker mentions that ...
CommunityBot
- 1
2
votes
0
answers
169
views
Cohomology theory for Dirac manifolds
I am trying to see if there is any existing cohomology theory for Dirac manifolds.
For the case of poisson manifolds, we have the notion of Poisson cohomology. For a manifold $M$, one can consider the ...
- 11
2
votes
2
answers
412
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 ...
- 151k
4
votes
0
answers
97
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: ...
5
votes
0
answers
98
views
Is it always possible to find a conjugate optical function?
Optical functions (functions with null gradients) and double null foliations (foliations of a spacetime by two related optical functions) play a large roll in modern mathematical relativity research. ...
- 7,109
4
votes
1
answer
705
views
Why tangent vector of statistical manifold is a function?
In differential geometry, tangent vectors are considered operators.
At point p, the local tangent space is defined as
$$
T_p(M)=\{X^i\partial_i|X\in R^n\}
$$
This is quite easy to understand for me.
...
- 11.4k
1
vote
0
answers
135
views
Non-compact extremal Kähler spaces
I want to ask about a generalisation of the Calabi functional to non-compact Kähler spaces. My interest is mostly in Kähler surfaces, so I will assume real dimension $4$. In my work, I have found an ...
2
votes
1
answer
115
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$-...
- 11.9k
4
votes
1
answer
171
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?
- 60.2k
23
votes
5
answers
5k
views
Flux through a Mobius strip
A friend of mine asked me what is the flux of the electric field (or any vector field like
$$
\vec r=(x,y,z)\mapsto \frac{\vec r}{|r|^3}
$$ where $|r|=(x^2+y^2+z^2)^{1/2}$) through a Mobius strip. It ...
- 4,618
5
votes
1
answer
324
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(\...
- 106k
2
votes
1
answer
135
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 ...
- 49
5
votes
1
answer
276
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 ...
- 881
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 ...
- 421
1
vote
0
answers
76
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,144
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 ...
- 11
-3
votes
0
answers
76
views
geometry question [closed]
Let M , N , P be points on the sides AB, BC, CA of triangle △ABC.
i)Assume that Q is the second point of intersection of the circumcircles of triangles △BM N
and △N CP . Prove that Q is on the ...
- 1
0
votes
1
answer
139
views
Torsion free Chern connections and Kähler manifolds
Let $(M,h)$ be an Hermitian manifold and let $\nabla$ be the associated Chern connection. Is it true that $(M,h)$ is Kähler if and only if $\nabla$ is torsion free?
- 11
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 ...
- 419
2
votes
1
answer
78
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 ...
- 36.3k
1
vote
0
answers
75
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?
- 49
3
votes
2
answers
585
views
What are the Killing vector fields on a triaxial ellipsoid?
Reading a paper on hamiltonian mechanics, in a section on classical examples of complete integrability, it is examined the geodesic flow of a triaxial ellipsoid.
Before separating the variables in ...
- 60.2k
12
votes
4
answers
2k
views
Motivation for definition of Quotient stack
I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.
Let $G$ be a Lie group action on a manifold $X$ (left ...
- 185
6
votes
0
answers
163
views
Riemannian structure on connected Hilbert manifolds
The infinite-dimensional separable Hilbert space $H$ has the unusual property that it is diffeomorphic to its unit sphere $S^{\infty}$. Therefore, $H$ admits the round metric as a complete and bounded ...
- 1,121
16
votes
2
answers
1k
views
Conformally flat manifold with positive scalar curvature
In the paper Conformal Deformation of a Riemannian metric to a constant scalar curvature of Richard Schoen (J. Differential Geom. 20(2) (1984) 479-495, doi:10.4310/jdg/1214439291), in the first page, ...
- 11.4k
5
votes
2
answers
230
views
Multiplicity of Laplace eigenvalues and symmetry
Let $S$ be a smooth closed connected hyperbolic surface. On $S$ we have the Laplace operator $\Delta$, whose eigenvalues form a discrete sequence
\begin{equation}
0=\lambda_0<\lambda_1\leq \...
- 2,102
2
votes
0
answers
73
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 ...
- 83
2
votes
1
answer
150
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 ...
- 1,897
7
votes
1
answer
1k
views
When a free action gives rise to a $G$-principal bundle
When a free action gives rise to a $G$-principal bundle
Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that
$G \backslash X$ is Hausdorff. (equivalently the image of ...
- 178
4
votes
1
answer
120
views
Riemannian submanifolds of $2$-Wasserstein space
In the article "Wasserstein Geometry Of Gaussian Measures" by Asuka Takatsu the author shows how the space of d-dimensional Gaussian probability measures with non-singular covariance ...
- 5,384
1
vote
1
answer
206
views
What does $g_x^{-1}$ mean where $g$ is a Riemannian metric?
I am reading this paper about the Wasserstein-Fisher-Rao distance and they define the Wasserstein-Fisher-Rao distance on a manifold as follows (page 9):
Here, $M$ is a compact Riemannian manifold, $\...
- 5,163
0
votes
1
answer
124
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, ...
- 37.6k
1
vote
0
answers
113
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 ...
- 83
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 ...
- 497
4
votes
0
answers
280
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 ...
- 349
10
votes
2
answers
2k
views
Gluing two diffeomorphisms together
A fundamental construction in a first course on manifolds is to build a smooth function $\psi\colon \mathbb{R} \to \mathbb{R}$ with the property that for some $0<\delta<\epsilon$ we have
$\psi(...
- 27.3k
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 $\...
- 37.6k
8
votes
1
answer
678
views
Does there exist a GRR-like generalization of the AS Index Theorem?
The Hirzebruch Riemann-Roch Theorem (HRR) expresses an analytic/algebraic invariant, namely the Euler-Poincaré characteristic of a vector bundle $V$ over a compact complex/algebraic manifold $X$, as ...
- 8,707
0
votes
0
answers
58
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 ...
- 1,735
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)...
- 595
2
votes
1
answer
129
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)...
- 1,302
6
votes
1
answer
253
views
From time-dependent Hamiltonians to time-dependent symplectic/Poisson structures
Let $(M,\{.,.\})$ be a smooth Poisson manifold, and let $H\in C^\infty(M\times\mathbb{R},\mathbb{R})$.
Question: Does there exist $H_0\in C^\infty(M,\mathbb{R})$ and smooth parameter-dependent Poisson ...
CommunityBot
- 1