PNDP-Manifolds for Dummies

1. Why Should Anyone Study a “Negative Dimension”?

The first reaction to the expression “negative dimensional manifold” is usually:

How can a space have dimension $-3$?

In ordinary differential geometry, it cannot. A smooth manifold has a non-negative integer dimension. Thus, a PNDP-manifold should not be understood as an ordinary smooth manifold whose tangent space has $-3$ independent vectors. The idea is different. In several areas of modern mathematics, one encounters objects that carry a virtual dimension. The virtual dimension can be smaller than the dimension of the underlying classical space and can even be negative. Such phenomena appear naturally in obstruction-theoretic and derived-geometric constructions [5,6]. The PNDP construction uses this philosophy in differential geometry. The original paper of Pigazzini, Özel, Linker and Jafari introduced PNDP-manifolds as a special class of Einstein warped products whose fiber is a derived-differential object and therefore may have a virtual negative dimension [1]. The basic idea can be summarized informally as

$$\begin{array}{|c|}\hline \mathrm{ordinary}\mathrm{positive}\mathrm{dimension}+\mathrm{virtual}\mathrm{negative}\mathrm{dimension}=\mathrm{effective}\mathrm{dimension}.\\ \hline\end{array}$$

For example, one can formally have

$$5+(-2)=3.$$

The number $-2$ is not the dimension of an ordinary two-dimensional manifold with a minus sign attached to it. It represents a virtual contribution arising from the derived or obstruction-theoretic structure. This distinction is fundamental throughout this paper.

2. Ordinary Manifolds: The Starting Point

Before discussing PNDP-manifolds, let us recall the simplest idea.

Definition 2.1.

An n-dimensional smooth manifold is a topological space locally modeled on ${\mathbb{R}}^n$ with compatible smooth coordinate changes.

We write

$$dimM=n.$$

For example,

$$dim{\mathbb{R}}^2=2,dim{S}^2=2,dim{\mathbb{R}}^3=3.$$

If M and N are smooth manifolds, then their Cartesian product satisfies

$$dim(M\times N)=dimM+dimN.$$

Thus, if

$$dimM=3,dimN=2,$$

then

$$dim(M\times N)=5.$$

This elementary addition of dimensions is one of the ideas that will be modified in PNDP geometry.

3. Product Manifolds

Let B and F be smooth manifolds. Their product

$$B\times F$$

has dimension

$$dim(B\times F)=dimB+dimF.$$

We may think of B as the base and F as the fiber. The projection onto the base is

$${\pi }_B:B\times F⟶B,{\pi }_B(b,f)=b.$$

For example,

$${\mathbb{R}}^2\times {\mathbb{R}}^3={\mathbb{R}}^5.$$

Therefore,

$$dim({\mathbb{R}}^2\times {\mathbb{R}}^3)=2+3=5.$$

The PNDP idea asks what happens if the fiber has a virtual dimension such as $-3$. Formally, if

$$dimB=5,vdimF=-3,$$

then the corresponding virtual dimension is

$$vdim(B\times F)=5-3=2.$$

This is the elementary arithmetic behind the phrase “partially negative dimensional.”

4. Warped Products

The geometry used in PNDP-manifolds is not merely a Cartesian product. It is based on a warped product. Let $(B,g_B)$ and $(F,g_F)$ be Riemannian manifolds and let

$$f:B⟶(0,\infty )$$

be a smooth positive function. The warped product metric is

$$g=g_B+f^2{g}_F.$$

The corresponding manifold is denoted by

$$B{\times }_{f}F.$$

The function f is called the warping function. Warped products are fundamental in differential geometry and mathematical relativity. They provide natural models in which the geometry of the fiber changes from point to point on the base [3,4].

Example 4.1.

Take

$$B=\mathbb{R},F=S^2,f\left(t\right)=t.$$

Then, formally,

$$g=d{t}^2+t^2{g}_{S^2}.$$

This is the familiar spherical-coordinate expression for the Euclidean metric away from the origin.

