Weighted Projective Space

While standard projective space offers a smooth, uniform landscape for geometry, what happens when we introduce a simple twist? Imagine a space where different directions are scaled unequally, creating a warped and more complex structure. This is the essence of a weighted projective space, a powerful generalization that, despite its straightforward definition, gives rise to a rich tapestry of geometric phenomena, including singularities. This article delves into these fascinating mathematical objects, addressing the apparent 'flaws' of these spaces and revealing them to be crucial features with profound implications. The journey will begin in the "Principles and Mechanisms" section, where we will construct weighted projective spaces from the ground up, explore the nature of their orbifold singularities, and uncover their intrinsic geometric properties. Following this, the "Applications and Interdisciplinary Connections" section will showcase their surprising and essential role as a foundational tool in modern theoretical physics and mathematics, from building miniature universes in string theory to providing a laboratory for the deep dualities of mirror symmetry.

Imagine you are in a completely dark room with a set of light bulbs, say three of them. The familiar way to describe the combination of their colors and brightnesses is with three numbers, $(z_0, z_1, z_2)$. Now, suppose you have a master dimmer switch. As you turn the knob, all lights dim proportionally. The combination $[z_0: z_1: z_2]$ now represents not a single setting, but the ray of all settings you get by turning the master dimmer. This collection of rays is the ordinary complex projective space, $\mathbb{P}^2$. It’s a beautiful, smooth landscape where every point is just like every other.

But what if the wiring is more interesting? What if turning the master knob, represented by a complex number $\lambda$, affects each bulb differently? Perhaps the first bulb’s brightness scales by $\lambda^1$, the second by $\lambda^2$, and the third by $\lambda^5$. This is the essence of a weighted projective space.

A ​​weighted projective space​​, which we write as $\mathbb{WP}(w_0, w_1, \ldots, w_n)$, is built from this simple but powerful idea. We start with the space of all possible settings for our $n+1$ "bulbs," which is the complex space $\mathbb{C}^{n+1}$ (excluding the case where all bulbs are off, $\{0\}$). Then we declare that two settings, $(z_0, \ldots, z_n)$ and $(z'_0, \ldots, z'_n)$, are fundamentally the same if one can be obtained from the other by our special "weighted dimmer" action. Mathematically, we say they are equivalent if there is some non-zero complex number $\lambda$ such that:

The numbers $w_0, w_1, \ldots, w_n$ are the positive integer ​​weights​​ that define the space. Each point in $\mathbb{WP}(w_0, \ldots, w_n)$ is an equivalence class $[z_0: z_1: \ldots: z_n]$ under this action. This simple change to the rules of the game dramatically alters the geometric landscape.

In the uniform world of $\mathbb{P}^n$, the only $\lambda$ that maps a point $(z_0, \ldots, z_n)$ back to itself (up to overall scaling) is $\lambda=1$. The space is smooth everywhere. But in a weighted world, things get quirky. Consider a point where some coordinates are zero. For instance, in our $\mathbb{WP}(1, 2, 5)$ example, what about a point where only the third bulb is on, $[0:0:z_2]$? The rule for equivalence becomes:

For this to represent the same point as $(0, 0, z_2)$, we need $\lambda^5 z_2$ to be just a multiple of $z_2$. But the whole point is that we are defining the equivalence this way! The interesting question is: which values of $\lambda$ fix the point before we take the quotient? That is, for which $\lambda$ is $(\lambda^{w_0} z_0, \ldots) = (z_0, \ldots)$? For a point $(0,0,z_2)$ with $z_2 \ne 0$, we need $\lambda^5 z_2 = z_2$, which means $\lambda^5 = 1$. Besides the trivial solution $\lambda=1$, there are four other complex numbers that satisfy this: the 5th roots of unity!

This non-trivial group of symmetries at a point is called the ​​isotropy group​​. A point is called ​​singular​​ if its isotropy group is non-trivial. A simple rule emerges: a point represented by $(z_0, \ldots, z_n)$ is singular if and only if the greatest common divisor (GCD) of the weights $\{w_i\}$ for which the corresponding coordinate $z_i$ is non-zero, is greater than 1.

Let's see this in action with $\mathbb{WP}(1,2,2)$.

• A point like $[z_0, z_1, 0]$ where $z_0, z_1 \ne 0$ is smooth, because $\gcd(w_0, w_1) = \gcd(1,2) = 1$.
• But what about a point where $z_0=0$, like $[0:z_1:z_2]$? Here, the relevant weights are $\{w_1, w_2\} = \{2,2\}$. Since $\gcd(2,2)=2 > 1$, every point with its first coordinate being zero is singular!

