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.     

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

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

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

Non-Abelian fusion rules from an Abelian system

We demonstrate the emergence of non-Abelian fusion rules for excitations of a two dimensional lattice model built out of Abelian degrees of freedom. It can be considered as an extension of the usual toric code model on a two dimensional lattice augmented with matter fields. It consists of the usual C(Z_p)$\mathbb{C}\left({\mathbb{Z}}_p\right)$ gauge degrees of freedom living on the links together with matter degrees of freedom living on the vertices. The matter part is described by a n$n$ dimensional vector space which we call H_n$H_n$. The Z_p${\mathbb{Z}}_p$ gauge particles act on the vertex particles and thus H_n$H_n$ can be thought of as a C(Z_p)$\mathbb{C}\left({\mathbb{Z}}_p\right)$ module. An exactly solvable model is built with operators acting in this Hilbert space. The vertex excitations for this model are studied and shown to obey non-Abelian fusion rules. We will show this for specific values of n$n$ and p$p$, though we believe this feature holds for all n>p$n>p$. We will see that non-Abelian anyons of the quantum double of C(S₃)$\mathbb{C}\left(S_3\right)$ are obtained as part of the vertex excitations of the model with n=6$n=6$ and p=3$p=3$. Ising anyons are obtained in the model with n=4$n=4$ and p=2$p=2$. The n=3$n=3$ and p=2$p=2$ case is also worked out as this is the simplest model exhibiting non-Abelian fusion rules. Another common feature shared by these models is that the ground states have a higher symmetry than Z_p${\mathbb{Z}}_p$. This makes them possible candidates for realizing quantum computation.     

An introduction to the theory of generalized conics and their applications

A generalized conic is a set of points with the same average distance from the pointset Γ$\Gamma$ in the Euclidean coordinate space. The measuring of the average distance is realized via integration over Γ$\Gamma$ as the set of foci. Using generalized conics we give a process for constructing convex bodies which are invariant under a fixed subgroup G$G$ of the orthogonal group in Rⁿ${\mathbb{R}}^n$. The motivation is to present the existence of non-Euclidean Minkowski functionals with G⊂O(n)$G\subset O\left(n\right)$ in the linear isometry group provided that the closure of G$G$ is not transitive on the unit sphere. As an application, consider Rⁿ${\mathbb{R}}^n$ as the tangent space at a point of a connected Riemannian manifold M$M$ and G$G$ as the holonomy group. If the holonomy group is not transitive on the unit sphere in the tangent space, then the Lévi-Civita connection is (re)metrizable in the sense that there is a smooth collection of non-Euclidean Minkowski functionals on the tangent spaces such that it is invariant under parallel transport with respect to the Lévi-Civita connection (according to Berger’s list of possible Riemannian holonomy groups, all of them are transitive on the unit sphere in the tangent space except in the case where the manifold is a symmetric space of rank≥2). We present the (re)metrizability theorem in a more general context of metrical linear connections with a torsion tensor that is not necessarily vanishing. This allows us to declare eight classes of manifolds equipped with an invariant smooth collection of Minkowski functionals on the tangent spaces. They are called Berwald manifolds in a general sense.     

On m-accretive Schrödinger-type operators with singular potentials on Riemannian manifolds

We consider a Schrödinger-type differential expression _HV=∇^∗∇+V$H_V={\nabla }^{\ast }\nabla +V$, where ∇$\nabla$ is a Hermitian connection on a Hermitian vector bundle E$E$ over a complete Riemannian manifold (M,g)$(M,g)$ with metric g$g$ and positive smooth measure dμ$d\mu$, and V$V$ is a locally integrable section of the bundle of endomorphisms of E$E$. We give a sufficient condition for m$m$-accretivity of a realization of _HV$H_V$ in L²(E)$L^2\left(E\right)$.     

Global supersymmetry on curved spaces in various dimensions

We propose methods towards a systematic determination of d  -dimensional curved spaces where Euclidean field theories with rigid supersymmetry can be defined. The analysis is carried out from a group theory as well as from a supergravity point of view. In particular, by using appropriate gauged supergravities in various dimensions we show that supersymmetry can be defined in conformally flat spaces, such as non-compact hyperboloids Hⁿ⁺¹${\mathbb{H}}^{n+1}$ and compact spheres Sⁿ${\mathbb{S}}^n$ or – by turning on appropriate Wilson lines corresponding to R-symmetry vector fields – on S¹×Sⁿ${\mathbb{S}}^1\times {\mathbb{S}}^n$, with n<6$n<6$. By group theory arguments we show that Euclidean field theories with rigid supersymmetry cannot be consistently defined on round spheres S^d${\mathbb{S}}^d$ if d>5$d>5$ (despite the existence of Killing spinors). We also show that distorted spheres and certain orbifolds are also allowed by the group theory classification.     

Reduction of generalized complex structures

We study reduction of generalized complex structures. More precisely, we investigate the following question. Let J$J$ be a generalized complex structure on a manifold M$M$, which admits an action of a Lie group G$G$ preserving J$J$. Assume that _M0$M_0$ is a G$G$-invariant smooth submanifold and the G$G$-action on _M0$M_0$ is proper and free so that _MG?_M0/G$M_G?M_0/G$ is a smooth manifold. Under what condition does J$J$ descend to a generalized complex structure on _MG$M_G$? We describe a sufficient condition for the reduction to hold, which includes the Marsden–Weinstein reduction of symplectic manifolds and the reduction of the complex structures in Kähler manifolds as special cases. As an application, we study reduction of generalized Kähler manifolds.     

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.     

On the parallel transport of the Ricci curvatures

Geometrical characterizations are given for the tensor R⋅S$R\cdot S$, where S$S$ is the Ricci tensor   of a (semi-)Riemannian manifold (M,g)$(M,g)$ and R$R$ denotes the curvature operator   acting on S$S$ as a derivation, and of the Ricci Tachibana tensor  _∧g⋅S${\wedge }_g\cdot S$, where the natural metrical operator  _∧g${\wedge }_g$ also acts as a derivation on S$S$. As a combination, the Ricci curvatures   associated with directions on M$M$, of which the isotropy determines that M$M$ is Einstein, are extended to the Ricci curvatures of Deszcz   associated with directions and planes on M$M$, and of which the isotropy determines that M$M$ is Ricci pseudo-symmetric in the sense of Deszcz.     

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]$.     

Higher trace and Berezinian of matrices over a Clifford algebra

We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (_Z2)ⁿ${\left({\mathbb{Z}}_2\right)}^n$-graded commutative associative algebra A$A$. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonné determinant of quaternionic matrices, but in general our quaternionic determinant is different. We show that the graded determinant of purely even (_Z2)ⁿ${\left({\mathbb{Z}}_2\right)}^n$-graded matrices of degree 0$0$ is polynomial in its entries. In the case of the algebra A=H$A=\mathbb{H}$ of quaternions, we calculate the formula for the Berezinian in terms of a product of quasiminors in the sense of Gelfand, Retakh, and Wilson. The graded trace is related to the graded Berezinian (and determinant) by a (_Z2)ⁿ${\left({\mathbb{Z}}_2\right)}^n$-graded version of Liouville’s formula.