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

learn more… | top users | synonyms (1)

-3
votes
1answer
176 views

Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold? Question B: The free loop space of an algebraic variety is also a algebraic variety ? Are these questions asked or answered anywhere ...
13
votes
2answers
525 views

Differential operators are coKleisli morphisms of the jet co-monad

The following statement may be "well known but not well known enough", and my question is which reference would state it explicitly: The construction of Jet bundles is a comonad on suitable bundles ...
3
votes
2answers
290 views

Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements. Let $h,k\geq1$ be integer numbers and let ...
0
votes
0answers
33 views

Exactness in the zeroth term and (relative) vector field

Recently I've asked the following question: Contraction with a vector field and pullback bundle When I already know how $i_X$ should be understood (please see the discussion; recall that we are ...
5
votes
1answer
345 views

Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space. The general problem is the following: given a connected Riemannian manifold $M$, what are ...
11
votes
0answers
187 views

A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...
1
vote
0answers
114 views

General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator. I am given an operator like $\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$ $k^2=k^μk_μ$, $g^{αβ}$ ...
1
vote
1answer
78 views

Dimension of Span of Adjoint orbit in $\mathfrak{su}(n)$

Given two elements $A,B \in \mathfrak{su}(n)$ what is the dimension of the span of the following adjoint orbit: $\{Ad_{e^{sA}}(B) \ | \ s \in [0,t]\}$ for different values of $t$. Does it ever change ...
0
votes
2answers
122 views

Example of a covariant derivative on a non-projective bundle

I was looking for a simple example of a covariant derivative on a bundle, where the bundle is not projective. If necessary, the example could be from complex or noncommutative geometry, but I would ...
0
votes
0answers
87 views

Tetrad transformation

I have been reading an article about Type D gravitational fields, and came across the tetrad transformation that I cannot understand. The author evidently introduced a new coordinate, but just a ...
16
votes
4answers
489 views

Is the space of immersions of $S^n$ into $\mathbb R^{n+1}$ simply connected?

The title is the question. Sorry, this isn't quite research level. I imagine the answer is well-known, just not to me. Thanks for any help!
1
vote
2answers
134 views

Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution ...
2
votes
1answer
114 views

Nowhere vanishing, normalized vector field with bounded derivatives

It is well-known that any non-compact manifold admits a nowhere vanishing vector field. If we have a Riemannian metric we may pick such a vector field and normalize it so that at every point it has ...
0
votes
0answers
128 views

Gromov's defenition of Content of Ball

Let $B(p, R)$ denote the metric ball of radius $R$ centered at $p$ in a manifold. Then Gromov defined the content of the ball by $$Cont(B(p,R))=rank(H_*(B(p, R/5))\to H_*(B(p,R))) $$ and he remark ...
1
vote
0answers
58 views

Largest dimensional Lie subgroup of $SU(N)$ [duplicate]

What is the largest (Lie) subgroup of $SU(n)$ in the sense of its dimension. I am aware of this potential duplicate subgroup of SU(N) with maximal manifold dimension , however, the title of this ...
8
votes
1answer
344 views

Two surfaces with zero gaussian curvature

There is classical result of Hartman and Nirenberg: Theorem. Every point of a $C^2$ surface of Gauss curvature zero has a neighborhood which admits a parameterization of the form $x=a(u)v+b(u)$ where ...
0
votes
1answer
77 views

About Kahler curvature operator

I have problems on how to consider the Kahler curvature operator. I know that one can consider the Riemannian curvature operator $R$ as a linear transformation from $\mathfrak{so}(n,\mathbb{R})$ to ...
1
vote
1answer
75 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
1
vote
0answers
69 views

Proximal point avoids a subvariety

I have a seemingly easy problem about the proximal point in a variety of a general point in the ambient space, which I don't have a proof: Let $X \subset \mathbb{C}^N$ be the affine cone over some ...
1
vote
1answer
110 views

Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree): Assume we have a Newman Penrose tetrad $\lbrace l, ...
13
votes
3answers
647 views

