Bertrand curves in the three-dimensional sphere

A curve α$\alpha$ immersed in the three-dimensional sphere S³${\mathbb{S}}^3$ is said to be a Bertrand curve if there exists another curve β$\beta$ and a one-to-one correspondence between α$\alpha$ and β$\beta$ such that both curves have common principal normal geodesics at corresponding points. The curves α$\alpha$ and β$\beta$ are said to be a pair of Bertrand curves in S³${\mathbb{S}}^3$. One of our main results is a sort of theorem for Bertrand curves in S³${\mathbb{S}}^3$ which formally agrees with the classical one: “Bertrand curves in S³${\mathbb{S}}^3$ correspond to curves for which there exist two constants λ≠0$\lambda \ne 0$ and μ$\mu$ such that λκ+μτ=1$\lambda \kappa +\mu \tau =1$”, where κ$\kappa$ and τ$\tau$ stand for the curvature and torsion of the curve; in particular, general helices in the 3-sphere introduced by M. Barros are Bertrand curves. As an easy application of the main theorem, we characterize helices in S³${\mathbb{S}}^3$ as the only twisted curves in S³${\mathbb{S}}^3$ having infinite Bertrand conjugate curves. We also find several relationships between Bertrand curves in S³${\mathbb{S}}^3$ and (1,3)-Bertrand curves in R⁴${\mathbb{R}}^4$.     

Entanglement entropy and variational methods: Interacting scalar fields

We develop a variational approximation to the entanglement entropy for scalar ?⁴${?}^4$ theory in 1+1$1+1$, 2+1$2+1$, and 3+1$3+1$ dimensions, and then examine the entanglement entropy as a function of the coupling. We find that in 1+1$1+1$ and 2+1$2+1$ dimensions, the entanglement entropy of ?⁴${?}^4$ theory as a function of coupling is monotonically decreasing and convex. While ?⁴${?}^4$ theory with positive bare coupling in 3+1$3+1$ dimensions is thought to lead to a trivial free theory, we analyze a version of ?⁴${?}^4$ with infinitesimal negative bare coupling, an asymptotically free theory known as precarious  ?⁴${?}^4$ theory, and explore the monotonicity and convexity of its entanglement entropy as a function of coupling. Within the variational approximation, the stability of precarious ?⁴${?}^4$ theory is related to the sign of the first and second derivatives of the entanglement entropy with respect to the coupling.     

The first Chevalley–Eilenberg Cohomology group of the Lie algebra on the transverse bundle of a decreasing family of foliations

In [L. Lebtahi, Lie algebra on the transverse bundle of a decreasing family of foliations, J. Geom. Phys. 60 (2010), 122–133], we defined the transverse bundle V^k$V^k$ to a decreasing family of k$k$ foliations _Fi$F_i$ on a manifold M$M$. We have shown that there exists a (1,1)$(1,1)$ tensor J$J$ of V^k$V^k$ such that J^k≠0$J^k\ne 0$, J^k+1=0$J^{k+1}=0$ and we defined by _LJ(V^k)$L_J\left(V^k\right)$ the Lie Algebra of vector fields X$X$ on V^k$V^k$ such that, for each vector field Y$Y$ on V^k$V^k$, [X,JY]=J[X,Y]$[X,JY]=J[X,Y]$.     

Is space-time symmetry a suitable generalization of parity-time symmetry?

We discuss space-time symmetric Hamiltonian operators of the form H=H₀+igH^′$H=H_0+ig{H}^{\prime }$, where H₀$H_0$ is Hermitian and g$g$ real. H₀$H_0$ is invariant under the unitary operations of a point group G$G$ while H^′$H^{\prime }$ is invariant under transformation by elements of a subgroup G^′$G^{\prime }$ of G$G$. If G$G$ exhibits irreducible representations of dimension greater than unity, then it is possible that H$H$ has complex eigenvalues for sufficiently small nonzero values of g$g$. In the particular case that H$H$ is parity-time symmetric then it appears to exhibit real eigenvalues for all 0<g<g_c$0<g<g_c$, where g_c$g_c$ is the exceptional point closest to the origin. Point-group symmetry and perturbation theory enable one to predict whether H$H$ may exhibit real or complex eigenvalues for g>0$g>0$. We illustrate the main theoretical results and conclusions of this paper by means of two- and three-dimensional Hamiltonians exhibiting a variety of different point-group symmetries.     

