**9**

votes

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

155 views

**4**

votes

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**6**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**4**answers

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

**0**answers

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

**0**answers

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

**1**answer

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 ...