Questions tagged [dg.differential-geometry]

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

Filter by
Sorted by
Tagged with
2 votes
0 answers
373 views

Parallel transport on a vector bundle : expansion of the correspondance between normal and tubular coordinates

Let $(M, g^{TM})$ be a Riemannian manifold of dimension $n$. Let $X \subset M$ be a submanifold of dimension $n$ with boundary $\partial X$. Then we have a splitting of the tangent bundle $$TM \vert_{\...
hseldon39's user avatar
17 votes
1 answer
2k views

Does anyone recognize this condition on a Riemannian metric on a vector space?

In the course of studying some oscillatory integral problems, the following strange condition came up. Let $V$ be a finite-dimensional real vector space. Let us say that a smooth Riemannian metric $...
Terry Tao's user avatar
  • 108k
2 votes
0 answers
93 views

Poincare inequality on the hemisphere

Background: Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
Student's user avatar
  • 601
1 vote
1 answer
419 views

Vector bundles on $\mathbb{P}^1$

I am considering an alternative proof of Grothendieck's classification of vector bundles on $\mathbb{P}^1$. Given a vector bundle $E$ on $\mathbb{P}^1$ one can associate a graded module $\Gamma(E)$ ...
Sidana's user avatar
  • 21
1 vote
0 answers
77 views

Instantaneous rotation field in relation to a developable surface

I have a ruled surface, let it be given by $\Sigma: U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ parametrized by $(u,v)$ with the rulings along the $u$-lines. Now, let $X: U \subset \mathbb{R}^2 \...
RWien's user avatar
  • 193
3 votes
1 answer
98 views

Fréchet-valued symbols

Denote by $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n \right)$ the usual space of symbols. Now let $E$ be a Fréchet Space. We can then define $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n; E \right)$...
Ervin's user avatar
  • 393
7 votes
1 answer
807 views

Why is the length spectrum called a spectrum?

Given a hyperbolic surface $X$, one considers the multiset of lengths of closed primitive geodesics. This multiset is called the length spectrum $\mathcal{L}(X)$. Question: is $\mathcal{L}(X)$ a ...
Andrey Ryabichev's user avatar
6 votes
1 answer
297 views

How are coordinate charts constructed in noncommutative geometry?

In noncommutative geometry, one is given a triple $(A,D,H)$, where $A$ is a commutative C* algebra, $H$ is a Hilbert space, and $D$ is an operator. There is a somewhat long list of conditions that ...
0x11111's user avatar
  • 473
1 vote
0 answers
86 views

Stable equivalence and stability theorem of vector bundles

I am going through this paper by Tanaka. In the proof of Proposition 3.2(1) given below The author says that by the stability theorem as $\dim (B)\le m$ we have $\alpha\oplus1\cong m\oplus1$. But I ...
Devendra Singh Rana's user avatar
2 votes
0 answers
105 views

Asymptotics on the number of diffeomorphism classes in the Cheeger finiteness theorem

A result of Cheeger says that, given any even dimension and any $\delta > 0$, there are only a finite number of diffeomorphism types of compact simply-connected manifolds of that dimension which ...
macbeth's user avatar
  • 3,182
2 votes
0 answers
138 views

Quasimode construction on a compact Riemannian manifold

Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
kobeahibe's user avatar
7 votes
1 answer
176 views

Connection of principal fiber bundles — history

I wonder who was the first to discover the notion of principal fiber bundle and its connection (gauge field in the physical language). Wikipedia cites the book by Steenrod (1951). But was he the ...
Andrei Smilga's user avatar
3 votes
1 answer
306 views

What is known about the "stickiness" of a smooth manifold to its tangent space?

Consider an $m$-dimensional smooth manifold $M$ embedded in $n$-dimensional real Euclidean space $\mathbb{R}^n$ ($n>m$). Consider a point $x \in M$ of the manifold, and for simplicity, choose the ...
Smooth M's user avatar
7 votes
2 answers
332 views

Elliptic regularity on manifolds: Is this true?

Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
B.Hueber's user avatar
  • 987
