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

learn more… | top users | synonyms (1)

9
votes
1answer
128 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 ...
2
votes
0answers
254 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
0answers
298 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 ...
30
votes
1answer
986 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 ...
1
vote
0answers
21 views

Normal cycle of union of convex sets [closed]

i have to show that the normal cycle of a convex subset is additive, i.e if A and B are two convex subsets then N(AUB)=N(A)+N(B)-N(A \inter B), i tought about using the Gauss-Bonnet formula since we ...
1
vote
1answer
55 views

Rectifiable currents [closed]

I found so many definitions of a rectifiable current, which is obviously a current which arises from rectifiable sets, but i really can't get the geometrical meaning of it. I saw some examples of ...
2
votes
0answers
38 views

Boundary Conditions for Sine Gordon on some K< 0 surfaces

The Sine-Gordon equation $$ \alpha^{\prime \prime}(s) = \sin \alpha (s) $$ defines asymptotic lines of all constant negatively Gauss curvature K surfaces on a Chebychev net in 3-space or so I ...
2
votes
0answers
61 views

What is known for harmonic map flow in dimension > 2?

I have been reading about harmonic map flow for maps from a Riemann surface. I presume a lot of the results are specific to 2D as the conformal invariance of the energy is crucial to the arguments. ...
3
votes
1answer
214 views

Confusion surrounding the Koszul-Malgrange theorem

I recently had the need to appeal to some complex geometry in my research and have been trying to unravel the various relationships surrounding the Koszul-Malgrange theorem. According to nlab, the ...
4
votes
0answers
92 views

Compressing a hypersurface on the sphere

Let $M^n$ be a compact, connected, orientable hypersurface of the unit sphere $S^{n+1} \subset \mathbb{R}^{n+2}$. Suppose $M$ is contained in the northern hemisphere $S_+^{n+1}$ and has nonzero ...
3
votes
1answer
187 views

Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...
5
votes
1answer
105 views

Are square tiled surfaces dense in the moduli space of translation surfaces?

I'm reading the survey "An introduction to Veech surfaces" by Pascal Hubert and Thomas Schmidt. At page 19 they state "In any fixed stratum, the set of square-tiled surfaces of that stratum is ...
2
votes
1answer
155 views
4
votes
1answer
102 views

Chern-Einstein metrics on complex Hermitian manifolds

Metric on a Riemannian manifold $(M,g)$ is Einstein, if for some function $\lambda\colon M\to \mathbb R$ $$ Ric(g)=\lambda g. $$ It is well know, that such $\lambda$ is, in fact, a constant. The ...
1
vote
1answer
47 views

Unbounded convex domains in 2D

Let $\gamma$ be a smooth planar curve. Assume that $\gamma$ divides the plane into two domains and, it addition, that one of these domains is unbounded and convex. What can be said about the behavior ...
5
votes
0answers
176 views

Does $\#_n S^2×S^1$ really admit a map of non-zero degree from $B×S^1$?

In Proposition 4 on page 6 of this paper, http://arxiv.org/abs/1202.6302, the authors claim to produce a degree 2 $\pi_1$-surjective map $f$ between $M=S^1 \times \Sigma_2$ and $N=\#_2 S^2 \times S^1$ ...
2
votes
1answer
106 views

Hessians on Kahler Manifolds

