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

learn more… | top users | synonyms (1)

4
votes
2answers
136 views

Geodesics and Riemannian submersions

Let $X,Y$ be Riemannian manifolds, and $f\colon X\to Y$ be a Riemannian submersion. Let $\gamma$ be a geodesic on $X$ starting at a point $x\in X$ and which is orthogonal to the fiber $f^{-1}(f(x))$. ...
1
vote
0answers
27 views

Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$

For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary. Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k ...
1
vote
1answer
106 views

Sequence of smooth maps converging to the identity

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
0
votes
0answers
39 views

Killing vector fields on sphere and nodal sets

Let $u$ be a smooth function on $S^2$ such that $\int_{S^2} ux_j =0$, for $j=1,2,3$. Does there exist a killing vector field $V$ on $S^2$ such that the nodal line of $\varphi=V(u)$ ($\{x\in S^2: ...
0
votes
1answer
47 views

Are Carnot groups (as Carnot Caratheodory metric spaces) doubling?

I need to use the Lebesgue differentiation theorem for doubling metric measure spaces and was wondering if Carnot groups are doubling. If yes, is there any reference you can point me to? Thank you.
1
vote
1answer
71 views

Semi-riemannian hypersurfaces

Let us consider the pseudo-euclidean space $\mathbb{R}^3_1$; that is, the space $\mathbb{R}^3$ endowed with the metric $$\langle x, y\rangle = x_1y_1+x_2y_2-x_3y_3.$$ I see in O'Neill's book that ...
1
vote
0answers
46 views

Sobolev Bundle on Wiener Space

Right now I am learning about analysis of stochastic processes and the Malliavin calculus. It seems though, that most of the theory works for Brownian motion in $\mathbb{R}^n$, and it seems ...
0
votes
0answers
82 views

Coordinate charts on converging Riemann surfaces

Let $S$ be a $2-$dim manifold and $q \in S$. Furthermore, let $j_{n}$ be a sequence of complex structures on $S$ converging in $C^{\infty}_{\text{loc}}$ to a complex structure $j$ on $S$ as ...
0
votes
0answers
52 views

What does deg=0 imply for the gauss map?

I am facing the following problem. I have a Riemannian manifold $(M,g)$ with gauss curvature zero, an isometric immersion $v:M\rightarrow \mathbb{R}^3$ that is $C^{1,\alpha}$ and I consider the Gauss ...
12
votes
7answers
607 views

Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...
4
votes
1answer
160 views

Are “Unions” of small exotic $\mathbb{R}^4$'s small?

Suppose $M$ is a smooth 4-manifold, and $U,V \subset M$ are exotic $\mathbb{R}^4$'s, i.e. homeomorphic to standard $\mathbb{R} ^4$. Further more suppose $U$ an $V$ intersect nicely sucht that $U \cup ...
-1
votes
1answer
91 views

cartan killing metric [on hold]

I know that we can define the killing form on a lie algebra. However, when going to the group manifold, does this give rise to a metric on the manifold? I thought that would be the case, but I cant ...
11
votes
1answer
229 views

Thom conjecture in CP3

Thom conjecture, that was originally asked in $\mathrm{CP}^2$, and is now proven for symplectic 4 manifolds, states that complex curves (symplectic surfaces) are genus minimizing in their homology ...
6
votes
0answers
150 views

What is a good introduction to cluster algebras from surfaces?

What is a good reference for cluster algebras from surfaces, with a view to their connection to Teichmuller theory? In my view, that means it should start off with unpunctured surfaces (and in ...
1
vote
2answers
128 views

there exists a hypersurface H ⊂ X such that X \ H is Stein and L is trivial over X \ H

"Suppose that X is a compact projective manifold equipped with a K¨ahler metric ω. Let L be a holomorphic line bundle In general, there exists a hypersurface H ⊂ X such that X \ H is Stein and L is ...
6
votes
2answers
240 views

Is every $S^3$ block bundle over $S^4$ a fiber bundle?

I am interested in the difference between block bundle and fiber bundle. Let $K$ be a simplicial complex and $p: E\to |K|$ be a continuous map. A block diffeomorphism of $\Delta^p\times M$ is a ...
0
votes
0answers
76 views

Generalized spin connection and dreibein in higher spin gravity

I am studying higher spin gravity and I would like to know the mathematical and physical meaning of generalized spin connection and generalized dreibein that appear in this theory. It is well known ...
0
votes
1answer
141 views

existence of positive curved line bundles on a compact Riemann surface

Can anyone suggest a proof of the existence of positive line bundles on a compact Riemann surface, avoiding Hodge decomposition. (I am aware of the method in Dror Varolin's book, but I consider that ...
0
votes
0answers
50 views

Lift of isometries of spherical space forms [closed]

If we have an isometry between two spherical space forms, then it is said that it lifts to an isometry of the sphere. Why is that?
3
votes
1answer
78 views

Certain construction of the Itô integral on manifolds

Let $M$ be a compact Riemannian manifold and let $X \in \mathfrak{X}(\mathbb{R}\times M)$ be a time-dependent vector field on $M$. I want to construct the Itô integral $$ I(X) = \int_0^T \langle X(t, ...
1
vote
1answer
95 views

Twistors for spaces of $n-$dimensions

I was wondering if there is any general definition for twistors for spaces of any dimension with a definite (or indefinite) metric; for example, in $\mathbb{R}^3$. Twistors are spinors of the ...
1
vote
0answers
73 views

Immersability and applications of a particular Riemannian metric

Let $N:\mathbb{R}^n\longrightarrow \mathbb{S}^{n-1}$ be a unit vector field and let $\alpha\in\mathbb{R}$ be constant. Does the Riemannian metric $$G=\mbox{I}_n+\alpha N\otimes N$$ play any role in ...
0
votes
1answer
131 views

Chow stability and K-stability

Let $(M,L) $ be a polarized projective variety and is Chow stable, then under which condition it is K-stable in sense of Donaldson's definition? Here is a good referrence for the definitions of Chow ...
4
votes
1answer
406 views

Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
1
vote
1answer
159 views

Heat kernel upper bound on compact Riemannian manifold

Let $M$ be a compact Riemannian manifold without a boundary. Let $p_t(x,y)$ be the heat kernel. I am looking for a reference for the result: there exists a constant $C$ such that $$|p_t(x,y)| \leq C$$ ...
0
votes
0answers
135 views

A converse to the Gauss Egregium theorem [closed]

Gauss Egregium theorem states that if there is full isometric mapping /bending ( when differential $ \Delta s $ length and $ \alpha $ angle between parametric lines are both conserved), then Gauss ...
1
vote
1answer
331 views

Compact riemannian manifolds with boundary that have infinite volume?

I am looking for references in the literature pertaining to (essentially riemannian) metric spaces that are compact of infinite volume, such in the following example. Consider a riemannian metric on ...
10
votes
2answers
465 views

Characterization of the exterior derivative

This is a cross-post of someone else's question. I am cross-posting this question from MSE since it hasn't received any answers. In the paper Natural ...
4
votes
0answers
85 views

Continuity of the curve-shortening flow with respect to the curve

The curve-shortening flow is an evolution equation for a smooth closed curve $\alpha$ inmersed in a Riemannian surface $M$. The version where $M$ is the Euclidean plane is illustrated for example in ...
6
votes
1answer
244 views

Which surfaces have only a finite number of connecting geodesics?

Q1. For a smooth, closed (compact) surface $S$ embedded in $\mathbb{R}^3$, under which conditions is it true that, for every pair of points $a,b \in S$, there are an infinite number of ...
2
votes
0answers
135 views

3-manifold rigidity?

Defintion: a $n$-manifold $M$ is said rigid if any homotopy equivalence $M\rightarrow N$ is homotopic to a homemorphism, where $N$ is an $n$-manifold. The sphere $S^{3}$ and hyperbolic compact ...
0
votes
0answers
69 views

Lagrangian fibrations with isolated singular fibers

Let $(M,\omega)$ be a symplectic manifold, and assume $\dim_\mathbb{R}(M)>4$. Suppose there exists a real Lagrangian fibration $\pi:M\rightarrow Q$ so that $Q$ becomes an integral affine manifold ...
5
votes
0answers
233 views

Motivation behind Euler Theorem in differential geometry [migrated]

I am teaching a class on elementary differential geometry and I would like to know, for myself and for my students, something more about the history of Euler Theorem and Euler equation: the curvature ...
5
votes
1answer
125 views

Elliptic operator on non compact manifolds with ends of the type $\Omega\times (r,\infty)\times\mathbb{R}$

A smooth manifold $M$ is a manifold with a cylindrical end if there exists a compact subset $K\subset M$ such that $M\backslash K$ is diffeomorphic to $\Omega\times (r,\infty)$ where $\Omega$ is a ...
5
votes
1answer
153 views

Fractional Laplacian and stereographic projection

The ordinary Laplacian on $\mathbb{R}^N$ behaves nicely under a stereographic projection onto $\mathbb{S}^N\setminus\{P\}$. (Here $P$ is either the north or south pole of the unit sphere ...
1
vote
1answer
86 views

Isotopy of positively curved surfaces of revolution in $\mathbb{R}^3$

Consider a surface of revolution of positive curvature. My question is, what are the surfaces (with boundary) in $\mathbb{R}^3$ which are isotopic to the surface of revolution, provided each member of ...
1
vote
2answers
60 views

Reference request: minimal (maximal) Lorentzian surfaces in $\mathbb{R}^{1,2}$

Let $R^{1,2}$ be the Minkowski 3-space, I would like to know any references about minimal (maximal) orientable Lorentzian surfaces in $\mathbb{R}^{1,2}$, including examples and maybe general theories, ...
1
vote
1answer
128 views

Poincare inequality on balls to arbitrary open subset of manifolds

Let $M$ be an n-dim compact Riemannian manifold with $Ric \geqslant -(n-1)$, it's well known that the following Poincare inequality holds for any function $f\in W^{1,2}(M)$ $$ \frac{1}{m(B)}\int_B ...
1
vote
1answer
142 views

Compact surfaces with boundary of constant negative curvature

Consider a surface (with boundary) diffeomorphic to $S^1 \times [0, 1]$ and with constant negative curvature, sitting inside $\mathbb{R}^3$. All the examples I know of such surfaces are "part of" (or ...
0
votes
1answer
110 views

General description of surface with zero gaussian curvature

Let suppose function $g(s,t)$ satisfies partial differential equations: $g_{ss} g_{tt} - g_{st}^2=0$. It may be treated as the surface has zero gaussian curvature. I am searching for general solution ...
1
vote
0answers
105 views

Integrating Poisson groups

Recall that a symplectic groupoid (http://projecteuclid.org/euclid.bams/1183553676) is a Lie groupoid $\mathcal{G}\rightrightarrows X$ together with a symplectic structure on $\mathcal{G}$ ...
4
votes
2answers
172 views

Projective curves of constant curvature

A nodal projective curve in $\mathbb{CP}^2$ inherits a Kähler metric from the Fubini-Study metric, and hence a Riemannian metric. In particular, with respect to this metric, a line has constant ...
1
vote
0answers
64 views

Determine the shape of curve which has the minimum number of inflection points

Let $A$ be a set of generic $C^2$ closed curves in $2$-dimentional Euclidean space, and an equivalence relation between $2$ curves $a$ and $b$ in $A$ is defind that there exist diffeomorpfic map $h ...
2
votes
1answer
97 views

Uniqueness of backward heat equation on closed manifold with given initial data

Suppose we have a closed (compact without boundry) Riemannian manifold $(M,g)$, do we have uniqueness (assuming solutions exist on $[0,T]$ ) for the backward heat equation $$\frac{\partial f ...
0
votes
0answers
41 views

Elliptic operator on unit tangent bundle and positive sectional curvature

In "compact kahler manifolds with nonnegative sectional curvature" ( invent math, 1977), Gray introduced a differential operator $L$ on the unit tangent bundle on a Riemannian manifold $(M, g)$. It ...
2
votes
0answers
92 views

Conjugate or focusing points on null geodesics imply chronality

Theorem Let $\beta\colon [0,1] \to M$ be a null geodesic. If $\beta(t_0)$ is conjugate to $\beta(0)$ along $\beta$ for some $t_0\in (0,1)$, then there is a timelike curve from $\beta(0)$ to ...
8
votes
0answers
132 views

Commutative spectral triples not coming from manifolds

There is a very deep and remarkable theorem by Connes (the so called reconstruction theorem) which states that from a commutative spectral triple obeying certain axioms one can reconstruct a smooth ...
5
votes
0answers
89 views

(Un)bounded Geometry and Sobolev Spaces

This post is related to this and this post. It is known that on a complete Riemannian manifold, the space $C^\infty_c(M)$ is generally not dense in the Sobolev spaces $W^{k, p}(M)$ ($1 \leq p < ...
4
votes
0answers
75 views

Isometries of Compact Semisimple Lie Groups

In this delightful question, the poster mentioned that the isometry group of a compact Lie group $G$, equipped with the metric from the Killing form, is $G\times G/Z(G)$, where $Z(G)$ is the center of ...
2
votes
0answers
124 views

Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$. I am ...