1 vote
1 answer
208 views

Submersion of real projective space into Euclidean space

The famous Whitney immersion theorem states that any real projective space $\mathbb{RP}^n$ can be immersed into $\mathbb{R}^{2n}$. However, I haven't found information about the submersion ...
GHG's user avatar
  • 173
4 votes
0 answers
102 views

Identify the universal centralizer of $G$ as moduli space of 'flat connections' on lagrangians in cotangent bundle of $G^{\vee}$

Note that $\mathbb{C}^*$ can be interpreted as the space of flat $\mathbb{C}^*$-connections on the dual of $\mathbb{C}^*$. Our goal is to find a similar construction for $\mathbb{C}$, particularly in ...
Yunsong WEI's user avatar
0 votes
0 answers
93 views

Equivalence of two definitions of the $\hat{A}$-genus form

Let $E$ be a real vector bundle and $\nabla$ a covariant derivative with curvature of $F$. On page 51 of Heat Kernels and Dirac Operators it is claimed that "using the formula $\det A = \exp\...
Filippo's user avatar
  • 329
5 votes
0 answers
106 views

Does the forgetful functor from Lie algebroids to vector bundles have a right adjoint

Let $\mathcal{S}$ be an appropriate category of smooth spaces, and let $\mathrm{Vect} \colon \mathcal{S}^\mathrm{op} \to \mathsf{Cat}$ be the functor sending a space to the category of vector bundles ...
cheshircat's user avatar
1 vote
1 answer
81 views