Thus a warped product is a natural geometric generalization of a product. The second important ingredient is Einstein geometry.

Definition 4.2.

A Riemannian manifold $(M,g)$ is called anEinstein manifoldif there exists a constant λ such that

$${Ric}_g=\lambda g.$$

The constant $\lambda$ is called the Einstein constant. If $\lambda =0$, then the manifold is Ricci-flat:

$${Ric}_g=0.$$

Examples include Euclidean space with its standard metric and many important spaces of constant curvature. Einstein manifolds play an important role in differential geometry and general relativity [4]. The original PNDP construction is based on a special Einstein warped product. Consequently, PNDP geometry does not simply add an abstract negative number to a manifold: it places the virtual dimension inside a geometric construction satisfying curvature conditions [1].

5. Where Does the Negative Dimension Come from?

This is the most unusual part of the theory. Suppose that a geometric object is represented schematically by

$$({\mathbb{R}}^d,E,S),$$

where

• ${\mathbb{R}}^d$ is a local finite-dimensional smooth model,
• E is an obstruction bundle,
• S is a smooth section of E.

This type of description is familiar from Kuranishi-type models and from derived differential geometry. The important numerical quantity is the difference

$$d-rank\left(E\right).$$

This motivates the virtual-dimension formula

$$\begin{array}{|c|}\hline vdimF=d-rank\left(E\right).\\ \hline\end{array}$$

If

$$rank\left(E\right)>d,$$

then

$$vdimF<0.$$

For example, let

$$d=2,rank\left(E\right)=5.$$

Then

$$vdimF=2-5=-3.$$

Again, this does not mean that the underlying ordinary smooth space is a mysterious three-dimensional object with a minus sign. The negative number records the excess of obstruction directions over ordinary local coordinates. Virtual dimensions of this type occur naturally in modern intersection theory and derived geometry [5,6].

6. The Basic PNDP Idea

We can now describe the central construction. A PNDP-manifold is, roughly speaking, a special Einstein warped product

$$M=B{\times }_{f}F$$

where

(i)

B is an ordinary Riemannian or pseudo-Riemannian manifold, often with a product structure;

(ii)

F is a derived-differential object;

(iii)

F has a virtual dimension which may be negative;

(iv)

the total construction satisfies suitable Einstein equations.

The original definition uses a more specialized decomposition of the base and a derived-differential fiber [1]. For a beginner, the following schematic picture is useful:

$$\begin{array}{|c|}\hline \begin{array}{c}\mathrm{ordinary}\mathrm{base}B\\ dimB=n\end{array}\\ \hline\end{array}{\times }_f\begin{array}{|c|}\hline \begin{array}{c}\mathrm{derived}\mathrm{fiber}F\\ vdimF=-d\end{array}\\ \hline\end{array}$$

giving

$$\begin{array}{|c|}\hline vdimM=n-d.\\ \hline\end{array}$$

The symbol vdim emphasizes that we are discussing a virtual dimension rather than necessarily the dimension of an ordinary manifold.

7. The Dimension Formula

The basic arithmetic is

$$vdimM=dimB+vdimF.$$

If

$$dimB=n$$

and

$$vdimF=-d,$$

then

$$\begin{array}{|c|}\hline vdimM=n-d.\\ \hline\end{array}$$

This gives three particularly useful cases.

7.1. Type I: Zero-Dimensional Case

If

$$n=d,$$

then

$$vdimM=0.$$

Thus

$$n+(-n)=0.$$

The original PNDP literature discusses this as an $(n,-n)$-type situation and associates it with a point-like or “invisible” interpretation involving hidden dimensions [1].

7.2. Type II: Positive Effective Dimension

If

$$n>d,$$

then

$$vdimM=n-d>0.$$

For example,

$$8+(-3)=5.$$

The resulting object has effective virtual dimension 5.

7.3. Type III: Negative Effective Dimension

Formally, if

$$n<d,$$

then

