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

learn more… | top users | synonyms (1)

1
vote
1answer
36 views

projectivity with assumption of big and semi-amplness

Let $X$ be a compact Kaehler manifold with $D$ be an effective divisor on $X$ such that $K_X+D$ is semi-ample and big then $X$ is projective?
10
votes
2answers
521 views

Generalized smooth spaces and infinite dimensional manifolds

There is a theorem due to Losik which shows that the category of Frechet manifolds embeds fully-faithfully into diffeological spaces. (Diffeological spaces are concrete sheaves on the site of ...
6
votes
1answer
312 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 ...
5
votes
0answers
40 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 ...
-1
votes
0answers
66 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 ...
7
votes
1answer
106 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 ...
0
votes
0answers
46 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 ...
11
votes
1answer
179 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 ...
4
votes
2answers
523 views

Alternative Almost Complex Structures

Originally posted on Maths Stack Exchange. Let $V$ be a real vector space. An almost complex structure on $V$ is a map $J : V \to V$ such that $J^2 = -\mathrm{id}_V$. An almost complex structure ...
7
votes
4answers
1k views

Smoothing of the distance function on a Riemannian manifold

Suppose $(M,g)$ is a complete Riemannian manifold. $p\in M$ is a fixed point. $d_{p}(X)$ is the distance function defined by $p$ on M (i.e., $d_p(x)$=the distance between $p$ and $x$). Let ...
9
votes
0answers
120 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 ...
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 ...
15
votes
1answer
999 views
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 ...
11
votes
2answers
425 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 ...
1
vote
0answers
95 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 ...
7
votes
1answer
423 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 ...
3
votes
1answer
226 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$, ...
7
votes
1answer
101 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$ ...
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} ...
24
votes
3answers
999 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 ...
7
votes
0answers
817 views

The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
0
votes
0answers
68 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 ...
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 ...
1
vote
0answers
44 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 ...
4
votes
1answer
524 views

Aysmptotic comparison of $L^2$ sections versus generating sections

Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$. For $m$ large, let ...
2
votes
0answers
100 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
53 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$ ...
0
votes
1answer
396 views

Positivity of forms

I'm getting stuck with a proposition. Please can someone help me? Let $E$ be a holomorphic vector bundle with hermitian metric $h$ over a connected compact Kähler manifold $X$ with Kähler form ...
2
votes
1answer
157 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 ...
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 ...
0
votes
0answers
130 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 ...
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 ...
4
votes
1answer
158 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 ...
2
votes
2answers
250 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 ...
1
vote
0answers
128 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 ...
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 ...
7
votes
2answers
251 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 ...
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}.$ ...
29
votes
5answers
1k views

Surfaces filled densely by a geodesic

Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no single geodesic $\gamma$ that fills $S$ densely? Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points ...
5
votes
3answers
3k views

Hessian as a tensor, multi-dimensional taylor series, and generalizations

The Hessian matrix $\{\partial_i \partial_j f \}$ of a function $f:\mathbb{R}^n \to \mathbb{R}$ depends on the coordinate system you choose. If $x_1,\cdots,x_n$ and $y_1,\cdots,y_n$ are two sets of ...
2
votes
1answer
40 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 ...
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 ...
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 ...
3
votes
3answers
846 views

Siegel modular forms as sections of line bundles over the period domain

The transformation formula for a Siegel modular form can be interpreted as the statement that the modular form is a holomorphic section of a line bundle over the period domain (the quotient of the ...
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
104 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
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: ...