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

learn more… | top users | synonyms (1)

4
votes
0answers
228 views

Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...
11
votes
1answer
569 views

Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3. Question: How many different geometries (in the sense of Thurston) do we have in ...
5
votes
1answer
276 views

Killing vector fields on sphere

Let $u$ be a smooth function on $\mathbb S^2$, and assume that for every killing vector field $V$ on $\mathbb S^2$. $$\int_{\mathbb S^2} V(u) x_j dS=0\text{,}\forall j=1,2,3$$ Is $u$ necessarily ...
3
votes
1answer
129 views

Left invariant Riemannian metrics which are symmetric and Einstein

Is there a list of connected Lie groups which admit a left invariant Riemannian metric which is Einstein, locally symmetric and its infinitesimal holonomy is irreducible?
16
votes
3answers
921 views

How mirror of quintic was originally found?

In the 90-91 pager "A PAIR OF CALABI-YAU MANIFOLDS AS AN EXACTLY SOLUBLE SUPERCONFORMAL THEORY", Candelas, De La Ossal, Green, and Parkes, brought up a family of Calabi-Yau 3-folds, canonically ...
0
votes
2answers
142 views

Can simply or not simply connected maximally symmetric (Semi-)Riemannian manifold be completely classified?

A m-dimensional completed and connected (Semi-)Riemannian manifold which has $m(m+1)/2$ independent global Killing vector fields is called maximally symmetric space. Then what are all possibilities ...
1
vote
0answers
54 views

Bogomol’nyi’s Formula for the Critical Action

I'm studying Aigner's paper 'Existence of the Ginzburg-Landau Vortex Number' (2001) and I have some difficulties to prove the equality (3.1) , which is ...
-1
votes
1answer
210 views

Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension. I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...
11
votes
1answer
368 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
1
vote
0answers
135 views

Question on a paper of Schoen and Yau

I am trying to understand the paper "Conformally flat manifolds, Kleinian groups and scalar curvature" by Schoen and Yau. In P.56, it says: This implies that $\partial M$ has a zero $q$-capacity, ...
9
votes
1answer
185 views

When are the Dolbeault and de Rham dgas homotopy equivalent?

Let $M$ be a compact Kahler manifold. Then the Hodge decomposition says that the Dolbeault dga (of forms of all bidegree) and the de Rham dga on $\Omega_{\mathbb C}^\bullet(M)$ have isomorphic ...
1
vote
1answer
131 views

Topology of surfaces and mean curvature

The Gauss-Bonnet theorem characterizes topology of surfaces by their Gaussian curvature. Do there exist results characterizing topology of surfaces embedded in $\mathbb{R}^3$ by their mean ...
1
vote
0answers
48 views

General reparameterization of a b-spline

Say I have a bspline function (or curve) of order $k_1$, defined over some knot vector $\mathbf{t} = \{ t_i\}_1^{n_1}$, i.e. $$f(x) = \sum_i a^i B_{i,k_1}(x).$$ Do you know of a process of finding ...
1
vote
1answer
197 views

Symplectic and Holomorphic Vector Bundles

As is well known, every Kaehler manifold can canonically be given the structure of a symplectic manifold. Is it naive to assume that holomorphic vector bundles over a Kaehler manifold can be given the ...
3
votes
0answers
83 views

A technical question in Feix's construction of hyperkahler metric on cotangent bundles

I am now reading Feix's paper Hyperkahler metrics on cotangent bundles and I have a technical question to ask. In his paper, for an analytic Kähler manifold $(X,J,\omega)$, Feix considered its ...
4
votes
2answers
254 views

What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits. A ...
4
votes
1answer
236 views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...
8
votes
2answers
546 views

Is there some Riemannian manifold's version of Whitney theorem?

Given any Riemannian or Semi-Riemannian manifold $(M,g)$, does there exist a Eucildean space $(E,g^\prime)$ of enough high dimension with metric $g^\prime=diag\{-1,-1,...,+1,+1,...\}$ with any n ...
28
votes
0answers
530 views

Are there periodicity phenomena in manifold topology with odd period?