The collection of all these singular points forms a subspace. And what is this subspace? It is the set of points $[0:z_1:z_2]$, which is governed by the action $(\lambda^2 z_1, \lambda^2 z_2)$. This is nothing but the definition of $\mathbb{WP}(2,2)$. And since the weights are equal, $\mathbb{WP}(2,2)$ is just the standard projective line $\mathbb{P}^1$ in disguise! This is a beautiful revelation: the "flaw" in our space, its singular locus, is itself a perfectly formed, familiar geometric object. The weights don't just create blemishes; they organize them into new structures.

So, what does it feel like to stand on one of these singular points? You wouldn't see a smooth, flat plane stretching out around you like in ordinary space. Instead, you would feel a sort of rotational symmetry. This is the core idea of an ​​orbifold​​: a space that locally looks like Euclidean space ($\mathbb{C}^n$) divided by the action of a finite group.

Near a singular point $p$, the weighted projective space is modeled by $\mathbb{C}^n / G_p$, where $G_p$ is that point's finite isotropy group. Let's get specific with $\mathbb{WP}(1,2,5)$. Consider the singular point $p = [0:0:1]$. We found its isotropy group is the cyclic group $\mathbb{Z}_5$. The space around $p$ looks like $\mathbb{C}^2$ quotiented by $\mathbb{Z}_5$. How does this group act? A generator $\xi = \exp(2\pi i/5)$ acts on the local coordinates $(u_1, u_2)$ corresponding to the $z_0$ and $z_1$ directions. The action is not random; it is dictated by the original weights:

The exponents $(1,2)$ are called the weights of the local group action. They are simply the original weights of the ambient space, considered modulo the order of the local group (which is $w_2=5$). This is a profound connection between the global definition of the space and the fine-grained structure of its singularities. The DNA of the whole space, its list of weights $(w_0, \ldots, w_n)$, tells each singular point exactly how to twist.

These weighted spaces are not just topological curiosities; they have a rich geometry, complete with notions of distance, angle, and curvature. They are examples of ​​Kähler orbifolds​​. There's a natural metric on them, a generalization of the standard ​​Fubini-Study metric​​ on $\mathbb{P}^n$.

One of the deepest results in geometry is the connection between the "stuff" in a space and its curvature. For many weighted projective spaces (the so-called Fano type), there exists a special, canonical metric called a Kähler-Einstein metric. For such a metric, the Ricci curvature—a measure of how volumes deviate from Euclidean space—is perfectly proportional to the metric itself. The overall nature of this curvature (whether positive, negative, or zero) is determined by the weights. A stunningly simple result connects the sum of the weights to this property: if $\sum_{i=0}^n w_i > 0$, the space is what is known as 'Fano' and admits a Kähler-Einstein metric with positive Ricci curvature. For $\mathbb{WP}(1,4)$, since $1+4=5 > 0$, the space is Fano and thus has positive Ricci curvature. The weights, which we introduced as simple parameters in an algebraic recipe, directly dictate the intrinsic curvature type of the resulting universe.

We can also measure geometric quantities like area and volume. One elegant way is through the lens of symplectic geometry and ​​moment maps​​. This perspective translates the geometry into a picture of convex shapes called polytopes. For $\mathbb{WP}(1,2)$, its moment polytope is an interval, and the total volume of the space is proportional to the length of this interval. The weights $w_i$ sculpt the shape of this polytope, thereby determining the volume.

Alternatively, we can use the tools of algebraic topology. The area of a subspace, say the one defined by $z_1=0$ in $\mathbb{WP}(a,b,c)$, can be calculated through intersection theory. The result is both simple and surprising: the area is proportional to $\frac{1}{ac}$. The size of the subspace where the "b" coordinate vanishes depends, paradoxically, on the weights of the other coordinates. In this interconnected geometry, everything affects everything else.

How do we describe quantities that vary over such a space, like the temperature or pressure in a room? A "function" on a weighted projective space must respect the equivalence relation. A polynomial $P(z_0, \ldots, z_n)$ can only be a well-defined function if it's a ​​weighted homogeneous polynomial​​ of degree $0$, meaning $P(\lambda^{w_0}z_0, \ldots) = \lambda^0 P(z_0, \ldots) = P(z_0, \ldots)$. This is a very strong constraint.

A much richer theory arises if we consider objects that transform with a certain "spin," much like a quantum mechanical wavefunction. We can look for polynomials that transform by a power of $\lambda$, say $\lambda^d$:

These are weighted homogeneous polynomials of degree $d$. They are the ​​global sections​​ of what are called orbi-line bundles, $\mathcal{O}(d)$. The number of linearly independent polynomials of a given degree $d$ is a fundamental invariant of the space. This number, $h^0(\mathbb{WP}(\mathbf{w}), \mathcal{O}(d))$, is simply the number of ways to write the integer $d$ as a sum of weights, i.e., the number of non-negative integer solutions $(d_0, \ldots, d_n)$ to the equation:

