Mathematical methods in classical mechanics, classical and quantum field theory, quantum mechanics, statistical mechanics, condensed matter, nuclear and atomic physics.
4
votes
0answers
71 views
Coleman–Mandula theorem and a mathematical proof
Coleman–Mandula theorem (by Sidney Coleman and Jeffrey Mandula) [1] is a no-go theorem in theoretical physics. It states that "space-time and internal symmetries cannot be combined in any but a ...
1
vote
0answers
32 views
stationary measure for linear cocycle(random transformation matrices)
Let $(M,\mathcal B, \mu)$ be a probability space which $M=\{A_{1},A_{2},...,A_{N}\}^{\mathbb{N}}$ ($A_{i} \in GL(d ,\mathbb{R})$) and $\mu=p^{\mathbb{N}}$. Let $F:M\times \mathbb R^d\to M\times \...
6
votes
1answer
74 views
Further Developments of Lieb-Schultz-Mattis theorem in Mathematics
The Lieb-Schultz-Mattis theorem [1] and its higher-dimensional generalizations [2] says that a translation-invariant lattice model of spin-1/2's cannot allow a non-degenerate ground state preserving ...
2
votes
0answers
126 views
Complex projective algebraic variety, moduli space of flat connections, and instantons
In Looijenga's work below, if I understand correctly, it shows that
Statement 1: At an algebraic variety, the moduli space of SU($N$) flat
connections on a 2-torus $T^2$ is given by the space of ...
-3
votes
0answers
20 views
Variograms using a temporary variable [on hold]
Anyone know how to construct variograms that included a temporary variable. I have been looking for information but I have not found anything.
I'm trying to relate values that imply distances, with ...
4
votes
0answers
95 views
Dimensions of the instanton moduli space from Atiyah-Hitchin-Singer
Atiyah-Hitchin-Singer Ref 1 states that the number of
virtual dimensions of the instanton moduli space
for SU(N) Yang-Mills theory with topological charge $\mathcal{Q}$ over a manifold $X$ is given ...
8
votes
0answers
70 views
Borel-Ecalle re-summation and resurgence: Criteria and Results
This is about the theory of Borel-$\acute{\textrm{E}}$calle re-summation and resurgence, see Refs below.
This states that the perturbative series (say of the vacuum expectation value of an operator $\...
8
votes
0answers
311 views
The Grassmannian Gr(2,8) and an E7 surprise
Are there any mathematical explanations for the following surprising facts?
$$\int_{Gr(2,8)} c_{\text{top}}(TX(-2)) = 6556 = \frac{1}{2} \deg(E_7/P(\alpha_7)) + 1,$$
and
$$\int_{Gr(2,6)} c_{\text{top}}...
3
votes
2answers
184 views
Casimir operator of a given Lie algebra and relation with its matrix representation
I'm following Gilmore's recipe to compute the abstract Casimir operator of a given algebra (in this example, I refer to algebra su(2)). This recipe bring up a matrix representation of the algebra and ...
15
votes
0answers
321 views
How is Chern-Simons theory related to Floer homology?
Chern-Simons theory (say, with gauge group $G$) is the quantum theory of the Chern-Simons functional
$$CS(A)=\frac{k}{8\pi^2}\int_M \text{Tr}\left(A\wedge dA + \frac{2}{3}A\wedge A \wedge A\right)$$
...
5
votes
0answers
212 views
Have complex manifolds with dual number structure on the holomorphic tangent bundle been studied?
If $M$ denotes a $2n$-dimensional real smooth manifold, then $M$ together with
$J\in\operatorname{End}(TM)$ with $J^2 =\mathrm{id}$ (also called almost product structure on $M$) have been surveyed in ...
4
votes
1answer
145 views
The embedding of $\mathfrak{g}_2$ into $\mathfrak{b}_3$ ($\mathfrak{so}_7$) on Chevalley generators
Let $\mathfrak{g}_2$ / $\mathfrak{b}_3$ be the simple complex Lie algebra of type $\mathsf{G}_2$ / $\mathsf{B}_3$ (the latter is also known as $\mathfrak{so}_7$).
How is the embedding $\mathfrak{g}...
0
votes
0answers
27 views
Decoupling/Simplifying a long algebraic expression as a function of 5 parameters
I have the following variables defined by 5 parameters $(g_1, g_2, \kappa_1, \kappa_2, \Gamma)$:
$$
u_1=36g_1^{2}(2p-3\kappa_2)+\big(36g_2^{2}+(2p-3\kappa_1)(2p-3\kappa_2)\big)\big(4p-12\kappa_+\big)\...
5
votes
1answer
162 views
Non-Hamiltonian actions in physics
I was reading the following article when I came across the interesting sentence
"non-Hamiltonian [symplectic group] actions also occur in physics"
I took a cursory look at the article cited but ...
3
votes
1answer
112 views
Gauge integral versus path integral
According to this paper, "The gauge integral [a.k.a. Henstock-Kurzweil integral] provides the only formal framework that is close to the original development of the Feynman path integral", and also "...
1
vote
1answer
41 views
Existence of bisolutions for wave operators on globally hyperbolic Lorentzian manifolds
Let $(M,g)$ be a globally hyperbolic Lorentzian manifold with Lorentzian volume density $dV$ and $\Sigma$ a Cauchy hypersurface, i.e. each inextendible causal curve hits $\Sigma$ exactly once. ...
0
votes
1answer
122 views
Nonlocal integral
I have a little problem with the next integral,
$$ \int{d^3{\bf r^{\prime}}\left[\frac{exp(-ar^{\prime})}{r^\prime}\right]u({\bf r}-{\bf r^\prime}})=\int{4\pi r^\prime dr^{\prime}exp(-ar^{\...
1
vote
0answers
85 views
Euclidean volumes under the matrix norm of one-parameter subsets of unit balls of $2 \times 2$ matrices
Prove that the Hilbert-Schmidt volume (normalized to equal 1 at $\varepsilon=1$) of the subset of the unit ball in operator norm (http://mathworld.wolfram.com/OperatorNorm.html) of the $2\times 2$ ...
2
votes
1answer
152 views
PDE’s whose solutions can be presented using path integrals
It is well known that solutions of the Schroedinger equation and of the heat equation can be presented using path integrals:
$$\psi(x,t)=\int K(x,t;y,0)\psi(y,0)dy,$$
where the kernel $K(x,t;y,0)$ is ...
2
votes
0answers
44 views
What restrictions on the form of an integral equation have a unique solution f=0?
We're stuck on the following question in a problem relevant to a physics paper on AdS/CFT that we are working on. Given a Fredholm equation of second kind with the form $f$+$\int_D K f\,dx = 0$, where ...
5
votes
3answers
363 views
Simple Subalgebras of Simple Lie Algebras
Given a complex simple Lie algebra $\mathfrak{g}$ of rank $n\in\mathbb{N}$ with $n$ sufficiently large (say $n\ge10$), is there a way to determine whether $\mathfrak{g}$ contains a simple subalgebra ...
16
votes
2answers
350 views
What are some mathematical consequences of the study of 6D $\mathcal N = (2,0)$ SCFT?
Arguments made in physics apparently predict the existence of a family of six-dimensional $\mathcal N = (2,0)$
superconformal field theories (Wikipedia, nLab, PhysicsOverflow) sometimes called Theory $...
-4
votes
1answer
189 views
Borromean rings, Condorcet's paradox and Quantum chromodynamics [closed]
In https://plus.google.com/108432079989441783124/posts/LHewqvcj5Xo T. Abderrahman explains what Borromean rings are. As I noticed in a comment, the underlying order structure is the same as in ...
2
votes
1answer
102 views
$P(1)$ strange type classical Lie superalgebras
I am reading the book "Lie superalgebras and enveloping algebras" by Ian M. Musson.
The strange type $P(n)$ series of Lie superalgebras are defined (§2.4.1, p. 17) only for $n \ge 2$ even though for $...
4
votes
0answers
69 views
Mathematical proof of Regge symmetry
In the representation theory of the group $SU_2$ a big role is played by so-called $6j-$symbols. Let me sketch its definition (some other interpretations could be found here).
Denote a ...
3
votes
0answers
75 views
About mod 2 Index of Dirac Operators in 3D on Non-Orientable Manifold
I was reading Witten's paper "Fermion Path Integrals and Topological Phases" (https://arxiv.org/abs/1508.04715). He claimed that
Indeed, on
an orientable 3-manifold, the eigenvalues of the Dirac ...
9
votes
0answers
240 views
CohFT: Witten vs. Kontsevich and Manin
Is there any connection to CohFTs as defined by Witten in his 1988 paper (via topological twist) and the CohFTs as defined by Kontsevich and Manin (in the context of Gromov-Witten theory of course).
...
1
vote
0answers
63 views
The hermitian Einstein manifolds
I take an hermitian manifold $(M,g,J)$ and I define from the riemannian curvature $R(X,Y)$ as a $2$-form:
$$
Ricc(J)= \sum_i R(J e_i,e_i)
$$
with $(e_i)$ an orthonormal basis of the tangent.
$$
2R(J)=...
2
votes
2answers
119 views
Criteria for Schrödinger operator on real line to have simple spectrum
Consider a Schrödinger operator $H:=-\Delta+V$ on $\mathbb R$, where $V$ is such that $H$ has a purely discrete spectrum
$-\infty<\lambda_1\leq\lambda_2\leq\cdots$ converging to $+\infty$. Do there ...
6
votes
1answer
261 views
Physical consequences of cobordism hypothesis?
Let $C$ be a symmetric monoidal $n$-category. An extended framed $C$-valued TQFT is a symmetric monoidal functor from the framed bordism category $\mathrm{Cob}^{fr}_n(n)$ to $C$.
The cobordism ...
5
votes
0answers
59 views
Clifford algebras in the context of locally convex topological vector spaces
Suppose given a locally convex Hausdorff topological vector space $V$ over $\mathbb R$ and a continuous, symmetric, bilinear map $q:V\otimes V\to \mathbb R$, where the tensor product is the completed ...
1
vote
0answers
57 views
Fresnel Integral and his formulas
Below is how Fresnel approximate the eponymously "Fresnel Integral". In his own words:
Let $i$ and $i+t$ be the narrow limits between which it is proposed to integrate $\cos(qv^2) \, dv$. ...
0
votes
1answer
168 views
Elementary quantum scattering problem on the line.
Let us consider the quantum scattering problem on the line with the Hamiltonian
$$H=-\frac{d^2}{dx^2}+ V(x),$$
where $V(x)=1$ when $x\in (0,a)$, and $V(x)=0$ otherwise.
It is easy to see that $H$ ...
1
vote
2answers
170 views
Fourier transform of a generalized function on the plane
Is there an explicit formula for the Fourier transform of the generalized function of 2 variables
$$\frac{1}{x+y^2+i0}?$$
Remark. Equivalent question: consider the Schroedinger equation one the ...
4
votes
0answers
65 views
The ¨irreducible¨ representation variety of surface group
Let S be a closed surface of genus larger than 1, G be a compact, simply connected simple Lie group with finite center. Consider the representation variety M(S,G)=Rep($\pi_1$(S), G). Witten´s Formula ...
24
votes
1answer
510 views
Has the $E_8$-based generating function for squares numbers been proven?
In his 2004 paper Conformal Field Theory and Torsion Elements of the Bloch Group, Nahm explains a physical argument due to Kadem, Klassen, McCoy, and Melzer for the following remarkable identity. Let $...
1
vote
0answers
86 views
Determine all possible magnetic monopole of gauge theories
In Wikipedia, it states about the magnetic monopole of the gauge theory is determined by the fact:
This argument for monopoles is a restatement of the lasso argument for a pure U(1) theory. It ...
8
votes
0answers
167 views
Twisted Chern-Simons, and Twisted Wess-Zumino Term
I am asking this question about Chern-Simons theory from the paper "Quantum Field Theory and Jones Polynomial" by Edward Witten.
Let $M$ be a closed three dimensional manifold, and $P\rightarrow M$ ...
2
votes
0answers
44 views
Resource request: Moyal $\star$-product based calculations
I already asked two questions about the Moyal $\star$-product here and here but I think I'll have a lot more similar questions, so I'm wondering if anyone can help me with finding some good resources.
...
4
votes
1answer
76 views
Moyal $\star$-product of $\star$-exponentials
Definitions and assumptions
On a 2n-dimensional phase-space with coordinates $x$ and $p$, the Moyal product can be written explicitly as
$$g(x,p) \star h(x,p) = g(x,p) e^{\frac{i}{2}\left( \...
8
votes
1answer
158 views
Moyal $\star$-product inverse?
On a 2n-dimensional phase-space with coordinates $x$ and $p$, the Moyal product can be written explicitly as
$$g(x,p) \star h(x,p) = g(x,p) e^{\frac{i}{2}\left( \overleftarrow{\partial_x} \cdot \...
6
votes
1answer
92 views
Relationship between irreducible representations of the Schur covering group and elements of $H^2(G,U(1))$
Let $G$ be a finite group and let $D(g)$ be a projective representation of $G$ i.e.
\begin{equation}
D(g) D(h) = e^{i \omega(g,h)} D(gh)
\end{equation}
These can be classified by the equivalence ...
2
votes
0answers
136 views
Define a (lattice) Yang-Mills theory on $\mathbb{T}^4$ v.s. $\mathbb{R}^4$
Pure Yang-Mills theory (YM) can be easily defined on $\mathbb{T}^4$ on a periodic lattice, using the Wilson lattice gauge theory approach. In reality, we know some of these mathematical results on $\...
4
votes
0answers
94 views
Virtual fundamental class of Moduli space of stable maps in genus 1
What is the virtual fundamental class of $\overline{M}_{1,n}(\mathbb{P}^2,d)$? In general the virtual fundamental class is difficult to compute I guess. But if you look at Proposition 2.5 of https://...
9
votes
0answers
145 views
Define the 3d Chern-Simons TQFT on a discrete simplicial complex
Question: What is the challenge and the current status to define the 3d Chern-Simons(-Witten) (CSW) theory on a simplicial complex or on a discrete lattice? (Or is there a no-go or an obstruction ...
7
votes
0answers
82 views
On constructible Hall algebra and instantons
I heard in a talk by Yan Soibelman that by starting with a quiver $Q$ with a set of vertices $I$ we can either symmetrize or anti-symmetrize its Euler-Ringel form $\chi_Q$. He claims that anti-...
6
votes
1answer
539 views
(In)stability of a two-dimensional dynamical system
Consider the following system of coupled differential equations
$$
\dot{x}_1(t) = -x_1(t) - \cos(\omega t)x_1(t) + \cos(\omega t)x_2(t), \ x_1(0)\in\mathbb{R},\\
\dot{x}_2(t) = -\gamma x_2(t) - \cos(\...
4
votes
2answers
231 views
Weyl's Branching Rule for $SU(N)$-Setting
On the Wikipedia page for restricted representations
https://en.wikipedia.org/wiki/Restricted_representation
there is presented a number of explicit "branching rules". In particular, there is the ...
6
votes
0answers
83 views
Degenerations of $OG_{+}(5,10)$ over the Kapustin-Witten $P^1$ and tetragonal genus 7 curves
If $X_{i,j}$ is a $2 \times 4$ matrix and $Y_{j,k}$ is a $4 \times 2$ matrix,
then there is a $P^1$ family of ideals defined by the four equations $XY = 0$ and the six equations $s \cdot minors(X) + t ...
7
votes
0answers
154 views
A robust version of Schur's lemma?
Does a robust version of Schur's lemma exist? Specifically, I was wondering about something like this:
Let $B$ be a bounded operator over a vector space $V$, with underlying field $\mathbb{C}$ and ...
