Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [dg.differential-geometry]

Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

2
votes
0answers
188 views

Gauss Bonnet theorem calculation for pseudosphere

In an attempt to verify Gauss-Bonnet theorem for a Beltrami pseudosphere I calculated a simple case of the Riemann sphere. Am taking curved radius $a$ for geodesic polar co-ordinate from the smooth ...
6
votes
0answers
91 views

Geometric mean of three or more positive definite matrices

The geometric mean of two positive definite (Hermitian) matrices of same size is defined by $$A\natural B := A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2},$$equivalently, $$A\natural B =(BA^{-1})^{1/2}A=A(A^...
2
votes
1answer
216 views

An orientable compact even dimensional manifolds whose all even cohomologies do not vanish but it does not admit any symplectic structure

What is an example of an orientable compact $2n$ dimensional manifold $M$ whose all even dimensional De Rham cohomology groups $H_{\mathrm{DeR}}^{2i}(M)$ are nonzero, but $M$ does not admit any ...
1
vote
1answer
137 views

Metric of non-negative scalar curvature

Let $(M,g)$ be a closed Riemannian manifold, if $Scal^g>0$, we know that in a metric space of $M$, there is a neighborhood of $g$, such that all metrics in this neighborhood have the positive ...
5
votes
1answer
154 views

Hyperbolic manifolds containing totally geodesic hypersurfaces which themselves contain totally geodesic hypersurfaces

I will preface this by saying that while I am familiar with the general theory of (semi)-Riemannian manifolds, I am a complete novice when it comes to the specifics of hyperbolic manifolds (I am using ...
2
votes
1answer
72 views

Controlling Mean Difference Between Product and Joint Distributions Using Optimal Transportation

Suppose we have nonindependent random variables $X \sim P$ and $Y \sim Q$, where $P$ and $Q$ denote their marginal distributions. We are interested in upper bounding $$ |\mathbf{E}_{X, Y\sim P \...
2
votes
0answers
46 views

Smooth Cauchy problem on a cylindrical manifold (or how to define the exponential of a differential operator)

Let $M$ be a manifold, $E \rightarrow M$ be a real or complex smooth vector bundle, and $D: \Gamma_c(M,E) \rightarrow \Gamma_c(M,E)$ be a (first order if necessary) differential operator on smooth ...
1
vote
0answers
69 views

Degenerate Monge-Ampere equation on a bounded domain with $C^{2,1}$ boundary

In the paper by Guan Pengfei: "C^2 a priori estimates for degenerate Monge-Ampere equations" https://projecteuclid.org/euclid.dmj/1077242669 Prof. P. Guan proved in Theorem 1 that the degenerate Monge-...
3
votes
1answer
168 views

Realizing the cross product of $\mathbb{R}^3$ as the curvature tensor of a Riemannian metric on $\mathbb{R}^3$

Is there a Riemannian metric on $\mathbb{R}^3$ for which the corresponding curvature tensor $R$ satisfies $R(X,Y)Z=(X\wedge Y)\wedge Z$? I have already discussed this question in the following post ...
5
votes
0answers
225 views

Have complex manifolds with dual number structure on the holomorphic tangent bundle been studied?

If $M$ denotes a $2n$-dimensional real smooth manifold, then $M$ together with $J\in\operatorname{End}(TM)$ with $J^2 =\mathrm{id}$ (also called almost product structure on $M$) have been surveyed in ...
3
votes
0answers
107 views

Differential operators on a compact Lie group associated to bracket-generating sets

Let $G$ be a compact connected Lie group of dimension $m$ with Lie algebra $\mathfrak g$. Let $\{X_1,\dots,X_h\}$ be a linearly independent set of $\mathfrak g$. Assume that $\{X_1,\dots,X_h\}$ is ...
3
votes
1answer
99 views

Property of distance function with “smoothly” varying Riemannian metrics

Let $(M,g)$ be a smooth and compact Riemannian manifold. Suppose I have a "smoothly varying" (precisely formulating this is part of the question) one parameter family of Riemannian metrics $(M,g_t)$ ...
3
votes
1answer
129 views

Cheeger inequality for measures

Given a probability measure $\mu$ on $\mathbb{R}^n$, its Poincare constant is the least number $C$ such that: $$ \int f^2 d\mu \leq C\int \|\nabla f\|^2 d\mu $$ for all zero mean function $f$. Is ...
3
votes
0answers
133 views

Analytic Aspects of Rational Maps

I would like some help finding references for a analytic treatment of rational maps between compact complex manifolds (that is holomorphic maps defined away from a codimension at least 2 subvariety). ...
2
votes
0answers
80 views

The complex Clifford algebra

If $(E,g,w)$ is a vector space $E$ with a metric $g$ and a symplectic form $w$; then we can define the complex parts $(1,0)$ and $(0,1)$, so that the complex Clifford algebra is: $$e_1 . f_1 + f_1 . ...
1
vote
1answer
53 views

Minimal complex surfaces with pseudo-effective canonical bundles

A complex line bundle $L$ over a complex surface $X$ is said to be pseudo-effective if it admits a (possibly singular) Hermitian metric $h$ whose curvature is positive semi-definite in the sense of ...
4
votes
2answers
227 views

Question on PDEs which are related to certain geometric problems (e.g. Calabi conjecture, Gauduchon conjecture)

There are interesting symmetric functions $P_k$ arising from differential geometry and PDEs, where $P_k$ is given by \begin{equation} \begin{aligned} P_k(\lambda) = \prod_{1\leq i_{1}<\cdots < ...
8
votes
2answers
282 views

Nash isometric embedding for noncompact manifolds

It seems that the smooth isometric embedding theorem by Nash is true also for noncompact manifolds. Is it true that any (complete, connected) Riemannian manifold $(M^n,g)$ admits a proper smooth ...
4
votes
4answers
431 views

Motivation for construction of Associated fiber bundle from a principal bundle

Given a principal $G$ bundle $P(M,G)$ and a manifold $F$ with an action of $G$ on it from left, we construct a fibre bundle over $M$ with fiber $F$ and call this the associated fiber bundle for $P(M,G)...
0
votes
0answers
77 views

Understanding the proof that $\Delta u = f(u)$ has a unique critical point on a convex domain

I am struggling to understand step 2 of the proof of Theorem 1 in [1]. It seems that the proof that the critical point is unique relies only on the fact that the nodal curves $$N_\theta = \{x\in\Omega\...
2
votes
0answers
121 views

A problem on real analysis related to Hilbert's fourth problem

This is an extensive re-write of a question I deleted and which had basically the same title. Identify the cylinder $S^1 \times \mathbb{R}$ with the space of (co)oriented lines in the plane by ...
3
votes
3answers
384 views

Alternative (easier) Proof of Ambrose Singer Holonomy theorem

Let $P(M,G)$ be a principal bundle. Giving a connection on $P(M,G)$ means two equivalent things. One as an assignment of subspace of $T_pP$ for each $p\in P$ and another as a $\mathfrak{g}$ valued $1$ ...
0
votes
0answers
59 views

Clarification needed on vector field conditions in Smale's “On gradient dynamical systems”

I previously posted the question on MSE but I haven't received an answer. I'm now posting it here in a slightly revised form. In S. Smale's, “On gradient dynamical systems,” Ann. of Math. (2), vol. ...
4
votes
2answers
307 views

Nash isometric embedding theorem with keeping the symplectic structures of our ambient spaces

I apologize in advance if this question has an obvious answer. Let $(M,g)$ be a Riemannian manifold. Then the tangent bundle $TM$ carries a natural symplectic structure $\omega_g$. In fact $\omega_g$...
3
votes
0answers
216 views

Periodic orbit for certain Hamiltonian on the tangent bundle

In this question a nontrivial periodic orbit is a periodic orbit which is not a singular point. Let $p: \mathbb{R}^n \to \mathbb{R}$ be a ...
4
votes
0answers
89 views

Lower bound on $\epsilon$-covers of arbitrary manifolds

Let $M \subset \mathbb{R}^d$ be a $k$-dimensional manifold embedded in $\mathbb{R}^d$. Let $\mathcal{N}(\epsilon)$ denote the size of the minimum $\epsilon$-cover $P$ of $M$, that is for every point $...
4
votes
0answers
73 views

Existence of harmonic symplectic structure on symplectic Riemannian manifold

This post is an expanded version of this MSE post. Assume that $(M, \omega)$ is a symplectic manifold which is equiped with a Riemannian metric. Is there a symplectic structure $\...
2
votes
0answers
100 views

Are $C^1$ immersions dense in $C^1$?

Let $M$ be a closed compact manifold. Is the space of all $C^1$ immersions from $M$ to $\mathbb{R}^m$ ($m> \dim M$) dense in $C^1(M; \mathbb{R}^m)$ (in the $C^1$ topology)?
16
votes
0answers
422 views

What are hyperkähler metrics used for?

It seems that a lot of effort has been devoted to endow holomorphic-symplectic manifolds with hyperkähler metrics. It started with Calabi [4] with $T^*\mathbb{CP}^n$. Other examples include coadjoint ...
3
votes
2answers
139 views

Theorems similar to Tischler fibering theorem

Tischler theorem states that the existence of a nowhere vanishing closed $1$-form in a compact manifold $M$ implies that the manifold fibers over $S^1$. Do you know any other diffential topology ...
6
votes
1answer
202 views

is signed distance function real analytic for real analytic domains

If $\Omega$ is a real analytic domain in $\mathbb R^n$, is the signed distance function, $f$, defined by \begin{equation} f(x)=\begin{cases}d(x,\partial \Omega )&{\mbox{ if }}x\in \Omega \\-d(x,\...
3
votes
1answer
53 views

Cut on hypersurfaces and angular defects

I like very much the elementary property that if one cuts a geodesic triangle onto a sphere (one can use 3 plans that contain $0$). The cut surface of the sphere is given by the sum of the angles of ...
6
votes
1answer
333 views

Manifolds with negative dimension – Definition, References

Does the concept of differential manifold with negative dimension make sense, in differential geometry? If yes, how is it defined? Do you have any reference to recommend? My problem was born in ...
4
votes
1answer
95 views

Monotonicity of infimum of the Willmore energy with prescribed genus

Let $$ \beta_g:=\inf\{\frac14\int_\Sigma H^2 d\mu \hspace{0.2cm} | \hspace{0.2cm} \Sigma\subset \mathbb R^{3}, \operatorname{genus}(\Sigma)=g \} $$ be the infimum of the Willmore energy of embedded ...
1
vote
0answers
48 views

Nodal domains on a surface

What is it known about the topology of nodal domains of eigenfunctions of self-adjoint operators? In particular I'm interested in self-adjoint operators on a complete, non-compact, surface $\Sigma \...
1
vote
1answer
45 views

Existence of bisolutions for wave operators on globally hyperbolic Lorentzian manifolds

Let $(M,g)$ be a globally hyperbolic Lorentzian manifold with Lorentzian volume density $dV$ and $\Sigma$ a Cauchy hypersurface, i.e. each inextendible causal curve hits $\Sigma$ exactly once. ...
13
votes
1answer
267 views

Handlebody decomposition of 4-spheres without 3-handles

There used to be many candidates for an exotic 4-sphere, but a lot of them are now known to be the standard smooth $S^4$. The ones of Cappell-Shaneson (maybe not all of them?) were described in terms ...
0
votes
1answer
194 views

Some tensors in differential geometry

If we have a vector fiber bundle with a connection $D_X=D(X)$ and an endomorphism $e$; we can then define a new tensor by the following formula: $$E(e)=D_X e D_Y + D_Y e D_X - e D_Y D_X - D_X D_Y e - ...
3
votes
0answers
66 views

The heat kernel in Hermitian bundles over Riemannian manifolds

In "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne, the authors construct a (unique) heat kernel associated to any generalized Laplacian in a vector bundle over a Riemannian manifold....
4
votes
0answers
101 views

Integrand in equivariant Atiyah-Patodi-Singer index theorem

I am trying to determine the integrand in the equivariant Atiyah-Patodi-Singer index theorem by Donnelli ("Eta invariants for G-spaces") for spin manifolds if one only has isolated fixed points. In "...
15
votes
0answers
451 views

Does the Gauss-Bonnet theorem apply to non-orientable surfaces?

I hesitated for a long time to ask such an elementary-seeming question on Math Overflow, but when I asked and bountied it on Math SE, I found that a few experts seem to disagree on the answer, and I ...
4
votes
1answer
252 views

Every unorientable 4-manifold has a $Pin^c$, $Pin^{\tilde c+}$ or $Pin^{\tilde c-}$ Structure

The precise statement on J. W. Morgan's "The Seiberg-Witten Equations and Applications to the Topology of Smooth Four-Manifolds (MN-44)" that 4-manifold $X$ admits a Spinc structure (Lemma 3.1.2) ...
5
votes
1answer
244 views

A possible characterization of sphere or projective space

Is there a compact Riemanian manifold $M$ not diffeomorphic to sphere or real or complex or quaternion projective space which admit a diffeomorphism $f$ with the property that $$\forall x \in M, \...
5
votes
0answers
132 views

Equivariant De Rham theorem for orbifolds

Recall that the "classical" equivariant De Rham theorem states that, for a compact Lie group $G$ acting on a compact smooth manifold $M$, $$H_G^*(M,\mathbb{R})\cong H^*(\Omega_G(M)),$$ where $H_G^*(M,\...
6
votes
0answers
217 views

The truth about an an analogy between prime ideals and prime geodesics

I've just learnt in this Unique factorisation of prime geodesics? question that there is an analogy between prime geodesics and prime ideals in number fields. You can read more about it here: https://...
12
votes
1answer
368 views

Embedding Riemannian manifolds into some infinite dimensional manifolds?

First of all I am new to the field of embedding one manifold into another other. I have recently come across with the paper "Embedding Riemannian manifolds by their heat kernel" by P. BERARD, G. ...
3
votes
0answers
88 views

The Dirac-Ricci operator

If we consider a spin manifold $M$, we can define the Ricci curvature $Ricc (X,Y)$ which is a symmetric tensor, moreover the spinors are defined, so that we can define a Dirac-Ricci operator: $$DR(\...
2
votes
0answers
99 views

Is there a distinct Ito-Sasaki version of Riemannian stochastic development?

Given a smooth manifold $M$ with a linear torsion-free connection on its tangent bundle, the Eells-Elworthy-Malliavin stochastic development provides a way of transforming a semimartingale $X$ defined ...
5
votes
2answers
376 views

Submanifolds whose second fundamental form has constant rank in every direction

Let $M$ be a submanifold of a Riemannian manifold $\widetilde{M}$. Let $A$ be the second fundamental form of $M$. Suppose that, for all $p \in M$, the linear map $A(v, \cdot)\: \colon T_{p}M \to N_{...
3
votes
0answers
72 views

Are there local invariants for smooth planes?

A smooth plane is a smooth double fibration $$ \mathbb{RP}^2 \overset{\pi_1}{\longleftarrow} PT\mathbb{RP}^2 \overset{\pi_2}{\longrightarrow} \mathbb{RP}^2 $$ where the system of curves $\pi_1(\pi_2^{...