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

learn more… | top users | synonyms (1)

4
votes
1answer
240 views

what is the universal cover of GL(2,R)? [on hold]

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$. What is G'? I know there is concrete description in terms of pairs ...
0
votes
0answers
28 views

Submersion on open and dense subset

If $f \colon M \to N$ is a smooth map between smooth manifolds, is it possible to find an open and dense set $M_0$, such that $f(M_0)$ is a manifold and $f \colon M_0 \to f(M_0)$ is a surjective ...
9
votes
2answers
142 views

Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold. It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ? ...
18
votes
1answer
630 views

Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a ...
29
votes
3answers
5k views

What is the difference between holonomy and monodromy?

What is the difference between holonomy and monodromy? And what is the simplest example in which one is trivial and the other is not?
6
votes
1answer
220 views

“structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration". Does it make sense to talk about "structure ...
0
votes
0answers
28 views

Lower bounds on the measure of balls in attractor sets

I'm looking for a source for the following result. Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset ...
2
votes
0answers
237 views

Measure of the Attractor of Critical Points of a Manifold

Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \mathbb{R}^{d+1}$. Let $P$ be a property of some subset ...
2
votes
2answers
131 views

Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies ...
15
votes
3answers
915 views

moduli spaces are kahler?

I often heard from experts that "moduli spaces are Kahler". This sounds as a meta-theorem asserting that every time one defines reasonable moduli spaces, then there is a standard strategy to see ...
0
votes
1answer
434 views

Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me: Is there any open Ricci-flat ALE 4-manifold other than ...
2
votes
2answers
208 views

Cohomology of Homogeneous Complex Manifolds

Let $M$ be compact $G$-homogeneous manifold, equipped with the equivariant complex structure, when $G$ is a semi-simple algebraic group. The obvious example is every flag manifold. In that case, all ...
21
votes
1answer
289 views

Is the normal bundle of a torus trivial?

Question: Let $T^k \subseteq \mathbb{R}^n$, $ n > k$, be a smoothly embedded $k$-torus. Is its normal bundle trivial? What about the normal bundle of $S^k \subseteq \mathbb{R}^n$, $n > k$, the ...
7
votes
0answers
125 views
+50

Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$). Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...
0
votes
0answers
39 views

Invariance of spin coefficients