$$vdimM=n-d<0.$$

This is a more strongly virtual situation and requires care in interpreting what the resulting object represents.

8. A First Example

Consider a base manifold

$$B={\mathbb{R}}^5$$

with

$$dimB=5.$$

Suppose that the derived fiber F has a virtual dimension

$$vdimF=-2.$$

Then

$$vdim\left(B{\times }_{f}F\right)=5+(-2)=3.$$

Therefore, at the level of virtual dimensions,

$$\begin{array}{|c|}\hline vdimM=3.\\ \hline\end{array}$$

The interesting point is that the construction contains two different pieces:

$$5\mathrm{and}-2,$$

yet its effective virtual dimension is

$$3.$$

This is why the word partially is useful in PNDP: only part of the dimension is negative in the virtual bookkeeping.

9. The Point-like PNDP Idea

One of the most interesting cases is

$$dimB=n,vdimF=-n.$$

Then

$$vdimM=n-n=0.$$

A beginner might say:

“So the PNDP-manifold is just a point.”

That is not quite the intended idea. The zero in

$$n+(-n)=0$$

can be viewed as a cancellation of positive and negative virtual contributions. Thus the underlying description contains nontrivial geometric information even though the effective virtual dimension is zero. The original PNDP work refers to this type of object as point-like and discusses the idea of hidden dimensions [1]. The following elementary analogy can be helpful:

$$100-100=0.$$

The answer is zero, but the calculation remembers that two quantities of size 100 were involved. Likewise,

$$n+(-n)=0$$

can be viewed as a virtual cancellation.

10. A Simple Kuranishi-Type Model

Let us consider a local model

$$F=({\mathbb{R}}^3,E,S)$$

where

$$rank\left(E\right)=5.$$

The virtual dimension is

$$vdimF=3-5=-2.$$

Therefore, if we take a base manifold of dimension 7, then

$$vdimM=7+(-2)=5.$$

Schematically,

$$\underset{+7}{\underbrace{{\mathbb{R}}^7}}{\times }_f\underset{-2}{\underbrace{({\mathbb{R}}^3,E,S)}}⟹\underset{5}{\underbrace{M}}.$$

This example should be read as a dimension-counting model rather than as a complete construction of an Einstein PNDP-manifold. The full PNDP theory imposes additional geometric equations.

11. The Einstein Condition

The most important geometric restriction is that the warped product must satisfy an Einstein condition. For a warped product

$$M=B{\times }_{f}F$$

with metric

$$g=g_B+f^2{g}_F,$$

the Ricci tensor of M can be expressed in terms of the Ricci tensors of B and F, the Hessian of f, and the gradient of f [3,4]. For an ordinary fiber of dimension m, the base component has the schematic form

$${Ric}_M{|}_B={Ric}_B-m{\displaystyle \frac{{Hess}_{B}f}{f}}.$$

The fiber component contains terms involving

$${\Delta }_{B}f\mathrm{and}{\left|{grad}_{B}f\right|}^2.$$

The Einstein equation is

$${Ric}_M=\lambda g.$$

Thus the warping function cannot be chosen arbitrarily. In the PNDP setting, the fiber dimension is interpreted through its virtual or derived structure. The resulting equations lead to a special class of Einstein warped products [1].

12. Why Warped Products Are Useful

The warping function allows the geometry of the fiber to depend on the point of the base. Suppose

$$f:B⟶(0,\infty ).$$

At a point $b\in B$, the fiber metric becomes

$$f{\left(b\right)}^2{g}_F.$$

Hence different points of the base can correspond to fibers of different geometric scales. This is important in general relativity and geometric analysis, where warped products provide natural models for radial, cosmological, or product-like structures [3]. PNDP geometry adds another ingredient:

$$\begin{array}{|c|}\hline \mathrm{warping}+\mathrm{Einstein}\mathrm{geometry}+\mathrm{virtual}\mathrm{fiber}\mathrm{dimension}.\\ \hline\end{array}$$

