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

learn more… | top users | synonyms (1)

1
vote
0answers
76 views

Structure of the zero set of analytic maps (Lojasiewicz’s Structure Theorem for Varieties)

The Lojasiewicz’s Structure Theorem for Varieties states that for $\Phi:\mathbb{R}^n\rightarrow \mathbb{R}$ real analytic with $\Phi(0)=0$ the set $\Phi^{-1}(0)$ is locally a union of subvarieties of ...
1
vote
0answers
96 views

Computing the Frenet-Serret trihedron in $\Bbb L^3$ (Lorentz-Minkowski space)

Consider $\Bbb L^3 = (\Bbb R^3, \langle , \rangle)$, with the convention $$\langle (x_1,y_1,z_1), (x_2,y_2,z_2)\rangle = x_1x_2+y_1y_2 - z_1z_2$$ and $\| v \| = \sqrt{|\langle v, v \rangle|}$. Let ...
2
votes
1answer
198 views

What is the difference between $\delta W^{\pm}=0$ and Einstein?

Maybe this is a vague question. In Besse's book Einstein manifolds, $\delta W^{\pm}=0$ is considered as a generalization of Einstein metrics on four-manifolds. I was wondering what is the difference ...
2
votes
2answers
233 views

Schwarzian derivative of a diffeomorphism is zero iff Linear-fractionals?

I have found the following derivation of the Schwarzian derivatives in the book of Ovsienko and Tabachnikov: For a diffeomorphism $\gamma$ which acts on 4 points $t_1,t_2,t_3,t_4 \in \mathbb{RP}_1$, ...
0
votes
0answers
85 views

Does diff$(M)$ act transitively on the set of integrable $G$-structures?

Let $M$ be a compact manifold and diff$(M)$ its diffeomorphism group. Let $G$ be a Lie subgroup of $GL(n,\mathbb{R})$. In general, the topology of a manifold may prevent it from having an integrable ...
9
votes
1answer
241 views

Decomposition of $\mathrm{O}(n)$-modules coming from differential geometry

Let $V$ be a $n$-dimensional real vector space equipped with a positively definite scalar product $g$ and let $\mathrm{O}(n)$ be the automorphism group of $(V,g)$. View $V^{\otimes k}$ as a ...
2
votes
1answer
196 views

The stability of vector bundle with trivial Chern classes is independent of ample divisor, a direct proof?

Let $X$ be a smooth projective variety over $\mathbb{C}$. For an ample divisor H, we can define the slop of vector bundle with respect to $H$, then we can define stablilty of vector bundle with ...
4
votes
1answer
177 views

Analytic representatives for Kahler classes

If we are given compact complex manifold $X$ and a Kahler class $[\omega]$, can we always find a positive definite representative $\omega \in [\omega]$ that is real analytic?
0
votes
1answer
146 views

Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form $$|u(t)|_{L^p} \leq ...
1
vote
1answer
173 views

Universal bundles: construction of the map associated to a group homomorphism

For a Lie group $G$ let $EG \to BG$ denote the universal bundle. A Lie group homomorphism $\rho: G \to H$ determines a map $B \rho: BG \to BH$ as the classifying map for the principal $H$-bundle $EG ...
2
votes
1answer
86 views

Projectively flat Hermitian curvature proportional to Kähler form?

Is there a classification of the holomorphic Hermitian vector bundles $\pi:E\rightarrow M$, over a given complex Hermitian manifold, which are projectively flat and the curvature is proportional to ...
5
votes
1answer
264 views

A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric. Fix an arbitrary point $p\in X$. Let ...
1
vote
1answer
201 views

Computation with the Legendre Transform

Let $M$ be a manifold and fix a Lagrangian $L\in C^\infty(T M )$. Let $x_1,\dots x_n$ be local coordinates for $M$ and equip the tangent bundle and cotangent bundle with standard coordinates ...
1
vote
0answers
202 views

The integral of torsion