Inverse problem of Chern Classes

For my graduate (master) thesis I am studying the theory of Chern Classes. As a possible personal development the only sensible idea I have so far, and which I frankly think is impossible, is to work ...
2
votes
0answers
110 views

Holomorphic extension of a section of a line bundle

let $(X,g,\omega)$ be a non compact complete K\"ahler manifold of dimension $m\geq3$. Let $\nabla$ the covariant derivative wrt $g$ and $Riem$ the curvature tensor of $g$. Suppose that ...
2
votes
1answer
115 views

Stochastic interpretation of heat kernel on fiber bundle

I'm looking for a stochastic interpretation of the heat equation for vector valued function. The classical set up is the following : If $(M,g)$ is a riemannian manifold then we could consider the ...
5
votes
1answer
242 views

Avoiding mean-curvature flow dumbbell neck-pinch by inflating a surface

It is well known that Grayson's dumbbell neck-pinch1,2 separates into disconnected pieces under mean curvature flow:                     Image ...
-1
votes
1answer
117 views

Uniqueness of a smooth function [closed]

Let $x,y:[a,b]\to\mathbb{R},\ a<b, a,b\in\mathbb{R}$ be two smooth functions ($x,y\in C^{\infty}([a,b])$). How can I prove that there is a unique function $\theta:[a,b]\to\mathbb{R},\ \theta\in ...
5
votes
0answers
116 views

Is there a Lie II theorem for monoids?

Lie's second theorem says that if $G$ is a connected simply connected Lie group with Lie algebra $\mathfrak g$, then the functor of "differentiation" from the category $\mathrm{Rep}^f(G)$ of ...
1
vote
1answer
136 views

Closed parallel (1,1)-forms on compact Kähler manifolds

Let $(X,\omega)$ be a compact Kähler manifold. We know one example of a closed parallel (1,1)-form, namely, $\omega$ itself. Are there obstructions for the existence of non-vanishing closed parallel ...
1
vote
1answer
220 views

symplectic reduction for pair $(M,D)$

Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?
2
votes
0answers
81 views

Quantitative estimate of heat dispersion - off diagonal estimates

Consider the heat equation $\partial_t u - \Delta u = 0$ on a compact manifold $M$ (if $M$ has a smooth boundary, then we assume either Dirichlet or Neumann boundary condition). Consider $u_0 (x) = ...
3
votes
0answers
119 views

On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation $$\triangle \varphi = 4 \pi \rho \qquad (1)$$ defined on 3-dimensional oriented Riemannian manifold $(M,g)$, where $g$ is metric and ...
2
votes
2answers
157 views

constant rank theorem for banach spaces

Is there a similar statement to the constant rank theorem for finite dim real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dim Banach space ...
5
votes
2answers
312 views

References for the moduli space of complex structures

I am looking for references where the moduli space of complex structures on a complex manifold is well explained: in particular the infinitesimal deformations, the obstructions, the elliptic complex ...
0
votes
1answer
125 views

Area of a plane surface that gives a lot of theoretical problems

Let $\mathbf{r}:(a,b)\times (0,1)\to\mathbb{R}^2\subseteq\mathbb{R}^3$ be a injective application, given by: $$\mathbf{r}(u,v)=A(u)+v\cdot (B(u)-A(u)), \forall\ (u,v)\in (a,b)\times (0,1)$$ where ...
2
votes
0answers
79 views

Sources on evolution of submanifolds subject to Ricci flow

I am seeking any textbook or paper addressing the evolution of submanifolds of a manifold undergoing Ricci Flow. Please, any pointer towards this topic is more than welcome. This old MO post may be ...
2
votes
0answers
39 views

Hess-Schrader-Uhlenbrock inequality for non-symmetric operators