13. The Three Ingredients of a PNDP-Manifold

It is useful to remember the theory through three ingredients.

Ingredient 1: The Base

The base B is an ordinary differential-geometric object. For example,

$$B=B_1\times B_2.$$

Its dimension is an ordinary non-negative integer.

Ingredient 2: The Derived Fiber

The fiber F is not necessarily an ordinary manifold in the classical sense. It is modeled using additional obstruction data. Its virtual dimension may be

$$vdimF<0.$$

Ingredient 3: The Warped Einstein Metric

The total object is equipped with a metric of the form

$$g=g_B+f^2{g}_F$$

subject to an Einstein-type condition. Thus the slogan is

$$\begin{array}{|c|}\hline \mathrm{PNDP}=\mathrm{Base}+\mathrm{Derived}\mathrm{Fiber}+\mathrm{Warped}\mathrm{Einstein}\mathrm{Geometry}.\\ \hline\end{array}$$

14. What PNDP Does Not Mean

Several misconceptions should be avoided.

14.1. It Does Not Mean a Classical Manifold of Dimension $-3$

There is no ordinary smooth manifold M satisfying

$$dimM=-3.$$

The negative number is virtual.

14.2. It Does Not Mean That Ordinary Arithmetic Has Changed

We still have

$$5+(-2)=3.$$

What changes is the interpretation of the negative number.

14.3. It Is Not Simply a Formal Trick

The PNDP construction is connected with actual differential-geometric structures: warped products, Einstein metrics and derived differential geometry [1].

14.4. It Should Not Be Confused with Physical Extra Dimensions

The phrase “hidden dimension” in PNDP geometry is a mathematical interpretation. It should not automatically be identified with physical extra dimensions in a physical theory.

15. Desuspension and Hidden Dimensions

The original PNDP construction also discusses a relation between the virtual dimensional description and another object through projection/desuspension ideas [1]. A very informal way to think about this is the following. Suppose

$$vdimM=n+(-n)=0.$$

The effective object is zero-dimensional, but the description may retain information about an n-dimensional positive part and a virtual $-n$-dimensional part. We can represent this schematically as

$$\begin{array}{|c|}\hline (n,-n)⟶0.\\ \hline\end{array}$$

The operation of passing from the richer description to the effective object is reminiscent of a cancellation or desuspension. The precise mathematical meaning depends on the chosen derived framework and should not be confused with ordinary quotienting.

16. A Visual Picture

17. A Table of Examples

The dimension bookkeeping can be summarized as follows.

$dimB$	$vdimF$	$vdimM$	Interpretation
5	$-2$	3	positive effective dimension
5	$-5$	0	point-like case
8	$-3$	5	positive effective dimension
3	$-5$	$-2$	purely virtual effective dimension
10	$-10$	0	point-like case

Only the second and fifth rows correspond to the especially important cancellation

$$n+(-n)=0.$$

18. PNDP and Ordinary Einstein Warped Products

It is useful to compare ordinary Einstein warped products and PNDP manifolds.

Ordinary Einstein warped product	PNDP-manifold
Base is an ordinary manifold	Base is an ordinary manifold
Fiber is an ordinary manifold	Fiber is a derived-differential object
Fiber dimension is non-negative	Fiber may have negative virtual dimension
Warping function is smooth	Warping remains part of the construction
Einstein condition	Einstein condition with virtual-dimensional interpretation

Thus PNDP geometry should be viewed as an extension of a familiar geometric framework rather than as a completely unrelated theory.

19. Relation with Derived Geometry

Derived geometry provides a natural conceptual background for virtual dimensions. In classical geometry, the dimension of a manifold is determined by the number of local coordinates. In derived geometry, one can have additional degrees of freedom associated with equations and obstructions. A virtual dimension can therefore be computed as a difference. A simplified model is

$$vdimF=\mathrm{number}\mathrm{of}\mathrm{parameters}-\mathrm{number}\mathrm{of}\mathrm{independent}\mathrm{obstructions}.$$

