Abstract
We derive the exact form of the spectral interaction of two strings mediated by a constant scalar field using methods derived from noncommutative geometry. This is achieved by considering a non-product modification of the Connes–Lott model with two-dimensional manifolds. The analogy with the latter construction justifies the interpretation of the scalar field as being of Higgs type. Working in dimension two requires the use of the spectral zeta function instead of the Wodzicki residue techniques applicable to four-dimensional models. In the latter case, an analogous non-product geometry construction leads, for specific choices of metrics, to the so-called “doubled geometry models”, which can be thought of as a spectral modification of the Hassan–Rosen bimetric theory. We find that in dimension two, the interaction term depends explicitly on zweibeins defining the Dirac operators and only in some special cases can they be expressed solely using the metrics. The computations can be performed analytically for an arbitrary choice of zweibeins defining geometry on the two strings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The spectral methods of noncommutative geometry [1, 2] can be successfully applied to describe both General Relativity [3, 4] and Standard Model of particle physics together with its potential extensions [5,6,7,8]. The fundamental object in noncommutative geometry, a spectral triple, is motivated by the observation made by A. Connes that for any sufficiently regular Riemannian manifold M that allows spinor fields, one can associate a triple consisting of an algebra \(A=C^\infty (M)\) of smooth functions on M represented on a Hilbert space \(H=L^2(S)\) of square-integrable spinors and the Dirac operator given locally as \({{\mathcal {D}}}=i\gamma ^\mu (\partial _\mu +\omega _\mu )\), where \(\omega\) is the spin connection on M and \(\gamma\)’s are the usual generators of the associated Clifford algebra. By Connes’ reconstruction theorem [2, 9], any suitably regular triple \((A,H,{\mathcal {D}})\), with an abelian algebra A, is of the above canonical form. This motivates the notion of a spectral triple as a basic object that generalizes the notion of geometry to objects that are discrete spaces, fractals, or that are described by algebras, which are no longer assumed to be commutative. The data of a spectral triple consists of a \(*\)-algebra A represented (faithfully) on a Hilbert space H on which \({\mathcal {D}}\) is as an essentially self-adjoint operator having compact resolvent, such that its commutators with elements of the algebra A are bounded. A set of possible additional structures, like grading and real structure, can be incorporated into this picture and additional compatibility conditions between all these elements can be assumed. For a more detailed discussion see e.g. [10, 11].
Out of the above spectral data, one can compute the so-called spectral action [12] which is essentially a functional in \({\mathcal {D}}\). By spectral action principle, its leading terms in heat kernel expansion, [13] describe the physical model obtained from the geometry associated with a given spectral triple. This generalizes Einstein’s idea of equivalence between geometry and physics (gravity). Indeed, the computation of the (leading terms of) the spectral action for the canonical spectral triple associated with a given manifold leads to the Hilbert-Einstein action. This picture was expanded to include Yang-Mills gauge theories within the framework of almost-commutative geometry when the spectral triple is a product of the canonical one and another one with both an algebra and a Hilbert space being finite-dimensional [1, 2]. Appropriate choice of the finite part (closely related to the gauge group one is interested in) allowed for a formulation of the Standard Model of particle physics within this framework and to study its properties as well as symmetries [14,15,16].
However, the almost-commutative framework seems not to be the final answer for all physically relevant questions. In particular, it is very restrictive in the gravitational sector and it leads (in its bare version) to some unphysical behavior in particle physics models. Several non-product modifications of almost-commutative geometries were, therefore, proposed. Some of them are formulated at the level of Kasparov modules [17, 18], whereas others are direct modifications motivated by potential applications both for the Standard Model [19, 20] as well as for modified gravity theories. In [21], an approach based on the straightforward modification of the Connes–Lott model [5] was proposed. The basic idea was to replace the almost-commutative geometry \(M\times \mathbb {Z}_2\) by a direct sum of two copies of M but considered with different metrics on each summand. This so-called doubled geometry model was further studied in the case of Friedmann–Lemaître–Robertson–Walker metrics in [22] and for other classes of metrics also in [23]. Since the resulting action contains interactions between the two metrics, it is natural to ask about potential relations to Hassan–Rosen bimetric gravity theories [24, 25]. We have discussed partially this aspect in [22] and continued in [26], where the picture of two four-dimensional branes interacting effectively by Higgs-like potential was introduced.
Let us briefly summarize main steps in the construction of the doubled models with two copies of the spin manifold M of dimension \(d>0\). As the Dirac operator, we take
where \({\mathcal {D}}_g\) (resp. \({\mathcal {D}}_h\)) is the standard Dirac operator corresponding to the Riemannian manifold (M, g) (resp. (M, h)), \(\Phi\) is a (constant) field and \(\gamma\) is taken so that \(\gamma ^2=\pm 1\) and it anticommutes with the Dirac operators on both sheets. The computation of all relevant terms of the spectral action is, however, dimension dependent. The leading term can be expressed using the Wodzicki residue of \(|{\mathcal {D}}|^{-d}\) and will give the sum of volumes of each copy of M (with respect to the metric g and h, respectively). However, the next term, which will contain the sum of integrated scalars of curvature for each copy, will also have an interaction term between the two metric manifolds. In the case of \(d=2\), the explicit computation of these terms necessitates the use of the zeta function [27, 28].
The tools to compute the corresponding terms of spectral action are based on the calculus of pseudodifferential operators. We first need to find the symbols of the operator \({\mathcal {D}}^2\) by replacing each derivative \(\partial _j\) with a formal variable \(i\xi _j\). Let \(\mathfrak {a}_k\) denotes the part of this symbol that is homogeneous in \(\xi _\mu 's\) with the homogeneity degree k. In the next step, we compute the symbols \(\mathfrak {b}_\bullet\) for \({\mathcal {D}}^{-2}\) [29], and it turns out that only two of them (\(\mathfrak {b}_0\) and \(\mathfrak {b}_2\)) are enough to obtain two leading terms of the spectral action.
Motivated by the fact that this approach can produce spectral interactions of branes, we focus in this paper on the case of two-dimensional branes, the strings. Our model does not assume any ambient space in which the strings propagate as the action is fully intrinsic and arises from the scalar field that links the two strings. Another possible interpretation is that of a “thick string” where the resulting action is the interaction of its boundaries (surfaces) in the Higgs background.
We concentrate on the situation where the action comes from the generalized Dirac operator that involves the Higgs field. Thus, we work with metrics given in terms of zweibeins. In Sect. 2, we formulate the two-dimensional Riemannian doubled geometry model in terms of zweibeins and derive the resulting effective action using spectral methods. Then, in Sect. 3, we briefly discuss a reformulation of this model in terms of the corresponding metrics. Finally, in Sect. 4, we shortly discuss the Lorentzian formulation, interpretation, and present an outlook.
2 Formulation in terms of zweibeins
For a two-dimensional Riemannian spin\({}_c\) manifold with a given metric g defined in terms of a zweibein \(e^\mu _a\) (with an inverse metric \(g^{\mu \nu }=e^\mu _a e^\nu _b \delta ^{ab}\)), we consider the Dirac operator of the form
with both \(a,b=1,2\) and \(\mu =1,2\), and the Pauli matrices \(\sigma ^a\) satisfying \(\{\sigma ^a,\sigma ^b\}=2\delta ^{ab}I\). Let
be the matrix corresponding to the zweibein \(e^\mu _a\), i.e. with entries \(K^{\mu }_{\ a}:=e^{\mu }_a\). Since there is no one-to-one correspondence between metrics and zweibeins (a zweibein determines the metric but a metric can correspond to a class of zweibeins), in this paper, we treat the zweibein \(e^\mu _a\), rather than the metric g, as a more fundamental object.
In the doubled model, we denote the second metric by h, the second zweibein by \(f^\mu _a\) and its corresponding matrix by L.
Since we are interested mostly in the form of the interaction potential, we can omit terms with derivatives of zweibeins. Under this assumption, the Dirac operator for the doubled geometry model takes the form
with
where \(\Phi\) is assumed to be a constant, and \(\sigma =\chi \sigma ^3\) with \(\chi\) chosen s.t. \(\sigma ^2=\kappa =\pm 1\). We can now easily compute the operator \({\mathcal {D}}^2\), and its symbols read
where \(\xi =\begin{pmatrix}\xi _1\\ \xi _2\end{pmatrix}\) is the vector of symbols of derivatives (i.e. \(\partial _j\leftrightarrow i\xi _j\) for \(j=1,2\)).
The computation of the symbols of \({\mathcal {D}}^{-2}\) simplifies for the derivative-free case and we get [29]:
We remark that the above form of the \(\mathfrak {b}_0\) symbol is a consequence of the fact that the manifold is two-dimensional [27, 28].
To proceed with the computation of the spectral action, we first notice that
and
where the trace \(\textrm{Tr}\) is over the discrete degrees of freedom and \(\textrm{Tr}_{Cl}\) is the trace over the Clifford algebra. Then, the contribution to the action from this term is simply
and gives the standard cosmological constant terms for the two metrics.
For the next term in the action, we obtain first,
which is just a correction to the previous part.
Finally, the integrand of the remaining part of the potential is,
which gives
and, as a result, we obtain the following integration formula
Let us denote the above contribution (12) to the potential by \(V_1\). In order to compute this integral, notice that the second term is just obtained from the first one by exchanging K with L. So, for a moment we concentrate on the first term only. Let then S be an orthogonal matrix that diagonalizes \((K^{-1})^T L^T L K^{-1}\) to \(\Lambda ^T \Lambda\), i.e.
and take \(P=K^{-1} S\). Here we have used the fact that \((K^{-1})^T L^T L K^{-1}\) have positive eigenvalues.
Then changing the coordinates according to \(P \eta = \xi\) we obtain
where we have introduced \(W=S - L K^{-1} S\).
As the denominator is symmetric with respect to \(\eta\), only the parts with \(\eta _1^2, \eta _2^2\) in the numerator will enter, so the considered part of the potential reads
where we used the fact that \((W\eta )^2=\eta ^T W^TW\eta\) is symmetric with respect to the interchange \(K\leftrightarrow L\). This can be written as
where
Since
we finally get
But since S is an orthogonal matrix, this expression can be further reduced to
Let us now express (20) in terms of invariants of the matrix \(X=LK^{-1}\). First, by (13), we have
Next, again by (13) and the fact that \(X^TX\) is positive (hence \(\Lambda ^T\Lambda\) has positive eigenvalues), we have
and therefore
so that
Moreover, since \(X^TX\) has only positive eigenvalues, we also have
and therefore,
so that
As a result,
Since for the \(2\times 2\) matrix \((X^TX)^{1/2}\), we have
this expression can be further rewritten as
In order to proceed further, we use the fact [30] that for a \(2\times 2\) positive matrix Y we have
and hence
Furthermore,
Therefore,
and
But in our case \(Y=X^TX\), so that \(XY^{-1}=X(X^TX)^{-1}=XX^{-1}(X^T)^{-1}=(X^T)^{-1}\) and hence \(\textrm{Tr}(XY^{-1})=\textrm{Tr}(X^{-1})= \frac{\textrm{Tr}(X)}{\det (X)}\). Furthermore, \(\sqrt{\det (Y)}=|\det (X)|\) and therefore
For \(\det (X)<0\), this term vanishes identically. On the other hand, for \(\det (X)>0\), we get
Observe that the first two terms are, in fact, again of the same type as (9), however, with an opposite sign. Therefore, in the end, the additional term proportional to the volumes of the manifolds that is proportional to \(|\Phi |^2\) vanishes due to this cancellation. What remains as an effective interaction between the zweibeins on the two worldsheets is
This can be further simplified using the fact that
Note that although the expression above uses K and X, it can be equivalently rewritten using L and \(X^{-1}\) as it is completely symmetric.
We remark that the above cancellation was possible due to the fact that we are working in two dimensions. Indeed, the first term in (37) has its form because for a \(2\times 2\) matrix the trace of its inverse can be expressed in terms of the trace of the original matrix and its determinant, as it was done in Eq.(29). As a result, in two dimensions, the contribution to the action from \(\mathfrak {b}_2\) does not affect the effective cosmological constant, in contrast to dimension four [22]. Moreover, the interaction is non-zero only if \(\det (X)\) is positive, i.e., both K and L have determinants of the same signs.
Before we discuss the dependence of the above term on the metrics let us consider a special case, of diagonal zweibeins.
2.1 A special case: diagonal constant zweibeins
We consider now the diagonal case, i.e. with \(K=\textrm{diag}(a_1,b_1)\) and \(L=\textrm{diag}(a_2,b_2)\). In such a situation we have
so that
and, therefore, if we assume that \(\det (X)>0\) then
3 Formulation in terms of metrics
The derivation of the interaction terms between the two worldsheets was expressed in the previous section directly in terms of zweibeins, which define the Dirac operators. However, it is interesting to see which part of it can be rewritten explicitly in terms of the metrics. In this section, we discuss this possibility, using the metrics g, h on the two layers of the doubled model.
First of all, observe that if a zweibein is given by the matrix
then we have
and the metric
Therefore,
and similarly for the matrix L and the metric h. Next,
and
Therefore, the only obstruction to rephrasing the action in terms of metrics rather than zweibeins is given by the term that contains a trace of the matrix X as well as the trace of \(X^TX\).
If the zweibeins are such that these quantities are expressible in terms of invariants of g, h, and/or \(gh^{-1}\), then the full action can be unambiguously written on the level of metrics. However, in the most general case, we are dealing with interactions between zweibeins rather than metrics. This is in contrast to the standard bimetric theory, which was formulated from the beginning using metrics. The vielbein version was shown [31] to be dynamically equivalent to the usual bimetric theory, however, that is not necessarily true for multi-metric models (see [32]). Of course, this is a consequence of the assumed model of interactions between the two vielbeins and the basic structure where spinor fields and vielbeins are fundamental objects. It is interesting whether there exists a model of the full Dirac operator, where the effective potential depends only on the metrics.
3.1 A special case: diagonal constant zweibeins
In the case of diagonal zweibeins, from the form of the principal symbol, we easily read that the metrics are such that their inverses are of the form \(\textrm{diag}(a^2,b^2)\), i.e., they are also diagonal. In this case \(\sqrt{\det (g)}=\frac{1}{a_1 b_1}\) and \(\sqrt{\det (h)}=\frac{1}{a_2b_2}\).
Let us consider the matrix \(\mathbb {X}=\sqrt{g^{-1}h}\). Its eigenvalues are \(x=\frac{a_1}{a_2}\) and \(y=\frac{b_1}{b_2}\), and therefore,
4 Lorentzian formulation and conclusions
Since the derivation and applicability of the spectral methods rely on a purely Riemannian framework, the final action describes a Riemannian model. However, we can use the standard Wick rotation argument to make contact with the Lorentzian formulation. The procedure is as follows. Since we started with the modified Connes–Lott model, the effective interaction originating from the field \(\Phi\) has the character of a Higgs-like one. The two-dimensional Riemannian manifold we started with is now replaced by a \((1+1)\)-dimensional string, and we end up with a model of two Lorentzian strings interacting via a Higgs-like field. The interaction is given at the level of corresponding zweibeins for these two strings. This is the two-dimensional generalization of the picture with four-dimensional branes we discussed previously in [26] to make a comparison between doubled geometry models [21, 22] and Hassan–Rosen bimetric gravity theories [24].
Contrary to the four-dimensional situation, in dimension two we compute the zeta function rather than a residue, and the resulting potential can be computed analytically for generic zweibeins. The resulting interaction is non-zero only if the matrices corresponding to the zweibeins have determinants of the same signs, and is then expressed in terms of the invariants of the matrix \(X=LK^{-1}\) with parts of the result expressible only in terms of metrics. This is analogous to the formulation of bimetric gravity in terms of vielbeins and metrics [31] and similar to certain choices for vielbeins that ensure the existence of real square root \(\sqrt{g^{-1}h}\) [33]. We postpone the detailed discussion of this aspect for future research.
Data availability statement
All data generated or analyzed during this study are included in the manuscript.
References
A. Connes, Noncommutative geometry and reality. J. Math. Phys. 36, 6194 (1995)
A. Connes, Gravity coupled with matter and foundation of noncommutative geometry. Commun. Math. Phys. 182, 155 (1996)
D. Kastler, The dirac operator and gravitation. Commun. Math. Phys. 166, 633–643 (1995)
A. Connes, Noncommutative geometry in physics, preprint IHES/M/93/32 (1993)
A. Connes, J. Lott, Particle models and noncommutative geometry. Nucl. Phys. Proc. Suppl. 18B, 29–47 (1991)
K. van den Dungen, W.D. van Suijlekom, Particle physics from almost-commutative spacetimes. Rev. Math. Phys. 24(9), 1230004 (2012)
W.D. van Suijlekom, Noncommutative Geometry and Particle Physics (Springer, Dordrecht, 2015)
A. Connes, Essay on physics and noncommutative geometry, in: The interface of mathematics and particle physics (Oxford, 1988), vol. 24 of Inst. Math. Appl. Conf. Ser. New Ser. 9-48, Oxford Univ. Press, New York, (1990)
A. Connes, On the spectral characterization of manifolds. J. Noncommut. Geom. 7, 1–82 (2013)
A. Connes, Noncommutative Geometry (Academic Press, Boca Raton, 1994)
F. Lizzi, Noncommutative Geometry and Particle Physics, Proceedings of Corfu Summer Institute 2017 “Schools and Workshops on Elementary Particle Physics and Gravity” - PoS(CORFU2017) (2018)
M. Eckstein, B. Iochum, Spectral action in noncommutative geometry, in Springer Briefs in Mathematical Physics 27 (Springer, Cham, 2018)
D.V. Vassilevich, Heat kernel expansion: user’s manual. Phys. Rept. 388, 279 (2003)
M. Paschke, F. Scheck, A. Sitarz, Can (noncommutative) geometry accommodate leptoquarks? Phys. Rev. D 59, 035003 (1999)
L. Dabrowski, F. D’Andrea, and A. Sitarz, The Standard Model in noncommutative geometry: fundamental fermions as internal forms, Lett. Math. Phys. 108, 1323 (2018) [Erratum ibid. 109, 2585 (2019)].n
F. D’Andrea, M.A. Kurkov, F. Lizzi, Wick rotation and fermion doubling in noncommutative geometry. Phys. Rev. D 94, 025030 (2016)
J. Boeijink, W.D. van Suijlekom, The noncommutative geometry of Yang–Mills fields. J. Geom. Phys. 61, 1122–1134 (2011)
J. Boeijink, K. van den Dungen, On globally non-trivial almost-commutative manifolds. J. Math. Phys. 55, 103508 (2014)
A. Bochniak, A. Sitarz, Spectral geometry for the standard model without fermion doubling. Phys. Rev. D 101, 075038 (2020)
A. Bochniak, A. Sitarz, P. Zalecki, Spectral action and the electroweak θ-terms for the Standard Model without fermion doubling. J. High Energ. Phys. 2021, 142 (2021)
A. Sitarz, On almost commutative Friedmann–Lemaître–Robertson–Walker geometries. Class. Quant. Grav. 36, 195007 (2019)
A. Bochniak, A. Sitarz, Stability of Friedmann–Lemaître–Robertson–Walker solutions in doubled geometries. Phys. Rev. D 103, 044041 (2021)
A. Bochniak, Towards modified bimetric theories within non-product spectral geometry. J. Phys. A: Math. Theor. 55, 414006 (2022)
S.F. Hassan, R.A. Rosen, Bimetric gravity from ghost-free massive gravity. J. High Energ. Phys. 2012, 126 (2012)
Y. Akrami, T.S. Koivisto, D.F. Mota, M. Sandstad, Bimetric gravity doubly coupled to matter: theory and cosmological implications. J. Cosmol. Astropart. Phys. 10, 046 (2013)
A. Bochniak, A. Sitarz, Spectral interaction between universes. J. Cosmol. Astropart. Phys. 04, 055 (2022)
A. Connes, P. Tretkoff, The Gauss-Bonnet Theorem for the noncommutative two torus, arXiv:0910.0188
F.F. Zadeh, M. Khalkhali, The Gauss–Bonnet theorem for noncommutative two tori with a general conformal structure. J. Noncommut. Geom. 6, 457–480 (2012)
P. Gilkey, Invariance theory, the heat equation, and the Atiyah-Singer index theorem, Mathematics Lecture Series 11, Publish or Perish (1984)
B.W. Levinger, The square root of a \(2 \times 2\) matrix. Math. Mag. 53, 222–224 (1980)
K. Hinterbichler, R.A. Rosen, Interacting spin-2 fields. J. High Energ. Phys. 2012, 47 (2012)
S.F. Hassan, A. Schmidt-May, Interactions of multiple spin-\(2\) fields beyond pairwise couplings. Phys. Rev. Lett. 122, 251101 (2019)
C. Deffayet, J. Mourad, G. Zahariade, A note on “symmetric’’ vielbeins in bimetric, massive perturbative and non perturbative gravities. J. High Energ. Phys. 2013, 86 (2013)
Acknowledgements
A. B. thanks S.F. Hassan for insightful discussions and for stating the question that motivated this study. The authors acknowledge the support of the National Science Centre, Poland, Grant No. 2020/37/B/ST1/01540.
Author information
Authors and Affiliations
Contributions
Both authors contribute equally to the work as well as to the writing of the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Noncommutativity and Physics. Guest editors: George Zoupanos, Konstantinos Anagnostopoulos, Peter Schupp.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bochniak, A., Sitarz, A. Spectral interactions between strings in the Higgs background. Eur. Phys. J. Spec. Top. 232, 3589–3596 (2023). https://doi.org/10.1140/epjs/s11734-023-00832-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1140/epjs/s11734-023-00832-6