I have a question about how spin coefficients (Newman Penrose formalism) transform. I know that if we perform a tetrad rotation, say of Class III: $(l,n,m,\overline{m})\mapsto \left(\frac{1}{A}l, ...
2
votes
0answers
120 views

When are Kähler potentials bounded from below?

The prototypical example of global Kähler potential is the one of the standard Kähler structure on $\Bbb C^n$ given by $$f:\Bbb C^n\longrightarrow \Bbb R,\quad f(z_1,\ldots,z_n)=\sum_{k=1}^n|z_k|^2.$$ ...
5
votes
0answers
234 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$ ...
6
votes
2answers
218 views

Index of Modified Dirac Operator

Let's say we have an oriented compact 4-d Riemannian spin manifold $(M,g)$. Everybody who's anybody has heard about the index of the Dirac operator $D: S^+\rightarrow S-$; it's the $\hat{A}$-genus, ...
9
votes
1answer
272 views

A careful roadtrip from locally symmetric spaces to algebra

I'm trying to break the classification of locally riemannian symmetric spaces to little steps to make it more comprehensible (and s.t. the technical details can be verified without drowning ...
0
votes
0answers
56 views

Lower bound on the diameter of a ball contained in the stable manifold of a critical point

Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \mathbb{R}^{d+1}$. Consider the negative of the gradient ...
8
votes
0answers
93 views

Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...
2
votes
1answer
77 views

Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...
6
votes
0answers
121 views

intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie ...
15
votes
1answer
813 views
7
votes
1answer
408 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
0answers
92 views

Can we use the “size” of smooth structure set to predict the information geometry or other topological information?

The "size" can mean the number of elements or the diameter of the set of smooth structures. Y. Shikata defined a distance function on it and proved that it is a distance. He then used it to prove that ...
2
votes
1answer
161 views

Non-diffeomorphic smooth structures on the quotient of a manifold by an integrable distribution

In geometric quantization, one of the important ingredients is an integrable distribution $D$ (let's say real) on some manifold $M$ (symplectic, but this is not important). The resulting object is ...
0
votes
0answers
154 views

Exact sequence of vector bundles

Consider the short exact sequences below; \begin{equation} 0\longrightarrow H^0(\mathbb{P}^4,\mathcal{O}_{\mathbb{P}^4}(d-1)^{\oplus 4})\longrightarrow ...
2
votes
1answer
169 views

Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...
0
votes
1answer
218 views

Are transversely immersed PL surfaces Riemann surfaces?

I have a piecewise linear (PL) surface transversely immersed in $\mathbb{R}^3$; is this a Riemann surface in the sense that I can describe it with a local coordinate $z\in \mathbb{C}$? My basic ...
3
votes
0answers
30 views

covariant derivative of manifold-valued function and logarithm map

Let $M$ be a Riemannian manifold and $f\colon \Omega\subset \mathbb{R}^d\rightarrow M$ a smooth, i.e. $C^\infty$, function. For any $p\in M$ let $T_pM$ be the tangent space at $p$ and $\log_p\colon ...
3
votes
0answers
38 views

Feynman-Kac formula and time-ordering for vector bundles

Let $M$ be a compact Riemannian manifold and let $\mathrm{d}\mathbb{W}^{yx;T}(\gamma)$ denote the Brownian Bridge measure, i.e. the Wiener measure on the paths that travel from $x$ to $y$ in time $T$ ...
4
votes
1answer
507 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 ...
3
votes
1answer
133 views

Compact manifolds locally bi-Lipschitz to Euclidean space

I have a compact manifold $M$, and I am allowed to choose some Riemannian metric on it, exactly which I don't care. But I would love it if I could choose the metric $g$ such that every point has an ...
0
votes
1answer
352 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 ...
22
votes
10answers
1k 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, ...
1
vote
1answer
37 views

Hermitic connections on complex line bundles with imaginary curvature form

It is a simple fact that if $L \to B$ is a complex line bundle endowed with an Hermitian product and a compatible connection $\nabla$, then the curvature $F_\nabla$ is imaginary (and so are the local ...
11
votes
4answers
310 views

Tameness in $\mathbb{R}^{n^2}$ of the subset consisting of matrices of positive determinant

The Lie group $GL(n)$ being a manifold is locally path-connected. Consider its connected component of the identity $C\subseteq\mathbb{R}^{n^2}$. What is a good way of showing that $C$ is a tame ...
2
votes
0answers
94 views

Quantizable vs. integral Kahler form

Let $(M,\omega)$ be a (not necessarily compact) Kahler manifold. Then the form $\omega$ is integral if and only if $\omega \in c_1 (L) $ for some holomorphic line bundle $L$. A Hermitian holomorphic ...
1
vote
0answers
54 views

Why the sub-Laplacian $\Delta_{sub}$ on the Heisenberg group $H^3 $ is sub-elliptic but not elliptic?

I want to know why the sub-Laplacian $\Delta_{sub}= X^2 + Y^2$ on the Heisenberg group $H^3 = \mathbb C \times \mathbb R$ is sub-elliptic but not elliptic, where $X$ and $Y$ are the left-invariant ...
9
votes
0answers
146 views

Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor ...
26
votes
1answer
1k views

Does the Pfaffian have a geometric meaning?

While reviewing the proof of Gauss-Bonnet in John Lee's book, I noticed the following paragraph: " ...In a certain sense, this might be considered a very satisfactory generalization of Gauss-Bonnet. ...
6
votes
0answers
399 views

When a Spherical variety is $K$-stable

Let $X=G/H$ for a reductive group $G$ and $X$ is normal and has an open $B$-orbit, for a Borel subgroup $B$ then we call $X$ spherical. My question is When a Spherical variety is $K$-stable? Is ...
2
votes
0answers
279 views

Do Peano curves provide a counterargument to Grothendieck's critique?

This question arose in the context of an earlier question on Grothendieck's critique of the traditional foundations of topology. Can the paper Group Invariant Peano Curves by Cannon and Thurston be ...
29
votes
1answer
847 views

Can a topological manifold have different tangent bundles?

We know that the tangent bundles of the sphere arising from different smooth structures are equivalent as vector bundles. Is it right in general? I want to know the relationship between the set of ...
7
votes
3answers
2k views

Almost Complex Structures: 'Tame' versus 'Compatible'

Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures. These are $J:TM\to TM$ with $J^2=-\text{id}$. A given $J$ is $\omega$-tame when $\omega(v,Jv)>0$, and $J$ is ...
13
votes
5answers
3k views

geometric interpretation of Lie bracket

On page 159 of "A Comprehensive Introduction To Differential Geometry Vol.1" by Spivak has written: We thus see that the bracket $[X,Y]$ measures, in some sense, the extent to which the integral ...
5
votes
0answers
75 views

Geometric quantization: why are the prequantum operators self-adjoint?

I'm reading a bit about geometric quantization and, among the axioms of this construction, is one requiring that the operator $\hat f = -\textrm i \hbar \nabla _{X_f} + f$ associated to the classical ...
0
votes
1answer
198 views

Is every 3-Sasakian a Sasakian-Einstein manifold?

a short question: Is every 3-Sasakian manifold a Sasaki-Einstein manifold? If not, do you have an example? If yes, how can I prove this? Thanks and best regards
4
votes
2answers
880 views

Hodge dual on hermitian manifold

Recently I have been reading a number of mathematical physics articles in which different definitions are given for the Hodge dual on a hermitian manifold. For the Hodge operator that transforms a ...