This is primarily a linear algebra question, but for motivation I want to state this question in its natural, global context. Whenever we have a non-relativistic quantum field theory (renormalized, ...
0
votes
0answers
135 views

A question about invariance of plurigenera

Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So deformation invariance of plurigenera says that the ...
4
votes
1answer
127 views

how to define the injectivity radius of manifolds with boundary?

For manifolds without boundary one defines the injectivity radius as the maximal radius where the exponential map is a diffeomorphism. One can then show that the injectivity radius is the maximum ...
1
vote
0answers
47 views

Is Fano Kahler surface with reverse orientation also Kahler?

In particular, do Fano Kahler surfaces with reverse orientation admit Kahler-Einstein metrics?
3
votes
0answers
50 views

Transverse intersection in the $G$-orbit of paths

I know how to prove the following lemma but I assume that it is well-known. Can someone provide a reference for it? Let $d>1$ and let $M$ be a $d$-dimensional connected smooth manifold with a ...
1
vote
0answers
74 views

Flat coordinates of a Riemannian metric [closed]

We know that, given a metric $g_{ij}(p)$ on a $n$-dimensional manifold $M$, if the metric has vanishing Riemannian curvature, then there exists a coordinate system in which it is constant. Let ...
4
votes
0answers
180 views

Kähler quotients of affine varieties and GIT

Let $X\subseteq \Bbb C^n$ be a smooth affine variety and $G=K_{\Bbb C}$ a complex reductive group acting linearly on $\Bbb C^n$ preserving $X$ (where $K$ is a maximal compact subgroup of $G$). Suppose ...
5
votes
1answer
174 views

Spin structures on schemes

This is a very naive question, but I have been wondering about the role of spin geometry and spinor structures in the context of algebraic geometry. I know the definition of spin structures and ...
9
votes
1answer
100 views

Harmonic function with injective boundary conditions is an immersion?

Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we are given an immersion $f:M \to \mathbb{R}^n$. (i.e $df$ is invertible at every point $p \in M$, note ...
23
votes
2answers
693 views

Why is it true that if two 4-manifolds are homeomorphic then their squares are diffeomorphic?

Near the top of the second page of this paper, it is claimed that if two 4-manifolds $X$ and $Y$ are homeomorphic, then their squares $X \times X$ and $Y \times Y$ are diffeomorphic. Why is this true? ...
3
votes
1answer
89 views

coisotropic action on $TS^{2n+1}$

Let $S^{2n+1}$ be the $m$-dimensional sphere in $\mathbb{C}^{n+1}$. Endow $S^{2n+1}$ with the standard metric. Let $S^1$ act by multiplication on $S^{2n+1}$. Then $S^1$ and the canonical action of ...
5
votes
1answer
159 views

Extension of functions from geodesically convex compact sets in a Riemannian manifold

In the paper Extension operators for spaces of infinite differentiable Whitney jets (J. reine angew. Math. 602 (2007), 123—154, DOI:10.1515/crelle.2007.005) by Leonhard Frerick, a convenient condition ...
2
votes
0answers
64 views

A problem of defining addition in a Quotient space

Let $\mathcal{C}$ be the space of all parametric curves $x:[0,1]\rightarrow \mathbb{R}^2$. Let the set of all re-parameterizations of curves is $\Gamma = \{\gamma : [0, 1] \rightarrow [0, 1]| \gamma ...
2
votes
1answer
93 views

Proof about affine connections

I'm reading Nomizu & Sasaki's "Affine Differential Geometry: Geometry of Affine Immersions" and I'm having some trouble with Proposition 1.4. I have an immersed surface in $M \hookrightarrow ...
3
votes
0answers
73 views

Divergence theorem on stratified spaces

It is very common in physics and engineering to apply the divergence theorem to compact spaces whose boundary is not smooth. For example, in the wikipedia link I just gave, the picture illustrating ...
17
votes
6answers
639 views

Automorphism group of real orthogonal Lie groups

I would like to know what is the "outer-automorphism group" $Out$ of $SO(p,q)$ and $O(p,q)$, where $p+q >0$. My working definition of $Out$ is as follows: Let us denote by $Aut(G)$ the ...
2
votes
0answers
176 views

Canonical metric on moduli space of singular Calabi-Yau varieties

Let $\pi:X\to Y$ be a surjective holomorphic map with connected fibers and let fibers are singular Calabi-Yau varieties (i.e. numerical dimension is zero) then is it possible to construct canonical ...
5
votes
2answers
148 views

Is $\mathbb{P}T^*M$ a sub-Riemannian manifold if $M$ is Riemannian?

(this question is about a particular aspect of a previous question, which was not duly stressed) Let $(M,g)$ a Riemannian $n$-dimensional manifold, and let $$ \widetilde{M}:=\mathbb{P}T^*M $$ be the ...
6
votes
2answers
234 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, ...
3
votes
1answer
89 views

Vector fields, diffeomorphism subgroups and lie group actions

Let $M$ be a compact smooth manifold. Since any vector field is complete we get a $1$-parameter subgroup for each vector field. Consider the following generalization: Let $\{X_j\} \in Vect(M)$ be a ...
2
votes
0answers
64 views

Action of orthogonal group on the free Lie algebra

This question is somewhat related and inspired by this post of professor Montgomery. The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of ...
3
votes
0answers
68 views

Perburb the Monodromy of Lefschetz fibration over a disk

Suppose that $\pi:E \to D$ is a 4-dimensional Lefschetz fibration over a disk,(more general, Lefschetz fibration over a surface with boundary ) and let $\Omega$ be a closed 2-form on $E$ such that it ...
8
votes
1answer
121 views

Generalized Dirac operators

So far I met three definitions of the so called generalized Dirac operator(or Dirac type operators. Everything takes place over Riemannian manifols $M$ and we have smooth hermitian vector bundle $S ...
2
votes
1answer
46 views

A random question on the local family index theorem

A random question. Say we have a complex vector bundle $E\to M$ that is isomorphic to a trivial bundle, and $d$ is a trivial connection on it. Let $M\to B$ be a fiber bundle with even dimensional ...
2
votes
1answer
135 views

isometric action on the $n$-sphere

Let $S^n$ be the $n$-sphere. If $n=2k+1$ is odd, then we can identify $S^n$ as a subset of $\mathbb{C}^{k+1}$. We define the $S^1$ action on $S^n$ by multiplication, namely $$ \Psi \colon S^1 \times ...
5
votes
1answer
217 views

What is meant by a Lie group acting by affine transformations?

This question is a continuation of this one, where I did not receive a complete answer so am moving to MO. I am trying to understand a paper by JP Szaro that was referred to there, and in particular, ...
5
votes
0answers
170 views

Homotopy groups of the Grassmannians

What are the homotopy groups of the oriented Grassmannian $Gr^{+}(p,q)$ (p-planes in $R^{p+q}$) $\pi_{r}(Gr^{+}(p,q))$, $r \le pq$? Do you know any references on the web about it?
2
votes
0answers
83 views

Willmore functional

Let $(M^2,g)$ and $(\bar{M},\bar{g})$ be two Riemannian manifolds. Suppose that $\mathcal{W}$ is the Willmore functional on the set of immersion functions from $M^2$ to $\bar{M}$. We know that ...
2
votes
0answers
94 views

How many linear independent vector fields can be constructed on a general manifold with $\chi(M)=0$?

We have known how many linear independent vector fields can be constructed on $S^n$:https://en.wikipedia.org/wiki/Vector_fields_on_spheres So how many linear independent vector fields can be ...
1
vote
0answers
88 views

Orders of zeros of section of sheaf

We have a semistable family (fibers has normal crossings and they are reduced, multp 1) $f: X \rightarrow Y,$ of complex curves over a smooth curve $Y.$ The family is smooth over the set ...
1
vote
4answers
148 views

On the definition of fundamental vector field

I've encountered with following question while reading Morita's book "Geometry of Differential Forms" (pp.263) Let $(P,\pi,M,G)$ be a principal G-bundle, $\mathfrak{g}$ be the Lie algebra of the Lie ...
0
votes
0answers
145 views

Defining smooth manifolds without homeomorphisms

I would like to define smooth manifolds via atlases without homeomorphisms, by viewing it as a set (not a topological space) with maps and transition functions, by requiring the latter to be smooth ...
7
votes
0answers
162 views

Biholomorphic neighborhoods of the boundary of Stein domains

Let $(X_1,J_1)$ and $(X_2,J_2)$ be Stein domains with the same contact boundary $(Y,\xi)$. Under what conditions does there exist a biholomorphism between a neighborhood of their respective boundaries ...
4
votes
1answer
134 views

Distance comparison in submanifold versus in the underlying manifold

Let $(M,g)$ be the (underlying) manifold, $(S,g|)$ be a submanifold. Let $a,b,c \in S$. It's not in general true that $d_M(a,b)\leq d_M(a,c) \implies d_S(a,b)\leq d_S(a,c)$. QUESTION I: The above ...