---
title: Virtual Geometries Overview
url: https://www.emergentmind.com/topics/virtual-geometries
type: topic
---

# Virtual Geometries Overview

Across the literature surveyed here, “virtual geometries” names several distinct constructions in which geometry is not treated as an ordinary fixed Euclidean backdrop. In immersive visualization, it denotes virtual-reality systems whose ambient space is itself non-Euclidean, such as \(\mathbb H^3\), \(\mathbb H^2\times E\), \(\mathsf{Nil}\), or \(\mathsf{Sol}\) [1702.04004] [1702.04862] [2002.00513] [2002.00369]. In gravitational thermodynamics, it denotes off-shell black-hole-like geometries that preserve asymptotics and a horizon while not necessarily satisfying the field equations [2507.18719]. In synthetic and algebro-geometric settings, it denotes virtual or motivic classes attached to incidence geometries and Quot schemes [2201.03895] [2008.10661]. In numerical analysis, it denotes discretization frameworks in which geometric flexibility is obtained through virtual element spaces, virtual local stencils, or virtual interpolation points rather than explicit classical shape functions or staggered meshes [2207.03792] [1401.6513].

## 1. Principal meanings of the term

The term is used in several technically distinct ways.

| Research area | Meaning of “virtual geometries” | Representative papers |
|---|---|---|
| Non-Euclidean VR | Intrinsic inhabitation of non-Euclidean spaces in VR | [1702.04004], [2002.00369], [2409.05460] |
| Black-hole thermodynamics | Off-shell geometries with fixed asymptotics and a horizon | [2507.18719] |
| Synthetic/motivic geometry | Grothendieck-ring or virtual-invariant treatments of geometry | [2201.03895], [2008.10661] |
| Numerical discretization | Geometry-flexible methods using virtual spaces or virtual stencils | [1910.10184], [2207.03792], [1401.6513] |

The earliest strand in this collection is the “Non-Euclidean Virtual Reality” program, which treats VR as a medium for intrinsic exploration of homogeneous geometries rather than for external depiction of Euclidean models of them [1702.04004] [1702.04862]. A later survey explicitly frames this as a broader program extending toward the eight Thurston geometries and emphasizes embodiment, stereoscopy, and head-tracked motion as the decisive difference from screen-based illustration [2008.01363]. Other works broaden the same idea toward hyperbolic interfaces for higher-dimensional grids and 2D engines that permit runtime variation of curvature [2110.00327] [1908.01742].

A different usage appears in gravity, where “virtual geometries” are deformations of black-hole spacetimes that preserve asymptotic boundary conditions and the existence of a horizon but are not required to satisfy Einstein’s equations [2507.18719]. Another appears in synthetic geometry, where a Grothendieck ring \(K_0(Q_\ell)\) is introduced for generalized quadrangles and related incidence geometries, with virtual classes defined by scissor relations and graph-theoretic products [2201.03895]. In the moduli theory of Quot schemes, virtual \(K\)-theoretic and cobordism invariants supply yet another virtual-geometric layer [2008.10661]. Taken together, these literatures suggest a common theme: geometry is retained, extended, or operationalized through structures that are intrinsic but not reducible to ordinary Euclidean realization.

## 2. Intrinsic virtual reality in constant-curvature and product geometries

In the initial VR formulation, the simulated space is not Euclidean \(E^3\) but three-dimensional hyperbolic space \(\mathbb H^3\), represented computationally by the hyperboloid model in Minkowski space \(E^{3,1}\) [1702.04004]. In \(d\) dimensions the model is
\[
\{(x_1,\dots,x_d,w)\in E^{d,1}\mid \sum_{n=1}^d x_n^2=w^2-1,\ w>0\},
\]
with the induced metric from Minkowski space. For rendering, the implementation relies primarily on the hyperboloid model for transformations and the Klein model for display, since geodesics become straight Euclidean segments there and inverse hyperbolic trigonometric evaluations can often be avoided [1702.04004].