For a model

$$({\mathbb{R}}^d,E,S),$$

this becomes

$$vdimF=d-rank\left(E\right).$$

This philosophy is closely related to virtual fundamental classes and perfect obstruction theories [5]. The PNDP construction uses this kind of dimensional bookkeeping to permit a fiber contribution which is negative.

20. Why “for Dummies”?

The phrase “for Dummies” is used here in a pedagogical sense. The theory can look intimidating because it combines several subjects:

$$\begin{array}{c}\mathrm{Differential}\mathrm{geometry}\\ \downarrow \\ \mathrm{Warped}\mathrm{products}\\ \downarrow \\ \mathrm{Einstein}\mathrm{manifolds}\\ \downarrow \\ \mathrm{Derived}\mathrm{geometry}\\ \downarrow \\ \mathrm{Virtual}\mathrm{dimensions}\\ \downarrow \\ \mathrm{PNDP}-\mathrm{manifolds}.\end{array}$$

However, the core idea can be remembered in one line:

$$\begin{array}{|c|}\hline \mathrm{PNDP}=\mathrm{positive}-\mathrm{dimensional}\mathrm{base}+\mathrm{virtual}\mathrm{negative}-\mathrm{dimensional}\mathrm{fiber}.\\ \hline\end{array}$$

The Einstein warped-product equations then provide the geometric structure connecting these two pieces.

21. A More Mathematical Definition

We now give a somewhat more formal description.

Definition 21.1.

A PNDP-manifold is a special Einstein warped product

$$M=B{\times }_{f}F$$

such that the base B is a Riemannian or pseudo-Riemannian product manifold, while the fiber F is represented by a derived-differential structure admitting a virtual dimension

$$vdimF=d-r,$$

where d is the dimension of the smooth local model and r is the rank of the obstruction data. The total virtual dimension is

$$vdimM=dimB+vdimF.$$

The original construction imposes additional conditions on the factors of the base and on the fiber in order that the total warped product satisfy the required Einstein equations [1].

22. An Elementary Proposition

Proposition 22.1.

Let B be an n-dimensional manifold and let F be a derived-differential object with virtual dimension $-d$. Then the formal virtual dimension of the corresponding product is

$$vdim(B\times F)=n-d.$$

Proof. 

By the definition of virtual dimension for the product,

$$vdim(B\times F)=dimB+vdimF.$$

Since

$$dimB=n$$

and

$$vdimF=-d,$$

we obtain

$$vdim(B\times F)=n+(-d)=n-d.$$

□

The proposition is elementary, but it captures the central numerical idea behind PNDP geometry.

23. The Zero-Dimensional Case

Theorem 23.1

(Virtual Cancellation). Suppose that a PNDP construction has

$$dimB=n$$

and

$$vdimF=-n.$$

Then

$$vdimM=0.$$

Proof. 

Immediately,

$$vdimM=dimB+vdimF=n-n=0.$$

□

Remark 23.2.

The theorem says nothing about the underlying geometric structure being literally a single point. It says that the positive and negative virtual contributions cancel at the level of virtual dimension.

This distinction is particularly important when discussing “invisible” or “point-like” PNDP-manifolds.

24. PNDP-Manifolds and Mathematical Relativity

Einstein manifolds and warped products have a natural relationship with general relativity. The Einstein field equations can be written schematically as

$$Ric-{\displaystyle \frac{1}{2}}Scalg+\Lambda g=8\pi T,$$

where

$$\Lambda$$

is the cosmological constant and T is the stress-energy tensor. In vacuum, when $T=0$, the equations reduce to an Einstein-type condition. Warped products occur frequently in exact solutions and geometric decompositions of spacetime. The PNDP construction is mathematically motivated by the desire to extend certain warped-product constructions using fibers with virtual dimensions. The original authors presented PNDP-manifolds as a special kind of Einstein warped product [1]. It is important, however, to distinguish a mathematical construction from a physical claim. The existence of a PNDP-manifold does not by itself establish a physical theory.

