**1**

vote

**1**answer

225 views

### Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree):
Assume we have a Newman Penrose tetrad $\lbrace l, ...

**2**

votes

**1**answer

206 views

### AKSZ sigma models for higher spin

The AKSZ framework constructs 2D sigma models in the BV formalism. Is there a generalization of the AKSZ approach to higher spin?

**3**

votes

**1**answer

163 views

### On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation
$$\triangle \varphi = 4 \pi \rho \qquad (1)$$
defined on 3-dimensional oriented Riemannian manifold $(M,g)$,
where $g$ is metric and ...

**12**

votes

**2**answers

376 views

### Is there a relationship between Fourier transformations and cotangent spaces?

Maybe a trivial question but I can't seem to find it treated anywhere.
Consider a smooth manifold $Q$ (configuration space) and its cotangent bundle $T^*Q$ (phase space). Any function ...

**1**

vote

**0**answers

80 views

### Energy inequalities for Sobolev spaces of negative integer

I asked this question in mathematics stackexchange and couldn't get an answer.
Let $\phi\in H^{s}$ such that the following energy inequality is true:
$$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| ...

**1**

vote

**1**answer

97 views

### Derivative of a time evolution operator w.r.t. a parameter

Let $N\geq1$ be an integer and let $H:[0,1]^2\to\mathbb C^{N\times N}$ be a pointwise hermitean matrix valued function.
For $y\in[0,1]$ and $0\leq a\leq b\leq 1$, let $U_y(b,a)$ be the time evolution ...

**3**

votes

**0**answers

240 views

### Unusual generalization of the law of large numbers

I have seen in physical literature
an example of application of a very unusual form of the law of large numbers. I would like to understand how legitimate is the use of it, whether there are ...

**29**

votes

**2**answers

759 views

### Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following:
$$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} ...

**5**

votes

**0**answers

200 views

### TQFT characterization of braiding statistics

In the TQFT language, quasiparticles correspond to Wilson loop operators. It is well-known that quasiparticles can have non-trivial braiding statistics.
Take $2+1$ dimensional Abelian Chern-Simons ...

**3**

votes

**2**answers

213 views

### Momentum a cotangent vector

Apparently one identifies the configuration space in physics often with a manifold $M$. The tangent bundle $TM$ is then the space of all possible positions and velocities.
Furthermore, many sources ...

**9**

votes

**0**answers

95 views

### What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$.
When exactly are two unitary matrices related in this ...

**1**

vote

**1**answer

125 views

### Petrov classification/Weyl scalars

There is one calculation in Chandrasekhar's "Mathematical Theory of Black Holes" that I cannot understand. Here is the setup:
We want to show that Petrov type D (i.e. two principal null directions) ...

**3**

votes

**1**answer

117 views

### Reference of $\hbar$-differential operator from symplectic geometry perspective

I am reading Bates and Weinstein's book 'Lectures on the Geometry of Quantization'. In Chapter 6, they defined the $\hbar$-differential operator, and showed (Theorem 6.7) that the Lagrangian ...

**0**

votes

**0**answers

61 views

### Orthogonality relation for associated Legendre functions

The associated Legendre Polynomials $P_l^m(x)$ obey orthogonality relations for fixed $m$ and fixed $l$:
$$
\begin{align}
\int_0^\pi P_k^m(\cos\theta)P_l^m(\cos\theta)\sin\theta d\theta ...

**0**

votes

**1**answer

133 views

### Positivity of logarithmic energy of certain measures

Let $\Gamma$ be a smooth closed curve in the complex plane (for all practical purposes). Assume $f$ is a real-valued continuous function defined on $\Gamma$ and let $d\mu=fdm$, where $dm$ is the ...

**1**

vote

**1**answer

193 views

### String theory target spaces

In basic string theory Lagrangians (e.g. the Polyakov or the Nambu-Goto), the variables include a function $x:X\rightarrow M$ embedding a world-sheet $X$ into some target space $M$, which can be ...

**25**

votes

**2**answers

906 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**14**

votes

**3**answers

2k views

### Applications of set theory in physics

