**42**

votes

**0**answers

699 views

### Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here.
$\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...

**37**

votes

**0**answers

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

**36**

votes

**0**answers

2k views

### Minimal volume of 4-manifolds

This question came up in a talk of Dieter Kotschick yesterday. The minimal volume of a manifold is the infimum of volumes of Riemannian metrics on the manifold with sectional curvatures bounded in ...

**29**

votes

**0**answers

562 views

### Atiyah-Singer theorem-a big picture

So far I made several attempts to really learn Atiyah-Singer theorem. In order
to really understand this result rather broad background is required: you need
to know analysis (pseudodifferential ...

**28**

votes

**0**answers

3k views

### A paper to the question, if the six dimensional sphere is a complex manifold

Hi,
for a few days a paper was published on arxiv.org with the title "The six dimensional sphere is a complex manifold": http://arxiv.org/PS_cache/math/pdf/0505/0505634v3.pdf
Because I am not able to ...

**23**

votes

**0**answers

1k views

**22**

votes

**0**answers

500 views

### Finding the octonionic analog of the K3 surface, via (almost) hyperkahler geometry?

The K3 manifold is an amazing object in mathematics which plays an important role in several fields ranging from the study of smooth 4-manifolds to algebraic geometry to differential geometry and ...

**21**

votes

**0**answers

1k views

### Nontrivial tangent bundle that is diffeomorphic to the trivial bundle

Is there an example of a smooth $n$-manifold $M$ whose tangent bundle is nontrivial as a bundle but is nonetheless (abstractly) diffeomorphic to the trivial bundle $M \times \mathbb{R}^n$?
(This ...

**20**

votes

**0**answers

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

**18**

votes

**0**answers

650 views

### Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...

**17**

votes

**0**answers

793 views

### Unifying (& “justifying”) the various definitions for differential operators

Reading about differential operators in different sources I've picked up several definitions which are not obviously equivalent (to me). Here they are:
Definition 1 ("naive"): Let $X$ be a (real) ...

**17**

votes

**0**answers

850 views

### Milnor's cartography problem

Let $\Omega$ be a round disc of radius $\alpha<\pi/2$ on the unit sphere $\mathbb{S}^2$.
It is easy to construct a $(1,\tfrac{\alpha}{\sin\alpha})$-bi-Lipschitz map from $\Omega$ to the plane.
Is ...

**16**

votes

**0**answers

505 views

### Is the determinant of cohomology a TQFT?

If $M$ is an oriented $d$-manifold, let $D(M)$ denote the top exterior power of $H^*(M,\mathbf{C})$. Then $D(M_1 \amalg M_2) = D(M_1) \otimes D(M_2)$. Is there a good recipe for a map $D(M) \to D(N)$...

**15**

votes

**0**answers

424 views

### Does the Ricci flow approach shed light on Poincare conjecture in higher dimension?

I know that the Poincaré conjecture was first proved in dimension ≥ 5, then dimension 4, and finally 3. I'm just curious, does the Ricci flow approach by Perelman shed any light on the high dimension ...

**15**

votes

**0**answers

335 views

### Lipschitz constant of a homotopy

Let $n>0$, $\mathbb S^n$ be $n$-sphere and $1\in \mathbb S^n$ be its north pole.
A am looking for an example of compact manifold $M$ with a continuous $n$-parameter family off maps $h_x\colon M\to ...

**14**

votes

**0**answers

353 views

### Does $S^4$ have a “symplecto-homeomorphic” structure?

The 4-sphere cannot be a symplectic manifold. In particular, it does not admit an atlas whose transition maps are symplectomorphisms $(\mathbb{R}^4,\omega_\text{std})\to(\mathbb{R}^4,\omega_\text{std})...

**13**

votes

**0**answers

390 views

### Research situation in the field of Information Geometry

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field.
I have read (4) and parts of (3). ...

**13**

votes

**0**answers

632 views

### Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...

**13**

votes

**0**answers

927 views

### What is the holomorphic sectional curvature?

Let $X$ be an $n$-dimensional complex manifold, let $\omega$ be a Kahler metric on $X$ and let $R$ be the $(4,0)$ curvature tensor of $\omega$. We can simplify the tensor $R$ in different ways, two of ...

**13**

votes

**0**answers

553 views

### Applications of Berger's Curvature Estimate

I'm interested in applications of the following estimate of Berger on the Riemann curvature tensor:
Let $(M,g)$ be a Riemannian manifold of dimension $n \geq 4$, let $p \in M$, and assume that the ...

**12**

votes

**0**answers

279 views

### Artin L-function and Zeta function of twisted Dirac operator

If one thinks of a Frobenius as an element in the fundamental group of an arithmetic curve and of a Galois representation $\sigma$ as a flat connection on the curve, then the definition of the Artin L-...

**12**

votes

**0**answers

371 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...

**12**

votes

**0**answers

584 views

### How come Cartan did not notice the close relationship between symmetric spaces and isoparametric hypersurfaces?

Elie Cartan made fundamental contributions to the theory of Lie groups and their geometrical applications. Among those, we can list the introduction of the remarkable family of Riemannian symmetric ...

**12**

votes

**0**answers

322 views

### Has Cheeger's 'de Rham cohomology' of metric measure spaces been studied beyond its definition?

In J. Cheeger's 'Differentiability of Lipschitz Functions on Metric Measure Spaces' (Geometric and Functional Analysis, 1999, Vol. 9 pp 428-517, see here), a 'de Rham cohomology group' $H_{dR}^1(Z,\mu)...

**12**

votes

**0**answers

348 views

### Examples of Clifford Modules

For a Riemannian manifold $M$, a Clifford module is a bundle over $M$ that is, fiberwise, a representation of the Clifford algebra bundle $Cl(TM)$ and has a connection compatible with this action. ...

**12**

votes

**0**answers

419 views

### Exotic smoothness and Parallelizability

Regarding the parallelizability of the Milnor's seven dimensional exotic spheres:
Parallelizability of the Milnor's exotic spheres in dimension 7
The following question naturally arises:
Suppose ...

**11**

votes

**0**answers

203 views

### A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...

**11**

votes

**0**answers

259 views

### Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary,
the difference between the fiberwise integral of the differential and the ...

**11**

votes

**0**answers

685 views

### Geometric meaning of the black hole horizon

It is widely accepted that the singularity of the Schwarzschild metric at the event horizon is purely an artifact of the coordinates and no physical singularity exists at the horizon. However, as ...

**11**

votes

**0**answers

374 views

### 3 manifolds with diffeomorphic unit tangent bundles

What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?

**10**

votes

**0**answers

154 views

### Can we find minimal-diameter metrics without computability?

A beautiful argument by Nabutovsky and Weinberger (see http://math.uchicago.edu/~shmuel/fractal.ps) shows that, if $M$ is any smooth compact manifold of dimension $\ge 5$, then the diameter functional ...

**10**

votes

**0**answers

233 views

### Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If $\...

**10**

votes

**0**answers

342 views

### The cones for Bochner–Lichnerowicz–Weitzenböck formula

The Bochner–Lichnerowicz–Weitzenböck formula can be written the following way
$$ \Delta \phi-\nabla^*\nabla \phi= R(\phi),$$
here $\phi$ is a section in a Dirac bundle and $R$ the something which can ...

**10**

votes

**0**answers

405 views

### Poincaré recurrence and symplectic packings

Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius $r$,...

**10**

votes

**0**answers

529 views

### What is Quillen's contribution to index theorem?

In the book "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne it is said that "Our book is based on a simple principle, which we learned from D. Quillen: Dirac operators are a ...

**10**

votes

**0**answers

443 views

### Are there exotic $S^2\times S^2$?

On 2010 AKHMEDOV and PARK claimed there are infinitely many exotic smooth structures on $S^2\times S^2$, see http://arxiv.org/abs/1005.3346
Then Rasmussen posted a paper : Perfect Morse functions and ...

**10**

votes

**0**answers

174 views

### When is a submersion locally volume-expanding?

I would like to characterize the smooth maps $\varphi: \mathbb{R}^n \rightarrow \mathbb{R}^k$, $n\geq k$, with the following property:
For every $x\in \mathbb{R}^n$ there exists a positive number $...

**10**

votes

**0**answers

214 views

### “Small” maps from sphere to sphere

Start with a continuous map $f:S^{n+k} \rightarrow S^n$ (round unit spheres). The graph of $f$ lives in $S^{n+k}\times S^n$ and suppose it has a surface area (as a subspace of co-dimension $n$). Now ...

**10**

votes

**0**answers

299 views

### What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...

**10**

votes

**0**answers

532 views

### How does duality of symmetric spaces explain the hyperbolic cosine theorem?

There is a well-known duality between compact symmetric spaces and symmetric spaces of noncompact type. Basically it goes as follows: If $G/K$ is a symmetric space of noncompact type, $g=k+p$ the ...

**10**

votes

**0**answers

304 views

### Between Being a Connection and Being an Elliptic Operator

Let $E$ be a smooth complex vector bundle over a smooth compact manifold $M$ and let $H$ be the $Z_{2}$-graded (with the $Z_{2}$-grading given by even/odd forms) Hilbert space of $L_{2}$ (with respect ...

**9**

votes

**0**answers

241 views

### Are harmonic mappings of Riemannian manifolds always non-singular outside a set of measure zero?

Let $(M,g)$ be an $n$-dimensional, connected, compact, oriented, smooth Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to \mathbb{R}^n$ (note that $n=\dim M$).
Let $...

**9**

votes

**0**answers

153 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 $\mathcal{...

**9**

votes

**0**answers

66 views

### On the proof by Chu-Kobayashi that transformation groups are Lie groups

Chapter I of Kobayashi's Transformation Groups in Differential Geometry contains a very general theorem on transformation groups, due to Palais. I have some questions about its proof (which I attach ...

**9**

votes

**0**answers

418 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 fact,...

**9**

votes

**0**answers

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

**9**

votes

**0**answers

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

**9**

votes

**0**answers

305 views

### diameter as a Morse function

Consider the space $X_1$ of closed subsets not containing a pair of antipodal points of the unit circle. Here we have a kind of degenerate Morse function, defined by the diameter of the pointset. ...

**9**

votes

**0**answers

272 views

### Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...

**9**

votes

**0**answers

202 views

### Is there a Hodge isomorphism theorem for part-tangential, part-normal, harmonic differential forms?

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...