25. An Intuitive Analogy

Imagine a bank account. You have

$$100\mathrm{euros}$$

and a debt of

$$-30\mathrm{euros}.$$

The balance is

$$100-30=70.$$

The debt is not “minus thirty euros of cash.” It records a different type of contribution to the total balance. Virtual negative dimension can be understood similarly:

$$\underset{\mathrm{positive}\mathrm{contribution}}{\underbrace{100}}+\underset{\mathrm{virtual}\mathrm{contribution}}{\underbrace{(-30)}}=70.$$

This analogy is not a mathematical definition, but it is useful for developing intuition.

26. What Makes PNDP Geometry Interesting?

There are several mathematical reasons to study PNDP-manifolds.

1.

They provide a geometric language for combining ordinary dimensions with virtual negative dimensions.

2.

They connect Einstein warped-product geometry with ideas from derived differential geometry.

3.

They provide a framework in which a zero-dimensional effective object can contain nontrivial positive and negative dimensional data.

4.

They suggest new ways of interpreting hidden or cancelled geometric degrees of freedom.

5.

They raise natural questions concerning curvature, topology, geodesics, symmetries and differential operators on virtual-dimensional fibers.

The 8th European Congress of Mathematics included material on PNDP-manifolds describing the construction in terms of Einstein sequential warped products and derived smooth fibers with virtual dimension [2].

27. Summary for the Beginner

Let us summarize the whole paper.

1.

A classical manifold has a non-negative integer dimension.

2.

A product satisfies

$$dim(M\times N)=dimM+dimN.$$

3.

A warped product replaces the ordinary product metric by

$$g=g_B+f^2{g}_F.$$

4.

An Einstein manifold satisfies

$$Ric=\lambda g.$$

5.

Derived geometry naturally introduces virtual dimensions.

6.

A derived fiber can have

$$vdimF=d-r<0.$$

7.

A PNDP-manifold combines such a fiber with an ordinary base through a special Einstein warped product.

8.

The virtual dimension is

$$\begin{array}{|c|}\hline vdimM=dimB+vdimF.\\ \hline\end{array}$$

9.

The especially interesting case is

$$\begin{array}{|c|}\hline n+(-n)=0,\\ \hline\end{array}$$

which motivates the point-like or hidden-dimensional interpretation.

Thus the simplest mental picture is

$$\begin{array}{|c|}\hline \mathrm{PNDP}-\mathrm{manifold}=\mathrm{ordinary}\mathrm{geometry}+\mathrm{virtual}\mathrm{negative}\mathrm{geometry}.\\ \hline\end{array}$$

28. Conclusion

PNDP-manifolds provide a geometric framework in which ordinary differential geometry and virtual-dimensional constructions are combined through Einstein warped products. The fundamental insight is that “negative dimension” is not meant as the dimension of an ordinary smooth manifold. Instead, it is a virtual dimension arising from a derived or obstruction-theoretic description. The construction introduced by Pigazzini, Özel, Linker and Jafari [1] is particularly interesting because it combines three themes:

$$\begin{array}{|c|}\hline \mathrm{Einstein}\mathrm{geometry}+\mathrm{warped}\mathrm{products}+\mathrm{virtual}\mathrm{dimensions}.\\ \hline\end{array}$$

For beginners, the key formula is simply

$$\begin{array}{|c|}\hline vdimM=n-d.\\ \hline\end{array}$$

For the important point-like case,

$$\begin{array}{|c|}\hline n+(-n)=0.\\ \hline\end{array}$$

The deeper mathematical problem is to turn this dimensional bookkeeping into a complete theory of differential, geometric and topological structures on PNDP-manifolds. In particular, a mature theory should clarify the appropriate notions of tangent objects, curvature, geodesics, differential operators, topology, morphisms and moduli spaces. In this sense, PNDP-manifolds can be regarded as a meeting point between Einstein warped-product geometry and virtual or derived geometric ideas.