**5**

votes

**0**answers

236 views

### On the curvature tensor with certain conditions

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\lbrace X_1,...,X_n,Y_1,...,Y_m\rbrace $ be a locally orthonormal frame for $M$($3\leq n,m$).
If we suppose the curvature tensor $R$ of $g$ ...

**1**

vote

**0**answers

84 views

### “Nice” limits of sequences of smooth embeddings

Consider smooth embeddings of a manifold $M$ into some $\mathbb{R}^n$. If a sequence $f_k : M \to \mathbb{R}^n$ of such embeddings converges to some continuous function $f : M \to \mathbb{R}^n$, then ...

**10**

votes

**3**answers

528 views

### What are parabolic bundles good for?

The question speaks for itself, but here is more details: Vector bundles are easy to motivate for students; they come up because one is trying to do "linear algebra on spaces". How does one motivate ...

**4**

votes

**0**answers

47 views

### Obstructions to symplectically embedding compact manifolds of dimension $4$ or higher

It is known in Li's paper (http://arxiv.org/pdf/0812.4929v1.pdf) that in compact symplectic manifolds $(X^{2n},\omega)$ of dimension at least $2n\geq 4$, an immersed symplectic surface represents a ...

**1**

vote

**1**answer

59 views

### Existence of left-invariant metric on the cotangentbundle of homogeneous spaces?

Let $N$ be a homogeneous space. Therefore we find a Liegroup $G$ and a isotropy-subgroup $K$ of $G$, such that we can identify $N = G/K$. Then we have a canonical action $l\colon G \times G/K \to G/K$ ...

**0**

votes

**0**answers

52 views

### Trace Theorem for $q< 2(n-1)/(n-2)$