Three PT-symmetric Hamiltonians with completely different spectra

We discuss three Hamiltonians, each with a central-field part H₀$H_0$ and a PT-symmetric perturbation igz$igz$. When H₀$H_0$ is the isotropic Harmonic oscillator the spectrum is real for all g$g$ because H$H$ is isospectral to H₀+g²/2$H_0+g^2/2$. When H₀$H_0$ is the Hydrogen atom then infinitely many eigenvalues are complex for all g$g$. If the potential in H₀$H_0$ is linear in the radial variable r$r$ then the spectrum of H$H$ exhibits real eigenvalues for 0<g<g_c$0<g<g_c$ and a PT phase transition at g_c$g_c$.     

Deconfined fractionally charged excitation in any dimensions

An exact incompressible quantum liquid is constructed at the filling factor 1/m²$1/m^2$ in the square lattice. It supports deconfined fractionally charged excitation. At the filling factor 1/m²$1/m^2$, the excitation has fractional charge e/m²$e/m^2$, where e$e$ is the electric charge. This model can be easily generalized to the n$n$-dimensional square lattice (integer lattice), where the charge of excitations becomes e/mⁿ$e/m^n$.     

Minimal hypersurfaces in a nearly Kaehler 6-sphere

In this paper we show that for a compact minimal hypersurface M$M$ of constant scalar curvature in the unit sphere S⁶$S^6$ with the shape operator A$A$ satisfying ‖A‖²>5${\Vert A\Vert }^2>5$, there exists an eigenvalue λ>10$\lambda >10$ of the Laplace operator of the hypersurface M$M$ such that ‖A‖²=λ−5${\Vert A\Vert }^2=\lambda -5$. This gives the next discrete value of ‖A‖²${\Vert A\Vert }^2$ greater than 0 and 5.     

Force free projective motions of the sphere

Suppose that the sphere Sⁿ$S^n$ has initially a homogeneous distribution of mass and let G$G$ be the Lie group of orientation preserving projective diffeomorphisms of Sⁿ$S^n$. A projective motion of the sphere, that is, a smooth curve in G$G$, is called force free if it is a critical point of the kinetic energy functional. We find explicit examples of force free projective motions of Sⁿ$S^n$ and, more generally, examples of subgroups H$H$ of G$G$ such that a force free motion initially tangent to H$H$ remains in H$H$ for all time (in contrast with the previously studied case for conformal motions, this property does not hold for H=S_On+1$H=S{O}_{n+1}$). The main tool is a Riemannian metric on G$G$, which turns out to be not complete (in particular not invariant, as happens with non-rigid motions), given by the kinetic energy.     

On the geometry of prequantization spaces

Given a Poisson (or more generally Dirac) manifold P$P$, there are two approaches to its geometric quantization: one involves a circle bundle Q$Q$ over P$P$ endowed with a Jacobi (or Jacobi–Dirac) structure; the other one involves a circle bundle with a (pre)contact groupoid structure over the (pre)symplectic groupoid of P$P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre)symplectic groupoid of P$P$ is obtained from the Lie groupoid of Q$Q$ via an S¹$S^1$ reduction that preserves both the Lie groupoid and the geometric structures.     

Conformal field theories in six-dimensional twistor space

This article gives a study of the higher-dimensional Penrose transform between conformally invariant massless fields on space–time and cohomology classes on twistor space, where twistor space is defined to be the space of projective pure spinors of the conformal group. We focus on the six-dimensional case in which twistor space is the 6-quadric Q$Q$ in CP⁷${\mathbb{C}\mathbb{P}}^7$ with a view to applications to the self-dual (0,2)$(0,2)$-theory. We show how spinor-helicity momentum eigenstates have canonically defined distributional representatives on twistor space (a story that we extend to arbitrary dimension). These yield an elementary proof of the surjectivity of the Penrose transform. We give a direct construction of the twistor transform between the two different representations of massless fields on twistor space (H²$H^2$ and H³$H^3$) in which the H³$H^3$s arise as obstructions to extending the H²$H^2$s off Q$Q$ into CP⁷${\mathbb{C}\mathbb{P}}^7$.     

A separation property for magnetic Schrödinger operators on Riemannian manifolds

