# Tagged Questions

**3**

votes

**1**answer

104 views

### Equivalence of the construction of the Lagrangian in a book of Sternberg to the “usual” construction

I have a question regarding the following cited text from [1]:
Let $F$ be a representation of the structure group $G$ of the principal bundle $P_G\to M$ (a (semi-)Riemannian manifold), and let ...

**1**

vote

**0**answers

101 views

### Extension of a bounded operator on manifold

I have a problem, which is quite urgent, as I have only today discovered an error in a proof i had in a thesis which is to be handed in tomorrow.
The problem, if stated in as full generality as ...

**1**

vote

**0**answers

169 views

### Orbital integral by using symplectic quotient

Let $(M,\omega)$ be a compact symplectic Hamiltonian $G$-manifold and $\Gamma_{\text hol}(M,L)$ be the space of holomorphic sections of the line bundle $L\to M$
I am looking for a proof for ...

**0**

votes

**1**answer

290 views

### A question about Quantized closed Kaehler manifolds

Let $(M,\omega)$ be a Quantized closed Kaehler manifold then by Koderia embedding theorem , $M$ must be algebraicly projective i.e, we have the embedding
$$\phi: (M,\omega)\to (\mathbb CP^N, ...

**5**

votes

**1**answer

272 views

### Is there a specific geometric meaning why fractional charges are allowed in SU(N) gauge theories?

So in the standard model of particle physics, there exist particles with fractional charge. What this means geometrically is as follows: We are given a smooth manifold with a principal $U(1)$ bundle ...

**3**

votes

**0**answers

296 views

### Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation

Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$?
Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...

**0**

votes

**1**answer

185 views

### A question on existence of $Spin^c$-structure $P\to M$

Let $(M,\omega)$ be a compact symplectic manifold and the cohomology class $$[\omega]+\frac{1} {2}c_1(\wedge_{\mathbb C}^{0,n}(TM, J))\in H_{dR}^2(M)$$
is integral, for some almost complex structure ...

**3**

votes

**1**answer

130 views

### All symplectic manifolds have $Mp^c$-structures?

Let $(M,\omega)$ be a symplectic manifold, and $Mp^c(n)=Mp(n)\times_{\mathbb Z_2}U(1)$ which $Mp(n)$ here is Metaplectic group which is the double cover of symplectic group. I am looking for a ...

**6**

votes

**0**answers

125 views

### Characterize spin cobordism invariants in dimer models

The paper by Cimasoni and Reshetikhin http://arxiv.org/abs/math-ph/0608070 shows that one can map problems about spin structures on a Riemann surface into problems about dimmer configurations on a ...

**6**

votes

**2**answers

371 views

### Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...

**5**

votes

**0**answers

69 views

### Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic?
Note that a (compact) Riemannian manifold is said to be quantum ergodic if ...

**4**

votes

**2**answers

143 views

### Lagrangians with the same extremal curves

It is well know that (in the sense having the same image not parametrization) the extremal curves of the energy functional on a Riemanian manifold $(M,g)$:
$E[\gamma(t)] = \int ...

**1**

vote

**1**answer

263 views

### A question about complex polarization

Let $M$ be a symplectic manifold, Then a subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
dim$P\cap\bar P ...

**4**

votes

**5**answers

457 views

### How to characterize Dirac's gamma matrices in differential geometry?

I want to understand what is the interpretation of Dirac gamma matrices in differential geometry. Basically, I am considering the Dirac matrices as 3-indexed tensors, which means a tensor with 1 ...

**1**

vote

**0**answers

179 views

### quantization for integral coadjoint orbits

I am looking for a referrence for proof of following statement.
Let $G$ be a semi-simple Lie group and $\mathfrak{g}$ be its Lie algebra and $\alpha_k$ be simple roots of $\mathfrak{g}$ and $\mu_0$ ...

**7**

votes

**0**answers

256 views

### Curvature as infinitesimal holonomy

Let $P \to M$ be a principal $G$-bundle, assume as much regularity as you want (compact $G$ or compact base manifold, ect). Via parallel transport, a connection $A$ on $P$ gives rise to the holonomy ...

**0**

votes

**0**answers

110 views

### When the leaves of a distribution are compact

Let $(M,\omega)$, be a symplectic manifolds. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
...

**0**

votes

**0**answers

141 views

### Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...

**0**

votes

**1**answer

157 views

### An example for the case tht if the leaves of polarization be non-compact then the polarized sections are not square integrable

Let $(M,\omega)$, be a symplectic manifolds. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
...

**1**

vote

**1**answer

274 views

### The space of holomorphic sections are finite dimensional?

I start my question with a definition and some motivation.
Let $M$ be a symplectic manifold. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex ...

**2**

votes

**1**answer

81 views

### An example to show that when $P$ is a complex polarization the subbundle $P+ \bar P$ is not necessarly involutive

I start my question with some motivation. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
dim$P\cap\bar ...

**-1**

votes

**1**answer

141 views

### $S^n$ admit a real polarization $D\subset TS^n$?

When the $n$-sphere, $S^n$,admit a real polarization $D\subset TS^n$

**0**

votes

**1**answer

207 views

### On the Geroch's argument

During the study of Geroch's argument to prove positive mass theorem, I faced a problem explained below:
Suppose $(M,g_{\mu \nu})$ is a four dimensional Lorentzian Manifold and $\Sigma$ is a ...

**1**

vote

**2**answers

492 views

### Uniqueness on square root of complex Line Bundle

Let $L$ be a line bundle over a compex manifold $X$, a square-root of $L$ is a line bundle $M$ such that $M^{\otimes2}=L$. My question is when the square-root of Line Bundle is unique?

**4**

votes

**1**answer

348 views

### Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization.
I don't undrestand the philosophy of following assertion
If $(V,\omega)$ be a symplectic vector space then the quantizations of
$V$ ...

**3**

votes

**0**answers

202 views

### Looking for a necessary and sufficient condition for the polarization $\mathbb{P}$ being positive

My question is about positivity of polarization in Geometric quantization theory. Let $\mathbb{P}$, be a complex polarization on symplectic manifold $(M,\Omega)$. For every $m\in M$, we can define a ...

**2**

votes

**1**answer

334 views

### looking for an identity for higher jet bundle $J^kM$?

We know this fact that the first jet Bundle $J^1M$ is diffeomorphic with $T^*M×\mathbb{R}$.i.e,
($J^1M=T^*M×\mathbb{R}$)
Is there something like this identity for higher jet bundle $J^kM$?
I editted ...

**4**

votes

**0**answers

202 views

### Local version of a slice (for a Lie group action)

Let $\Upsilon: G \times M \to M$ be a smooth action of a Lie group $G$ on a manifold $M$.
Isenberg and Marsden (1982) define a slice at $m \in M$ as a submanifold $S \subseteq M$ containing $m$ such ...

**1**

vote

**1**answer

327 views

### pre-quantization of Jet bundle

We know that the notion of Jet bundle $J^kM×\mathbb{R}$, is generalization of cotangent bundle. What is the prequantization of $J^kM×\mathbb{R}$?

**2**

votes

**0**answers

195 views

### a question about geometric quantization background

I don't understand why for geometric description of a regular system, we take always the classical phase space as a symplectic manifold?

**3**

votes

**1**answer

159 views

### Does fixing the reparameterization invariance of the string action correspond to some kind of orbifolding?

Does fixing the reparameterization invariance of the string action, for example by choosing the light-cone gauge
$$
X^{+} = \beta\alpha' p^{+}\tau
$$
$$
p^{+} = \frac{2\pi}{\beta} P^{\tau +}
$$
...

**15**

votes

**1**answer

607 views

### Combinatorial spin structures

I would like to know how to define spin structures combinatorially, for an oriented smooth manifold equipped with a triangulation. In the case of a 2d manifold, spin structures correspond to ...

**0**

votes

**1**answer

293 views

### A reference about Dolbeault cohomology

I am looking for a reference about Dolbeault cohomology when the line bundle is not supposed to be positive.

**3**

votes

**2**answers

432 views

### Van Vleck-Morette Determinant

There seems to be something curious about the so-called Van-Vleck-Morette determinant, as I cannot find any source that properly defines it in terms of expressions previously defined in that source ...

**1**

vote

**1**answer

135 views

### pre-symplectic and foliation and its trajectories

Let $(M,\omega)$, be pre-symplectic, then can we say, we have a foliation of $M$, with tangent spaces $ker\omega$.What can we say about its trajectories. ?

**8**

votes

**2**answers

474 views

### Hodge decomposition in Minkowski space

This question is motivated by the physical description of magnetic monopoles. I will give the motivation, but you can also jump to the last section.
Let us recall Maxwell’s equations: Given a ...

**2**

votes

**1**answer

149 views

### Extending the variational bicomplex to Hamiltion or Hamiltion-Jacobi formalism

The variational bicomplex seams to provide a modern formulation of the variational problem in terms of modern differential geometry. In particular the bigraded complex of differential forms ...

**3**

votes

**1**answer

196 views

### What are the invariant definitions of spinorial quantities from mathematical physics?

When physicists write expressions involving spinors $\psi \in S \otimes V$, where $S=S_+ \oplus S_-$ is a complex spinor representation of a spin group $Spin(2d)$ and $V$ is a complex representation ...

**3**

votes

**2**answers

483 views

### Energy functional

During my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, also in Perelman's works ...

**1**

vote

**0**answers

114 views

### Felder Kazhdan classical master equation

Has there been any follow up by anyone to
Giovanni Felder, David Kazhdan, The classical master equation (arXiv:1212.1631)?
Other than on nlab, I haven't found any citations.

**7**

votes

**1**answer

331 views

### How unique is a conformal compactification?

I'm trying to understand the term "conformal compactification" which is often used in physics. I reckon that most places take this to mean a (sometimes specific) compact conformal completion. That is, ...

**3**

votes

**1**answer

343 views

### conservation law and generalized Symplectic Monge-Ampere equation arising from 3-variables

If we have a Jacobi PDE system with conservation law $\theta \in \Omega^1(M)$ such that $d \theta$ is non-degenerate 2-form , then we know this fact that it can be written as symplectic 2D ...

**6**

votes

**1**answer

515 views

### Darboux like theorem for non-degenerate 3-forms in 6-manifolds

we know Darboux theorem for higher-symplectic geometry is not correct in general,
but is there any Darboux like theorem for non-degenerate 3-forms in 6-manifolds?

**2**

votes

**1**answer

239 views

### symmetry of generationg function of PDE

We know that for finding the solutions of PDE equations, one of methods is "reduction of PDE", . For nonlinear equation
$v_t=(v^{-4/3}v_x)_x+\lambda v$ how can we compute the generators of Lie ...

**1**

vote

**0**answers

279 views

### a question about contact manifolds

Let $\mathfrak{g}=< X_{f_1},X_{f_2},...,X_{f_n}> $ be a lie algebra of contact symmetries , $\mathfrak{g}\subset Sym(E_\omega )$ , such that the orbit spact $ B_\mathfrak{g}=E_\mathfrak{g}/ ...

**17**

votes

**2**answers

789 views

### How does hyperbolicity of space time affect our lives?

My main research has been in hyperbolic geometry and geometric group theory. I always thought that the only real "application" of my work was that the universe is a 3-manifold.
But recently I found ...

**2**

votes

**0**answers

115 views

### universal connection for SU(3)

In 1961, Narasimhan and Ramanan (Am J Math 83 563) showed that one could represent an arbitrary SU(3) connection as $ i t^c_{a b} A^c_\mu(x) = e^*_a \cdot e_{b, \mu}(x) $ in which the $ t^a $'s are ...

**1**

vote

**0**answers

137 views

### Self Dual 2-Forms on Complexified Minkowski Space

I'm trying to get my head around integrability in twistor theory, but am struggling with interpreting the concept of self-duality on complexified spaces.
One can complexify Minkowski space to ...

**1**

vote

**1**answer

401 views

### Wedge Product of Lie Algebra Valued One-Form

I've been reading about the formal structure of gauge theories and am a little confused by the notation. Could someone clarify this for me?
Suppose that $A$ is a Lie algebra valued 1-form ...

**1**

vote

**0**answers

155 views

### multivalued solution of a equation

Definition: A scalar k-th order differential equation on a smooth manifold $M$ ,
is $F(x,v,\frac{\partial {^\left | \sigma \right |}v}{\partial x^\sigma })=0 $
for $\left | \sigma \right |\leqslant ...