I found the following * exercise(exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
6
votes
1answer
102 views

Integrating representations of Lie algebroids

If $A \to M$ is a Lie algebroid over a smooth manifold $M$ then a representation of $A$ is a vector bundle $E \to M$ with a flat $A$-connection $$ \nabla : \Gamma(E) \to \Gamma(E\otimes A^*). $$ If ...
12
votes
1answer
238 views

Analog of Newlander–Nirenberg theorem for real analytic manifolds

It is well known that one can specify a complex structure on a real $C^\infty$ manifold in two equivalent ways: an atlas with holomorphic transition functions between charts and an integrable almost ...
5
votes
1answer
125 views

Curvature and Failure to return to starting point

Assume I have a geodesic polygon $P$ in a Riemannian manifold $M$ that is given by the image of a piecewise geodesic closed curve $\gamma(t)$ (parametrized by arclength), with vertices $x_i = ...
7
votes
0answers
94 views

Bundles over Function Spaces

Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable ...
4
votes
3answers
240 views

Is the group of isometries of a homogeneous Riemannian manifold maximal?

I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that: Iso is a proper subgroup of ...
2
votes
0answers
106 views

Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...
11
votes
3answers
525 views

Is there a “unique” homogeneous contact structure on odd-dimensional spheres?

Let $S^{2n-1}\subset\mathbb{C}^{n}$, and denote by $\langle\,\cdot\,,\,\cdot\,\rangle$ the Hermitian product. Then $$ \mathcal{C}_p:=\{\xi\in T_pS^{2n-1}\mid\langle p,\xi\rangle=0\},\quad p\in ...
6
votes
1answer
259 views

Equivalence of exterior forms

Let us start with the following definition. Let $1\leqslant k\leqslant n$ and let $\omega_1,\omega_2\in\Lambda^k(\mathbb{R}^n)$. We say that $\omega_1$, $\omega_2$ are equivalent, if there exists ...
0
votes
0answers
111 views

Gromov-Floer compactness for C^0 convergence of complex structure/ C^1 convergence of Hamiltonian

Let $M$ be a compact symplectic manifold, $J$ a possibly surface dependent complex structure, and $H$ a Hamiltonian on $M$. I am interested in a variant of Gromov-Floer convergence for solutions of ...
5
votes
2answers
190 views

Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
7
votes
1answer
150 views

When are quotients of the diffeomorphism group Fréchet manifolds?

Let $M$ be a compact manifold and $\text{diff}(M)$ its diffeomorphism group. Various quotients of $\text{diff}(M)$ appear in the literature, oftentimes with geometric significance. A well-known ...
2
votes
1answer
159 views

When do curves exist in infinite-dimensional submanifolds?

Let me explain the motivation for my question by talking about the finite-dimensional situation. Let's say we have a $d$-dimensional $C^\infty$ manifold $M$ embedded smoothly in $\mathbb R^n$. We fix ...
0
votes
1answer
90 views

Condition for infinite dimensional complex manifold to be Kähler by pullback form

For a finite dimensional Kähler manifold $M$, there is the condition that if $N\xrightarrow{f}M$ is a holomorphic map with maximal rank at each point, then $N$ is Kähler with the pullback form induced ...
7
votes
2answers
272 views

A cohomology group which depends on the connection

Warning: I am not a differential geometer, so some of the following might not make sense. Background: Let $w: (T\Omega)^k \to \mathbb{R}$ be a $k$-tensor on $\Omega$, an open subset of ...
0
votes
0answers
55 views

Does the number of zero eigenvalues correspond to the dimension of equilibrium manifold for nonlinear system?

Consider nonlinear dynamical system with $m \times m$ Jacobian matrix $J(x)$ that has $k$ zero eigenvalues for all $x$. The rest $m-k$ eigenvalues have negative real part for all $x$. Is that true ...
26
votes
9answers
4k views

Why differential forms are important?

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated ...
1
vote
1answer
198 views

Question about extending a solution to Monge-Ampere solution

I am interested in solutions to the Monge-Ampere equation for a smooth function $h(x,y)$ of two variables(though I suppose I could try to make do with $C^2$ solutions). The equation is: ...
2
votes
0answers
57 views

isoperimetric problems on Alexandrov spaces

For an Alexandrov space M with curvature bounded from below, the isoperimetric profile $v \to I_M(v)$ defined for every $v\in (0,V(M))$ (the volume of M might be infinite), is given by $$ ...
3
votes
2answers
132 views

Differentiable structure on the Gauge group of a principal bundle?

I am currently reading this paper in which we have a map $g:I\rightarrow Gauge(P)$ for some principal bundle $P$ which is differentiated. I am looking for a reference or explanation what the "most ...
3
votes
1answer
269 views

A question on Schrodinger operator

I am not sure whether I should ask for help here or math stackexchange. I got trouble with an inequality involving the Schrodinger operator on manifolds. Any suggestion is appreciated! Let $(M,g)$ be ...
1
vote
1answer
114 views

Volume bounds of balls in Riemannian manifolds

Let $(M,g)$ be a complete Riemannian manifold and suppose $\mathrm{Ric}(g) \geq -k$ for some $k>0$. Suppose we know that $\mathrm{vol}_g (B_1^g (x_0)) \geq \nu$ for some particular $x_0 \in M$ and ...
4
votes
0answers
80 views

Reference for short time existence of paraobolic PDE on bundles

I am looking for a reference treating parabolic equations on vector bundles. In particular, I look for precise conditions which guarantee short time existence. I found it quoted at different places in ...
3
votes
1answer
194 views

is the stress tensor (elasticity theory) actually a pseudo tensor? [closed]

Please, is the stress tensor (elasticity theory) actually a pseudo tensor? It seems to me it must change its sign when coordinate system changes its orientation.
5
votes
1answer
238 views

Volume of geodesic balls

I have two questions (somewhat related) regarding local geometry on a SMOOTH, COMPACT Riemannian manifold. I still have a hard time getting a "good" understanding of local geometry. Question 1: It ...
2
votes
0answers
43 views

Locus maximizing the holomorphic sectional curvature in a non-compact Hermitian symmetric space

Is there a quick way to prove the following statement, if possible without resorting to the classification of simple Lie groups? Let $G$ be a simple Lie group of non-compact Hermitian type of rank ...
1
vote
0answers
155 views

A question on the proof of Cheeger-Colding's second paper

Reading the paper On the structure of spaces with ricci curvature bounded below II by Cheeger and Colding, I have trouble understanding the proof of Theorem 3.7. In the last part of the proof, they ...
5
votes
0answers
204 views

Singularities in Yang Mills Flow

In "The Yang Mills flow in four dimensions", M. Struwe proves that this flow converges, up to bubbling phenomena. And he has conjectured that this explosion in finite time should happen as proven for ...
15
votes
1answer
279 views

Cohomology class of the group extension from a principal bundle

Let $M$ be a closed connected manifold and fix a basepoint $q \in M$ and a Riemannian metric on $M$. Let $F(M)$ denote the orthonormal frame bundle of $M$. This is a principal $O(n)$-bundle over $M$ ...
0
votes
0answers
101 views

projecting Laplacian onto tangent and normal bundles of submanifold

If I have a simple linear differential equation involving covariant derivatives such as $\nabla^2 g_{\mu\nu}+ 2g_{\mu\nu}=0$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) ...
3
votes
0answers
118 views