In the introduction of the paper "Links between physics and set theory", the following quote of Eris Chric is stated:
"Set theory perhaps is too important to be left just to ...

**3**

votes

**1**answer

181 views

### Two equivalent descriptions of a physical system yielding a non-trivial mathematical formula

First I would like to admit that this question may not be entirely appropriate for this site, but I will give it a go none the less.
One often hears stories about how string dualities lead to highly ...

**1**

vote

**2**answers

209 views

### Mathematical statistical qm book-recommendation

I feel that there are quite a few good and rigorous books on the mathematical foundations of quantum mechanics, but I am currently looking for a book that covers mathematical statistical quantum ...

**12**

votes

**4**answers

460 views

### Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...

**4**

votes

**1**answer

100 views

### Isomorphism of various gauge groups under homotopy

Given a compact, simple Lie group $G$, and a compact, oriented three manifold $M$, we can consider the following smooth homotopy groups:
$(C^\infty(M;G)/{\sim},\cdot )$: Here, $\sim$ is smooth ...

**1**

vote

**2**answers

529 views

### Certain inverse problem related to moments

Suppose $D\subset \mathbb C$ is a smoothly bounded domain and it contains the origin. Let $ds$ denote the arc length measure on $\partial D.$ I am interested in the following two inverse problems ...

**3**

votes

**1**answer

95 views

### Blow-Up for Semi-Linear Wave Equations

I am reading C. D. Sogge's book "Lectures on Non-Linear Wave Equations". As an exercise, I attempted to fill out the details of the proof of Theorem 5.1 (Local Existence of Solutions for Semilinear ...

**10**

votes

**1**answer

619 views

### Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula
$$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$
He gives ...

**4**

votes

**0**answers

120 views

### power laws emerging from the sandpile model

Is there a rigorous proof that the abelian sandpile model generates a power law distribution of avalanche lengths?

**2**

votes

**1**answer

298 views

### Yang-Mills Functional and Energy

I have a question about the meaning of Yang-Mills Functional.
It is stated everywhere that the Yang-Mills Functional is a measure of energy. But the formal definition of the Yang-Mills Functional is:
...

**6**

votes

**1**answer

271 views

### Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