The study of $n$-manifolds has some well-known periodicities in $n$ with period a power of $2$: $n \bmod 2$ is important. Poincaré duality implies that odd-dimensional compact oriented manifolds ...
2
votes
1answer
145 views

Lower regularity version of Moser's theorem on volume elements

A theorem of Moser, published in "On the Volume Elements of a Manifold" (Transactions of the Americal Mathematical Society 120, 1965), shows that if a $C^\infty$ compact manifold $M$ has two ...
4
votes
0answers
219 views

“Partition” of a smooth function in $\mathbb R^2$

This is a question asking for reference. I have a proof of the following. Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions ...
6
votes
0answers
150 views

What is the first eigenvalue of $p$-Laplacian on unit sphere $S^n$?

We know that the first eigenvalue of Laplacian on the Riemannian unit sphere $S^n$ is $n$, then what is the explicit expression for the first eigenvalue of $p$-Laplacian on $S^n$? The $p$-Laplacian ...
4
votes
0answers
88 views

Ground State Degeneracy of 2+1D U(1) Chern Simons Theory?

I am a physics graduate student trying to understand more mathematical aspects of gauge theories. How can I understand ground state degeneracy of a simple Chern Simons Theory: 2+1D U(1) $S= \int_M ...
7
votes
0answers
191 views

Reconciling the affine grassmannian and the based loop group

I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
2
votes
1answer
315 views

Kodaira dimension of co-adjoint orbit

Let $G$ be a compact Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $\mathcal O_a$ be a coadjoint orbit. Then every co-adjoint orbit is Kähler manifold and also ...
3
votes
1answer
169 views

Affine space structure on the space of Hermitian connections

I'm reading Gauduchon's paper Hermitian connections and Dirac operators. For a fixed almost-Hermitian manifold $(M, g, J)$ let $\mathcal A(g, J)$ be the space of connections $\nabla$ s.t. $\nabla g = ...
23
votes
2answers
995 views

What are the “correct” conventions for defining Clifford algebras?

I have three related questions about conventions for defining Clifford algebras. 1) Let $(V, q)$ be a quadratic vector space. Should the Clifford algebra $\text{Cliff}(V, q)$ have defining ...
8
votes
1answer
275 views

Existence of certain “nondegenerate” function and manifold topology

Let $M$ be a smooth manifold without boundary, not necessarily compact. Let $f$ be a real-valued smooth function on $M\times M$. We say $f$ is good if for any point $(x,y)\in M\times M$ with local ...
1
vote
0answers
162 views

Dropping the closed requirement from the symplectic manifold definition?

A symplectic manifold is a pair $(M,\omega)$, where $\omega$ is a non-degenerate closed two-form. When $M$ is compact, Hodge decomposition implies that such manifolds have non-zero second ...
1
vote
1answer
603 views

Hamiltonian potentials of holomorphic vector fields on modifications of Kahler manifolds

let $(M,\omega)$ be a compact Kähler manifold. Let $\mathfrak{g}=H^{0}(M,T_{M})$ be the Lie algebra of holomorphic vector fields on $M$.We can decompose $\mathfrak{g}$ as ...
6
votes
0answers
229 views

Global sections for a locally free sheaf over curves

