Showing 1–10 of 10 results for author: Song, D

The $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$

Authors: Siddarth Kannan, Terry Dekun Song

Abstract: We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of… ▽ More We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$ in terms of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)$ and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic $\mathbb{C}^\star$-action on $\mathbb{P}^r$, we derive a closed formula for the Euler characteristic of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star}$ as an $S_n$-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types $A$ and $B$, as well as the enumeration of graph colourings with prescribed symmetry. We also prove a structural result about the $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{g, n}(\mathbb{P}^r, d)$ in arbitrary genus. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Extended Cartan homotopy formula for higher Chern-Simons-Antoniadis-Savvidy theory

Authors: Danhua Song

Abstract: We consider extended Cartan homotopy formula (ECHF) for higher gauge theory. Firstly, we construct an oriented simplex based on 2-connections and present differential and integral forms of the higher ECHF. Then, we study the higher Chern-Simons-Antoniadis-Savvidy (ChSAS) theory and prove that the higher ECHF can reproduce the higher Chern-Weil theorem and give higher triangle equation. We finally… ▽ More We consider extended Cartan homotopy formula (ECHF) for higher gauge theory. Firstly, we construct an oriented simplex based on 2-connections and present differential and integral forms of the higher ECHF. Then, we study the higher Chern-Simons-Antoniadis-Savvidy (ChSAS) theory and prove that the higher ECHF can reproduce the higher Chern-Weil theorem and give higher triangle equation. We finally conclude from the higher ECHF that a higher transgression form can be written as the difference of two higher ChSAS forms minus an exact form. △ Less

Submitted 25 April, 2025; v1 submitted 18 October, 2024; originally announced October 2024.

Journal ref: Physics Letters B Volume 865, June 2025, 139471

Higher Chern-Simons-Antoniadis-Savvidy forms based on crossed modules

Authors: D. H. Song, K. Wu, J. Yang

Abstract: We present higher Chern-Simons-Antoniadis-Savvidy (ChSAS) forms based on crossed modules. We start from introducing a generalized multilineal symmetric invariant polynomial for the differential crossed modules and constructing a metric independent, higher gauge invariant, and closed form using the higher curvature forms. Then, we establish the higher Chern-Weil theorem and prove that the higher Ch… ▽ More We present higher Chern-Simons-Antoniadis-Savvidy (ChSAS) forms based on crossed modules. We start from introducing a generalized multilineal symmetric invariant polynomial for the differential crossed modules and constructing a metric independent, higher gauge invariant, and closed form using the higher curvature forms. Then, we establish the higher Chern-Weil theorem and prove that the higher ChSAS forms is a special case of this theorem. Finally, we get the link of two independent higher ChSAS theories. △ Less

Submitted 9 December, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Journal ref: Physics Letters B Volume 848, January 2024, 138374

Higher Chern-Simons based on (2-)crossed modules

Authors: Danhua Song, Mengyao Wu, Ke Wu, Jie Yang

Abstract: We present higher Chern-Simons theories based on (2-)crossed modules. We start from the generalized differential forms in Generalized Differential Calculus and define the corresponding generalized connections which consist of higher connections. Then we establish the generalized Chern-Simons forms to get the higher Chern-Simons actions. Finally, we develop the higher second Chern forms and Chern-W… ▽ More We present higher Chern-Simons theories based on (2-)crossed modules. We start from the generalized differential forms in Generalized Differential Calculus and define the corresponding generalized connections which consist of higher connections. Then we establish the generalized Chern-Simons forms to get the higher Chern-Simons actions. Finally, we develop the higher second Chern forms and Chern-Weil theorems. △ Less

Submitted 19 July, 2023; v1 submitted 8 December, 2022; originally announced December 2022.

Generalized higher connections and Yang-Mills

Authors: Danhua Song, Kai Lou, Ke Wu, Jie Yang

Abstract: We first extend Generalized Differential Calculus (GDC) to higher structures and create generalized G-invariant bilinear forms. In addition, we also focus on developing generalized 2- and 3-connection theories in the framework of GDC. Then, we derive the higher Bianchi-Identities and study the gauge transformations for those generalized higher connections. Finally, we establish the generalized 2-… ▽ More We first extend Generalized Differential Calculus (GDC) to higher structures and create generalized G-invariant bilinear forms. In addition, we also focus on developing generalized 2- and 3-connection theories in the framework of GDC. Then, we derive the higher Bianchi-Identities and study the gauge transformations for those generalized higher connections. Finally, we establish the generalized 2- and 3-form Yang-Mills theories based on GDC and obtain the corresponding fields equations. △ Less

Submitted 28 December, 2021; v1 submitted 26 December, 2021; originally announced December 2021.

Higher form Yang-Mills as higher BFYM theories

Authors: Danhua Song, Kai Lou, Ke Wu, Jie Yang

