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

learn more… | top users | synonyms (1)

9
votes
0answers
239 views

Are harmonic mappings of Riemannian manifolds always non-singular outside a set of measure zero?

Let $(M,g)$ be an $n$-dimensional, connected, compact, oriented, smooth Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to \mathbb{R}^n$ (note that $n=\dim M$). Let $...
3
votes
1answer
67 views

Hessian of distance function from a Jordan curve

Assume that $\gamma$ is $C^2$ Jordan curve in $\mathbf{R}^3$ and let $f(x)=d^2(x,\gamma)$. Is there any known formula for the hessian of $f$ near $\gamma$?
1
vote
0answers
57 views

Are affine maps (wrt to a connection), which preserve a tensor field, given by a PDE?

Let $(M, \nabla)$ be a manifold together with a connection on $TM$ and let $T$ be a tensor field on $M$. Suppose the pseudogroup $\Gamma$ of locally defined smooth maps, that simultanously preserve ...
2
votes
1answer
238 views

Relative tangent bundle and trivilization, tautological foliation

Let $T_{X}\rightarrow X$ be the tangent bundle over a complex manifold $X.$ Let $\pi:PT_{X}\rightarrow X$ be a projectivization of that bundle. Let $L$ be the tautological line bundle of $PT_{X}.$ ...
2
votes
1answer
143 views

Surfaces of constant Gauss curvature K spanned by two helices and two straight lines

A surface is bounded by four lines parametrised as $(x,y,z)=$ $$ (0,u,- 1), (-1<u<1); \, (0,u,1), (-1<u<1); $$ $$(\cos v, \sin v, 2 v/ \pi), (- \pi/2 < v< \pi/2); \, (-\cos ...
1
vote
0answers
48 views

Hyper-Complex Connected Sums of Grassmannians?

As we all know, the Grassmannians are Kaehler manifolds. Is there anyway to take connected sums of Grassmannians and produce a examples of hypercomplex manifolds, hyper-Kaehler or Calabi--Yau exmples ...
10
votes
1answer
317 views

A very torsioned closed curve in space

Is there a simple smooth closed curve $\gamma$ in $\mathbb{R}^{3}$ such that for all $x,y\in \gamma$ with $x \neq y $, $l_{x}$ and $l_{y}$ are skew lines, where $l_{x} $ and $l_{y}$ are ...
7
votes
4answers
473 views

General Relativity and Differential Geometry intuitions of Second Bianchi Identity

In General Relativity, one uses the Riemann Tensor in its coordinate form $R_{abcd}$, and proves the Second Bianchi Identity- $R_{abcd;e} + R_{abde;c} + R_{abec;d} = 0$ It is said that ...
7
votes
1answer
150 views

$C^{k,\alpha}$ diffeomorphisms and vector fields

This feels like something I should know, but I have a hard time finding a definite reference. Let $M$ be a compact (Riemannian) manifold, $k\ge 1$ be an integer and $\alpha\in(0,1)$. When v is a $C^k$...
1
vote
0answers
93 views

Weyl's law for minimal surfaces

I wanted to know if there was some equivalent of Weyl law for the spectrum of the Jacobi operator of a minimal surface in the non-compact case. If the minimal surface is not closed, for example in $\...
7
votes
1answer
112 views

Properties of connection Laplacian on vector fields

Let $(M,g)$ be a simply-connected compact surface with boundary $\partial M$ and metric $g$. Let $N$ denote the outward unit normal on $\partial M$, $\nabla$ the Levi-Civita connection and $\Delta_g$ ...
0
votes
0answers
58 views

Linearization of specific plane vector field

I have a vector field $v = (f(x,y), \alpha y)$, such that $f(0, 0) = 0$ and $df (0, 0) = (1, 0)$. When is smooth linearization possible and when is it not? I only see obstacles in the form like this:...
1
vote
0answers
128 views

Exact derivation of Von Kármán relation of Gauss curvature

Using relations for surface deformations (in structural mechanics notation) $$ u,v,{\epsilon _x, \epsilon_y, \gamma_{xy}}$$ Notations {u,v } have same meaning as displacements in surface theory. ...
1
vote
1answer
205 views

Invariance of Gauss-Bonnet theorem with respect to connection?

I am stuck with a basic understanding of the generalized (and even the ordinary version of) Gauss-Bonnet theorem. For a compact 2-dimensional Riemannian manifold $M$ with boundary $\partial M$, let $K$...
3
votes
0answers
183 views

Number of critical points of a smooth function

Are there any examples of closed manifolds with the property that the minimal number of critical points (possibly degenerate) of a smooth function on this manifold is strictly bigger than the stable ...
3
votes
1answer
136 views

Is there a smooth polar decomposition for non-invertible matrices?

Every $n \times n$ real matrix $A$ has a polar decomposition $A=OP$, where $O \in O_n, P$ is symmetric positive semi-definite. $P$ is uniquely determined by $A$, by $P(A)=\sqrt{A^TA}$, and when $A$ ...
2
votes
1answer
228 views

Relation between Harmonic vector field and Harmonic 1-form

Definition 1: A unit vector field $X$ side to be harmonic if it is critical point for the following energy function $$E(X)=\frac{1}{2}\int_M\|dX\|^2dvol_g=\frac{m}{2}vol(M,g)+\int_M\|\nabla X\|^...
5
votes
0answers
95 views

Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle). I ...
6
votes
1answer
130 views