Let $B$ be a complete algbraic curve of genus $g$, and $\mathcal{E}$ be a semi-stable locally free sheaf of rank $r$ over $B$. Assume that the slope of $\mathcal{E}$ is $\mu(\mathcal E):=\frac{\deg ...
3
votes
0answers
54 views

Boundedness Spectral Triple Axioms for de Rham Complex

In Connes' axioms for a spectral triple $(A,H,D)$, they have a representation of an algebra $A$ in bounded operators on a Hilbert space $H$, and (unbounded) operator $D$, such that $[D,a]$ is bounded. ...
3
votes
0answers
150 views

Uniqueness of scalar curvature

I'm reading Gromov's notes http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf and at page 7 they say that there is a unique second order differential operator $S$ from the space of Riemannian ...
2
votes
0answers
115 views

Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?

Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$. Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in ...
2
votes
2answers
247 views

Curvatures preserved under the Kahler-Ricci flow

Maybe it is a trivial question. Is there any obvious reason that non-negative holomorphic bisectional curvature is preserved by (normalized) Kahler-Ricci flow, but non-negative Ricci curvature is not ...
0
votes
0answers
109 views

Is holomorphic 2-form on Moduli of Higgs bundle in Biswas' paper is non-degenerate

In Biswas' paper, Geometry of moduli of Higgs bundles, he defined a holomorphic 2-form on moduli of stable Higgs bundles, using Kodaira-Spencer map and Petersson-Weil metric. I want to know whether ...
2
votes
0answers
193 views

Is there any progress on Problem 13 (from Schoen and Yau)?

This is closed related to the question asked here. I wonder if there is any progress on Problem 13 from the "Problem Section" in Schoen and Yau, page 281, problem 13, which asks: Let $M_1$ and $M_2$ ...
1
vote
2answers
161 views

Calculating Exterior Distance from Measurements of Inner Geometry

Gauss has proven in his famous Theorema Egregium, that it is possible, to calculate the gaussian curvature from measuring angles and distances on the surface, irrespective of how the surface is ...
0
votes
0answers
117 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
3
votes
1answer
153 views

Weinstein's local classification of Lagrangian foliations

In the paper "Symplectic manifolds and their Lagrangian submanifolds", Weinstein showed that locally all the Lagrangian foliations are symplectomorhic to the fiber foliation of a cotangent bundle. I ...
1
vote
0answers
450 views

A metric on $S^{2}$ [closed]

Edit:Can this new version of this question be answered with the method of same comments to the previous version? Let $p:S^{3}\to S^{2}$ be the Hopf fibration $p(z,w)= (\parallel ...
14
votes
5answers
566 views

Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

First, we make the following observation: let $X: M \rightarrow TM $ be a vector field on a smooth manifold. Taking the contraction with respect to $X$ twice gives zero, i.e. $$ i_X \circ i_{X} ...
0
votes
0answers
52 views

Convergence of Selberg type Zeta function

Let $X=G/K$ be a Riemannian symmetric space without compact factor. We can assume $G$ is connected and real reductive. $K$ is a maximal subgroup of $G$. Let $\Gamma$ be a discrete torsion free ...
3
votes
1answer
271 views

Tangent space describes the manifold's first order characteristic. Is there something like tangent space describes higher order characteristic?

I'm learning differential geometry. I'm curious that when we learned analysis, we learned higher order derivative, while in differential geometry, first order derivative is generalized to element of ...
2
votes
0answers
150 views

Generalized metric on spacetimes

I read many articles about space-times. Most authors consider these spaces as warped product manifolds $I\times M$ where $I$ is an open connected interval of the real line and $M$ is a Riemannian ...
2
votes
0answers
104 views

Slice a compact C1 surface in R3 by a moving transverse plane. Does the length of the slice depend C1 on the plane?

To be more precise I am interested in questions similar to the one below (I asked the question below on math.stackexchange last week but got not answer.) I have a $C^1$ function $f:[0,1]^2 \to ...
2
votes
0answers
66 views

Geodesics on a perturbed submanifold of $\mathbb{R}^m$ [closed]

Let us consider $M$, a Riemannian manifold of dimension $n$, isometrically embedded in $R^m$. Let us consider a geodesic $\gamma$ on $M$. Now, let us "perturb" (in other words, change slightly the ...
7
votes
2answers
909 views

Is there an English translation of Minding's 1839 paper?

Is there an English translation of "Wie sich entscheiden lässt, ob zwei gegebene krumme Flächen auf einander abwickelbar sind oder nicht..." by Ferdinand Minding, Journal für die reine und angewandte ...
3
votes
0answers
117 views

Unipotent representations of SL(2,R) by quantization

I'm a PhD student in mathematical physics and I happen to need some elements of Kirillov's "orbit method" for producing representations of Lie groups. I'm familiar with symplectic geometry, geometric ...
3
votes
0answers
112 views

An example of mean curvature flow that does not preserve embeddedness

Let $F: M^n \to \mathbb R^{n+k}$ be an embedding and $F_t$ be a families of immersions so that $F_0=F$ and $$\frac{\partial F_t}{\partial t} = \vec H$$ It is known that in hypersurface case ...