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

learn more… | top users | synonyms (1)

4
votes
0answers
10 views

Does the Hodge *-operator act on the tangent space at 0 to the space of integral (n-1)-cycles in a conformal manifold of dimension d=2n?

Suppose $M$ is a compact, oriented conformal manifold of even dimension $d=2n$. Write ${\cal D}^{\mathit{int}}_{k}(M)$ for the space of integral $k$-currents in $M$ and write ${\cal ...
0
votes
0answers
41 views

Mean curvature and submanifold

Consider $S^{N-1}$ the unit sphere and let us focus our attention on the cap $$ G=S^{N-1}\cap\{x_N>0\} $$ with boundary $\partial G= S^{N-2}\times\{0\}$: it is quite obvious to see that $G$ is a ...
9
votes
0answers
104 views

List of Applications of the $\partial\overline{\partial}$-lemma

Quoting from Huybrecht's book Complex Geometry on the $\partial\overline{\partial}$-lemma for Kaehler manifolds: Although it looks like a rather innocent technical statement, it is crucial for ...
-1
votes
0answers
53 views

Embedded Minimal Surfaces in 3D Hyperbolic Space [on hold]

My question concerns the embedding of minimal surfaces in the 3D hyperbolic space. The minimal surface is defined in terms of Weierstrass-Enneper representation. Let us take now a slice (section) of ...
11
votes
1answer
170 views

Does a Kähler manifold always admit a complete Kähler metric?

Every smooth manifold admits a complete Riemannian metric. In fact, every Riemannian metric is conformal to a complete Riemannian metric, see this note. What about in the Kähler case? Does a ...
1
vote
0answers
94 views

Question on Harmonic maps between Riemannian manifolds

In Theory of harmonic maps, main goal is to find minimum of Dirichlet energy function which is defined as follows: $$E(f):=\int_M\|df\|dvol_g\qquad f:(M,g)\to(N,h).$$ In many Books such as Calculus ...
2
votes
0answers
44 views

On two functions with isodirectional gradients

Let $U\subset \mathbb{R}^n$ be open and $f,g:U \to \mathbb{R}$ be two $C^1$ functions whose gradients are always in the same direction, i.e. $\forall i,j \in \left\{1,...,n\right\}$ \begin{equation} ...
0
votes
0answers
67 views

Two questions about Li-Yau-Hamilton estimate

This question is from my question on mathematics. Picture below is from 231 page . For to prove $Q\ge 0$ on $M \times (0,T)$, $(\partial_t -\Delta)Q \ge 0$ and $Q\ge 0$ are needed to prove.But I ...
3
votes
1answer
224 views

How to tell if it's a Moishezon morphism

Suppose that $f \colon X\rightarrow S$ is a proper morphism of reduced and irreducible complex spaces and $f$ is a smooth deformation in the sense of Kodaira and Spencer. If we know each fiber $X_s$, ...
1
vote
0answers
43 views

Covering rough boundaries of closed sets in manifolds by charts

This question is a little vague, I'm afraid, because I'm not sure I expect there to be a complete answer; but there should be some sort of situations where it is possible. Consider a Riemannian ...
0
votes
0answers
106 views

Are induced Riemannian metrics weakly continuous?

Let $\Omega \subseteq \mathbb{R}^d$ a nice bounded domain. Let $F_n:\Omega \to \mathbb{R}^D$ be a sequence of smooth embeddings* in $W^{1,p}(\Omega,\mathbb{R}^D)$. Assume $F_n \rightharpoonup F$ in ...
2
votes
0answers
98 views

Can infinitely many orbifolds be “added up” to form a fractal space?

Disclaimer: this question is rather vague and thus might not be suitable for this site. If so, feel free to tell me and I'll delete it. Intuitively, an orbifold, from what I understand, is a ...
4
votes
0answers
52 views

Uniform approximation of a continuous flow by a $\mathcal{C}^1$ flow

Setup: Consider a (smooth) compact Riemannian manifold $M$, whose distance is denoted by $d$. Let $\Phi$ be a continuous flow, namely a continuous application from $\mathbb{R} \times M $ to $M$ ...
6
votes
1answer
103 views

Interior periodic points of area preserving homeomorphisms of a pair of pants

A celebrated result of Franks shows that any area preserving homeomorphism of the closed annulus $A$ with at least one periodic point (possibly along the boundary) has infinitely many interior ...
5
votes
1answer
252 views

The Hypercomplex Structure of $SU(3)$

(A) In this really stylish answer it is shown that one can define a family of complex structures $J_{\lambda}$ on the Lie group SU(3), dependent on the parameter $\lambda \in {\mathbb C}\backslash ...
1
vote
0answers
53 views

Parametric surfaces in $\mathbb{R}^4$ via quaternion multiplication of curves

A curve $r(t)=(u(t), v(t), p(t), q(t)): \mathbb{R} \to \mathbb{R}^4$ can also be thought as a quaternion function $r(t)=u +i v + j p + kq$, where $1,i,j,k$ are the standard basis elements of the ...
2
votes
1answer
156 views

The compatibility of the Gysin sequence with mixed Hodge structures

Let $X$ be a compact complex $n$-manifold and $D$ be a smooth comdimension $1$ submanifold. Also let $U:= X\setminus D$ and $j$ be the inclusion of $U$ in $X$. Then it is well known that the ...
0
votes
0answers
46 views

Small perturb a continuous map

I am reading the book: Convex Integration Theory by D. Spring and encounter a question which I subtract as follows. Let $p: X \rightarrow V$ be a smooth fibre bundle and $\mathcal{R} \subset ...
0
votes
0answers
128 views

Isothermal coordinates

Is there an application or interest in studying the isothermal surfaces where the metric is $ds^2=E∗(du^2+dv^2)$ and where $E>0$ is an harmonic function? I know that this metric is a special kind ...
23
votes
3answers
980 views

What's the supersymmetric analogue of the Monster group?

Bosonic string theory lives in 26 dimensions, and it gives a conformal field theory where the field is a map from a Riemann surface to $\mathbb{R}^{24}$. The Leech lattice $L$ is an even unimodular ...
4
votes
1answer
157 views

Hyper-Kaehler Strucutre for Compact Lie Groups?

We know from the classy work of Joyce that "any compact Lie group becomes hypercomplex after it is multiplied by a sufficiently big torus". The quote comes from the Wikipedia page. I am asking if it ...
0
votes
0answers
31 views

A C(B)-module structure on the function algebra of the total space of a vector bunlde $\pi:V \to B$

For a continuous vector bundle $\pi:V \to B$ vector bundle over a compact Hausdorff space $B$, and $C(B)$, $C(V)$ the continuous complex valued functions on $B$ and $V$ respectively, we can give ...
4
votes
0answers
57 views

Geometrically-explicit upper bound for on-diagonal heat kernel

Let $M$ be a compact Riemannian manifold, and $K(t;z,w)$ the heat kernel associated to the usual Laplace-Beltrami operator on functions. There are results of the form $$K(t;z,z) \leq ...
2
votes
2answers
248 views

Is it true that all sphere bundles are some double of disk bundle?

Let's consider a smooth sphere bundle over a smooth manifold with structure group is equal to the diffeomorphism group of sphere. Then, can we say that this is a double of some disk bundle? Thank you ...
5
votes
0answers
67 views

In $(\mathbb{R}^4,\omega_{std})$ is positive symplectic area enough to guarantee a pseudoholomorphic disc representative?

I will present my question in the context that I encountered it, although I believe it probably applies in general context. Consider $\mathbb{R}^4 \cong \mathbb{C}^2$ with the standard symplectic form ...
1
vote
0answers
127 views

Stronger version of Bertini's theorem

In char 0, is there a generalised version of Bertini's theorem that will ensure that for a proper map $f: Y\rightarrow X$ between smooth projective varieties and for every point $x\in X$ we can find ...
0
votes
1answer
93 views

3-form torsion and Cartan structural equations

First, my level of math isn't very high as I come from the physics world. I am trying to understand the derivation of Cartan's 3-form torsion. I've read Robert Bryant's answer in this thread: Relating ...
2
votes
1answer
39 views

Set of singular points for momentum map (with coisotropic action)

Let $G$ be a Lie-group acting on a connected symplectic manifold $M'$ in a hamiltonian way, with an $\operatorname{Ad}^*_G$-equivariant momentum map. Assuming $G$ acts properly on $M'$, we can ...
11
votes
2answers
422 views

Unexpected regularity of the distance from a $C^2$ submanifold

Let $\Gamma$ be a $C^2$ compact submanifold of $\mathbb{R}^n$. Consider the distance function $\delta$ from $\Gamma$. It is well known that, for sufficiently small $\varepsilon>0$, $\delta$ is ...
2
votes
1answer
122 views

Conformal vector field on the sphere

Let's $\mathbb{S}^d$ be the unit sphere with it's standard metric $g$. A vector field $X \in \mathfrak{X}(\mathbb{S}^d)$ is conformal if and only if there is a function $f \in ...
0
votes
0answers
30 views

Reparametrisation of a PDE with arclength

Suppose I have the following PDE: $\frac{\partial y}{\partial t} = \frac{\partial}{\partial x}\left[(1-y)^3y^3\left(\sin \theta + \frac{\partial y}{\partial x}\cos \theta\right) \right]$ I notice ...
0
votes
0answers
103 views

Problem of Weakly closed

Goodmornig everyone, my problem is: Let $X$ a complex analytic $n$-manifold, for $p,q$ positive integers with $p,q$$<=$$n$, let $K^p$$^,$$^q$$(X)$ the bi-grade $(p,q)$ current space on $X$. i.e. ...
3
votes
1answer
139 views

Definition of Levi-Civita connection map and a theorem about it?

Does anyone know definition of Levi-Civita connection map that defined as $K: TTM\to TM$. and how to prove the following theorem: Theorem: If $X\in\mathfrak{X}(M)$ be a vector field over $M$ and ...
1
vote
4answers
153 views

On a parallelizable manifold, is there always a frame satisfying $[X_i,X_j]=0$?

[This question was asked on MSE, but got no answers, I thought it could be more appropriate here] Let $M$ be a parallelizable manifold. Is there always a global frame $(X_i)$ such that ...
1
vote
1answer
85 views

Applications of Hessian operator in the Riemann manifold. Simple samples $S_{2}(f)$

Study article R. C. Reilly is entitled Applications of Hessian operator in the Riemann manifold had a doubt in the remark, shortly after the theorem 2 of that Article. The theorem is stated as: ...
3
votes
1answer
83 views

Sufficient conditions for a curve on the sphere to be the Gauß map of a closed path

I was wondering which curves on the $n-1$ sphere arise as the Gauss maps of closed paths in $\Bbb R^n$. Necessary conditions are obviously that the path on the sphere is the image of some smooth ...
2
votes
0answers
86 views

Volume comparison under Ricci curvature upper bounds

Say I have a Hadamard $d$-manifold $M$ with an upper Ricci curvature bound of $-b^2$. Write the volume form in polar exponential coordinates at $p\in M$ as $V(r,\theta) \, dr \, d\theta$, and ...
3
votes
0answers
72 views

Donnelly-Fefferman growth of eigenfunctions

Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
1
vote
1answer
114 views

Open non-parallelizable 4-manifolds

Let $M$ be a connected orientable open 4-manifold (noncompact, without boundary). Is it possible for $M$ to be non-parallelizable ? If yes, what example of such $M$ is there ? [EDIT : The answer ...
7
votes
2answers
250 views

Surfaces contained in a ball

In this Paper there is a proof that a closed plane curve of length $L$ and curvature bounded by $K$ can be contained inside a circle of radius $L/4 - (\pi - 2)/2K$. Are there similar results for ...
3
votes
0answers
74 views

Is a harmonic function with injective boundary conditions an immersion outside a negligible set?

This question is a strengthening of this question. Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to ...
3
votes
1answer
64 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
54 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
215 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
121 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
47 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
296 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
431 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
149 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 ...
1
vote
0answers
83 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 ...