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

learn more… | top users | synonyms (1)

5
votes
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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$. ‎L‎‎et $\bar{J} : TTM \longrightarrow ...
4
votes
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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 ...