Counterexample to volume comparison inequality assuming only scalar curvature bound?

The Gromov-Bishop volume comparison theorem says that if we have a lower bound for the Ricci curvature on $(M,g)$, then its geodesic ball has volume not greater than the geodesic ball with the same ...
3
votes
0answers
113 views

$\mathbb{CP}^1$-structures and hyperbolic Gauss maps

Let $\Sigma$ be a closed surface of genus at least $2$. Put a quasi-Fuchsian $\mathbb{CP}^1$-structure (i.e. complex projective structure) on $\Sigma$. Thus the universal cover $\tilde{\Sigma}$ is ...
3
votes
0answers
154 views

Boundary of an open, bounded and convex set in $\mathbb{R} ^n$

Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
4
votes
1answer
189 views

A general theory for local moduli space of minimal surface?

Let $M$ be a closed Riemannian manifold. I have several questions concerning the set of all minimal submanifolds (or immersion) in $M$. (1): Is there a general local theory for the set of minimal ...
3
votes
1answer
117 views

Equivalence of the construction of the Lagrangian in a book of Sternberg to the “usual” construction

I have a question regarding the following cited text from [1]: Let $F$ be a representation of the structure group $G$ of the principal bundle $P_G\to M$ (a (semi-)Riemannian manifold), and let ...
2
votes
0answers
112 views

Extension of a bounded operator on manifold

I have a problem, which is quite urgent, as I have only today discovered an error in a proof i had in a thesis which is to be handed in tomorrow. The problem, if stated in as full generality as ...
3
votes
1answer
243 views

Taylor expansion of the determinant of a Riemannian metric

Let $(M,g)$ be a compact Riemannian manifold without boundary. Fix a point $x\in M$ and $N\ge 2$ large. Then there exists a metric $\tilde g$, conformal to $g$ such that $$ \det \tilde g=1+O(r^N)$$ ...