Submitted:
04 October 2026
Posted:
08 October 2026
You are already at the latest version
Abstract
We propose a geometric framework for studying Calabi–Yau type conditions on partially negative dimensional product manifolds (PNDP-manifolds). The construction is motivated by the PNDP framework introduced by Pigazzini, Özel, Linker and Jafari, in which the fiber is represented by a smooth manifold together with an obstruction bundle and consequently carries a virtual dimension that may be negative. The main idea of the present paper is to replace the ordinary tangent bundle of a PNDP-manifold by a formal virtual tangent object. For a PNDP model with base B and derived fiber represented by a pair (M, E), we consider TvirP = TB ⊕ TM − E. This leads naturally to a virtual first Chern class cvir1(P) = c1(TB) + c1(TM) − c1(E). We define a virtual Calabi–Yau PNDP condition by the vanishing of this class and formulate a stronger condition involving a compatible Kähler structure and a virtual Ricci-flat equation. Several examples and structural consequences are given. The paper is deliberately formulated as a proposed extension: the virtual topological conditions are precise in K-theoretic language, whereas the analytic theory of virtual Ricci-flat metrics is presented as a research program rather than as an established theorem.
Keywords:
Calabi–Yau manifold
; PNDP-manifold
; virtual tangent bundle
; obstruction bundle
; Chern class
; Kähler geometry
; Ricci-flat geometry
; derived geometry
; warped product
MSC: 53C25; 53C55; 14J32; 14F05; 19L10
1. Introduction
Calabi–Yau geometry occupies a central position in complex differential geometry, algebraic geometry, topology and mathematical physics. In its classical form, one studies a compact Kähler manifold with vanishing first Chern class, equivalently, under standard hypotheses, a manifold with trivial canonical bundle. The existence of Ricci-flat Kähler metrics in the appropriate Kähler class is a fundamental consequence of the Calabi conjecture proved by Yau [3,4]. The subject is described from several complementary viewpoints in [6,7,8,9,10].
Partially negative dimensional product manifolds (PNDP-manifolds) provide a different geometric setting. In the original PNDP construction of Pigazzini, Özel, Linker and Jafari [1], a PNDP-manifold is an Einstein warped product whose fiber is described by a derived-differential construction involving a smooth manifold and an obstruction bundle. In particular, the associated virtual dimension can be negative. The authors also discuss a desuspension interpretation of the resulting virtual dimensions. A later treatment continues the PNDP construction in the context of warped products and applications [2].
The purpose of this paper is to investigate what a Calabi–Yau condition could mean in such a setting. The key observation is that the obstruction bundle should not be treated as an ordinary additional positive-dimensional factor. Instead, it naturally contributes with a negative sign to the formal tangent object. This is precisely the type of construction for which K-theory and virtual geometry are useful.
Let be a smooth base manifold and suppose that the derived fiber is represented by a smooth manifold M together with a vector bundle . We introduce the formal virtual tangent object
Its virtual rank is
This agrees with the basic dimension bookkeeping used in the PNDP construction [1].
The main definition of this paper is then the following:
We call the vanishing of (3) the virtual Calabi–Yau condition. This condition is a precise K-theoretic statement. By contrast, the existence of a genuine Ricci-flat metric on a negative dimensional or derived fiber is not assumed here; a corresponding analytic theory would require additional definitions.
The paper is organized as follows. Section 2 recalls the PNDP framework. Section 3 reviews the classical Calabi–Yau condition. Section 4 introduces the virtual tangent object and virtual Chern classes. Section 5 defines Calabi–Yau PNDP-manifolds. Section 6 studies the virtual canonical bundle and holomorphic volume forms. Section 7 gives examples. Section 8 discusses Kähler and Ricci-flat structures, while Section 9 formulates a conjectural Calabi–Yau PNDP principle. Section 10, Section 11 and Section 12 discuss holonomy, characteristic classes, Hodge-theoretic questions and possible relations with derived geometry. The final section lists open problems.
2. PNDP-Manifolds and Virtual Dimensions
2.1. The Basic PNDP Construction
We recall the main geometric ingredients of the PNDP construction. According to [1], one considers an Einstein warped product of the form
where is an ordinary Riemannian or pseudo-Riemannian manifold and is interpreted through a derived-differential construction.
In the model considered in [1], the fiber can be described schematically by
where is an obstruction bundle. The corresponding virtual dimension is bookkept as
If , this number is negative.
The negative dimension here should not be confused with the dimension of an ordinary smooth manifold. Rather, it is a virtual quantity arising from the derived/obstruction-bundle description. This distinction is essential for the present paper.
Remark 2.1.
The term “Calabi–Yau PNDP-manifold” used below denotes a proposed extension of Calabi–Yau geometry to the PNDP setting. It does not assert that every PNDP-manifold is an ordinary complex manifold, nor that the virtual metric introduced below already exists as a classical metric.
2.2. The Virtual Tangent Object
Let M be the ordinary smooth part of a derived fiber and let be its obstruction bundle. We use the formal K-theory class
This notation is analogous to the use of virtual tangent bundles in intersection theory and derived geometry; see, for example, [11,12,13].
The rank of (6) is
Thus the obstruction bundle is responsible for the negative contribution.
Proposition 2.2.
Proof.
The rank is additive in K-theory, while total Chern classes satisfy for virtual bundles. Hence
□
3. Classical Calabi–Yau Geometry
We briefly recall the classical situation.
Definition 3.1.
A compact complex manifold X is called Calabi–Yau in the usual differential-geometric sense if it is Kähler and
Equivalently, under the standard hypotheses,
where is the canonical bundle.
For a compact Kähler manifold, Yau’s solution of the Calabi conjecture gives a Ricci-flat Kähler metric in every Kähler class whose first Chern class vanishes [3,4]. Thus the classical theory has two closely related layers:
- (i)
- a topological/complex-geometric condition ;
- (ii)
- an analytic consequence, namely the existence of a Ricci-flat Kähler metric.
In the PNDP setting, the first layer can be formulated naturally using a virtual tangent class. The second requires a suitable virtual analytic framework.
4. Virtual Chern Classes
4.1. The Virtual First Chern Class
From
we obtain
This formula is the basic algebraic-geometric invariant of the proposed Calabi–Yau PNDP theory.
Definition 4.1.
A PNDP model is called virtually Calabi–Yau if
Equivalently,
Equation (9) expresses the central idea: the obstruction bundle can cancel the positive first Chern classes of the ordinary tangent directions.
Proposition 4.2.
Suppose that , M and are complex and that the virtual tangent class is defined by (6). Then the virtual Calabi–Yau condition is equivalent to
Proof.
This follows immediately from (7). □
4.2. Higher Chern Classes
The same construction gives
Consequently, higher virtual Chern classes can be defined recursively by the formal identity
For example,
These expressions make it possible to formulate virtual characteristic class constraints beyond the Calabi–Yau condition.
5. The Virtual Canonical Bundle
For a genuine complex vector bundle V, its canonical determinant is . The corresponding formal object for the PNDP model is
Since
we obtain formally
Indeed,
while the negative summand contributes .
Proposition 5.1.
The virtual first Chern class satisfies
Consequently,
if and only if is topologically trivial at the level of its first Chern class.
Proof.
For any complex vector bundle V, . Applying this identity to the virtual class gives the result. □
Remark 5.2.
Vanishing of the first Chern class does not by itself provide a canonical holomorphic trivialization of . If a stronger notion of Calabi–Yau PNDP-manifold is desired, one should additionally specify a nowhere vanishing virtual holomorphic volume form or an equivalent trivialization.
6. Definition of a Calabi–Yau PNDP-Manifold
We now give a two-level definition.
Definition 6.1
(Weak Calabi–Yau PNDP). A complex PNDP model
is called a weak Calabi–Yau PNDP-manifold if
Definition 6.2
(Strong Calabi–Yau PNDP). A weak Calabi–Yau PNDP is called strong Calabi–Yau if, in addition, the model carries a compatible virtual Kähler structure and admits a well-defined virtual Ricci tensor satisfying
The strong definition is intentionally conditional. At present it should be understood as specifying the desired analytic endpoint of the theory, not as claiming a general existence theorem.
Definition 6.3
(Holomorphic volume form version). A weak Calabi–Yau PNDP is said to be volume-form Calabi–Yau if admits a nowhere-vanishing virtual holomorphic section
7. Examples
7.1. Ordinary Calabi–Yau Manifolds as PNDP Models
Let and let the PNDP model reduce to an ordinary complex manifold X. Then
Therefore the virtual Calabi–Yau condition reduces exactly to the ordinary Calabi–Yau condition.
Proposition 7.1.
Every ordinary Calabi–Yau manifold can be regarded as a degenerate Calabi–Yau PNDP model with zero obstruction bundle.
Proof.
Set . Then (7) becomes . □
7.2. A Cancellation Example
Let and M be complex manifolds and suppose that a complex vector bundle over the relevant product has
Then
Thus satisfies the weak Calabi–Yau PNDP condition.
This example is formal but important: it shows that the virtual Calabi–Yau condition is not equivalent to requiring and M separately to be Calabi–Yau.
7.3. A Negative Virtual Dimension
Suppose
for some positive integer r. Then
The model therefore has negative virtual dimension in the sense of the PNDP bookkeeping. If, in addition, satisfies
the model is virtually Calabi–Yau.
This illustrates that virtual dimension and the virtual first Chern class are logically distinct invariants.
7.4. A Product-Type Example
Assume that X and Y are compact Kähler manifolds and let
with obstruction bundle . Then
and
Consequently, the virtual Calabi–Yau condition becomes
8. Kähler Structures and Warped Products
The original PNDP framework is based on warped products [1,2]. Let
where is a smooth warping function.
In ordinary differential geometry, the Ricci tensor of a warped product contains terms involving the Ricci tensors of the base and fiber, the Hessian of f, and the dimension of the fiber. The PNDP setting modifies the dimension bookkeeping because the fiber is virtual. The original PNDP work derives Einstein equations adapted to this situation [1].
For a Calabi–Yau PNDP theory, one would seek a complex structure J and a compatible virtual metric such that
defines a closed virtual -form
The desired Ricci-flat equation is
At this point, however, one must distinguish the formal equation (16) from a classical PDE on an ordinary manifold. A rigorous theory would require a definition of the virtual connection, curvature, Ricci tensor, and an appropriate function space.
9. A Virtual Calabi Conjecture
The classical Calabi conjecture asks for a Kähler metric with prescribed Ricci form in a fixed Kähler class. Yau’s theorem establishes existence and uniqueness in the Calabi–Yau case [3].
This motivates the following conjectural statement.
Conjecture 9.1
(Virtual Calabi–Yau conjecture). Let be a compact complex PNDP model equipped with a well-defined virtual Kähler class. Assume
Then every admissible virtual Kähler class contains a virtual Ricci-flat Kähler metric, unique up to the natural virtual analogue of Kähler potentials and automorphisms.
This conjecture is not proved here. Its formulation depends on analytic structures that are not yet part of the basic PNDP definition.
A possible route to such a theorem would require:
- (1)
- a precise complex structure on the derived fiber;
- (2)
- a virtual differential calculus;
- (3)
- a virtual Laplacian and elliptic theory;
- (4)
- a Monge–Ampère equation in the virtual setting;
- (5)
- appropriate compactness and regularity theorems.
These problems are substantial and may require tools from derived differential geometry and derived algebraic geometry.
10. Virtual Holonomy
For an ordinary Ricci-flat Kähler manifold, the holonomy group is contained in when the canonical bundle is trivial. This relationship between holonomy and Calabi–Yau geometry is classical; see [7,8].
For a PNDP model one may formally introduce
as the holonomy of a virtual connection, provided such a connection is defined.
The expected Calabi–Yau condition would then be
for an appropriately defined virtual special unitary group.
At present this should be viewed as a guiding principle rather than a completed definition.
Remark 10.1.
The notation is intentionally provisional. A rigorous construction should specify whether the relevant group is a group of automorphisms of a virtual tangent complex, a derived frame object, or another categorical structure.
11. Characteristic Classes and Euler Characteristics
The virtual tangent class allows one to define formal characteristic classes using standard multiplicative characteristic-class machinery [12].
For example, the virtual Chern character is
Similarly, the virtual Todd class is
If a suitable virtual fundamental class
is available, one may formally define a virtual Euler characteristic by
12. Relation with Derived Geometry
The obstruction-bundle description of a virtual tangent object is closely related to standard constructions in derived geometry.
In derived intersection theory, a derived space can carry a tangent complex rather than an ordinary tangent bundle. A perfect obstruction theory provides a two-term complex whose K-theory class has the form
and virtual fundamental classes can then be constructed under suitable hypotheses [11].
The PNDP formalism
fits naturally with this general philosophy. It should therefore be interesting to investigate whether PNDP-manifolds can be realized as specific classes of derived manifolds or derived stacks.
The broader derived-geometric framework of Pantev, Toën, Vaquié and Vezzosi provides further motivation for investigating shifted symplectic and derived structures in this direction [13]. Likewise, derived and homological approaches to geometry have been developed extensively in the literature [14,15].
13. Hodge-Theoretic Questions
Suppose a suitable virtual Dolbeault complex has been constructed. One could then introduce virtual Hodge numbers
A corresponding virtual Hodge diamond might satisfy analogues of the symmetries familiar from compact Kähler manifolds:
If a virtual holomorphic volume form exists, one may also expect a virtual version of Serre duality. None of these assertions is automatic from the definition of the virtual tangent class; they require a developed cohomology theory.
Thus the virtual Calabi–Yau condition should be viewed as the first layer of a larger program involving:
- virtual Dolbeault cohomology;
- virtual Hodge structures;
- virtual Serre duality;
- virtual periods;
- virtual variation of Hodge structures.
14. Mirror Symmetry and Possible Applications
Mirror symmetry associates pairs of Calabi–Yau spaces whose geometric and quantum invariants exhibit deep relationships. Standard references include [7,9,10].
A virtual Calabi–Yau PNDP framework suggests the possibility of a virtual mirror symmetry in which the ordinary tangent data of one space are balanced by obstruction data. A prospective mirror pair
would be expected to satisfy relations between virtual Hodge numbers, virtual intersection numbers, or suitable generating functions.
At present these statements are conjectural. A rigorous theory would first need a well-defined category of Calabi–Yau PNDP objects and morphisms.
Possible applications include:
- (i)
- derived moduli problems;
- (ii)
- virtual intersection theory;
- (iii)
- generalized compactification constructions;
- (iv)
- mathematical models involving hidden or virtual dimensions;
- (v)
- possible connections with supersymmetric and string-theoretic geometries.
The last item is speculative and should not be interpreted as a physical prediction.
15. Structural Results
We collect several immediate consequences of the virtual definition.
Theorem 15.1.
Let be a complex PNDP model. If
then is virtually Calabi–Yau.
Proof.
Substitution into (7) gives . □
Theorem 15.2.
Let be a complex PNDP model. If
then is virtually Calabi–Yau, regardless of whether or M is individually Calabi–Yau.
Proof.
This is exactly Equation (9). □
Corollary 15.3.
If and M are ordinary Calabi–Yau manifolds and has , then the associated virtual PNDP model is weakly Calabi–Yau.
Proof.
All three first Chern classes vanish. □
Proposition 15.4.
The virtual Calabi–Yau condition is invariant under replacement of the virtual tangent class by an isomorphic class in complex K-theory.
Proof.
Chern classes are invariants of the K-theory class. Hence is unchanged. □
16. A Proposed Definition Through a Tangent Complex
A more intrinsic version of the theory may be obtained by replacing the formal difference
by an actual perfect complex representing the tangent object of a derived PNDP space.
If the complex has amplitude contained in , its K-theory class can be written formally as
The virtual Calabi–Yau condition can then be stated as
An even stronger derived definition would require a trivialization of the virtual canonical line
This perspective may provide a mathematically rigorous bridge between PNDP-manifolds and derived differential geometry.
17. Conclusions
We have proposed a Calabi–Yau framework for PNDP-manifolds based on the virtual tangent object
This construction converts the PNDP dimension bookkeeping into a natural K-theoretic formalism. In particular, the virtual first Chern class is
The vanishing of this class gives a precise and useful definition of a weak Calabi–Yau PNDP-manifold. The associated virtual canonical bundle is formally
This makes clear how the obstruction bundle can compensate for the positive first Chern classes of the ordinary geometric directions.
The stronger analytic theory requires considerably more work. In particular, virtual Kähler metrics, virtual Ricci curvature, virtual holonomy and a virtual Monge–Ampère equation must be defined before a genuine analogue of Yau’s theorem can be established. Consequently, the Ricci-flat part of the theory has been presented here as a conjectural research program rather than as an established theorem.
The principal mathematical question is therefore not merely whether one can formally write a Calabi–Yau equation for a PNDP-manifold, but whether the PNDP construction admits a coherent derived differential-geometric structure in which the equation has intrinsic analytic meaning. This question connects PNDP geometry with virtual characteristic classes, obstruction theories and derived geometry and provides a broad direction for further investigation.
References
- Pigazzini, A.; Özel, C.; Linker, P.; Jafari, S. On PNDP-manifold. Poincaré J. Anal. Appl. 2021, 8, 111–125. [Google Scholar] [PubMed]
- Pigazzini, A.; Özel, C.; Jafari, S. PNDP-manifolds. In Advances in Topology, Dynamical Systems and Interdisciplinary Applications; Springer Nature, 2025. [Google Scholar]
- Yau, S.-T. On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I. Commun. Pure Appl. Math. 1978, 31, 339–411. [Google Scholar] [CrossRef]
- Yau, S.-T. Surveys in Differential Geometry, Vol. VI; International Press, 2001. [Google Scholar]
- Aubin, T. Équations du type Monge–Ampère sur les variétés kählériennes compactes. Comptes Rendus l’Académie Sci. 1976, 283, 119–121. [Google Scholar]
- Griffiths, P.; Harris, J. Principles of Algebraic Geometry; Wiley-Interscience: New York, 1978. [Google Scholar]
- Huybrechts, D. Complex Geometry: An Introduction; Springer: Berlin, 2005. [Google Scholar]
- Joyce, D. Compact Manifolds with Special Holonomy; Oxford University Press: Oxford, 2000. [Google Scholar]
- Voisin, C. Hodge Theory and Complex Algebraic Geometry I; Cambridge University Press: Cambridge, 2002. [Google Scholar]
- Voisin, C. Hodge Theory and Complex Algebraic Geometry II; Cambridge University Press: Cambridge, 2003. [Google Scholar]
- Behrend, K.; Fantechi, B. The intrinsic normal cone. Invent. Math. 1997, 128, 45–88. [Google Scholar] [CrossRef]
- Fulton, W. Intersection Theory, 2nd ed.; Springer: Berlin, 1998. [Google Scholar]
- Pantev, T.; Toën, B.; Vaquié, M.; Vezzosi, G. Shifted symplectic structures. Publ. Math. l’IHÉS 2013, 117, 271–328. [Google Scholar] [CrossRef]
- Costello, K. Topological Conformal Field Theories and Calabi–Yau Categories. Adv. Math. 2007, 210, 165–214. [Google Scholar] [CrossRef]
- Kontsevich, M.; Soibelman, Y. Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. In Homological Mirror Symmetry; Lecture Notes in Physics 757; Springer, 2009; pp. 153–219. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.