BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Chien-Hao Liu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The construction of soft noncommutative schemes via toric geometry in arXiv:2108.05328 [math.AG] (D(15.1), NCS(1)) can be generalized and applied to a commutative scheme with a distinguished atlas of reasonably good affine local coordinate charts. In the current notes we carry out this exercise for flag varieties.
Forty-six years after the birth of supersymmetry in 1973 from works of Julius Wess and Bruno Zumino, the standard quantum-field-theorists and particle physicists' language of `superspaces', `supersymmetry', and `supersymmetric action functionals in superspace formulation' as given in Chapters IV, V, VI, VII, XXII of the classic on supersymmetry and supergravity: Julius Wess & Jonathan Bagger: Supersymmetry and Supergravity (2nd ed.), is finally polished, with only minimal mathematical patches added for consistency and accuracy in dealing with nilpotent objects from the Grassmann algebra involved, to a precise setting in the language of complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry. This is completed after the lesson learned from D(14.1) (arXiv:1808.05011 [math.DG]) and the notion of `$d=3+1$, $N=1$ towered superspaces' as complexified ${\Bbb Z}/2$-graded $C^\infty$-schemes, their distinguished sectors, and purge-evaluation maps first developed in SUSY(1) (= D(14.1.Supp.1)) (arXiv:1902.06246 [hep-th]) and further polished in the current work. While the construction depends on a choice of a trivialization of the spinor bundle by covariantly constant sections, as long as the transformation law and the induced isomorphism under a change of trivialization of the spinor bundle by covariantly constant sections are understood, any object or structure thus defined or constructed is mathematically well-defined. The construction can be generalized to all other space-time dimensions with simple or extended supersymmetries. This is part of the mathematical foundation required to study fermionic D-branes in the Ramond-Neveu-Schwarz formulation.
In earlier works, D(1) (arXiv:0709.1515 [math.AG]), D(11.1) (arXiv:1406.0929 [math.DG]), D(11.2) (arXiv:1412.0771 [hep-th]), and D(11.3.1) (arXiv:1508.02347 [math.DG]), we have explained why a D-brane in string theory, when treated as a fundamental dynamical object, can be described by a map $φ$ from an Azumaya/matrix manifold $X^{Az}$ (cf. D-brane world-volume) with a fundamental module with a connection $(E,\nabla)$ (cf. Chan-Paton bundle) to the target space-time $Y$. In this sequel, we construct a non-Abelian Dirac-Born-Infeld action functional $S_{DBI}^{(Φ, g, B)}(φ,\nabla)$ for such pairs $(φ,\nabla)$. We next develop a technical tool needed to study variations of this action and apply it to derive the first variation $δS_{DBI}^{(Φ,g,B)}/δ(φ,\nabla)$ of $S_{DBI}^{(Φ,g,B)}$ with respect to $(φ,\nabla)$. The equations of motion that govern the dynamics of D-branes then follow. A complete action for a D-brane world-volume must include also the Chern-Simons/Wess-Zumino term $S_{CS/WZ}^{(C)}(φ,\nabla)$ that governs how the D-brane world-volume couples with the Ramond-Ramond fields $C$ on $Y$. In the current notes, a version $S^{(C,B)}_{CS/WZ}(φ,\nabla)$ of non-Abelian Chern-Simons/Wess-Zumino action functional for $(φ,\nabla)$ that follows the same guide with which we construct $S^{(Φ,g,B)}_{DBI}(φ,\nabla)$ is constructed for lower-dimensional D-branes (i.e. D(-1)-, D0-, D1-, D2-branes). Its first variation $δS^{(C,B)}_{CS/WZ}(φ,\nabla)/δ(φ,\nabla)$ is derived and its contribution to the equations of motion for $(φ, \nabla)$ follows. The current notes lay down a foundation toward the dynamics of D-branes along the line of this D-project.
In D(13.1) (arXiv:1606.08529 [hep-th]), we introduced an admissible condition on differentiable maps $φ: (X^{\!A\!z}, E;\nabla)\rightarrow Y$ from an Azumaya/matrix manifold $X^{\!A\!z}$ (with the fundamental module $E$) with a connection $\nabla$ on $E$ to a manifold $Y$ in order to resolve a pull-push issue in the construction of a non-Abelian-Dirac-Infeld action $S_{DBI}$ for $(φ,\nabla)$ and to render $\nabla$ massless from the aspect of open strings. The admissible condition ibidem consists of two parts: Condition (1) and Condition (2). In this brief note, we examine these two conditions in more detail and bring their geometric implications on $(φ,\nabla)$ and the full action $S_{DBI}(φ,\nabla)+S_{CS/WZ}(φ,\nabla)$ more transparent. In particular, we show that Condition (1) alone already implies masslessness of $\nabla$ from open-string aspect; and that the additional Condition (2) implies a decoupling of the nilpotent fuzzy cloud of $φ(X^{\!A\!z})$ to the dynamics of $(φ, \nabla)$. We conclude with a refined definition of admissible $(φ,\nabla)$ and a remark on the anomaly factor in the integrand of the Chern-Simons/Wess-Zumino term $S_{CS/WZ}(φ,\nabla)$ for D-branes based on the current study.
We lay down an elementary yet fundamental lemma concerning a finite algebraicness property of a smooth map from an Azumaya/matrix manifold with a fundamental module to a smooth manifold. This gives us a starting point to build a synthetic (synonymously, $C^{\infty}$-algebraic) symplectic geometry and calibrated geometry that are both tailored to and guided by D-brane phenomena in string theory and along the line of our previous works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]).
In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.
The moduli space of isometry classes of Riemannian structures on a smooth manifold was emphasized by J.A.Wheeler in his superspace formalism of quantum gravity. A natural question concerning it is: What is a natural topology on such moduli space that reflects best quantum fluctuations of the geometries within the Planck's scale? This very question has been addressed by B.DeWitt and others. In this article we introduce Gromov's $\varepsilon$-approximation topology on the above moduli space for a closed smooth manifold. After giving readers some feel of this topology, we prove that each conformal class in the moduli space is dense with respect to this topology. Implication of this phenomenon to quantum gravity is yet to be explored. When going further to general metric spaces, Gromov's geometries-at-large-scale based on his topologies remind one of K.Wilson's theory of renormalization group. We discuss some features of both and pose a question on whether both can be merged into a single unified theory.
We consider D-branes in string theory and address the issue of how to describe them mathematically as a fundamental object (as opposed to a solitonic object) of string theory in the realm in differential and symplectic geometry. The notion of continuous maps, $k$-times differentiable maps, and smooth maps from an Azumaya/matrix manifold with a fundamental module to a (commutative) real manifold $Y$ is developed. Such maps are meant to describe D-branes or matrix branes in string theory when these branes are light and soft with only small enough or even zero brane-tension. When $Y$ is a symplectic manifold (resp. a Calabi-Yau manifold; a $7$-manifold with $G_2$-holonomy; a manifold with an almost complex structure $J$), the corresponding notion of Lagrangian maps (resp. special Lagrangian maps; associative maps, coassociative maps; $J$-holomorphic maps) are introduced. Indicative examples linking to symplectic geometry and string theory are given. This provides us with a language and part of the foundation required to study themes, new or old, in symplectic geometry and string theory, including (1) $J$-holomorphic D-curves (with or without boundary), (2) quantization and dynamics of D-branes in string theory, (3) a definition of Fukaya category guided by Lagrangian maps from Azumaya manifolds with a fundamental module with a connection, (4) a theory of fundamental matrix strings or D-strings, and (5) the nature of Ramond-Ramond fields in a space-time. The current note D(11.1) is the symplectic/differential-geometric counterpart of the more algebraic-geometry-oriented first two notes D(1) ([L-Y1]) (arXiv:0709.1515 [math.AG]) and D(2) ([L-L-S-Y], with Si Li and Ruifang Song) (arXiv:0809.2121 [math.AG]) in this project.
In this Part II of D(11), we introduce new objects: super-$C^k$-schemes and Azumaya super-$C^k$-manifolds with a fundamental module (or, synonymously, matrix super-$C^k$-manifolds with a fundamental module), and extend the study in D(11.1) ([L-Y3], arXiv:1406.0929 [math.DG]) to define the notion of `differentiable maps from an Azumaya/matrix supermanifold with a fundamental module to a real manifold or supermanifold'. This allows us to introduce the notion of `fermionic D-branes' in two different styles, one parallels Ramond-Neveu-Schwarz fermionic string and the other Green-Schwarz fermionic string. A more detailed discussion on the Higgs mechanism on dynamical D-branes in our setting, taking maps from the D-brane world-volume to the space-time in question and/or sections of the Chan-Paton bundle on the D-brane world-volume as Higgs fields, is also given for the first time in the D-project. Finally note that mathematically string theory begins with the notion of a differentiable map from a string world-sheet (a $2$-manifold) to a target space-time (a real manifold). In comparison to this, D(11.1) and the current D(11.2) together bring us to the same starting point for studying D-branes in string theory as dynamical objects.
In a suitable regime of superstring theory, D-branes in a Calabi-Yau space and their most fundamental behaviors can be nicely described mathematically through morphisms from Azumaya spaces with a fundamental module to that Calabi-Yau space. In the earlier work [L-L-S-Y] (D(2): arXiv:0809.2121 [math.AG], with Si Li and Ruifang Song) from the project, we explored this notion for the case of D1-branes (i.e. D-strings) and laid down some basic ingredients toward understanding the notion of D-string world-sheet instantons in this context. In this continuation, D(10), of D(2), we move on to construct a moduli stack of semistable morphisms from Azumaya nodal curves with a fundamental module to a projective Calabi-Yau 3-fold $Y$. In this Part I of the note, D(10.1), we define the notion of twisted central charge $Z$ for Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves and the associated stability condition on such transforms and prove that for a given compact stack of nodal curves $C_{\cal M}/{\cal M}$, the stack $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ of $Z$-semistable Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves in the family $C_{\cal M}/{\cal M}$ to $Y$ of fixed twisted central charge $c$ is compact. For the application in the sequel D(10.2), $C_{\cal M}/{\cal M}$ will contain $C_{\bar{\cal M}_g}/\bar{\cal M}_g$ as a substack and $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ in this case will play a key role in defining stability condition for morphisms from arbitrary Azumaya nodal curves (with the underlying nodal curves not necessary in the family $C_{\cal M}/{\cal M}$) to $Y$.
In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a projective Calabi-Yau 3-fold and show that the moduli stack of such $Z$-semistable morphisms of a fixed type is compact. This gives us a counter moduli stack to D-strings as the moduli stack of stable maps in Gromov-Witten theory to the fundamental string. It serves and prepares for us the basis toward a new invariant of Calabi-Yau 3-fold that captures soft-D-string world-sheet instanton numbers in superstring theory. This note is written hand-in-hand with D(10.1) and is to be read side-by-side with ibidem.
The construction of double point cobordism groups of vector bundles on varieties in the work [Lee-P] (arXiv:1002.1500 [math.AG]) of Yuan-Pin Lee and Rahul Pandharipande gives immediately double point cobordism groups of filtered vector bundles on varieties. We note also that among the four basic operations -- direct sum, tensor product, dual, and Hom -- on vector bundles on varieties, only taking dual is compatible with double point cobordisms of vector bundles on varieties in general, by a demonstration on an example of vector bundles on Calabi-Yau 3-folds. A question on refined and/or higher algebraic cobordisms of vector bundles on varieties is posed in the end.
In this lecture I review how a matrix/Azumaya-type noncommutative geometry arises for D-branes in string theory and how such a geometry serves as an origin of the master nature of D-branes; and then highlight an abundance conjecture on D0-brane resolutions of singularities that is extracted and purified from a work of Douglas and Moore in 1996. A conjectural relation of our setting with `D-geometry' in the sense of Douglas is also given. The lecture is based on a series of works on D-branes with Shing-Tung Yau, and in part with Si Li and Ruifang Song.
Based on examples from superstring/D-brane theory since the work of Douglas and Moore on resolution of singularities of a superstring target-space $Y$ via a D-brane probe, the richness and the complexity of the stack of punctual D0-branes on a variety, and as a guiding question, we lay down a conjecture that any resolution $Y^{\prime}\rightarrow Y$ of a variety $Y$ over ${\Bbb C}$ can be factored through an embedding of $Y^{\prime}$ into the stack ${\frak M}^{0^{A z^f}_{\;p}}_r (Y)$ of punctual D0-branes of rank $r$ on $Y$ for $r\ge r_0$ in ${\Bbb N}$, where $r_0$ depends on the germ of singularities of $Y$. We prove that this conjecture holds for the resolution $ρ: C^{\prime}\rightarrow C$ of a reduced singular curve $C$ over ${\Bbb C}$. In string-theoretical language, this says that the resolution $C^{\prime}$ of a singular curve $C$ always arises from an appropriate D0-brane aggregation on $C$ and that the rank of the Chan-Paton module of the D0-branes involved can be chosen to be arbitrarily large.
Using a hyperKähler rotation on complex structures of a Calabi-Yau 2-fold and rolling of an isotropic 2-submanifold in a symplectic 6-manifold, we construct, by gluing, a natural family of immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and study how they deviate from being deformable to a family of special Lagrangian deformations by examining in detail Joyce's criteria on this family. The result suggests a potential image-support rigidity of A-branes that wrap around a special Lagrangian 3-sphere in a Calabi-Yau 3-fold, which resembles a similar phenomenon for holomorphic curves that wrap around a rigid smooth rational curve in a Calabi-Yau 3-fold in Gromov-Witten theory.
We review first Azumaya geometry and D-branes in the realm of algebraic geometry along the line of Polchinski-Grothendieck Ansatz from our earlier work and then use it as background to introduce Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a projective complex manifold. This gives us a description of D-branes of A-type. Donaldson's picture of Lagrangian and special Lagrangian submanifolds as selected from the zero-locus of a moment map on a related space of maps can be merged into the setting. As a pedagogical toy model, we study D-branes of A-type in a Calabi-Yau torus. Simple as it is, it reveals several features of D-branes, including their assembling/disassembling. The 4th theme of Sec. 2.4, the 2nd theme of Sec. 4.2, and Sec. 4.3 are to be read respectively with Gómez-Sharpe (arXiv:hep-th/0008150), Donagi-Katz-Sharpe (arXiv:hep-th/0309270), and Denef (arXiv:hep-th/0107152). Some string-theoretical remarks are given at the end of each section.
In [L-Y5] (D(6): arXiv:1003.1178 [math.SG]) we introduced the notion of Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a complex manifold. In the current sequel, we use this notion to give a prototypical definition of supersymmetric D-branes of A-type (i.e. A-branes) -- in an appropriate region of the Wilson's theory-space of string theory -- as special Lagrangian morphisms from such objects with a unitary, minimally flat connection-with-singularities. This merges Donaldson's picture of special Lagrangian submanifolds and the Polchinski-Grothendieck Ansatz for D-branes on a Calabi-Yau space. Basic phenomena of D-branes such as Higgsing/un-Higgsing and large- vs. small-brane wrapping can be realized via deformations of such morphisms. Classical results of Alexander, Hilden, Lozano, Montesinos, and Thurston suggest then a genus-like expansion of the path-integral of D3-branes. Similarly for D2-branes and M2-branes. In the last section, we use the technical results of Joyce on desingularizations of special Lagrangian submanifolds with conical singularities to explain how A-branes thus defined can be driven and re-assemble under a split attractor flow, as studied in an earlier work of Denef. This section is to be read with arXiv:hep-th/0107152 of Denef and arXiv:math.DG/0303272 of Joyce.