Abstract: The YM theory has been generalized to 2YM and 3YM theories. Similarly, we generalize the BFYM theory to "2BFYM" and "3BFYM" theories. Then, we show that these higher BFYM theories can give the formulations of the corresponding higher form YM theories. Finally, we study the gauge symmetries of these higher BFYM theories. The YM theory has been generalized to 2YM and 3YM theories. Similarly, we generalize the BFYM theory to "2BFYM" and "3BFYM" theories. Then, we show that these higher BFYM theories can give the formulations of the corresponding higher form YM theories. Finally, we study the gauge symmetries of these higher BFYM theories. △ Less

Submitted 18 November, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Journal ref: The European Physical Journal C (2022) 82:1034

3-form Yang-Mills based on 2-crossed modules

Authors: Danhua Song, Kai Lou, Ke Wu, Jie Yang, Fuhao Zhang

Abstract: In this paper, we study the higher Yang-Mills theory in the framework of higher gauge theory. It was shown that the 2-form electromagnetism can be generalized to the 2-form Yang-Mills theory with the group $U(1)$ replaced by a crossed module of Lie groups. To extend this theory to even higher structure, we develop a 3-form Yang-Mills theory with a 2-crossed module of Lie groups. First, we give an… ▽ More In this paper, we study the higher Yang-Mills theory in the framework of higher gauge theory. It was shown that the 2-form electromagnetism can be generalized to the 2-form Yang-Mills theory with the group $U(1)$ replaced by a crossed module of Lie groups. To extend this theory to even higher structure, we develop a 3-form Yang-Mills theory with a 2-crossed module of Lie groups. First, we give an explicit construction of non-degenerate symmetric $G$-invariant forms on the 2-crossed module of Lie algebras. Then, we derive the 3-Bianchi-Identities for 3-curvatures. Finally, we create a 3-form Yang-Mills action and obtain the corresponding field equations. △ Less

Submitted 17 May, 2022; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: 16 pages

Journal ref: Journal of Geometry and Physics 178C (2022) 104537

Symmetry Breaking in Density Functional Theory due to Dirac Exchange for a Hydrogen Molecule

Authors: Michael Holst, Houdong Hu, Jianfeng Lu, Jeremy L. Marzuola, Duo Song, John Weare

Abstract: We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation probl… ▽ More We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation problem undergo spontaneous symmetry breaking as the relative strength of the non-convex exchange term increases. This results in the change of the molecular ground state from a paramagnetic state to an antiferromagnetic ground states and a stationary symmetric delocalized 1st excited state. We further characterize the limiting behavior of the minimizer when the strength of the exchange term goes to infinity. This leads to further bifurcations and highly localized states with varying character. The stability of the various solution classes is demonstrated by Hessian analysis. Finite element numerical results provide support for the formal conjectures. △ Less

Submitted 22 February, 2021; v1 submitted 9 February, 2019; originally announced February 2019.

Comments: 33 pages, 6 figures; many improvements and clarifications made due to an anonymous referee

MSC Class: 35Q40

Duality and Decoherence Free Subspaces

Authors: David D. Song, Richard J. Szabo

Abstract: Quantum error avoiding codes are constructed by exploiting a geometric interpretation of the algebra of measurements of an open quantum system. The notion of a generalized Dirac operator is introduced and used to naturally construct families of decoherence free subspaces for the encoding of quantum information. The members of the family are connected to each other by the discrete Morita equivale… ▽ More Quantum error avoiding codes are constructed by exploiting a geometric interpretation of the algebra of measurements of an open quantum system. The notion of a generalized Dirac operator is introduced and used to naturally construct families of decoherence free subspaces for the encoding of quantum information. The members of the family are connected to each other by the discrete Morita equivalences of the algebra of observables, which render possible several choices of noiseless code in which to perform quantum computation. The construction is applied to various examples of discrete and continuous quantum systems. △ Less

Submitted 13 December, 2000; v1 submitted 6 November, 2000; originally announced November 2000.

Comments: 14 pages LaTeX, 1 figure, uses epsf.tex; Typos corrected and some clarifying comments added

Report number: HWM00-25

Spectral Geometry of Heterotic Compactifications

Authors: David D. Song, Richard J. Szabo

Abstract: The structure of heterotic string target space compactifications is studied using the formalism of the noncommutative geometry associated with lattice vertex operator algebras. The spectral triples of the noncommutative spacetimes are constructed and used to show that the intrinsic gauge field degrees of freedom disappear in the low-energy sectors of these spacetimes. The quantum geometry is the… ▽ More The structure of heterotic string target space compactifications is studied using the formalism of the noncommutative geometry associated with lattice vertex operator algebras. The spectral triples of the noncommutative spacetimes are constructed and used to show that the intrinsic gauge field degrees of freedom disappear in the low-energy sectors of these spacetimes. The quantum geometry is thereby determined in much the same way as for ordinary superstring target spaces. In this setting, non-abelian gauge theories on the classical spacetimes arise from the K-theory of the effective target spaces. △ Less

Submitted 27 December, 1998; originally announced December 1998.

Comments: 14 pages LaTeX

Report number: NBI-HE-98-43

Journal ref: Class.Quant.Grav. 16 (1999) 3013-3024