Poincare-Hopf theorem for polytopes?

Is there an analogue of Poincare-Hopf theorem for polytopes? I want to apply it in the following situation. I have a polytope in $R^n$ and a smooth explicitly given vector field in $R^n$. I want to ...
2
votes
2answers
165 views

Definable curves in definable sets

Suppose that I have an unbounded subset $X \subset \mathbb{R}^n$, definable in the $o$-minimal structure $\mathbb{R}_{an, exp}$. Is it possible to find an unbounded, analytic and definable curve (i.e. ...
6
votes
0answers
103 views

Chern-Simons form and Rarita-Schwinger operator

The Rarita-Schwinger (RS) operator naturally generalizes the Dirac operator and in Physics it describes particles with spin-3/2. I was wondering if there exists any reference concerning the ...
4
votes
0answers
75 views

Are the canonical maps from $\Omega^1_k(C^\infty(M))$ into $\Omega^1(M)$ and into $\Omega^1_k(C^\infty(M))^{**}$ compatible?

Let $M$ be a smooth manifold and let $A=C^\infty(M)$. In this question, it is observed that the map $\Omega^1_k(A)\to \Omega^1(M)$ from the Kähler differentials of $A$ to the 1-forms of $M$ is not an ...
1
vote
1answer
103 views

Polynomials pulled back by momentum maps

Let $G$ be a Lie group acting Hamiltonian on some real analytic symplectic manifold $(M, \omega)$, with an $G$-equivariant momentum map $\Phi \colon M \to \mathfrak{g}^*$. Assuming I can find ...
1
vote
1answer
143 views

Analogue of fundamental theorem of real surfaces for complex surfaces

Is there an analogue of the fundamental theorem of surfaces for complex surfaces? If I know only differentiable functions $E,F,G,e,f,g$ (coefficients of the first and second fundamental forms) where $...
5
votes
2answers
111 views

References for metrics in matrix groups

I am studying a very concrete matrix group with a riemaniann (right invariant) metric for solving a question on Applied Math. I need explicit formulas for the distance between two matrices, geodesics ...
0
votes
0answers
79 views

How to investigate the harmonocity of holomorphic vector fields?

Let $(M,g,J)$ be a Kahler manifold and $\nabla$ be its Levi-Civita connection. We know that $\Delta _gX=||\nabla X||^2X$ is the characterizing equation for harmonic unit vector fields. I dont know ...
22
votes
1answer
540 views

Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For example,...
9
votes
2answers
362 views

Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$ Which in our case is an isomorphism since $G$ ...
0
votes
0answers
66 views

Submersion on open and dense subset

If $f \colon M \to N$ is a smooth map between smooth manifolds, is it possible to find an open and dense set $M_0$, such that $f(M_0)$ is a manifold and $f \colon M_0 \to f(M_0)$ is a surjective ...
7
votes
1answer
430 views

what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$. What is G'? I know there is concrete description in terms of pairs (M,f)...
10
votes
2answers
180 views

Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold. It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ? ...
0
votes
0answers
41 views

Lower bounds on the measure of balls in attractor sets

I'm looking for a source for the following result. Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \...
2
votes
2answers
146 views

Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies \...
1
vote
1answer
81 views

Invariance of spin coefficients

I have a question about how spin coefficients (Newman Penrose formalism) transform. I know that if we perform a tetrad rotation, say of Class III: $(l,n,m,\overline{m})\mapsto \left(\frac{1}{A}l, An,...
2
votes
0answers
153 views

When are Kähler potentials bounded from below?

The prototypical example of global Kähler potential is the one of the standard Kähler structure on $\Bbb C^n$ given by $$f:\Bbb C^n\longrightarrow \Bbb R,\quad f(z_1,\ldots,z_n)=\sum_{k=1}^n|z_k|^2.$$ ...
8
votes
0answers
170 views

Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$). Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...
0
votes
0answers
58 views

Lower bound on the diameter of a ball contained in the stable manifold of a critical point

Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \mathbb{R}^{d+1}$. Consider the negative of the gradient ...
6
votes
1answer
248 views

“structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration". Does it make sense to talk about "structure group"...
6
votes
0answers
144 views

intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....
9
votes
1answer
308 views

A careful roadtrip from locally symmetric spaces to algebra

I'm trying to break the classification of locally riemannian symmetric spaces to little steps to make it more comprehensible (and s.t. the technical details can be verified without drowning completely)...
2
votes
1answer
82 views

Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...
2
votes
1answer
170 views

Non-diffeomorphic smooth structures on the quotient of a manifold by an integrable distribution

In geometric quantization, one of the important ingredients is an integrable distribution $D$ (let's say real) on some manifold $M$ (symplectic, but this is not important). The resulting object is $M/...
3
votes
0answers
103 views

Can we use the “size” of smooth structure set to predict the information geometry or other topological information?

The "size" can mean the number of elements or the diameter of the set of smooth structures. Y. Shikata defined a distance function on it and proved that it is a distance. He then used it to prove that ...
0
votes
0answers
165 views

Exact sequence of vector bundles

Consider the short exact sequences below; \begin{equation} 0\longrightarrow H^0(\mathbb{P}^4,\mathcal{O}_{\mathbb{P}^4}(d-1)^{\oplus 4})\longrightarrow H^0(\mathbb{P}^4,\Omega_{\mathbb{P}^4}(d+1))\...
3
votes
0answers
35 views

covariant derivative of manifold-valued function and logarithm map

Let $M$ be a Riemannian manifold and $f\colon \Omega\subset \mathbb{R}^d\rightarrow M$ a smooth, i.e. $C^\infty$, function. For any $p\in M$ let $T_pM$ be the tangent space at $p$ and $\log_p\colon U\...
2
votes
1answer
188 views

Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...
3
votes
0answers
42 views

Feynman-Kac formula and time-ordering for vector bundles

Let $M$ be a compact Riemannian manifold and let $\mathrm{d}\mathbb{W}^{yx;T}(\gamma)$ denote the Brownian Bridge measure, i.e. the Wiener measure on the paths that travel from $x$ to $y$ in time $T$ (...
1
vote
1answer
41 views

Hermitic connections on complex line bundles with imaginary curvature form

It is a simple fact that if $L \to B$ is a complex line bundle endowed with an Hermitian product and a compatible connection $\nabla$, then the curvature $F_\nabla$ is imaginary (and so are the local ...
2
votes
0answers
98 views

Quantizable vs. integral Kahler form

Let $(M,\omega)$ be a (not necessarily compact) Kahler manifold. Then the form $\omega$ is integral if and only if $\omega \in c_1 (L) $ for some holomorphic line bundle $L$. A Hermitian holomorphic ...
1
vote
0answers
60 views

Why the sub-Laplacian $\Delta_{sub}$ on the Heisenberg group $H^3 $ is sub-elliptic but not elliptic?

I want to know why the sub-Laplacian $\Delta_{sub}= X^2 + Y^2$ on the Heisenberg group $H^3 = \mathbb C \times \mathbb R$ is sub-elliptic but not elliptic, where $X$ and $Y$ are the left-invariant ...