Let $M$ be a (compact, let's say) Riemannian manifold, $\mathcal{V}$ a vector bundle over $M$ with covariant derivative $\nabla$ and a fiber metric. Let $L = - \mathrm{tr}(\nabla^2) + V$ with some ...
1
vote
1answer
81 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
5
votes
1answer
249 views

A survey for various $K$-homology theories and their relationship

The ordinary Topological $K$ theory defined by Atiyah and Hirzebruch is a generalized cohomology theory (see wikipedia).There is the Bott spectrum associated to this generalized cohomology ...
3
votes
1answer
146 views

Frame-bundle reduction from spinor-bundle reduction

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin manifold, and let us denote by $F(M)$ its frame bundle, by $SP(M)$ its spin bundle and by $S = P(M)\times_{\rho}\Delta$ its spinor bundle, ...
2
votes
1answer
139 views

Gromov Geometric Structures and Killing fields

Let's fix some notations: $M$ will denote a real smooth, $m$-dimensional, manifold, $F^k(M)$ is the k-th order frame bundle on $M$ and $Gl^k(m)$ is the space of $k$-jets of diffeomorphisms of $\mathbb ...
5
votes
0answers
94 views

behaviour of first eigenfunction near the boundary

Consider $\Omega$ a smooth bounded domain in $R^N$ and suppose $ \phi_1(x)>0$ is the first eigenfunction of $ -\Delta$ in $H_0^1(\Omega)$ normalized however one chooses. My interest is in how $ ...
0
votes
0answers
68 views

Contraction with a vector field and pullback bundle

While trying to understand the proof of "smooth" version of Kostant-Hochschild-Rosenberg theorem (which is due to Connes for compact smooth manifolds) I found the following argumentation: one is ...
5
votes
1answer
192 views

An unusual metric reconstruction problem

$\newcommand{\bR}{\mathbb{R}}\newcommand{\pa}{\partial}$This questions has some nebulous roots in Morse theory. The most general version goes as follows. Fix an integer $n\geq 2$. Suppose that we have ...
12
votes
1answer
279 views

Is the analytic version of the Whitney Approximation Theorem true?

I initially asked this question on MSE but I haven't had any luck. The Whitney Approximation Theorem states that any continuous map between smooth manifolds is homotopic to a smooth map. If the ...
1
vote
0answers
90 views

Canonical metric of toric Kahler manifolds

Let $X$ be non-compact toric Kahler manifold associated to a Delzant polygon $P$ and $g$ be the canonical Kahler metric constructed by Guillemin. Is it true that the real part of $g$, as a ...
6
votes
2answers
287 views

Charts needed for an atlas

I just read this question link and asked myself, if there is any easy way to decide how many charts you actually need to cover a given compact manifold in $\mathbb{R}^3$, maybe at least in this ...
16
votes
2answers
439 views

Classification of complex structures on $\mathbb{R}^{2n}$

Is there anything known about classification of complex structures on $\mathbb{R}^{2n}$ up to isomorphism for $n>1$? Say, are there finitely or infinitely many isomorphism classes? If there is a ...
2
votes
1answer
112 views

Number of connected components of the isometry group of a simply-connected lorentzian manifold

Let $(M,g)$ be a finite-dimensional connected lorentzian manifold. Then the group $G$ of isometries of $M$ (i.e., the group of diffeomorphisms $\varphi : M \to M$ with $\varphi^* g = g$) is a Lie ...
4
votes
0answers
159 views

manifold branched covering space for orbifolds

An orbifold structure on some topological space $X$ is a covering of $X$ with local quotient charts $V/G$, where $V$ is some connected manifold and $G$ effectively acts on $V$ via a finite group of ...
3
votes
1answer
158 views

Which sections of $T^*M\odot T^*M$ have reproducing kernel “primitives”?

Given a smooth reproducing kernel $\kappa:M\times M\rightarrow \mathbb{R}$ on a manifold $M$, we can construct a section, $\alpha_{\kappa}$, of the symmetric tensor product $T^*M\odot T^*M$ by taking ...
8
votes
3answers
623 views

is there a global obstruction for a diffeomorphism to be an isometry?

Let $V$ be a finite dimensional vector space. Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry. We know ...