The motion update is expressed as a global isometric action rather than an ordinary Euclidean camera motion. The user is kept at the origin \((0,0,0,1)\in E^{3,1}\), and the world is updated by an element of \(SO(3,1)\) determined by the headset displacement \(r=(dx,dy,dz)\). The infinitesimal generator is
\[
\mathbf M=
\begin{pmatrix}
0&0&0&dx\\
0&0&0&dy\\
0&0&0&dz\\
dx&dy&dz&0
\end{pmatrix},
\]
with finite update
\[
\exp(\mathbf M)=\mathbf{Id}+\frac{\sinh(|r|)}{|r|}\mathbf M+\frac{\cosh(|r|)-1}{|r|^2}\mathbf M^2,
\qquad |r|=\sqrt{dx^2+dy^2+dz^2}.
\]
This is not merely a numerical device; it realizes locomotion as a Lie-group action by hyperbolic isometries [1702.04004].

To provide landmarks, \(\mathbb H^3\) is decorated with the regular honeycomb \(\{4,3,6\}\), in which six cubes meet around each edge rather than the Euclidean four of \(\{4,3,4\}\). The paper further studies truncations whose exposed triangular faces lie on horospheres, allowing users to encounter Euclidean triangular tilings as induced geometry inside hyperbolic space [1702.04004]. This supports one of the central experiential claims of the work: tracked VR makes curvature, geodesic divergence, and parallel transport bodily perceptible.

The companion system for \(\mathbb H^2\times E\) retains hyperbolic horizontal motion while preserving a Euclidean vertical direction [1702.04862]. The model sits in \(E^{3,1}\) as
\[
\{(x,y,z,w)\in E^{3,1}\mid x^2+y^2=w^2-1,\ w>0\},
\]
with parametrization
\[
\boldsymbol{\phi}(\rho,\theta,z)=(\sinh\rho\cos\theta,\ \sinh\rho\sin\theta,\ z,\ \cosh\rho).
\]
Here the implementation cannot rely on the Klein-model shortcut used in \(\mathbb H^3\); instead it computes the inverse exponential map explicitly so that sight rays in tangent space agree with actual geodesics of the product geometry [1702.04862]. This is the paper’s main technical distinction. It also exposes anisotropy directly: height in the Euclidean direction scales linearly, while width in the hyperbolic directions scales exponentially, so object aspect ratios change as one approaches them [1702.04862].

## 3. Thurston geometries, perceptual effects, and navigable non-Euclidean worlds

Subsequent work extends the same intrinsic VR program to the anisotropic Thurston geometries \(\mathsf{Nil}\) and \(\mathsf{Sol}\), where inverse-exponential rendering is no longer practical and geodesic ray marching becomes necessary [2002.00513] [2002.00369]. In \(\mathsf{Nil}\), modeled as the Heisenberg group with metric
\[
ds^2=dx^2+dy^2+(dz-xdy)^2,
\]
geodesics can spiral, conjugate points occur along the vertical axis, and distant objects can generate ring-shaped multiple images [2002.00513]. In \(\mathsf{Sol}\), modeled as \(\mathbb R^3\) with group law
\[
(x_1,y_1,z_1)\ast(x_2,y_2,z_2)=(e^{z_1}x_2+x_1,\ e^{-z_1}y_2+y_1,\ z_1+z_2)
\]
and metric
\[
ds^2=e^{-2z}dx^2+e^{2z}dy^2+dz^2,
\]
rays must follow Sol geodesics, some of which make visual “u-turns,” so horizontal planes can appear rolled into tubes and rays can strike the same plane twice [2002.00369].

A recurring misconception in this literature is that such effects are rendering bugs. The papers state the opposite. In \(\mathbb H^3\), the apparent dropping of the floor under forward motion is a manifestation of geodesic divergence, and the apparent rotation of the world after a loop is an instance of parallel transport or holonomy [1702.04004]. The 2020 survey makes the same point across \(\mathbb H^3\) and \(\mathbb H^2\times E\): immersive VR exposes geodesic divergence, holonomy, isotropy, and anisotropy as sensorimotor facts rather than as diagrammatic abstractions [2008.01363].

The HOLONOMY system pushes this further by using the order-5 square tiling of the hyperbolic plane together with a finite \(3\times 3\) meter walk area subdivided into nine \(1\times 1\) meter cells [2409.05460]. Because five squares meet at a vertex in the virtual tiling, a physical four-turn loop does not close virtually; this holonomy effect allows a small Euclidean room to access an infinite hyperbolic world without teleportation [2409.05460]. The implementation uses a discrete graph of the tiling as its primary state space, a Poincaré disk mini-map for display, and Minkowski hyperboloid coordinates for direction indication. Shortest-path planning is performed on a lazily generated state graph by A\(^*\), with the state including virtual location, move-area position, and rotation [2409.05460].

