<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD with OASIS Tables with MathML3 v1.2d1 20170631//EN" "JATS-journalpublishing-oasis-article1-mathml3.dtd">
<article article-type="research-article" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:oasis="http://www.niso.org/standards/z39-96/ns/oasis-exchange/table"><front><journal-meta><journal-id journal-id-type="publisher-id">PRD</journal-id><journal-id journal-id-type="coden">PRVDAQ</journal-id><journal-title-group><journal-title>Physical Review D</journal-title><abbrev-journal-title>Phys. Rev. D</abbrev-journal-title></journal-title-group><issn pub-type="ppub">2470-0010</issn><issn pub-type="epub">2470-0029</issn><publisher><publisher-name>American Physical Society</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.1103/PhysRevD.98.025007</article-id><article-categories><subj-group subj-group-type="toc-major"><subject>ARTICLES</subject></subj-group><subj-group subj-group-type="toc-minor"><subject>Formal aspects of field theory, field theory in curved space</subject></subj-group></article-categories><title-group><article-title>Local field theory construction of very special conformal symmetry</article-title><alt-title alt-title-type="running-title">LOCAL FIELD THEORY CONSTRUCTION OF VERY …</alt-title><alt-title alt-title-type="running-author">YU NAKAYAMA</alt-title></title-group><contrib-group><contrib contrib-type="author"><name><surname>Nakayama</surname><given-names>Yu</given-names></name><xref ref-type="aff" rid="a1"/></contrib><aff id="a1">Department of Physics, <institution>Rikkyo University</institution>, Toshima, Tokyo 171-8501, Japan</aff></contrib-group><pub-date iso-8601-date="2018-07-09" date-type="pub" publication-format="electronic"><day>9</day><month>July</month><year>2018</year></pub-date><pub-date iso-8601-date="2018-07-15" date-type="pub" publication-format="print"><day>15</day><month>July</month><year>2018</year></pub-date><volume>98</volume><issue>2</issue><elocation-id>025007</elocation-id><pub-history><event><date iso-8601-date="2018-04-03" date-type="received"><day>3</day><month>April</month><year>2018</year></date></event></pub-history><permissions><copyright-statement>Published by the American Physical Society</copyright-statement><copyright-year>2018</copyright-year><copyright-holder>authors</copyright-holder><license license-type="creative-commons" xlink:href="https://creativecommons.org/licenses/by/4.0/"><license-p content-type="usage-statement">Published by the American Physical Society under the terms of the <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International</ext-link> license. Further distribution of this work must maintain attribution to the author(s) and the published article’s title, journal citation, and DOI. Funded by SCOAP<sup>3</sup>.</license-p></license></permissions><abstract><p>Cohen and Glashow argued that very special conformal field theories of a particular kind [i.e., with HOM(2) or SIM(2) invariance] cannot be constructed within the framework of local field theories. We, however, show examples of local construction by using nonlinear realization. We further construct linear realization from the topological twist at the cost of unitarity. To demonstrate the ubiquity of our idea, we also present corresponding holographic models.</p></abstract><funding-group><award-group award-type="grant"><funding-source country="JP"><institution-wrap><institution>Japan Society for the Promotion of Science</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/501100001691</institution-id></institution-wrap></funding-source><award-id>17K14301</award-id></award-group></funding-group><counts><page-count count="5"/></counts></article-meta></front><body><sec id="s1"><label>I.</label><title>INTRODUCTION</title><p>The assumption of locality plays an essential role in relativistic quantum field theories. In particle physics, it is usually argued that locality is necessary to guarantee the causal structure that is compatible with the special relativity: “nothing can travel faster than the speed of light.” This, however, implies that the motivation to impose locality comes from the more sacred principle of causality and may not be fundamental. Indeed, with extended objects such as branes or strings, the interaction may take place in a nonlocal way, but still is compatible with the relativistic causality. In this sense, we may say that locality is tied up with the notion of particles under the assumption of the special relativity.</p><p>If we abandon the special relativity, the role of locality becomes less obvious. However, Cohen and Glashow argued that the locality may also play a significant role in very special relativity <xref ref-type="bibr" rid="c1 c2">[1,2]</xref>, which is a certain subgroup of Lorentz symmetry that preserves a particular null direction. They claim that if they impose the locality in field theories that obey a certain class of the very special relativity, they must be fully Lorentz invariant. The claim yields a direct connection between the violation of Lorentz symmetry and the violation of locality, which makes the very special relativity more predictive and interesting. In addition, the speed of light is constant in every direction even though we have a particular null direction, so such theories are phenomenologically viable.</p><p>Their argument was based on the spurion analysis. Suppose we begin with a relativistic field theory and consider its local deformation to break the symmetry down to particular subgroups of the Lorentz symmetry [technically known as SIM(2) or HOM(2) invariant very special relativity to be defined below]. Cohen and Glashow found that there are no such local operators available from the representation theory of Lorentz algebra. Therefore, they argue that there are no local field theories that realize SIM(2) and HOM(2) invariant very special relativity without symmetry enhancement to the full Lorentz symmetry. Alternatively, they proposed a way to achieve this by violating the assumption of locality at the same time <xref ref-type="bibr" rid="c2">[2]</xref>.<fn id="fn1"><label><sup>1</sup></label><p>See, e.g., an explicit background-field origin of this nonlocality in QED <xref ref-type="bibr" rid="c3">[3]</xref>.</p></fn></p><p>In this paper, we, however, point out that there is a loophole in their argument. When the original theory possesses a further global symmetry, one may construct the deformation that preserves the very special relativity without violating the locality. We show some examples in the context of very special conformal field theories <xref ref-type="bibr" rid="c4">[4]</xref> for definiteness, but a similar construction is possible and obviously easier without imposing the conformal symmetry.</p></sec><sec id="s2"><label>II.</label><title>VERY SPECIAL CONFORMAL SYMMETRY</title><p>To discuss very special relativity as well as very special conformal field theories, it is convenient to introduce light-cone coordinates <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mfrac><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mfrac><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msup></mml:math></inline-formula> (<inline-formula><mml:math display="inline"><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:math></inline-formula>, 3) [or <inline-formula><mml:math display="inline"><mml:msub><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mfrac><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mfrac><mml:mspace linebreak="goodbreak"/><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msup></mml:math></inline-formula>]. The light-cone tensors are defined in a similar manner.</p><p>The very special relativity is based on the algebra spanned by <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo stretchy="false">{</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">}</mml:mo></mml:math></inline-formula> are spacetime translations and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is a Lorentz transformation that preserves a particular null direction. In <xref ref-type="bibr" rid="c1">[1]</xref>, they proposed four different algebras of very special relativity, but in this paper, we focus either on the HOM(2) invariant case by adding <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> or mainly on the SIM(2) invariant case by adding <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. If we abandon <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> in each case, we have E(2) or T(2) invariant very special conformal field theories respectively.<fn id="fn2"><label><sup>2</sup></label><p>The total very special relativity algebra has various names in the literature. The combination of E(2) and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> is sometimes called the Bargmann algebra or massive Galilean algebra (see, e.g., <xref ref-type="bibr" rid="c5">[5]</xref> and references therein). The combination of SIM(2) and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> is called ISIM(2) algebra in <xref ref-type="bibr" rid="c6">[6]</xref>.</p></fn></p><p>The conformal extension of the algebra of very special relativity was discussed in <xref ref-type="bibr" rid="c4">[4]</xref>. The gist is that we can only add the dilatation <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> and a particular special conformal transformation <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula> (as a subgroup of the Poincaré conformal algebra). The schematic form of the commutation relation for the SIM(2) invariant very special conformal algebra is summarized in Table <xref ref-type="table" rid="t1">I</xref>. For the HOM(2) invariant case, one can just ignore the column and row of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. The relevant fact that we will use later is that <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> does not appear in Table <xref ref-type="table" rid="t1">I</xref> as a result of the commutator.</p><table-wrap id="t1" specific-use="style-1col"><object-id>I</object-id><object-id pub-id-type="doi">10.1103/PhysRevD.98.025007.t1</object-id><label>TABLE I.</label><caption><p>The commutation relation <inline-formula><mml:math display="inline"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula> of very special conformal generators.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="9"><oasis:colspec align="left" colname="col1" colsep="0" colwidth="10%"/><oasis:colspec align="center" colname="col2" colsep="0" colwidth="9%"/><oasis:colspec align="center" colname="col3" colsep="0" colwidth="13%"/><oasis:colspec align="center" colname="col4" colsep="0" colwidth="12%"/><oasis:colspec align="center" colname="col5" colsep="0" colwidth="12%"/><oasis:colspec align="center" colname="col6" colsep="0" colwidth="9%"/><oasis:colspec align="center" colname="col7" colsep="0" colwidth="12%"/><oasis:colspec align="center" colname="col8" colsep="0" colwidth="11%"/><oasis:colspec align="center" colname="col9" colsep="0" colwidth="14%"/><oasis:thead><oasis:row><oasis:entry valign="top"/><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center" valign="bottom"><inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula></oasis:entry></oasis:row></oasis:thead><oasis:tbody><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:mn>2</mml:mn><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>k</mml:mi><mml:mi>l</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry></oasis:row><oasis:row rowsep="0"><oasis:entry><inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry align="center"><inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry><oasis:entry><inline-formula><mml:math display="inline"><mml:mn>2</mml:mn><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula></oasis:entry><oasis:entry>0</oasis:entry></oasis:row></oasis:tbody></oasis:tgroup></oasis:table></table-wrap></sec><sec id="s3"><label>III.</label><title>LOCAL FIELD THEORY EXAMPLES</title><p>Let us first recall the argument that very special conformal field theories with SIM(2) or HOM(2) invariance cannot be constructed from the spurion method. Suppose we have a conformal field theory and try to deform it by adding local operators that preserve SIM(2) symmetry. In order to preserve the E(2) invariant very special conformal symmetry, which is a subgroup of SIM(2) invariant very special conformal symmetry, we try to add a vector primary operator <disp-formula id="d1"><mml:math display="block"><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>+</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mi>d</mml:mi><mml:mn>4</mml:mn></mml:msup><mml:mi>x</mml:mi><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>J</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:mo>,</mml:mo></mml:math><label>(1)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub></mml:math></inline-formula> is the action of a Poincaré conformal field theory, and <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup></mml:math></inline-formula> has only nonzero components in <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mo>+</mml:mo></mml:msup></mml:math></inline-formula> so that it preserves <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>.<fn id="fn3"><label><sup>3</sup></label><p>More generically, we could add the tensor operators with only <inline-formula><mml:math display="inline"><mml:mo>+</mml:mo></mml:math></inline-formula> components, but the discussions below do not change.</p></fn> In order to preserve the very special conformal symmetry <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula>, we further assume that the Poincaré scaling dimension of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> is five. This gives us a local field theory construction of E(2) invariant very special conformal field theory. The problem here is that the spurion vector <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup></mml:math></inline-formula> is not invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>, and therefore, we cannot preserve the SIM(2) invariant very special conformal symmetry. This is essentially the reasoning made in <xref ref-type="bibr" rid="c1">[1]</xref> to claim that there is no SIM(2) invariant (not necessarily conformal) field theories from the spurion method.<fn id="fn4"><label><sup>4</sup></label><p>The argument does not rely on the conformal invariance, but note that it is based on the assumption that one can turn off the deformation such that the Lorentz invariance is recovered. This argument alone did not exclude the isolated examples if any.</p></fn></p><p>Nevertheless we do find a way to avoid this no-go argument by demanding that the spurion <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup></mml:math></inline-formula> transforms as a vector under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, but transforms as a “scalar” under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>. Since <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> does not appear in the right-hand side of commutation relations of the very special conformal algebra, this causes no inconsistency at the level of the algebra. Of course, originally the spurion <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup></mml:math></inline-formula> was a vector under the full Lorentz transformation <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>μ</mml:mi><mml:mi>ν</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, so we need a trick to implement this idea.</p><p>The easiest way to do this is to use the concept of “topological twist” <xref ref-type="bibr" rid="c7 c8">[7,8]</xref>. Suppose the original theory possesses an additional noncompact global <inline-formula><mml:math display="inline"><mml:mi>U</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> symmetry <inline-formula><mml:math display="inline"><mml:mi>Q</mml:mi></mml:math></inline-formula>. Suppose also that it has a vector operator <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula> which transforms as <inline-formula><mml:math display="inline"><mml:mrow><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mi>i</mml:mi><mml:mi>θ</mml:mi><mml:mi>Q</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>J</mml:mi></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mi>θ</mml:mi><mml:mi>Q</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mi>θ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>J</mml:mi></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> under the global symmetry <inline-formula><mml:math display="inline"><mml:mi>Q</mml:mi></mml:math></inline-formula>. Then we see <inline-formula><mml:math display="inline"><mml:mo>∫</mml:mo><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:msup><mml:mi>d</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi>x</mml:mi><mml:msub><mml:mi>J</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula> is invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>J</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mi>Q</mml:mi></mml:math></inline-formula> (while it was not invariant under <inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mrow><mml:mi>J</mml:mi></mml:mrow><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula>). Now, we deform the action by the interaction <disp-formula id="d2"><mml:math display="block"><mml:mrow><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:msup><mml:mrow><mml:mi>λ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>J</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(2)</label></disp-formula>By construction, it is invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> as well as <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>J</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> as discussed above. The commutation relations among <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>J</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> are the same as the ones in the very special relativity, so we may well regard <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>J</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> as <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> in the very special conformal algebra. In addition, if the Poincaré scaling dimension of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> is five, it preserves <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula>. In this way, we have constructed a very special conformal field theory with the SIM(2) invariance in a local fashion.<fn id="fn5"><label><sup>5</sup></label><p>A similar idea to use the Poincaré dilatation rather than the global symmetry to twist <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> was discussed in <xref ref-type="bibr" rid="c9">[9]</xref>. While the Lorentz part of the symmetry algebra is SIM(2), the commutator with the translation is different from the ones in Table <xref ref-type="table" rid="t1">I</xref>. We, therefore, called <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> rather than <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> in our discussions.</p></fn></p><p>Let us show a couple of concrete examples to demonstrate the construction. First, we consider a field theory with two real fields <inline-formula><mml:math display="inline"><mml:mi>A</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>B</mml:mi></mml:math></inline-formula>, which is defined by the action <disp-formula id="d3"><mml:math display="block"><mml:mrow><mml:mi>S</mml:mi><mml:mo id="d3a1" indentalign="id" indenttarget="d3a1">=</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:mrow other="silent"><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>A</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mi>B</mml:mi><mml:mo>+</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>B</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mi>A</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mi>A</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mi>B</mml:mi><mml:mspace linebreak="goodbreak"/><mml:malignmark/><mml:mo>+</mml:mo><mml:mi>λ</mml:mi><mml:msup><mml:mrow><mml:mi>A</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mi>A</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>B</mml:mi><mml:mo>-</mml:mo><mml:mi>B</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>A</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(3)</label></disp-formula>Here the last term <inline-formula><mml:math display="inline"><mml:mi>λ</mml:mi><mml:msup><mml:mi>A</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mi>A</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>B</mml:mi><mml:mo>-</mml:mo><mml:mi>B</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>A</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> plays the role of <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>J</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> above. It is obviously invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mo>-</mml:mo></mml:msub></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> as well as <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>. It is invariant under the dilatation <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula>, <disp-formula id="d4"><mml:math display="block"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo id="d4a1">=</mml:mo><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d4a1">=</mml:mo><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:math><label>(4)</label></disp-formula>as well as under the “twisted&quot; Lorentz boost <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>, <disp-formula id="d5"><mml:math display="block"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo id="d5a1">=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d5a1">=</mml:mo><mml:mo>-</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:math><label>(5)</label></disp-formula>where we omit the orbital part by setting <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> because the invariance is trivial. Since the deformation is given by a vector primary operator, it is invariant under a particular special conformal transformation <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula>, <disp-formula id="d6"><mml:math display="block"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>,</mml:mo><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo id="d6a1">=</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mo>-</mml:mo></mml:msub><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:msup><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mi>A</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>,</mml:mo><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d6a1">=</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mo>-</mml:mo></mml:msub><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:msup><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mi>B</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo><mml:mspace linebreak="goodbreak"/><mml:malignmark/></mml:math><label>(6)</label></disp-formula>Therefore, this model is a concrete example of very special conformal field theories with the SIM(2) invariance.</p><p>Let us, however, mention one caveat of this model. The theory is nonunitary because of the wrong sign in the kinetic term. The underlying reason we needed the nonunitarity is that we have to introduce the global noncompact <inline-formula><mml:math display="inline"><mml:mi>U</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> symmetry under which real fields change their absolute values rather than the phases. This typically requires the kinetic term with the negative signature. In other words, it must be <inline-formula><mml:math display="inline"><mml:mi>S</mml:mi><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> rather than <inline-formula><mml:math display="inline"><mml:mi>S</mml:mi><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p><p>On the other hand, at the level of effective field theories, one may also construct a unitary field theory with the SIM(2) invariant very special conformal symmetry realized in a nonlinear way. As an example, let us consider a field theory with a complex scalar <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi></mml:math></inline-formula> and a real scalar <inline-formula><mml:math display="inline"><mml:mi>φ</mml:mi></mml:math></inline-formula> with the action <disp-formula id="d7"><mml:math display="block"><mml:mi>S</mml:mi><mml:mo indentalign="id" indenttarget="d7a1">=</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mi>d</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi>x</mml:mi><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:mrow other="silent"><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mo>-</mml:mo></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>+</mml:mo><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>ϕ</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>-</mml:mo></mml:msub><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>-</mml:mo><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:mi>ϕ</mml:mi><mml:mspace linebreak="goodbreak"/><mml:malignmark/><mml:mo>+</mml:mo><mml:mo stretchy="false">|</mml:mo><mml:mi>ϕ</mml:mi><mml:msup><mml:mo stretchy="false">|</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:mo>(</mml:mo><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>φ</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>-</mml:mo></mml:msub><mml:mi>φ</mml:mi><mml:mo>-</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:mi>φ</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mi>i</mml:mi></mml:msub><mml:mi>φ</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:malignmark/><mml:mrow other="silent"><mml:mo>+</mml:mo><mml:mi>i</mml:mi><mml:mi>λ</mml:mi><mml:msup><mml:mi>e</mml:mi><mml:mi>φ</mml:mi></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:math><label>(7)</label></disp-formula>To see how <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> symmetry is realized, we make <inline-formula><mml:math display="inline"><mml:mi>φ</mml:mi></mml:math></inline-formula> transform nonlinearly under the dilatation <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> and the Lorentz transformation <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>: <disp-formula id="d8"><mml:math display="block"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">]</mml:mo><mml:mo id="d8a1">=</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mi>φ</mml:mi><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d8a1">=</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d8a1">=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>φ</mml:mi><mml:mo stretchy="false">]</mml:mo><mml:mo indentalign="id" indenttarget="d8a1">=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo></mml:math><label>(8)</label></disp-formula>so that the interaction <inline-formula><mml:math display="inline"><mml:mo>∫</mml:mo><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:msup><mml:mi>d</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi>x</mml:mi><mml:msup><mml:mi>e</mml:mi><mml:mi>φ</mml:mi></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:msub><mml:mo>∂</mml:mo><mml:mo>+</mml:mo></mml:msub><mml:msup><mml:mi>ϕ</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> (as well as <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula>). Note that the kinetic term is also invariant under the shift of <inline-formula><mml:math display="inline"><mml:mi>φ</mml:mi></mml:math></inline-formula>. While the action is invariant, this model breaks the dilatation and special conformal transformation spontaneously by choosing the vacuum expectation values of <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi><mml:mo>≠</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> to avoid the singular kinetic term for <inline-formula><mml:math display="inline"><mml:mi>φ</mml:mi></mml:math></inline-formula>.</p><p>The similar construction is possible for the HOM(2) invariant case. Consider the action <disp-formula id="d9"><mml:math display="block"><mml:mrow><mml:mi>S</mml:mi><mml:mo indentalign="id" indenttarget="d9a1">=</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:mrow other="silent"><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>+</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mspace linebreak="goodbreak"/><mml:malignmark/><mml:mo>+</mml:mo><mml:mo stretchy="false">|</mml:mo><mml:mi>ϕ</mml:mi><mml:msup><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>(</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mi>φ</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mi>φ</mml:mi><mml:mo>-</mml:mo><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mi>φ</mml:mi><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mi>φ</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:malignmark/><mml:mrow other="silent"><mml:mo>+</mml:mo><mml:mi>i</mml:mi><mml:msup><mml:mrow><mml:mi>λ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mi>φ</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(9)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mrow><mml:mi>μ</mml:mi><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:msup><mml:mi>λ</mml:mi><mml:mrow><mml:mi>ν</mml:mi><mml:mi>μ</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> has only a nonzero component in <inline-formula><mml:math display="inline"><mml:msup><mml:mi>λ</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:msup><mml:mi>λ</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mo>+</mml:mo></mml:mrow></mml:msup></mml:math></inline-formula>. We immediately see that the action is invariant under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> (but not under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>). Invariance under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> is again guaranteed by the shift transformation of the <inline-formula><mml:math display="inline"><mml:mi>φ</mml:mi></mml:math></inline-formula> field as <inline-formula><mml:math display="inline"><mml:mi>i</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>φ</mml:mi><mml:mo stretchy="false">]</mml:mo><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula> so that the interaction term <inline-formula><mml:math display="inline"><mml:mrow><mml:mo>∫</mml:mo><mml:mi>d</mml:mi><mml:mi>t</mml:mi><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:msup><mml:mrow><mml:mi>λ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mi>φ</mml:mi></mml:mrow></mml:msup><mml:mspace linebreak="goodbreak"/><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mo>*</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:math></inline-formula> becomes invariant. The theory is unitary, but it breaks the very special conformal symmetry spontaneously. The linear construction at the cost of unitarity is also possible with the action similar to <xref ref-type="disp-formula" rid="d3">(3)</xref>.</p><p>In <xref ref-type="bibr" rid="c4">[4]</xref>, a holographic model for the E(2) invariant very special conformal field theory was discussed. Here, we, for the first time to our knowledge, present a holographic model for SIM(2) invariant very special conformal field theories. Let us consider the five-dimensional Einstein gravity coupled with two real vector fields <inline-formula><mml:math display="inline"><mml:msub><mml:mi>A</mml:mi><mml:mi>M</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>B</mml:mi><mml:mi>M</mml:mi></mml:msub></mml:math></inline-formula> with the action <disp-formula id="d10"><mml:math display="block"><mml:mrow><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>5</mml:mn></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:msqrt><mml:mrow><mml:mo>-</mml:mo><mml:mi>g</mml:mi></mml:mrow></mml:msqrt><mml:mrow><mml:mo>(</mml:mo><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:mi>R</mml:mi><mml:mo>-</mml:mo><mml:mi mathvariant="normal">Λ</mml:mi><mml:mo>-</mml:mo><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:msub><mml:mrow><mml:mi>F</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo>-</mml:mo><mml:msup><mml:mrow><mml:mi>m</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>A</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>B</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mspace linebreak="goodbreak"/></mml:mrow></mml:math><label>(10)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mrow><mml:mi>F</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>A</mml:mi></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>A</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>B</mml:mi></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mo>∂</mml:mo></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>B</mml:mi></mml:mrow><mml:mrow><mml:mi>m</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula>. We set <inline-formula><mml:math display="inline"><mml:mi mathvariant="normal">Λ</mml:mi><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mn>6</mml:mn></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msup><mml:mi>m</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>=</mml:mo><mml:mn>8</mml:mn></mml:math></inline-formula>. Then we find a particular solution of the equations of motion with the metric given by <disp-formula id="d11"><mml:math display="block"><mml:mrow><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>s</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mi>g</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac></mml:mrow></mml:math><label>(11)</label></disp-formula>and the vector fields <disp-formula id="d12"><mml:math display="block"><mml:mrow><mml:mi>A</mml:mi><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mi>A</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msub><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>M</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo></mml:mrow></mml:msup></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="2em"/><mml:mi>B</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(12)</label></disp-formula>Invariance under <inline-formula><mml:math display="inline"><mml:msub><mml:mi>P</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula> can be checked along the same line of discussions in <xref ref-type="bibr" rid="c4">[4]</xref>, where the holographic models for E(2) invariant very special conformal field theories are studied. Note, however, that in contrast with the model in <xref ref-type="bibr" rid="c4">[4]</xref>, the energy-momentum tensor from the vector fields here is zero, so the geometry is not that of the Schrödinger holography <xref ref-type="bibr" rid="c10 c11">[10,11]</xref> but it is just the anti–de Sitter spacetime.</p><p>Our claim is that this is a holographic dual description of a SIM(2) invariant very special conformal field theory. Naively, the vector condensation <xref ref-type="disp-formula" rid="d12">(12)</xref> is not invariant under the isometry of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> while the metric is. Nevertheless, the crucial point is that the theory has a noncompact <inline-formula><mml:math display="inline"><mml:mi>U</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> global symmetry <disp-formula id="d13"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mi>δ</mml:mi></mml:mrow><mml:mrow><mml:mi>λ</mml:mi></mml:mrow></mml:msub><mml:mi>A</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mi>λ</mml:mi></mml:mrow></mml:msup><mml:mi>A</mml:mi><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="2em"/><mml:msub><mml:mrow><mml:mi>δ</mml:mi></mml:mrow><mml:mrow><mml:mi>λ</mml:mi></mml:mrow></mml:msub><mml:mi>B</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mi>λ</mml:mi></mml:mrow></mml:msup><mml:mi>B</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(13)</label></disp-formula>and the condensation becomes invariant under the new “<inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula>” if we define it by a combined transformation of the coordinate transformation <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo stretchy="false">→</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mi>λ</mml:mi></mml:mrow></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup></mml:math></inline-formula> and the noncompact global <inline-formula><mml:math display="inline"><mml:mi>U</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> symmetry <inline-formula><mml:math display="inline"><mml:msub><mml:mi>δ</mml:mi><mml:mi>λ</mml:mi></mml:msub><mml:mi>A</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mi>λ</mml:mi></mml:msup><mml:mi>A</mml:mi></mml:math></inline-formula>. This mechanism is essentially the holographic counterpart of what we used in the field theory construction of conserved <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mrow><mml:mo>+</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> from the idea of the “topological twist”.<fn id="fn6"><label><sup>6</sup></label><p>The topological twist in the context of holography has been studied, e.g., in <xref ref-type="bibr" rid="c12 c13">[12,13]</xref>.</p></fn> Here the condensation of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>A</mml:mi><mml:mi>M</mml:mi></mml:msub></mml:math></inline-formula> is equivalent to adding <inline-formula><mml:math display="inline"><mml:msub><mml:mi>J</mml:mi><mml:mi>μ</mml:mi></mml:msub></mml:math></inline-formula> to the action. Similarly, the holographic theory is not unitary because of the wrong signs in the kinetic terms for the vector fields <inline-formula><mml:math display="inline"><mml:msub><mml:mi>A</mml:mi><mml:mi>M</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>B</mml:mi><mml:mi>M</mml:mi></mml:msub></mml:math></inline-formula> much as the field theory construction discussed at the beginning of this section.</p></sec><sec id="s4"><label>IV.</label><title>DISCUSSIONS</title><p>In this paper, we have constructed a local field theory example of SIM(2) or HOM(2) invariant very special conformal field theories, which was believed to be impossible within local quantum field theories. Our construction is either a nonunitary or a nonlinear realization. We may regard these examples as counterexamples of the no-go argument in <xref ref-type="bibr" rid="c1">[1]</xref> with a little bit of a caveat. Now we are going to discuss what the caveat would imply.</p><p>The very special relativity was originally introduced from the motivations in elementary particle physics, but the existence of a particular null direction may have its origin from the other spacetime physics. For example, let us imagine quantum field theories near a black hole (or black brane) horizon. There, the existence of a horizon may be associated with a particular null direction in spacetime, and one may locally approximate the symmetry of the spacetime by the very special relativity.</p><p>More precisely, if one takes the near horizon limit of a nonextremal black hole, e.g., the Schwartzshild black hole, then it is described by the Rindler space <disp-formula id="d14"><mml:math display="block"><mml:mi>d</mml:mi><mml:msup><mml:mi>s</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo indentalign="id" indenttarget="d14a1">=</mml:mo><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mfrac><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msup><mml:mi>r</mml:mi></mml:mfrac><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:msup><mml:mi>r</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mi mathvariant="normal">Ω</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo stretchy="false">→</mml:mo><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mi>d</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mspace linebreak="goodbreak"/><mml:malignmark/><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:msup><mml:mi>z</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>,</mml:mo></mml:math><label>(14)</label></disp-formula>which is locally the same as the Minkowski space. However, a crucial difference here is that the null direction <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mo>-</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> is special because it represents the location of the event horizon. On the other hand, the other null directions including <inline-formula><mml:math display="inline"><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> are less sacred and can be broken by the boundary condition imposed by the black hole background (rather than the white hole background with horizon located at <inline-formula><mml:math display="inline"><mml:mrow><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mo>+</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math></inline-formula>). Thus, the symmetry that is compatible with the black hole system near the horizon region is given by one of the very special symmetry.</p><p>We may even speculate that the difficulty of constructing SIM(2) or HOM(2) invariant field theories has its origin in black hole physics. On the one hand, we have to abandon locality to construct unitary theories. On the other hand, we have to abandon unitarity to construct local field theories. The locality vs unitarity in the black hole information puzzle has been a hot debate these days, and our discussions may be related to these studies in a deep manner.</p><p>We have also shown the local field theory construction of HOM(2) and SIM(2) very special conformal field theories with its nonlinear realization by the spontaneous breaking. How does such nonlinear realization appear in physics? We imagine that the very special relativity itself may originate from the spontaneous symmetry breaking of the full Lorentz symmetry. In the black hole case above, this is what is precisely happening: the gravitational physics spontaneously breaks the Lorentz symmetry. Then we expect that the similar nonlinear realization of the very special conformal symmetry may occur naturally.</p><p>Finally, beyond the spurion analysis in <xref ref-type="bibr" rid="c1">[1]</xref>, there is no strict argument that very special conformal field theories with HOM(2) or SIM(2) invariance are impossible without violation of unitarity, violation of locality, or spontaneous breaking of the symmetry. It would be very important to prove or disprove this point. Such a no-go theorem (i.e., unitary Poincaré invariant field theories with <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>D</mml:mi><mml:mo accent="true" stretchy="false">˜</mml:mo></mml:mover></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>K</mml:mi><mml:mo>+</mml:mo></mml:msub></mml:math></inline-formula> must be fully conformal invariant) does exist in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:math></inline-formula> dimensions <xref ref-type="bibr" rid="c14">[14]</xref>, and the analysis there suggests that we should understand the properties of correlation functions, in particular those of the energy-momentum tensor.<fn id="fn7"><label><sup>7</sup></label><p>Some correlation functions in very special conformal field theories are currently studied by using the embedding method in <xref ref-type="bibr" rid="c15">[15]</xref>.</p></fn></p></sec></body><back><ack><title>ACKNOWLEDGMENTS</title><p>This work is in part supported by JSPS KAKENHI Grant No. 17K14301.</p></ack><ref-list><ref id="c1"><label>[1]</label><mixed-citation publication-type="journal"><object-id>1</object-id><person-group person-group-type="author"><string-name>A. G. Cohen</string-name> and <string-name>S. L. Glashow</string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>97</volume>, <page-range>021601</page-range> (<year>2006</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.97.021601</pub-id></mixed-citation></ref><ref id="c2"><label>[2]</label><mixed-citation publication-type="eprint"><object-id>2</object-id><person-group person-group-type="author"><string-name>A. G. Cohen</string-name> and <string-name>S. L. Glashow</string-name></person-group>, <pub-id pub-id-type="arxiv">arXiv:hep-ph/0605036</pub-id>.</mixed-citation></ref><ref id="c3"><label>[3]</label><mixed-citation publication-type="journal"><object-id>3</object-id><person-group person-group-type="author"><string-name>A. Ilderton</string-name></person-group>, <source>Phys. Rev. D</source> <volume>94</volume>, <page-range>045019</page-range> (<year>2016</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.94.045019</pub-id></mixed-citation></ref><ref id="c4"><label>[4]</label><mixed-citation publication-type="journal"><object-id>4</object-id><person-group person-group-type="author"><string-name>Y. Nakayama</string-name></person-group>, <source>Phys. Rev. D</source> <volume>97</volume>, <page-range>065003</page-range> (<year>2018</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.97.065003</pub-id></mixed-citation></ref><ref id="c5"><label>[5]</label><mixed-citation publication-type="journal"><object-id>5</object-id><person-group person-group-type="author"><string-name>R. Andringa</string-name>, <string-name>E. Bergshoeff</string-name>, <string-name>S. Panda</string-name>, and <string-name>M. de Roo</string-name></person-group>, <source>Classical Quantum Gravity</source> <volume>28</volume>, <page-range>105011</page-range> (<year>2011</year>).<pub-id pub-id-type="coden">CQGRDG</pub-id><issn>0264-9381</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1088/0264-9381/28/10/105011</pub-id></mixed-citation></ref><ref id="c6"><label>[6]</label><mixed-citation publication-type="journal"><object-id>6</object-id><person-group person-group-type="author"><string-name>G. W. Gibbons</string-name>, <string-name>J. Gomis</string-name>, and <string-name>C. N. Pope</string-name></person-group>, <source>Phys. Rev. D</source> <volume>76</volume>, <page-range>081701</page-range> (<year>2007</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.76.081701</pub-id></mixed-citation></ref><ref id="c7"><label>[7]</label><mixed-citation publication-type="journal"><object-id>7</object-id><person-group person-group-type="author"><string-name>E. Witten</string-name></person-group>, <source>Commun. Math. Phys.</source> <volume>117</volume>, <page-range>353</page-range> (<year>1988</year>).<pub-id pub-id-type="coden">CMPHAY</pub-id><issn>0010-3616</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/BF01223371</pub-id></mixed-citation></ref><ref id="c8"><label>[8]</label><mixed-citation publication-type="journal"><object-id>8</object-id><person-group person-group-type="author"><string-name>E. Witten</string-name></person-group>, <source>Commun. Math. Phys.</source> <volume>118</volume>, <page-range>411</page-range> (<year>1988</year>).<pub-id pub-id-type="coden">CMPHAY</pub-id><issn>0010-3616</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/BF01466725</pub-id></mixed-citation></ref><ref id="c9"><label>[9]</label><mixed-citation publication-type="journal"><object-id>9</object-id><person-group person-group-type="author"><string-name>A. J. Hariton</string-name> and <string-name>R. Lehnert</string-name></person-group>, <source>Phys. Lett. A</source> <volume>367</volume>, <page-range>11</page-range> (<year>2007</year>).<pub-id pub-id-type="coden">PYLAAG</pub-id><issn>0375-9601</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/j.physleta.2007.03.001</pub-id></mixed-citation></ref><ref id="c10"><label>[10]</label><mixed-citation publication-type="journal"><object-id>10</object-id><person-group person-group-type="author"><string-name>D. T. Son</string-name></person-group>, <source>Phys. Rev. D</source> <volume>78</volume>, <page-range>046003</page-range> (<year>2008</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.78.046003</pub-id></mixed-citation></ref><ref id="c11"><label>[11]</label><mixed-citation publication-type="journal"><object-id>11</object-id><person-group person-group-type="author"><string-name>K. Balasubramanian</string-name> and <string-name>J. McGreevy</string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>101</volume>, <page-range>061601</page-range> (<year>2008</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.101.061601</pub-id></mixed-citation></ref><ref id="c12"><label>[12]</label><mixed-citation publication-type="journal"><object-id>12</object-id><person-group person-group-type="author"><string-name>Y. Nakayama</string-name></person-group>, <source>Phys. Rev. D</source> <volume>95</volume>, <page-range>066010</page-range> (<year>2017</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.95.066010</pub-id></mixed-citation></ref><ref id="c13"><label>[13]</label><mixed-citation publication-type="journal"><object-id>13</object-id><person-group person-group-type="author"><string-name>Y. Nakayama</string-name></person-group>, <source>Phys. Rev. D</source> <volume>95</volume>, <page-range>046006</page-range> (<year>2017</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.95.046006</pub-id></mixed-citation></ref><ref id="c14"><label>[14]</label><mixed-citation publication-type="journal"><object-id>14</object-id><person-group person-group-type="author"><string-name>J. Polchinski</string-name></person-group>, <source>Nucl. Phys.</source> <volume>B303</volume>, <page-range>226</page-range> (<year>1988</year>).<pub-id pub-id-type="coden">NUPBBO</pub-id><issn>0550-3213</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/0550-3213(88)90179-4</pub-id></mixed-citation></ref><ref id="c15"><label>[15]</label><mixed-citation publication-type="misc"><object-id>15</object-id><person-group person-group-type="author"><string-name>Y. Nakayama</string-name></person-group> (to be published). Some results were presented at the KIAS-YITP joint workshop 2017 “Strings, Gravity and Cosmology”.</mixed-citation></ref></ref-list></back></article>