For example, on $\mathbb{WP}(1,2,3)$, the number of independent "fields" of degree 6 is the number of solutions to $d_0 + 2d_1 + 3d_2 = 6$. By simple enumeration, we find 7 solutions, so $h^0(\mathbb{WP}(1,2,3), \mathcal{O}(6))=7$. This beautifully connects the high-level geometry of line bundles to a concrete problem in number theory reminiscent of making change with coins of unusual denominations.

For centuries, mathematicians often viewed singularities as pathologies to be avoided or resolved. But modern physics, particularly string theory, has taught us to embrace them. Singularities aren't bugs; they're features, carrying crucial information.

A classic topological invariant is the Euler characteristic, $\chi$. For a smooth space, it can be computed by triangulating it and counting vertices, edges, and faces. For any $n$-dimensional weighted projective space, the ordinary Euler characteristic is robustly $n+1$, regardless of the weights. It seems to be blind to the singularities.

Physicists, however, proposed a "corrected" version, the ​​stringy Euler characteristic​​, $\chi_{\text{str}}$. The idea is that a quantum string moving in this space can get "stuck" on the singularities. To get the right physical answers, we must count not only the main space but also these "twisted sectors" where the string is caught. This is formalized by the ​​inertia stack​​, which is a collection of spaces consisting of the original orbifold and all its different types of singularities.

The stringy Euler characteristic is the sum of the ordinary Euler characteristics of all these components. For $\mathbb{WP}(1,2,3)$, the components are:

• The space itself, $\mathbb{WP}(1,2,3)$, with $\chi=3$.
• A twisted sector corresponding to the $\mathbb{Z}_2$ singularity, which is a point, $\mathbb{P}(2)$, with $\chi=1$.
• Two twisted sectors corresponding to the $\mathbb{Z}_3$ singularity, both of which are points, $\mathbb{P}(3)$, each with $\chi=1$.

The stringy Euler characteristic is therefore $\chi_{\text{str}} = 3 + 1 + 1 + 1 = 6$. This "correct" count, born from physics, reveals a deeper structure that the classical invariant missed. It shows that in these weighted worlds, the whole is truly more than the sum of its parts—it's the sum of its parts and all their twisted ghosts.

Having acquainted ourselves with the principles of weighted projective spaces, we might be tempted to view them as a clever but perhaps niche generalization—a geometer's parlor trick. But to do so would be to miss the forest for the trees. The true magic of these spaces lies not in their definition, but in their extraordinary utility. They are not merely mathematical curiosities; they are a fundamental toolkit for physicists and mathematicians alike, a powerful engine for constructing and exploring some of the most profound ideas at the frontier of science. In this section, we will journey through these applications, seeing how the simple act of assigning weights to coordinates unlocks new worlds of possibility, from modeling the hidden dimensions of our universe to revealing uncanny dualities that lie at the heart of reality.

One of the most spectacular applications of weighted projective spaces lies in the realm of string theory. The theory posits that our universe has more than the four spacetime dimensions we perceive; the extra ones are thought to be curled up into a tiny, complex shape. For the theory to produce a universe that looks like ours, these extra dimensions must form a special kind of space known as a Calabi-Yau manifold. For decades, constructing these intricate geometries was a Herculean task.

Then came weighted projective spaces, offering a surprisingly simple and elegant "recipe". Imagine you want to build a Calabi-Yau threefold, the type most relevant for string theory. You can simply define it as a smooth surface—the set of solutions to a single polynomial equation—inside a 4-dimensional weighted projective space. The crucial question is: what kind of polynomial do you need? The answer is astonishingly simple. For a hypersurface of degree $d$ in $\mathbb{WP}^4(w_0, w_1, w_2, w_3, w_4)$ to be Calabi-Yau, its degree must simply equal the sum of the weights: $d = \sum_{i=0}^{4} w_i$. That's it. A straightforward sum dictates whether the resulting geometry has the right properties to host a consistent string theory compactification. This is a beautiful example of the "unreasonable effectiveness of mathematics" in physics—a profound physical constraint is met by a simple arithmetic rule.

But building one such universe is not enough. String theory suggests a vast "landscape" of possible universes, each with its own physical laws. Where do these different laws come from? In this picture, they arise from the different possible shapes of the Calabi-Yau dimensions. Weighted projective spaces allow us to count these possibilities. The "shape" of our Calabi-Yau hypersurface is determined by the coefficients of its defining polynomial. The number of independent terms, or monomials, in this polynomial corresponds to the number of ways we can tune its shape. By a simple combinatorial exercise of finding non-negative integer solutions to an equation, we can count exactly how many such terms exist for a given degree and set of weights. Each of these terms corresponds to a parameter, a "knob" we can turn to change the geometry and, with it, the physics.