How to interpret the vector fields $F_p(x,u,Du)$ in a Lagrangian optimization problem

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $C^1$ boundary. Let $$ \begin{matrix} F: \mathbb{R}^n \times \mathbb{R}^N \times \mathbb{R}^{nN} \to \mathbb{R},& \\ (x,z,p) \mapsto F(...
maxematician's user avatar
2 votes
0 answers
157 views

Classification of bundles with fixed total space

I am aware of classification theorems for principal bundles, vector bundles, and covering spaces $\pi:E\to B$ over a fixed base space $B$. Principal and vector bundles over $B$ are classified by ...
Matthew Kvalheim's user avatar
0 votes
0 answers
81 views

A question about associated operator on continuous functions space equiped with L2 norm

$$\text{For M a connected compact manifold, T is in }C^{1+\nu}(M,M) \text{ with } \nu\in(0,1),\\ \text{i.e. DT is some Hölder continuous function with Hölder exponent }\\ \text{, Denote m as the ...
WaoaoaoTTTT's user avatar
1 vote
1 answer
93 views

Is the heat kernel of a manifold $p$-integrable?

If $M$ is a separable, oriented Riemannian manifold, without any other assumption on its geometry, and $h$ is its heat kernel, it is known that $h(t,x,\cdot)$ is both integrable, and square-integrable ...
Alex M.'s user avatar
  • 5,197
1 vote
2 answers
190 views

A triangle comparison in CAT(0) spaces

Let $pxy$ be a triangle in a CAT(0) space $X$, and $p' x' y'$ be a triangle in $\mathbf{R}^2$ such that the lengths $|px|=|p'x'|$, $|py|=|p'y'|$ and the angle $\angle(xpy)=\angle(x'p'y')$. Let $z\in ...
Mohammad Ghomi's user avatar
2 votes
0 answers
49 views

Equivalence class of parametrized surfaces which induce the same current

Suppose $M$ is a smooth manifold of dimension $n \geq 2$. A $k$-current is a linear functional on compactly supported smooth forms on $M$, denoted $T: \Omega^k_c(M) \to \mathbb{R}$. Let $X: [0,1]^2 \...
dlee's user avatar
  • 21
0 votes
1 answer
72 views

Same occupation measure $\Rightarrow$ same trajectory

Let $f$ be a $\mathcal{C}^1$ vector field (VF) on a compact subset $M \subset \mathbb{R}^n$. $M$ inherits the Euclidean metric. We define a dynamical system by $$\dot{x}(t)=f(x(t))$$ The occupation ...
NicAG's user avatar
  • 247
4 votes
0 answers
130 views

Parallel transport of global sections and Riemannian curvature

A, perhaps, naive question from an algebraist/combinatorialist teaching differential geometry. Originally asked on math.SE but didn't receive a single comment in 3 days. Consider a (real) smooth ...
Igor Makhlin's user avatar
  • 3,493
6 votes
1 answer
341 views

Is the gradient of a strictly convex, continuously differentiable function a homeomorphism?

Let $X\subseteq\mathbb{R}^n$ be a convex set. Let $f:X\to\mathbb{R}$ be a strictly convex function that is differentiable on the (non-empty) relative interior of $X$. $\nabla f$ is a bijection, but is ...
rick's user avatar
  • 121
1 vote
0 answers
78 views

Measurability of the union of cut loci along a curve

Let $(M,g)$ be a Riemannian symmetric space and $\alpha(s)$ be a geodesic. Define $$ U(t)=\cup_{s\in[0,t]}{\rm Cut}(\alpha(s)) $$ as the union of the cut loci ${\rm Cut}(\alpha(s))$ along the curve $\...
Hengchao Chen's user avatar
4 votes
1 answer
128 views

Characterization of convexity by connectedness of hyperplane sections

Let $S$ be a smooth closed connected embedded hypersurface in $\mathbb R^n$. Is it true that $S$ is convex, i.e. is a boundary of a convex set, if and only if any section of $S$ by a hyperplane is ...
Dmitrii Korshunov's user avatar
5 votes
2 answers
473 views

How to learn intrinsic torsion

I want to learn about G-structure and intrinsic torsion. But I can find no textbook that details it. If you can give me a reference about it, it would be much appreciated.
mfdmfd's user avatar
  • 59
2 votes
0 answers
81 views

Question on Cauchy problem on manifolds

Let $(M,g)$ be a globally-hyperbolic manifold, i.e. $M=\mathbb{R}\times\Sigma$ and $g=-\beta^2 \, dt^2+h_{t}$. Furthermore, let $E$ be a vector bundle over $M$ and $\square$ a normally-hyperbolic ...
B.Hueber's user avatar
  • 987
9 votes
1 answer
322 views

Disintegration measures and differential forms

Let $X$ and $Y$ be smooth oriented manifolds of dimension $m$ and $n$, and let $f\colon X\to Y$ a proper smooth map. There is a theorem called the "Disintegration Theorem" which says ...
Ben Webster's user avatar
  • 43.9k
0 votes
0 answers
111 views

Is any singularity a subgerm of $(\mathbb{C}^n, 0)$?

I am studying singularity theory. I have often come across, in the literature, the sentence which says "let $(X,0) \subset (\mathbb{C}^n,0)$ be a singularity". Here a singularity is a ...
Math1016's user avatar
  • 369
3 votes
2 answers
141 views

Affine structure on the circle whose atlas consists of homeomorphisms onto $\mathbb{R}$

Let $S^1$ be the unit circle in the complex plane. An atlas on $S^1$ is a finite collection $\alpha = \{ (U_i, \phi_i)\}_{i=1,\ldots,n}$ of pairs, where $U_i$ is an open subset of $S^1$ and $\phi:U_i\...
Sergiy Maksymenko's user avatar
2 votes
1 answer
150 views

Osculating sphere at point of maximal curvature lies to one side

I'm looking for the higher dimensional version of this post, which says that given a curve $\gamma \subseteq \mathbb{R}^2$, the osculating circle will lie to one side of the curve at points of maximal ...
JMK's user avatar
  • 301
2 votes
0 answers
166 views

Nonlinear Poisson brackets associated with nilpotent (matrix) Lie algebras?

With every finite-dimensional Lie algebra $\mathfrak{g}$ one can associate a linear Poisson bracket on $\mathfrak{g}^\ast$. With some more restrictions on $\mathfrak{g}$ and some extra ingredients, ...
Ricardo Buring's user avatar
1 vote
0 answers
63 views

Looking for examples of 3rd-order contact transformations

In the Herglotz Lectures on Contact Transformations and Hamiltonian Systems, after going through contact transformations of the form $X=X(x,y,p)$, $Y=Y(x,y,p)$, $P=P(x,y,p)$ it is stated: As a final ...
Eli Bartlett's user avatar
1 vote
0 answers
55 views

Complex geodesic coordinate, local ramified map, and the conic metric

Remark: I have asked this question in MSE, however, I got no responses. This is the reason I come to ask here. I am looking forward to some advices. Thanks in advance Let $X$ be a compact Kaehler ...
Invariance's user avatar
3 votes
0 answers
99 views

Request for non-Einstein positive constant scalar curvature Kähler surfaces

I am curious about concrete examples of compact cscK manifolds in complex dimension two, in particular cscK surfaces with positive scalar curvature. There are of course the Fano (del Pezzo) Kähler-...
Garrett Brown's user avatar
1 vote
1 answer
147 views

Differentiability of an integral of geodesic distance

Let $(M,g)$ be an $m$-dimensional Riemannian symmetric space and $d(\cdot,\cdot)$ be the geodesic distance function. Fix any $\alpha\in M$ and $v\in T_\alpha M$ with $\|v\|=1$. Q1: Define $$ g(t)=\...
Hengchao Chen's user avatar
1 vote
0 answers
95 views

How causal is a strongly causal purely electric spacetime?

Take a generic Lorentzian spacetime $(M, g)$ where $M$ is a time-oriented 4d manifold and $g$ is the Lorentzian metric that is strongly causal and purely electric. According to this answer: Is every ...
Bastam Tajik's user avatar
7 votes
0 answers
180 views

Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?

Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...
Ben Webster's user avatar
  • 43.9k
5 votes
1 answer
216 views

Clarifying a result of Klingenberg

I am looking for some clarification on a result of Klingenberg. For context, I have a complete Riemannian manifold for which I would like to compute a lower bound on the injectivity radius at each ...
E G's user avatar
  • 153
3 votes
0 answers
159 views

$L^{p}$ estimate for $\Delta|\nabla u|$ on a manifold with bounded Ricci curvature

This is a more advanced question than Estimates of $\Delta|\nabla u|$ for harmonic function $u$ . The Bochner formula and refined Kato inequality tells us that on a Riemannian manifold $(M^{n},g)$, if ...
Xin Qian's user avatar
  • 125
4 votes
0 answers
90 views

Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$

In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
Juno Kim's user avatar
7 votes
1 answer
298 views

Estimates of $\Delta|\nabla u|$ for harmonic function $u$

The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$, $$ \frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
Xin Qian's user avatar
  • 125
3 votes
3 answers
451 views

Difference in length of two dimensional concentric closed paths

Two bicyclists ride side by side around a smooth loop with the outside bicyclist a distance of $D$ from the inside bicyclist. How much further does the outside bicyclist ride? If the loop is a circle, ...
Terry Wagner's user avatar
1 vote
0 answers
78 views

Can the volume of a neighborhood of the cut locus be arbitrarily small?

Let $(M^n,g)$ be a complete, $n$-dimensional Riemanian manifold without boundary, maybe non-compact. Let $p\in M$ be a point, and $C_p$ the cut locus. It's known that $C_p$ has Hausdorff dimension $\...
mathmetricgeometry's user avatar
0 votes
0 answers
88 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?
Zoltan Fleishman's user avatar
1 vote
1 answer
72 views

When is the real Abel-Jacobi-Albanese map injective?

$ \def\tMA{\tilde{M}_a} \def\tomega{\tilde{\omega}} \def\tx{{\tilde{x}}} \def\tzeta{\tilde{\zeta}} \def\T{{\mathbb T}} \def\R{{\mathbb R}} \def\Z{{\mathbb Z}} \def\raw{\rightarrow} $ I want to work ...
Philip Boyland's user avatar