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.

3
votes
1answer
135 views

Is there a theorem showing that de Rham homology is isomorphic to singular homology?

The only exposition of de Rham homology I've found is an appendix to Uranga and Ibanezs book on String Phenomenology. It was brief and gave only basic outline of how to construct this homology. Now ...
1
vote
0answers
21 views

Holomorphic Poisson structures on $C P^{n-1}$ and homogeneous Poisson structures on $C^n$

Is it correct that any holomorphic Poisson structure on $C P^{n-1}$ can be lifted to a homogeneous Poisson structure on $C^n$? By homogeneous I mean a quadratic Poisson structure of the form $\{z_i,...
7
votes
0answers
63 views

A geometrical problem in terms of a convex function

I wish to know whether the following problem has ever been investigated. Let $D$ be a convex domain in ${\mathbb R}^d$, with smooth boundary $\partial D$. Let $\vec V:\partial D\rightarrow{\mathbb R}^...
3
votes
0answers
82 views

Examples of incomplete Lorentz 3-manifolds

Reading this paper where closed 3-dim. Lorentz manifolds with noncompact isometry groups are studied, I wonder if all of them are geodesically complete. One class of 3-dim. closed Lorentz manifolds ...
2
votes
1answer
81 views

Local Sobolev embedding on complete Riemannian manifold

Let $(M,g)$ be a complete Riemannian $m$-manifold, with bounded geometry and $m\geq2$. Suppose $Ric\geq(n-1)\kappa$. Let $B_p(r)$ be a geodesic open ball. Q Can we find a constant $C=C(\kappa,r,m)$(...
10
votes
0answers
120 views

Analogy between BV formalism and integration by residues

Domenico Fiorenza begins his description of the Batalin–Vilkovisky formalism by pointing out an analogy with integration by residues: Take a top form (density) on $\mathbf R$ resp. space of fields; ...
21
votes
15answers
3k views

Geodesics on the sphere

In a few days I will be giving a talk to (smart) high-school students on a topic which includes a brief overview on the notions of curvature and of gedesic lines. As an example, I will discuss flight ...
2
votes
0answers
70 views

Central extension gives a gerbe over stack

Consider a central extension of Lie groups $1\rightarrow S^1\rightarrow \hat{G}\xrightarrow{\pi} G\rightarrow 1$. I understand that this mean $\pi:\hat{G}\rightarrow G$ is a surjective homomorphism ...
5
votes
1answer
219 views

Do non-continuous Sobolev maps pull back closed forms to weakly closed forms?

$\newcommand{\R}{\mathbb R}$ $\newcommand{\N}{\mathbb N}$ $\newcommand{\de}{\delta}$ $\newcommand{\sig}{\sigma}$ $\newcommand{\Average}[1]{\left\langle#1\right\rangle} $ $\newcommand{\IP}[2]{\Average{...
1
vote
1answer
95 views

Poisson equation on noncompact manifold

Let $(M,g)$ be a complete non-compact manifold with bounded geometry, such that the Sobolev embeddings hold and $C^\infty_c$-functions are dense in $L^p_k$ space. For the equation $$\Delta u=f,$$ ...
0
votes
0answers
50 views

Is conjugation by gauge transformation of $G$-bundle contained in $\mathfrak{g}$?

The following question arises from Part II, Exercise 86 of Gauge fields, knots, and gravity by Baez and Muniain. Let $M$ be a smooth manifold, let $G$ be a Lie group, and let $\pi\colon E\to M$ be a $...
2
votes
1answer
72 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 ...
1
vote
0answers
55 views

$C^1$-foliation are absolutely continuous

Brin & Stuck defined in Introduction to dynamical system two notions: That of a absolutely continuous foliation : given any foliated chart $U$ on some Riemannian manifold $M$ (with foliation $W$),...
3
votes
0answers
103 views

About Minkowski's problem

Let $f$ be a positive function over the unit sphere $S^{d-1}$. Minkowski's problem is to find a convex body $K$ in ${\mathbb R}^d$, whose Gauss curvature is prescribed as a function of the normal ...
2
votes
1answer
180 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}\...
13
votes
1answer
281 views

Projective-invariant differential operator

This question was originally asked on Math StackExchange. Suppose we want a differential operator $T$ acting on functions $\mathbb{R}^n \rightarrow \mathbb{R}^n$ such that \begin{align*} &T(g) = ...
0
votes
0answers
37 views

Dirichlet problem and schauder estimate for manifolds

Let $M$ be an n dimensional Riemannian manifold without boundary. Let $U\subset M$ be a bounded domain with smooth boundary. Let $f \in C^{\alpha}(U)$, $g\in C^{2,\alpha}(\partial U)$. Consider the ...
6
votes
0answers
108 views

Moduli space of flat connections of Lie group over a 2-torus

We know that the moduli space of SU($N$) flat connections over a torus, is equivalent to a complex projective space $\mathbb{P}^{N-1}$ Namely, $$ M_{\rm flat}=\mathbb{E} / {S}_N = \mathbb{P}^{N-1} $$ ...
5
votes
0answers
64 views

Gradient flows on Hilbert manifolds

I would like to know if gradient flows of Morse-Bott functions on a Riemannian manifold always converge towards a unique critical point, provided that the flow line is bounded. To be more precise, a ...
6
votes
1answer
100 views

Normal coordinates for isotropic submanifolds

Let $(M,\omega)$ be a symplectic manifold and $N$ an isotropic submanifold. For a point $p\in N$, can we always find coordinates $(x_1,\ldots,x_n,y_1,\ldots,y_n)$ in a neighbourhood $U$ of $p$ such ...
0
votes
0answers
83 views

Intrinsic Reach for a Riemannian manifold

The reach of a set $X\subseteq \mathbb{R}^d$ is the supremum of all $r \geq 0$ such that for all $y\in X^c$ with $dist(y,X)<r$ there is a unique $x\in X$ with $dist(y,x)= dist(y,X)$. My question: ...
3
votes
1answer
142 views

Hodge theory, conformal manifolds and Fredholm modules-understanding the proof of one Lemma

I would like to understand the proof of Lemma 1, page 339 in this book. Very briefly, the context is as follows: we have even dimensional oriented conformal manifold with the Hodge star operator ...
0
votes
0answers
39 views

What is the meaning and role of global hyperbolicity condition for semi-Riemannian manifolds

What is the heuristic meaning of the global hyperbolicity condition for semi-Riemannian manifolds? Also what is the role of this condition in the study of geodesic connectedness?
2
votes
0answers
88 views

(Singular) metric associated to the higher cohomology

Suppose $X$ is a smooth complex variety and $L$ is a line bundle with a metric $h_L$, then a section $s \in H^0(X, L)$ gives another metric $\tilde h_L:= e^{-\phi}h_L$ where $\phi=\log \|s\|^2_{h_L}$. ...
0
votes
0answers
83 views

(Semi-)Riemannian geometry for working PDE analysts

What is a good reference on (semi-)Riemannian geometry written for PDE analysts (that is, with main focus on analytical problems and approaches)? The closest thing I know to this, are two books by ...
0
votes
0answers
46 views
+50

Critical growth and geodesic connectedness in Lorentz manifold

What is the deep ("heuristic") reason why the quadratic growth of $\beta$ is critical for the study of geodesic connectedness in standard static Lorentz spacetime $\mathcal M = \mathcal M_0 \times \...
2
votes
0answers
133 views

Examples of certain compact Kaehler manifolds

A Kaehler manifold is a complex manifold which has a Kaehler metric and Ricci curvature tensor $R_{ij}$. The Ricci curvature tensor is a Hermitian matrix having real eigenvalues. My question is: Is ...
0
votes
0answers
31 views

Critical metric for an Hilbert action?

Suppose that $\omega$ is an 1-form on a Reimannain Manifold $(M,g)$ and $s$ is a $(0,2)$ symmetric tensor which be considered as $(1,1)$ symmetric tensor whenever it is convenient. If for all $s$ the ...
0
votes
1answer
82 views

Analytic approach to geodesic connectedness in Semi-Riemannian manifolds

Can you point out a reference (or references) that deal with analytical methods (rather than methods from differential geometry) for the study of geodesic connectedness on Semi-Riemannian manifolds?
5
votes
0answers
162 views

Holomorphic structures on vector bundles over $\mathbb C\mathbb P^2$

It is known that every (topological) complex rank $2$ vector bundle over $\mathbb C\mathbb P^2$ admits holomorphic structures. A proof can be found in the book of Okonek, Spindler, Schneider which is ...
0
votes
1answer
84 views

Fibered product of stacks comes from a Lie groupoid

Suppose $\mathcal{G},\mathcal{H}$ are Lie groupoids and $F:B\mathcal{G}\rightarrow B\mathcal{H}$ be a morphism of stacks. We can talk about the fibered product $B\mathcal{G}\times_{B\mathcal{H}}B\...
10
votes
1answer
383 views

Serre spectral sequence for de Rham cohomology

Suppose we a given a fibration of manifolds $p\colon E\to M$ with a path connected fiber $F$ and simply connected $M$, then we have the Serre spectral sequence with $$ E_2^{p,q} = H^p(M,\underline{H^...
5
votes
1answer
210 views

Conversion formula between “generalized” Stiefel-Whitney class of real vector bundles: O(n) and SO(n)

$O(n)$ is an extension of $\mathbb{Z}_2$ by $SO(n)$, $$1\to SO(n) \to O(n)\to \mathbb{Z}_2 \to 1.$$ Below we denote the Stiefel-Whitney class of real vector bundle $V_G$ of the group $G$ as: $$ w_j(...
0
votes
0answers
28 views

Geodesic connectedness in static Lorentz manifold vs connectedness by trajectories with potential in Riemann manifold

What is the relationship between the study of geodesic connectedness in a standard static Lorentz manifold and the connectedness of two points by trajectories with potential (i.e. solutions to $x''(t) ...
5
votes
1answer
114 views

Quantitative upper bound on mean curvature of an isometric embedding

By Nash embedding theorem, any complete Riemannian manifold $M$ can be isometrically embedded in $\mathbb{R}^N$, for sufficiently large $N$. The proof of the theorem is quite involved, and it is not ...
2
votes
0answers
142 views

Reference for a proof of a Theorem by Joseph Wolf

We know that Lie Groups are parallelizable, I was looking for a version of the converse and came across this: https://books.google.com/books?id=w4bhBwAAQBAJ&pg=PA115 in Introduction to Smooth ...
2
votes
1answer
82 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 =...
3
votes
0answers
121 views

Criterion for a sheaf $\mathfrak{S}^{op}\rightarrow (Set)$ to be representable

I am reading Differentiable stacks and gerbes by Kai Behrend and Ping Xu. Let $\mathfrak{S}$ denote the category of smooth manifolds and smooth maps. Consider Grothendieck topology given by open ...
7
votes
1answer
159 views

Differentials in Weil model for equivariant cohomology

Why should we define the differential in Weil model as follows? I could understand $\sum_{j,k} c_{jk}^i \theta_j \wedge \theta_k$ plays a role in the formula because it is the dual of the structure ...
0
votes
0answers
36 views

Surjectivity of Pseudo-Riemannian exponential map on geodesically complete manifolds

Suppose one has a geodesically complete pseudo-Riemannian manifold $M$ i.e. the exponential map is defined for all tangent vectors on the manifold. Can one make a sensible statement about whether (or ...
1
vote
0answers
89 views

Is a manifold $R^{+}\times X$ with metric $dt^{2}+t^{2}\rm{g}_{X}$ complete?

The cone $C(X)$ over a complete manifold $X$ is defined as $R^{+}\times X$ admits the metric $dt^{2}+t^{2}g_{X}$. The manifold $C(X)$ is conformal to $Cyl(X):=\{R^{+}\times X, dt^{2}+g_{X})$. ...
3
votes
0answers
74 views

Jacobian of the action of a matrix on a Grassmannian

I'm looking for a reference concerning a calculation found in Furstenberg's 1963 paper "Non-commuting random products". Lemma 8.8 of this paper states that if one takes a $d\times d$ invertible real ...
6
votes
0answers
85 views

Adjoint of the Hodge de Rham star operator under the integral pairing

Given a Riemannian manifold $(M, g)$ of dimension $n$, the Hodge star operator $\star: \Omega^k(M) \to \Omega^{n-k}(M)$ is defined. What is the (formal) adjoint of $\star$ under the integration ...
0
votes
0answers
144 views

deformations of Lie algebroids

In the paper "Deformations of Lie brackets"- by I. Moerdijk and M. Crainic, they define deformations of a Lie algebroid as follows: Let $A$ be a fixed vector bundle, and $I\subset \mathbb{R}$ and ...
5
votes
0answers
157 views

Complex Riemannian metrics over real manifolds

There is a huge literature on complex manifolds and natural metrics over them, but I was unable to find references about Riemannian complex metric on real manifolds (for which we complexify tangent ...
1
vote
0answers
39 views

Curvature of projection function onto a smooth curve

Suppose we have a smooth curve $C$ lying in $\mathbb{R}^2$, and let us consider the orthogonal projection function $P_C(x)$ onto the curve, described by $$P_C(x) = argmin_{y \in C} \Vert x - y \Vert$$...
1
vote
0answers
102 views

Chern class cohomology coefficients complex/real/integral? [migrated]

I am reading Chern classes from Kobayashi and Nomizu. Given a vector bundle $\pi:E\rightarrow M$ with fibre $\mathbb{C}^r$ and Group $GL(r,\mathbb{C})$ they associate for each $k\leq r$ a cohomology ...
1
vote
1answer
132 views

determinant of curvature (notation issue)

This is when studying about Chern classes from Kobayashi and Nomizu. Let $\pi:E\rightarrow M$ be a complex vector bundle with fibre $\mathbb{C}^r$ and Group $G=GL(r,\mathbb{C})$. Let $p:P\rightarrow ...
3
votes
0answers
62 views

Some questions on defining the analytic index

The questions I have are about the definition of the analytic index of a family of self-adjoint Fredholm operators parameterized by a compact space $B$ (say a closed manifold). Actually, the ...
1
vote
0answers
63 views

Module of Kahler differentials for manifolds [duplicate]

Let $A$ be a $k$-algebra and let $\mathcal{M}_A$ be the set of all $A$-modules. In $\mathcal{M}_A$, there exists a universal object $\Omega_{A/k}$, called the module of Kahler differentials, and a $k$...