We consider a Schrödinger differential expression L=_ΔA+q$L={\Delta }_A+q$ on a complete Riemannian manifold (M,g)$(M,g)$ with metric g$g$, where _ΔA${\Delta }_A$ is the magnetic Laplacian on M$M$ and q≥0$q\ge 0$ is a locally square integrable function on M$M$. In the terminology of W.N. Everitt and M. Giertz, the differential expression L$L$ is said to be separated in L²(M)$L^2\left(M\right)$ if for all u∈L²(M)$u\in L^2\left(M\right)$ such that Lu∈L²(M)$Lu\in L^2\left(M\right)$, we have qu∈L²(M)$qu\in L^2\left(M\right)$. We give sufficient conditions for L$L$ to be separated in L²(M)$L^2\left(M\right)$.     

Pre-quantization of the moduli space of flat G-bundles over a surface

For a simply connected, compact, simple Lie group G$G$, the moduli space of flat G$G$-bundles over a closed surface Σ$\Sigma$ is known to be pre-quantizable at integer levels. For non-simply connected G$G$, however, integrality of the level is not sufficient for pre-quantization, and this paper determines the obstruction–namely a certain cohomology class in H³(G²;Z)$H^3(G^2;\mathbb{Z})$–that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G$G$.     

Biminimal properly immersed submanifolds in the Euclidean spaces

We consider a complete nonnegative biminimal   submanifold M$M$ (that is, a complete biminimal submanifold with λ≥0$\lambda \ge 0$) in a Euclidean space E^N${\mathbb{E}}^N$. Assume that the immersion is proper  , that is, the preimage of every compact set in E^N${\mathbb{E}}^N$ is also compact in M$M$. Then, we prove that M$M$ is minimal. From this result, we give an affirmative partial answer to Chen’s conjecture. For the case of λ<0$\lambda <0$, we construct examples of biminimal submanifolds and curves.     

Weak mirror symmetry of complex symplectic Lie algebras

A complex symplectic structure on a Lie algebra h$\mathfrak{h}$ is an integrable complex structure J$J$ with a closed non-degenerate (2,0)$(2,0)$-form. It is determined by J$J$ and the real part Ω$\Omega$ of the (2,0)$(2,0)$-form. Suppose that h$\mathfrak{h}$ is a semi-direct product g?V$\mathfrak{g}?V$, and both g$\mathfrak{g}$ and V$V$ are Lagrangian with respect to Ω$\Omega$ and totally real with respect to J$J$. This note shows that g?V$\mathfrak{g}?V$ is its own weak mirror image in the sense that the associated differential Gerstenhaber algebras controlling the extended deformations of Ω$\Omega$ and J$J$ are isomorphic.     

Lifshitz-point correlation length exponents from the large-n expansion

The large-n expansion is applied to the calculation of thermal critical exponents describing the critical behavior of spatially anisotropic d-dimensional systems at m  -axial Lifshitz points. We derive the leading non-trivial 1/n$1/n$ correction for the perpendicular correlation-length exponent _νL2${\nu }_{L2}$ and hence several related thermal exponents to order O(1/n)$O(1/n)$. The results are consistent with known large-n expansions for d  -dimensional critical points and isotropic Lifshitz points, as well as with the second-order epsilon expansion about the upper critical dimension d^?=4+m/2$d^{?}=4+m/2$ for generic m∈[0,d]$m\in [0,d]$. Analytical results are given for the special case d=4$d=4$, m=1$m=1$. For uniaxial Lifshitz points in three dimensions, 1/n$1/n$ coefficients are calculated numerically. The estimates of critical exponents at d=3$d=3$, m=1$m=1$ and n=3$n=3$ are discussed.     

Transition to chaos in discrete nonlinear Schrödinger equation with long-range interaction

Discrete nonlinear Schrödinger (DNLS) equation describes a chain of oscillators with nearest-neighbor interactions and a specific nonlinear term. We consider its modification with long-range interaction through a potential proportional to 1/l^1+α$1/l^{1+\alpha }$ with fractional α<2$\alpha <2$ and l   as a distance between oscillators. This model is called α$\alpha$DNLS. It exhibits competition between the nonlinearity and a level of correlation between interacting far-distanced oscillators, that is defined by the value of α$\alpha$. We consider transition to chaos in this system as a function of α$\alpha$ and nonlinearity. It is shown that decreasing of α$\alpha$ with respect to nonlinearity stabilize the system. Connection of the model to the fractional generalization of the NLS (called FNLS) in the long-wave approximation is also discussed and some of the results obtained for α$\alpha$DNLS can be correspondingly extended to the FNLS.