Can I get a trace theorem inequalite for $R^n_+$: For $q\in [2,2(n-1)/(n-2]$,
we have
$(\int_ {R^{n-1} } |u|^q dx) ^{2/q}\leq C(\int_{R^n_+} |\nabla u |^2dx)^{1/2}.$

**1**

vote

**0**answers

61 views

### Scattering in (pseudo-)Riemannian spaces

I will ask my question in a broad way, leaving a lot of freedom for answers.
Suppose that we have a (pseudo-)Riemannian space $(M,g)$ and we fix some ball-like domain $B \subset M$. Suppose you are ...

**5**

votes

**1**answer

199 views

### Local differential geometry and invariant theory

Can someone please give me pointers to the literature for local differential differential geometry according to invariant theory in the following sense, provided such a literature exists?
Start with ...

**6**

votes

**2**answers

164 views

### Contact distributions on $(G_2,P)$-type Cartan geometries in dimension 5

Up to topology, the 5D homogeneous space
$$
G_2/P
$$
of the (real form of the) 14D exceptional Lie group $G_2$ is the 5D jet space
$$
M:=J^1(2,1)=\{(x,y,u,p,q)\}
$$
of scalar functions in two ...

**7**

votes

**0**answers

160 views

### “Flat” and “Affine” morphisms of smooth manifolds

Let $f: X \to Y$ be a qcqs morphism of qcqs schemes. We have the following characterizations:
$f$ is flat $\iff$ $f^*:QCoh(Y) \to QCoh(X)$ is exact.
$f$ is affine $\iff$ $f_*: QCoh(X) \to QCoh(Y)$ ...

**0**

votes

**0**answers

49 views

### map of constant rank

Let $f_1, \dots, f_m \colon M^n \to \mathbb{R}$ be smooth functions on a manifold $M$, such that $F := (f_1, \dots , f_m) \colon M \to \mathbb{R}^m$ has constant rank $k <m,n $ on $M$.
I'm trying ...

**30**

votes

**1**answer

552 views

### Is there a geometric construction of hyperbolic Kac-Moody groups?

Just as the theory of finite-dimensional simple Lie algebras is connected to differential geometry and physics via the theory of simple Lie groups, the theory of affine Lie algebras was connected to ...

**3**

votes

**0**answers

56 views

### Interpolating from a Hard Lefschetz class to a Kaehler class

Let $X$ be a compact smooth manifold that admits symplectic and Kaehler structures.
There is a paper by Ugarte, Rudyak, Tralle, and Ibanez, showing how the Lefschetz rank can vary along a path of ...

**0**

votes

**0**answers

63 views

### Curves in $\mathfrak{su}(n)$ with specific property

Consider a curve $\gamma_s= U_s^{\dagger} b U_s$ in $\mathfrak{su}(n)$ where $U_s$ is a smooth curve on $SU(n)$ (starting at $U_0 = \mathbb{I}$) and nonzero $b\in \mathfrak{su}(n)$ and $s \in[0,T]$ ...

**1**

vote

**1**answer

182 views

### Can a conformal map be turned into an isometry? [closed]

Let $f: (M, g) \to (M, g)$ be a conformal diffeomorphism of the riemannian manifold $(M, g)$, with
$$ g(f(p))(Df(p) \cdot v_1, Df(p) \cdot v_2) = \mu^2(p) g(p)(v_1, v_2), \quad \forall p \in M, \, ...

**2**

votes

**1**answer

94 views

### Modification of Morse lemma with two functions

Standard Morse lemma states that if the singularity of a smooth function $f$ is non-degenerate, one can choose coordinates such that function has a "quadratic" form $f = \sum \limits_i x_i^2 - \sum ...

**1**

vote

**1**answer

124 views

### Is a non-flat hermitian connection determined uniquely by its holonomy and curvature?

How do I prove that gauge-equivalence classes of $U(1)$ connections on a line bundle $L\to M$ are determined uniquely by pairs $(\alpha,F)$, where
$$\alpha\in\text{Hom}(\pi_1(M),U(1)),~~~~F\in ...

**1**

vote

**1**answer

189 views

### Tangent complex of dgla/ twisted dgla

I am looking for a theorem which says if we twist an $L_\infty$ quasi-isomorphism between dgla's by a Maurer-Cartan element, we'll get a new $L_\infty$ quasi-isomorphism.
Let $(\mathfrak{g}, d, ...

**3**

votes

**0**answers

120 views

### Do Kähler realizations of symplectic manifolds exist?

If $(S, \omega)$ is a smooth (not necessarily analytic!) symplectic manifold, does there exist a (almost-)Kähler manifold $K$ and a surjective Poisson submersion $\pi : K \to S$?
Think of $\Bbb R ...

**2**

votes

**1**answer

139 views

### Can one smooth open star shaped domains from the inside by star shaped domains?

Let $O\subset\mathbb{R}^n$ be a open set which is star shaped with respect to the origin. How does one prove that there exists an increasing sequence of star shaped (w.r.t the origin) domains $O_i$ ...

**7**

votes

**0**answers

121 views

### Isometry group of low dimensional Alexandrov space

It is known by the work of Galaz-García and Guijarro, that the dimension of the isometry group of an $n$-dimensional Alexandrov space (of curvature bounded below) is bounded above by ...

**1**

vote

**0**answers

44 views

### Convex Hull and Least Area Discs in Riemannian 3-Manifolds

Let $M$ be a complete Riemannian 3-manifold and $\gamma \subset M$ a simple closed curve that bounds a least-area disc $D$ - a disc that minimizes the area among all discs bounded by $\gamma$.
Let ...

**3**

votes

**1**answer

166 views

### How many second-order PDEs can be obtained from a contact EDS?

Let $(M,[\theta])$ be a contact manifold, $\dim M=2n+1$, and denote by $\mathcal{I}^\theta$ the differential ideal generated by the contact form $\theta$.
An exterior differential system on $M$ of ...

**1**

vote

**1**answer

253 views

### Ordinal of injectivity for a smooth regular curve with a finite arc-length

Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...

**5**

votes

**1**answer

141 views

### Affinely flat structures. How many different ones on the same manifold?

Let $M$ be a smooth manifold endowed with $\nabla$ a flat torsion-free connection. Let $\operatorname{Diff}(M)$ be the group of smooth diffeomorphisms of $M.$ Obviously if $ \phi \in ...

**1**

vote

**0**answers

49 views

### Flows and Lie brackets, $\beta$ not a priori smooth at $t = 0$ [closed]

Let $X$ and $Y$ be smooth vector fields on $M$ generating flows $\phi_t$ and $\psi_t$ respectively. For $p \in M$ define$$\beta(t) := \psi_{-\sqrt{t}} \phi_{-\sqrt{t}} \psi_{\sqrt{t}} ...

**3**

votes

**0**answers

59 views

### Modify the jump set of $BV$ function

Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...

**2**

votes

**1**answer

111 views

### Regularity - mean curvature equation

In my research I arrived at the following equation:
$$ \int_B \frac{\nabla u \cdot \nabla \varphi}{ \sqrt{1+|\nabla u|^2}}=\int_B f \varphi, (*)$$
for every $\varphi \in C^1(B)$,
which is a weak form ...

**2**

votes

**0**answers

157 views

### Ricci curvature in resolution of singularities

Let $X$ and $X'$ are Kahler variety and $f: (X',\omega')\to (X,\omega)$ be the resolution of singularities of $X$ then from $K_X=f^*K_X'+E$ how can we find
the relation between $Ric(\omega)$ and ...

**2**

votes

**0**answers

410 views

### On Eigenspace of a Bundle Map which is the horizontal part of a complex structure on $TM$

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\mathcal{H}(TM) \subseteq TTM$ be the horizontal space associated to the Levi-Civita connection of $g$. Let $\bar{J} : TTM \longrightarrow ...

**4**

votes

**1**answer

152 views

### Elliptic Operators on Vector Bundles

I know the kernel of an elliptic operator on a compact manifold has finite dimension. Is the kernel of an elliptic operator on sections of a vector bundle a finite dimensional space?

**10**

votes

**1**answer

238 views

### Closed $3$-manifold, $2$-dimensional subbundle of this manifold, is this form exact or not?

Let $M$ be a closed $3$-manifold, and let $\xi$ be a $2$-dimensional subbundle of $TM$. I know the following.
There is a nowhere zero $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector ...

**3**

votes

**0**answers

82 views

### Isometric embedding for manifolds with conical singularities?

Motivation:
In the 2+1 dimensional gravity theory, solutions of Einstein equation are locally with constant curvature except at the locus of sources. In this paper the authors investigate solutions ...

**3**

votes

**0**answers

70 views

### Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave?

Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave; i.e. the geodesic curvature along the boundary points ...

**3**

votes

**0**answers

36 views

### Dimension of the space of Jacobi fields along $\gamma$ vanishing at $p$ and $q$ is even?

Let $G$ be a compact Lie group with a bi-invariant metric. Let $p$ be a point, and let $q$ be conjugate to $p$ along a geodesic $\gamma$. Does it necessarily follow that the dimension of the space of ...

**1**

vote

**1**answer

126 views

### Zero set of eigenfunction along a sub manifold

Let $M$ be a 2-dimensional closed Riemannian manifold and let $$\phi:M\rightarrow M$$ be an isometry with $\phi^2=Id_M$. Consider the fixed point set $$F:=\lbrace x\in M: \phi(x)=x \rbrace\subset M,$$ ...

**1**

vote

**1**answer

141 views

### Is there an algebraic way to characterise the ordinary integral flags?

Fix a vector space $V$ and an integer $1\leq n<\dim V$.
If $\mathcal{I}\subseteq\Lambda^\bullet V^*$ is an ideal, I denote by $\mathcal{I}^i:=\mathcal{I}\cap\Lambda^iV^*$ its $i^\textrm{th}$ ...

**8**

votes

**0**answers

205 views

### Is the formal neighborhood of the diagonal a generalization of the Jet bundle?

Let $f: X \to S$ be a morphism of locally ringed spaces and $\triangle: X \to X \times_S X$ the corresponding diagonal morphism with kernel sheaf $\mathcal{I} = \ker \triangle^{\flat}$.
...

**9**

votes

**0**answers

62 views

### On the proof by Chu-Kobayashi that transformation groups are Lie groups

Chapter I of Kobayashi's Transformation Groups in Differential Geometry contains a very general theorem on transformation groups, due to Palais. I have some questions about its proof (which I attach ...

**1**

vote

**0**answers

59 views

### Comparison theorem for Lambert quadrilateral

A Lambert quadrilateral is a quadrilateral three of whose angles are right angles. And in 2-d hyperbolic space $\mathbb H^2$, we have nice formulas for the fourth angle.
If $AOBF$ is a Lambert ...

**6**

votes

**2**answers

193 views

### Epsilon regularity for minimal surfaces in arbitrary Riemannian manifolds

For experts in the analysis of minimal surfaces I will state the question first; then I will follow up with details.
Question: Does the $\varepsilon$-regularity theorem of Choi and Schoen ...

**2**

votes

**2**answers

334 views

### A question about flat connection

Let $E\to X$ be a complex flat vector bundle, and say $\nabla_0$ and $\nabla_1$ are two flat connections on it. Let $p:X\times[0, 1]\to X$ denote the projection onto the first factor. Is there a way ...

**0**

votes

**0**answers

51 views

### Contact and CR Examples

What is an example of a manifold such that:
(A) It is both a contact manifold and a CR manifold
(B) It is a contact manifold but not a CR manifold
(C) It is not a contact manifold but not a CR ...

**8**

votes

**1**answer

183 views

### Dimension in Whitney's theorem

There are some interesting examples of (classes of) manifolds for which I suspect that the Whitney theorem can be strenghtened. For example it is known that every (smooth) $n$-dimensional manifold can ...

**0**

votes

**1**answer

172 views

### Proper actions and diffeomorphism groups

Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite-dimensional diffeomorphism group on a finite-dimensional smooth manifold?
Edit: The ...

**1**

vote

**0**answers

94 views

### Eigenvalues of the D'Alembertian operator

My question about the spectral theory of the D'Alembertian operator on a Lorentzian manifolds (say the spacetime $M^{3+1}$) given by $$\square = -\partial_{t}^2 + \Delta$$ for the metric $g=(-+++)$. ...

**4**

votes

**2**answers

203 views

### Holonomy of a Ricci-flat affine connection

There is some link between Ricci-flatness and reduction of holonomy. For example a Kahler manifold is Ricci-flat if and only if it has at most $SU(n)$ holonomy rather than $U(n)$, and it's apparently ...

**1**

vote

**0**answers

80 views

### Ohsawa-Takegoshi extension theorem along snc divisor

Let $f:X\setminus D\to Y$ be a holomorphic fibre space and $X,Y$ are Kahler manifolds, where $D$ is a snc divisor on $X$. Can Ohsawa-Takegoshi extension theorem, imply that there exists a holomorphic ...

**3**

votes

**2**answers

164 views

### Examples of two-dimensional Riemannian manifolds that can't be isometrically embedded into $\mathbb{R}^4$

Can anyone give some examples of two-dimensional Riemannian manifolds $(M,g)$ that can't be isometrically embedded into $\mathbb{R}^4$? (Further more Globally)
What if it is smooth?

**1**

vote

**0**answers

107 views

### horizontal lift along fibres

Let $f:X\setminus D\to Y$ be a smooth family of Kahler manifolds, where $D=\{\sigma=0\}$ is a divisor on $X$. Taking a local
coordinate $(s_1,...,s_d)$ of
$Y$
and a local coordinate $(z_1,...,z_n)$ of ...