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.

5
votes
2answers
182 views

Compact complex affine Kähler manifold is a torus

Before giving a motivation let me ask the precise question firstly. By a complex affine manifold I mean a complex manifold $M$ with the property that there exists an holomorphic atlas for which ...
0
votes
0answers
25 views

Estimate on Covariant Derivatives of Coordinate Derivatives

I am currently reading Topping's lecture notes on Ricci flow. At one point in the narrative (page 65) he says that using the fact that $\bigg(\frac{\partial}{\partial t}\nabla - \nabla \frac{\...
2
votes
0answers
49 views

Global solution of second order ODE defined on riemannian manifold

Consider the differential equation $\nabla \dot X + \frac{3}{t} \dot X + gradf(X) =0$, defined on a riemannian manifold $(M,g)$ ($ \nabla$ is the Levi-Civita connection and $gradf(X)$ is the ...
6
votes
0answers
127 views

Completeness is a conformal invariant

In this article about completeness of semi-riemannian manifolds the author writes (in section 2.2) that it is unkown if the following statement holds: A compact indefinite manifold which is conformal ...
1
vote
1answer
92 views

A totally geodesic triangulation

Let $M$ be a compact orientable $n$ dimensional Riemannian manifold. Is there a triangulation of $M$ such that every $k$ dimensional face of each simplex is a totally geodesic submanifold, $\forall k ...
2
votes
0answers
49 views

Joining metrics of positive Ricci curvature

Let $M$ be a smooth manifold such that there is a closed submanifold $S\subset M$ with a Riemannian metric $g_S$ given by the restriction of a Riemannian metric on $M$ satisfying $\mathrm{Ricci}_{g_S}(...
0
votes
0answers
143 views

About the limit of transverse intersection

Let $n$ be a fixed positive integer, and let $W^{s}(R_{q})$ and $W^{u}(R_{q})$ be the stable and unstable manifolds of a fixed point $R_{q}$ of a discrete 2-D mapping $f_{q}$. Notice that the sequence ...
3
votes
0answers
89 views

A concept weaker than geodesibility of flows which is possibly useful in limit cycle theory

The main objective of this post is to apply the Gauss Bonnet Theorem to count the number of limit cycles of a polynomial vector field as described in this MO post and its linked MO posts But in this ...
2
votes
1answer
1k views

To check if a stack is coming from a manifold

Let $\mathcal{D}$ be a stack. An atlas for stack $\mathcal{D}$ is given by a smooth manifold $X$ and a map of stacks $p:\underline{X}\rightarrow \mathcal{D}$ such that, for any manifold $M$ and ...
14
votes
6answers
985 views

supermanifolds - elementary introduction?

I am looking for an elementary but mathematically precise introductory text on supermanifolds in a modern differential geometric setting. Elementary in the sense that there is plenty of motivation ...
0
votes
0answers
47 views

Requirement for weak pullback to be a Lie groupoid (Moerdijk)

Let $\phi:\mathcal{G}\rightarrow \mathcal{K}$ and $\psi:\mathcal{H}\rightarrow \mathcal{K}$ be morphisms of Lie groupoids. We define weak pullback/2-fibre product corresponding to $\phi:\mathcal{G}\...
0
votes
0answers
257 views

Differential rotations in Chebyshev net

A Chebyshev net obeying Sine-Gordon equation is drawn on a surface of constant negative Gauss curvature $K$ so that the asymptotic differential rhombic element corners lie on lines of maximum/minimum ...
5
votes
0answers
200 views

Geometric bang-bang theorem for nonlinear optimal control

The classical bang-bang theorem is usually stated for linear systems (e.g. Control Theory from the Geometric Viewpoint by Agrachev-Sachkov, p. 209). Sussman proved a nice generalization for systems ...
1
vote
0answers
41 views

Find wrapping angle of helix on a torus

I need some help in calculating the wrapping angle of a spiral helix wrapped on a torus with constant angle against all the meridians of the torus. The wrapping angle (or the angle measured around and/...
1
vote
1answer
110 views

Principal Symbol for the Ricci-DeTurck Flow

I am following some lecture notes on Ricci flow and reached the section where we linearize the Ricci tensor and obtain the principal symbol for the resulting operator. We have $T \in \: \Gamma(Sym^2 ...
2
votes
0answers
113 views

Taylor Expansion on a Riemannian Manifold in Normal Coordinates

Let $\phi: (M,g)\hookrightarrow (N,\tilde{g})$ be an isometric embedding of a Riemannian manifold $M$ of dimension $m$ into a Riemannian manifold $N$ of dimension $n$. I am interested in trying to do ...
0
votes
0answers
17 views

Find local coordinates of end points of a time varying line (w.r.t. two other objects) to minimize line-length variance

Line A'A rotates cyclically around point A' in a fixed time varying pattern and coordinates of the point A' are fixed (i.e. line A'A has only one degree of freedom). Line BB' can move along x-axis and ...
4
votes
1answer
226 views

Understanding the definition of $G$-gerbe

In Introduction to Differentiable Stacks Gregory Ginot defines a $G$-gerbe as the following. Let $G$ be a Lie group. A $G$-gerbe over a stack $\mathcal{C}$ is a gerbe over stack $\mathcal{D}\...
2
votes
1answer
93 views

$(M,g)$ is complete iff $(\tilde{M},\tilde{g})$ is complete (non-Riemannian version)

I'm not sure if this question is too low level for Math Overflow (so feel free to move this to SE if you think it is). Inspired by this and this question I'm wondering if the following statement is ...
9
votes
2answers
432 views

Lefschetz operator

Let $\omega=\sum_{i=1}^n dx_i\wedge dy_i\in\bigwedge^2(\mathbb{R}^{2n})^*$ be a standard symplectic form. The following result is due to Lefschetz: For $k\leq n$, the Lefschetz operator $L^{n-k}:...
0
votes
1answer
79 views

Requirement that source and target maps are surjective submersions

Definition I am aware of for Lie groupoid is that (among other things) the source and target maps $s,t:\mathcal{G}_1\rightarrow \mathcal{G}_0$ are submersions. On page 9 of Du Li's thesis Higher ...
2
votes
1answer
104 views

regularity of harmonic forms on manifolds-with-boundaries

Let $M$ be a smooth, bounded, oriented Riemannian manifold-with-boundary. Let $\alpha$ be a harmonic differential $p$-form on $M$, subject to the boundary condition $\alpha\wedge\nu^\sharp|\partial M =...
5
votes
1answer
138 views

harmonic coordinates on non-compact manifolds

Is it possible to show the existence of harmonic coordinates (e.g., on uniform-sized balls) on certain classes of non-compact Riemannian manifolds? For example, one may expect that such harmonic ...
3
votes
0answers
64 views

Diffeological spaces and Sikorski differential spaces

Diffeological spaces and Sikorski differential spaces are each a generalisation of a smooth manifold. In their definitions, both have locality and smooth compatibility conditions. Any diffeological ...
4
votes
1answer
486 views

Affine space structure on the space of Hermitian connections

I'm reading Gauduchon's paper Hermitian connections and Dirac operators. For a fixed almost-Hermitian manifold $(M, g, J)$ let $\mathcal A(g, J)$ be the space of connections $\nabla$ s.t. $\nabla g = ...
2
votes
1answer
90 views

Holonomy of a Warped Product Metric

A warped product metric on the "cone" $\tilde{M} = \mathbb{R}^{+} \times M$ is $\tilde{g} =dr^2 + r^2g_M$ where $g_M$ is the metric on $M$. If we know the holonomy group of the manifold $(M,g_M)$, ...
1
vote
2answers
142 views

Is there a notion of a connection for which the horizontal lift of a curve depends on its orientation?

Given a fiber bundle $\pi:E\to M$, a curve $\gamma:[0,1]\to M$, and a point $p \in \pi^{-1}(\gamma(0))$, a connection on the bundle allows us to uniquely lift $\gamma$ to a horizontal curve in E ...
1
vote
0answers
27 views

Subspace of smooth Foliations inside smooth Distributions - Is it a Frechet submanifold or atleast a Retraction?

Assume M is a closed manifold. Does the set of smooth foliations on M form a Frechet submanifold inside the Frechet manifold consisting of smooth distributions? If not, can the set of smooth ...
2
votes
1answer
93 views

Increasing union of embedded submanifold is immersed manifold

While working on the proof of the stable manifold theorem, I came across a problem that I'm not able to really grasp. Given some Anosov map $f: M \to M$ on a compact Riemann manifold $M$, one can ...
2
votes
0answers
37 views

Metrically homogeneous spaces as inverse limits

Let $(X,d)$ be a locally compact, separable, connected and $\sigma$-compact metric space such that the group of isometries $G$ acts transitively on $X$. The question is the following: Is $X$ ...
5
votes
2answers
463 views

Differential forms as a sheaf on the site of all manifolds vs. sheaf on an individual manifold

The de Rham complex can be viewed as a sheaf $\Omega$ on the entire site $\mathsf{Man}$ of smooth manifolds via the usual pullback of differential forms $(f: M \to N) \mapsto (f^*: \Omega(N) \to \...
14
votes
3answers
1k views

Using Stokes' theorem to define “area” enclosed by a curve

I am trying to figure out what the next calculation of the "area" (or "volume" in higher dimensional analogues) using Stokes' theorem really means. Here is my thought process: $2$-dimensional case: ...
7
votes
1answer
218 views

Bieberbach theorem for compact, flat Riemannian orbifolds

In his thesis, Bieberbach solved Hilbert 18 problem and proved that any compact, flat Riemannian manifold is a quotient of a torus. I need a reference to an orbifold version of this result: any ...
10
votes
2answers
679 views

Analytical formula for topological degree

At the first page of the following article http://arxiv.org/pdf/1004.1018v1.pdf [edit: the formula on the arXiv differs from the formula in the published paper, and the formula displayed below is the ...
9
votes
2answers
1k views

Asymptotic comparison of $L^2$ sections versus generating sections

Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$. For $m$ large, let $\{e_1,\...
1
vote
0answers
32 views

foliations of a manifold [duplicate]

Let $M$ be an $n$-dimensional open manifold. We assume that there are two compact sets $K_1$ and $K_2$ of $M$ such that $M\backslash K_1$ is diffeomorphic to $N_1 \times (0,1)$ and $M\backslash K_2$ ...
4
votes
0answers
68 views

$T\bar{T}$ deformation: Stress-energy momentum tensor deformed in CFT and in QFT for various $d$-dimensions

The $T\bar{T}$ deformation is based on the original work of Zamolochikov [1] explored deformations of two-dimensional conformal field theories (CFT) by an operator that is quadratic in the stress-...
5
votes
2answers
191 views

Convexity in co-ordinate charts of geodesic balls

Let $g_{ij}$ be a Riemannian metric tensor on an open subset $U\subseteq \mathbb{R}^n$, and let $p\in U$. I would guess the following is true: for $\epsilon$ sufficiently small, the $g$-geodesic ...
8
votes
1answer
216 views

Isometry group of low dimensional Alexandrov space

It is known by the work of Galaz-García and Guijarro, that the dimension of the isometry group of an $n$-dimensional Alexandrov space (of curvature bounded below) is bounded above by $\frac{n(n+1)}{2}$...
2
votes
0answers
54 views

Vector bundle endomorphism diffeomorphism invariant?

Let's say we have a vector bundle $V$ on a compact Riemannian manifold $M$ (of dimension $m$, with metric $g$). Given a differential operator $P$, acting on the sections of $V$, of the form: $$P = \...
3
votes
0answers
91 views

Foliated vector bundle and basic connection

Let $(M,F)$ be a Riemannian foliation, i.e. there is a metric of $TM$ such that $g$ is bundle-like (locally $g_Q=g_{ij}(y)\,dy^i\otimes dy^j$ for a foliated chart $(x,y)$ and $Q=TM/F\cong F^\perp$). ...
4
votes
0answers
269 views

Homogeneous Riemann Surfaces

A Riemann surface $X$ is a connected complex manifold of complex dimension one. A homogeneous space is a manifold with a transitive smooth action of a Lie group. I guess there must be a classification ...
4
votes
0answers
44 views

Compact, incomplete semi-Riemannian manifold of constant curvature

In the Riemannian setting, Hopf-Rinow tells us that any compact Riemannian manifold is complete. The Clifton-Pohl torus gives a counter example for indefinite metrics. However, in the Lorentz setting,...
11
votes
3answers
436 views

On the positive isotropic curvature in higher dimensions

Is it true that any simply connected compact $n$-dimensional Riemannian manifold with positive isotropic curvature is diffeomorphic to the standard sphere $S^n$? I know that it is true for the case $n=...
24
votes
4answers
2k views

Rolling without slipping interpretation of torsion

This is, in a sense, a follow up to this question. Hehl and Obukhov try to give an intuitive description of torsion. I am confused about their description. I am looking at the following paragraph on ...
15
votes
1answer
280 views

Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?

Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
4
votes
2answers
2k views

An introduction paper or book to Spectral Flow

Is there someone can tell me some papers or books about the basic material of Spectral flow? I want to know, what is spectral flow and how to use it to geometry.
3
votes
0answers
123 views

Holomorphic version of Darboux's theorem

I would like to ask if there is a holomorphic version of Darboux's theorem. More concretely, given a holomorphic symplectic manifold $(X, \omega)$ is there a local holomorphic symplectomorphism from $(...
5
votes
1answer
208 views

Is every basis for $\bigwedge^kV$ satisfying a “complementary” property a rescaling of a “standard” basis?

This is a cross-post. Let $V$ be a $4$-dimensional real vector space. Let $\omega_{i_1,i_2}$ be a basis for $\bigwedge^2V$, where each $\omega_{i_1,i_2}$ is decomposable. Suppose that for every $\...
2
votes
1answer
91 views

The relationship about sub-unit ball and sub-elliptic ball

Let $\Omega$ be a bounded open domain in $\mathbb{R}^{n}$ with smooth boundary.$\{X_{1},\cdots,X_{m}\}$ be smooth real vector fields on $\Omega$ Which satisfy the Hormander condition. If $\gamma$ is ...