Suppose that $M$ is a Lorentzian manifold (not necessarily satisfying Einstein's equations). What conditions do we need in order to guarantee that $M$ admits a foliation by codimension-$1$ spacelike ...

**18**

votes

**2**answers

684 views

### Reflection of light from function graph

Let a positive convex decreasing differentiable function $f(x)$ be defined on $\mathbb{R}$ and $\lim_{x \to +\infty}f(x)=0.$ Let the point light source be placed at $ P(x_0,y_0)$ with $ ...

**2**

votes

**0**answers

158 views

### How to write BRST-BV for dg-Lie?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc.
Where is there written a corresponding formula incorporating the differential of
a dg Lie algebra and module?

**2**

votes

**2**answers

398 views

### space at the Planck scale [closed]

All models of space that I know from physics use real or complex manifolds. I was just wondering if it is still the case at the level of Planck scale. In string theory, physicists still use strings ...

**1**

vote

**0**answers

128 views

### Spectral sequences and Batalin-Vilkovisky formalism

I have been studying the BRST quantization in quantum field theory recently and noticed that the subject is very much related to algebraic topology and cohomology. A quick google search led me to the ...

**1**

vote

**0**answers

148 views

### Dirac operator in Generalized Geometry

I am wondering how the Dirac operator can be built in the context of Hichin's generalized geometry.
In particular, I have the following questions:
On a spin manifold, is the conventional spin ...

**1**

vote

**0**answers

87 views

### Dixon's diagram for BRS cohomology

The article by J. A. Dixon titled Calculation of BRS cohomology with spectral sequences (Comm. Math. Phys. Volume 139, Number 3 (1991), pages 495-526) describes in words a diagram that is not printed. ...

**1**

vote

**0**answers

70 views

### modern exposition of exact ground state of classical XY model or Ising model

What is the state of art technique in solving exact ground state of Heisenberg model, meaning minimization of the H terms (hamiltonian) provided infinite spin space?
...

**1**

vote

**1**answer

280 views

### How to construct (another) Landau-Ginzburg model for a compete intersection Calabi-Yau?

For Calabi-Yau variety $X$ which is a complete intersection
$$
f_1=f_2=\ldots=f_r=0
$$
in ${\mathbb P }^n$ (hence $\mathrm{dim}\,X=n-r$) it is possible to construct a Landau-Ginsburg model in the ...

**5**

votes

**2**answers

1k views

### Physicist trying to understand modern mathematics

I'm a physicist trying to gain a deep understanding of mathematics that is required for my work.I intend to specialize in string theory which is a very math intensive branch of theoretical physics ...

**1**

vote

**0**answers

176 views

### Perturbation of Laplacian via Kato-Rellich theorem

Let's consider a potential $V(x)\in L^3(\mathbb{R}^3)$. I want to know if the following Hamiltonian
$$-\Delta+V(x)$$
is self-adjoint on $H^2(\mathbb{R}^3)$.
My idea is to use Kato-Rellich theorem; ...

**3**

votes

**1**answer

269 views

### book about string theory a la Von Neumann [duplicate]

Can we summarize string theory (in its actual state) in some principles and fundamental equations like electromagnetism, general relativity, quantum mechanics and classical mechanics ?
I am looking ...

**4**

votes

**1**answer

161 views

### reference for higher spin - not gravitational nor stringy

Other than the papers of Berends, Burgers and van Dam, are there any papers that study the general case of deforming a free field theory with higher spin fields to be interactive?

**8**

votes

**2**answers

378 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...

**2**

votes

**1**answer

118 views

### Proper domain for operators

in this paper on arxiv in equation 27, two operators
$$A_m^* = (1-x^2)^{\frac{1}{2}} \frac{d}{dx} + \frac{mx}{\sqrt{1-x^2}}$$
and $$A_m = - \frac{d}{dx}(1-x^2)^{\frac{1}{2}} + ...

**2**

votes

**1**answer

123 views

### Commutators of Schur polynomials of Lie algebra elements

Question:
Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...

**1**

vote

**2**answers

271 views

### Witten index non-trivial in the context of Quantum Mechanics?

Let $H$ be a self-adjoint Hamiltonian and $H$ admits a decomposition into closed operators $D,D^*$, such that we have $H = D^*D$.
I will now consider the one-dimensional case on a compact set:
So ...

**14**

votes

**2**answers

1k views

### Exact Definition of Dirac Operator

Many definitions of the Dirac operator in the tradition of the Physics literature are hard to grasp for a mathematician. I would like to ask for a precise, general, definition of the Dirac operator ...

**12**

votes

**3**answers

1k views

### On $e^{\pi\sqrt{4\cdot163}}$ and unusual connections

We are familiar with the expansion of the j-function,
$$j(\tau) = \tfrac{1}{q}+744+ 196884{q} + 21493760{q}^2 + \dots\tag1$$
and maybe with the approximation,
$$e^{\pi\sqrt{652}} = ...

**0**

votes

**1**answer

187 views

### Some quantities which definitions are (somehow) similar to the classical Divergence

Motivated by classical formulas $L_{X}=d\circ i_{X}+i_{X}\circ d$ and $L_{X} \Omega=Div(X) \Omega$ and the essential role of the diff operator $d$ in definition of divergence, we define some ...

**33**

votes

**7**answers

4k views

### Companion to theoretical physics for working mathematicians

In the Princeton Companion to Mathematics one reads that even pure mathematicians should know some theoretical physics and applied mathematics. What are some well-organized comprehensive companions to ...

**1**

vote

**0**answers

91 views

### How can I express the following integral as special function?

How can I express the following integral as special function? where the integral is from 0 to infinity
$ f_{int}(x)=\int^{\infty}_{0}dy\frac{e^{(-x+y)}}{(1+e^{(-x+y)^{2}})\sqrt{y}} $

**6**

votes

**1**answer

204 views

### Survey paper on isoperimetry

I am searching for a comprehensive survey article (or more different articles) on the subject of isoperimetric problems from ancient Greece to modern mathematical physics. Could you point out some ...