Incredibly, we can even use this framework to calculate numbers that have direct physical meaning. For instance, in a physical theory derived from string theory, the strengths of interactions between fundamental particles are governed by quantities called Yukawa couplings. From the geometric perspective, this physical coupling can be computed as a "triple intersection number" of the Calabi-Yau manifold—a purely geometric quantity that measures how many times three surfaces inside it intersect. And this number can be calculated directly from the degree of the defining polynomial and the weights of the ambient space. This creates a stunning dictionary: geometry on one side, particle physics on the other.

If you've been following along closely, you might have a nagging question. What happens when the weights aren't all equal to 1? The resulting space isn't perfectly smooth; it develops singularities at certain points—locations where the space is "pinched" or "cone-like". A mathematician's first-instinct might be to see these as defects to be fixed. Indeed, there are elegant procedures, known as resolutions of singularities, that allow us to carefully snip out these problematic points and patch in a smooth piece of geometry, resulting in a perfectly well-behaved manifold. Using this resolved space, we can then compute deep topological invariants, like the Todd genus, through powerful tools like Noether's formula, which beautifully relates the curvature and topology of the surface.

But a physicist, particularly a string theorist, might look at these singularities and see something else entirely: not a bug, but a feature. From the perspective of a tiny string moving through the space, an orbifold singularity isn't a dead end. It's a special point where the geometry is "twisted." A string traveling around such a point might come back transformed. Physics in these "twisted sectors" is different from physics in the smooth parts of the space. To get the correct physical predictions, we can't just ignore or smooth away the singularities; we must embrace them. This leads to the concept of "stringy" invariants. For example, the standard Hodge numbers, which classify the geometric features of a space, must be corrected with contributions from each of the twisted, singular sectors. By carefully analyzing the action of the weights at each singular point, one can compute these corrections and arrive at the "stringy Hodge numbers" that reflect the true physics of the orbifold. This reveals a deep lesson: sometimes the most interesting physics hides in the places that look the most broken.

The most profound and mind-bending applications of weighted projective spaces emerge when we venture into the worlds of mirror symmetry and quantum geometry. Mirror symmetry is a wild conjecture, now supported by overwhelming evidence, which states that Calabi-Yau manifolds come in pairs $(X, Y)$. The baffling part is that the complex geometry of $X$ is equivalent to the symplectic (or Kähler) geometry of $Y$, and vice-versa. It's as if the universe had a secret looking-glass, and on the other side, two very different mathematical subjects become one and the same.

Weighted projective spaces provide some of the most stunning and computable examples of this duality. Consider a simple weighted projective space like $\mathbb{WP}(1,2,3)$. What is its mirror? One might expect another space of a similar kind. But the answer, derived from the Hori-Vafa prescription in physics, is something else entirely: its mirror is a function, called a Landau-Ginzburg superpotential, defined on a completely different space. This is a radical idea—the mirror of a geometric object is an algebraic function. This duality allows physicists and mathematicians to solve problems by translating them into their mirror language, where they often become dramatically simpler.

This leads us to the strange world of quantum cohomology. In classical geometry, we learn that the intersection of two distinct lines on a plane is a single point. This is described algebraically by the "cup product." But in quantum mechanics and string theory, space is not so placid. Tiny quantum fluctuations can occur, and in string theory, these take the form of "worldsheet instantons"—essentially, rational curves that bubble out from the space and affect geometric calculations. The classical cup product receives "quantum corrections," and the rules of intersection change. The new, deformed product is called the quantum product, denoted by $\star$.

Calculating these quantum corrections directly by counting curves is notoriously difficult. But here, mirror symmetry provides a breathtakingly powerful shortcut. The quantum corrections on one manifold can be calculated by doing a much simpler, classical calculation on its mirror!. Weighted projective spaces serve as the perfect laboratory for testing these ideas. The calculations reveal that the quantum product deforms the classical structure in a precise way, governed by a "quantum parameter" $q$.

Even more bizarrely, when we study quantum cohomology on a weighted projective space, the orbifold singularities leave an indelible fingerprint on the quantum world. The quantum parameter $q$ often appears with fractional powers, like $q^{1/3}$ or $q^{1/2}$. These strange fractions are a direct signature of the twisted nature of the underlying space. They are a ghostly echo of the weights, persisting even in this highly abstract quantum-corrected algebraic structure.

From building blocks for string theory to laboratories for quantum geometry, weighted projective spaces stand as a testament to the power of generalization. By taking a familiar concept and twisting it ever so slightly—by assigning weights—we unlock a cascade of new structures and profound connections. They show us that in the landscape of mathematics, a simple idea can be a seed from which entire new universes of thought can grow.