Related work uses hyperbolic tessellations not to simulate hyperbolic space itself but to navigate higher-dimensional grids. The construction labels cells of the tessellation \(\{2d,4\}\) by points of \(\mathbb Z^d\) so that screen adjacency coincides with grid adjacency, and extends to hyperbolic honeycombs in \(\mathbb H^3\) for immersive display [2110.00327]. A separate 2D engine for spherical and hyperbolic worlds uses polar coordinates together with azimuthal equidistant projection precisely because the same projection rule can be used for \(K>0\), \(K=0\), and \(K<0\), making runtime curvature changes possible without rebuilding the world representation [1908.01742].

## 4. Off-shell virtual geometries in black-hole thermodynamics

In black-hole thermodynamics, “virtual geometries” denotes a family of off-shell deformations that preserve asymptotic boundary conditions and the existence of a horizon, but do not necessarily satisfy the Einstein equations and may have arbitrary temperature [2507.18719]. The framework begins from the static spherically symmetric ansatz
\[
ds^2=\Omega(x)\left[-f(x)d(ct)^2+\frac{\eta^2dx^2}{f(x)}+d\theta^2+\sin^2\theta\,d\varphi^2\right],
\]
with \(x=x_h\) defined by \(f(x_h)=0\). After Wick rotation, regularity of the Euclidean section fixes
\[
\beta=\frac{\hbar}{k_B T}=\frac{4\pi\eta}{c|f'(x_h)|},
\]
and this assignment of temperature does not require the field equations [2507.18719].

The central object is the virtual thermodynamic potential
\[
\mathcal G(T,\Phi,x_h)=M-TS-\Phi Q,
\]
obtained by evaluating the Euclidean action on the virtual geometry in the grand canonical ensemble, with horizon radius \(x_h\) treated as an independent order parameter [2507.18719]. Its differential yields
\[
d\mathcal G=-S\,dT-Q\,d\Phi+\left(\frac{\partial \mathcal G}{\partial x_h}\right)_{T,\Phi}dx_h,
\]
so the modified first law becomes
\[
dM-T\,dS-\Phi\,dQ=\left(\frac{\partial \mathcal G}{\partial x_h}\right)_{T,\Phi}dx_h.
\]
The paper identifies the extra term with the “virtual work” term and proves that
\[
\left(\frac{\partial\mathcal G}{\partial x_h}\right)_{T,\Phi}
\]
is proportional to the horizon Einstein equation. Physical equilibria are therefore selected by the off-shell extremality condition
\[
\left(\frac{\partial\mathcal G}{\partial x_h}\right)_{T,\Phi}=0.
\]

The same framework is then used for criticality. The paper proposes the simultaneous conditions
\[
\frac{\partial\mathcal G}{\partial x_h}=0,\qquad
\frac{\partial^2\mathcal G}{\partial x_h^2}=0,\qquad
\frac{\partial^3\mathcal G}{\partial x_h^3}=0
\]
as the black-hole analogue of Landau criteria for a critical endpoint, and applies them to a generalized Kaluza–Klein hairy black hole with dilaton potential [2507.18719]. In that example the formalism yields a grand-canonical critical point and an inverted swallowtail structure in the free energy. In this usage, virtual geometry is not immersive or visual but thermodynamic: it is an off-shell configuration space on which a Landau–Ginzburg-type potential becomes well defined.

## 5. Synthetic, motivic, and virtual-invariant geometries

A synthetic use of the term appears in the construction of a Grothendieck ring \(K_0(Q_\ell)\) for generalized quadrangles and related incidence geometries [2201.03895]. The paper defines \(Q_\ell\) by starting from thick generalized quadrangles with \(\ell+1\) points per line, closing under finite products and disjoint unions, and then adjoining point-line subgeometries of such objects. A synthetic Zariski topology is introduced via prime geometries and closed sets, and the Grothendieck ring is defined as the free abelian group on isomorphism classes modulo scissor relations
\[
[Q]=[Q\setminus C]+[C],
\]
with multiplication
\[
[X]\cdot[Y]=[X\otimes Y],
\]
where \(\otimes\) comes from the Cartesian product of collinearity graphs [2201.03895]. The paper also defines a synthetic Krull dimension through chains of prime geometries and proves, for example, that thick generalized quadrangles have dimension at least \(3\). Here virtual geometry means that incidence geometries are studied through motivic classes rather than through direct coordinatization.

A related but distinct algebro-geometric virtualization appears in the virtual \(K\)-theory of Quot schemes of surfaces [2008.10661]. For \(\operatorname{Quot}_X(\mathbb C^N,\beta,n)\), the paper uses the canonical \(2\)-term perfect obstruction theory with virtual tangent class
\[
T^{\mathrm{vir}}=\operatorname{Ext}^\bullet(S,Q)=\operatorname{Ext}^0(S,Q)-\operatorname{Ext}^1(S,Q)
\]
and studies generating series of virtual Euler characteristics, virtual Segre classes, virtual Verlinde numbers, and virtual cobordism classes [2008.10661]. The main rationality conjecture states that the generating series of virtual \(K\)-theoretic invariants are rational functions of \(q\), and the paper proves this in several cases, including punctual quotients on all smooth projective surfaces and dimension-\(1\) quotients on surfaces with \(p_g>0\) [2008.10661].

The same work also shows that rationality is not universal across all virtual invariants: the generating series of virtual cobordism classes can be irrational [2008.10661]. It further establishes a virtual Segre/Verlinde correspondence in three settings, including punctual Quot schemes, and proves a new symmetry exchanging the rank \(r\) of a \(K\)-theory class with the ambient rank \(N\) for punctual Quot schemes of the trivial sheaf [2008.10661]. These results place virtual geometry in a fully algebro-geometric setting: geometry is encoded by virtual fundamental classes, virtual structure sheaves, and universal generating functions rather than by spatial models.

## 6. Virtual geometries in numerical discretization

In numerical analysis, virtual geometry is realized through methods that permit general polygonal or polyhedral cells while avoiding explicit interior basis functions. For the Virtual Element Method, a first-order conforming local space on a polygon \(E\) is written as
\[
\mathcal V^h|_E=
\left\{ v_h\in[\mathcal C(E)]^2\mid \Delta v_h=\mathbf 0\text{ on }E,\ v_h|_e\in \mathcal P_1(e)\right\},
\]
and the practical computation is driven by projections and stabilization rather than by explicit interior shape functions [2207.03792]. This is the basis for adaptive refinement on arbitrary polygonal and Voronoi meshes, where local remeshing is performed by Voronoi submeshing inside a marked polygon and followed by edge-node optimization to improve compatibility and suppress short edges [2207.03792]. The same geometric flexibility motivates a complementary coarsening strategy in which patches of elements are merged into a single coarse polygon, with eligibility tests preserving non-convex corners and holes and with mean value coordinates used to relocate trapped nodes [2308.07623].

Curved geometry is treated exactly in several VEM extensions. One construction for polygons with one curved edge defines the trace on the curved edge as the restriction of a two-dimensional polynomial rather than as a polynomial in the edge parameter, thereby preserving
\[
\mathbb P_k(E)\subseteq \mathcal V_k(E)
\]
and hence the patch test of order \(k\) [1910.10184]. A solid-mechanics variant replaces the direct vector extension of the scalar curved space with a new edge space
\[
V_h(e)=R_h(e)\oplus B_h(e),
\]
where \(R_h(e)\) contains rigid body motions and \(B_h(e)\) supplies the higher-order mapped-polynomial part [1910.00827]. Another development extends VEM to axisymmetric elasticity and plasticity by augmenting the projected meridional strain with the hoop strain \(\varepsilon_t=u_r/R_E\), using mean value coordinates to evaluate the needed centroidal shape-function values on arbitrary polygons [2312.01559]. Mixed VEM for Darcy flow with curved interfaces likewise retains the exact curved geometry of internal and boundary interfaces in two and three dimensions to avoid geometry error in flux-dominated applications [2011.09332].

A parallel, meshfree use of virtual geometry appears in the Virtual Interpolation Point method for incompressible Navier–Stokes flow [1401.6513]. There the “virtual staggered structure” is an imaginary geometric arrangement of virtual interpolation points and a virtual local stencil around each physical node. All variables are stored at one set of physical nodes, but directional differences for convection, divergence, and pressure gradients are computed at virtual east, west, north, and south points reconstructed by moving least squares [1401.6513]. This replaces explicit staggered or body-fitted mesh geometry with a computational surrogate. The broader implication is that, in discretization theory, virtual geometries provide a way to separate physical geometry from computational geometry while still retaining exact or near-exact geometric information where it matters most.

Source: https://www.emergentmind.com/topics/virtual-geometries