---
title: 'Null Piece: Geometric & Algebraic Aspects'
url: https://www.emergentmind.com/topics/null-piece
type: topic
---

# Null Piece: Geometric & Algebraic Aspects

to=arxiv_search  手机版天天中彩票ෙන්  大发游戏  重庆时时彩彩നം code:
{"query":"arXiv:2507.07977 OR arXiv:2209.14715 OR arXiv:2307.15751 OR arXiv:1004.1668 OR arXiv:1708.00941 OR arXiv:2205.15267 OR arXiv:2506.15281", "max_results": 10, "sort_by": "relevance"}
to=arxiv_search  ахәыҷқәа code:
{"query":"2507.07977", "max_results": 5, "sort_by": "relevance"}
“Null Piece” is not a single standardized object across the literature represented here. It denotes, in different technical settings, a lightlike or null component of Lorentzian geometry, a null segment of asymptotic structure at infinity, a null-generated hypersurface, the elimination of SQL `NULL`, an empty exceptional set in transcendence theory, and formalized absence through zero and the empty set. The common thread is not lexical coincidence alone: each usage isolates a component where ordinary structure becomes degenerate, missing, or asymptotically singular, yet still admits a precise formal treatment [2507.07977] [2205.15267] [1708.00941] [2209.14715] [2307.15751] [1004.1668] [2512.11904] [2506.15281].

## 1. Asymptotic null structure from spatial infinity to null infinity

In the asymptotic analysis of isolated spacetimes, the “null piece” is the part of null infinity reached from a unified expansion centered at spatial infinity. The paper "From spatial to null infinity: Connecting initial data to peeling" introduces Friedrich coordinates on Minkowski space,
$$
\lambda=\frac{t}{r}, \qquad \frac{2}{R}=\frac{1}{v}-\frac{1}{u}, \qquad u=t-r,\quad v=t+r,
$$
so that spatial infinity corresponds to $R\to\infty$, future null infinity $\mathscr I^+$ is reached by $\lambda\to 1$, and past null infinity $\mathscr I^-$ is reached by $\lambda\to -1$. A large-$R$ expansion near spatial infinity therefore also controls the asymptotics near the ends of $\mathscr I^\pm$ [2507.07977].

The metric is assumed to admit an asymptotic expansion around Minkowski space in powers of $1/R$, and the regularity condition
$$
g_{ab}-\eta_{ab}=O(1-\lambda^2)
$$
is imposed at null infinity. On a Cauchy slice, the corresponding initial data take the form
$$
\gamma_{ab}=\delta_{ab}+\sum_{n\ge 1}\frac{\gamma_{ab}^{(n)}}{R^n},\qquad K_{ab}=\sum_{n\ge 1}\frac{K_{ab}^{(n)}}{R^{n+1}}.
$$
This framework is designed so that peeling at null infinity is not assumed a priori; rather, it is derived from the asymptotic structure of the initial data near spatial infinity.

The central result is that peeling of the Weyl scalars at $\mathscr I^+$ is controlled by parity plus time reversal, denoted $\mathcal{PT}$, applied order by order to the asymptotic data. If the leading $1/R$ part of the initial data is $\mathcal{PT}$-symmetric, then
$$
\Psi_2 \sim \frac{1}{r^3}
\quad\text{at }\mathscr I^+,
$$
so the Bondi mass aspect has the standard falloff. If, in addition, the subleading $1/R^2$ term is $\mathcal{PT}$-antisymmetric, then
$$
\Psi_1 \sim \frac{1}{r^4}
\quad\text{at }\mathscr I^+,
$$
so the angular momentum aspect also peels in the standard way. More generally,
$$
\Psi_4=\Psi_4^\circ r^{-1}+o(r^{-1}),\qquad
\Psi_3=\Psi_3^\circ r^{-2}+o(r^{-2}),
$$
$$
\Psi_2=\Psi_2^\circ r^{-3}+o(r^{-3}),
\qquad
\Psi_1=\Psi_1^\circ r^{-4}+o(r^{-4}),
\qquad
\Psi_0=O(r^{-5}\log r),
$$
with the stated symmetry conditions for $\Psi_2$ and $\Psi_1$.

The symmetry criterion is formulated through the $\mathcal{PT}$ action on spin-$s$ fields,
$$
\mathcal{PT}[\phi_k](\lambda,R,\theta,\phi)
=
(-1)^s\,\phi_{2s-k}(-\lambda,R,\pi-\theta,\pi+\phi),
$$
and the dangerous non-peeling coefficients are exactly those tied to the $\mathcal{PT}$-odd or $\mathcal{PT}$-even sectors at successive orders. For gravity, this means that leading $1/R$ metric data must be $\mathcal{PT}$-symmetric, while the $1/R^2$ piece must be $\mathcal{PT}$-antisymmetric if one wants the next peeling level. The authors also emphasize that this criterion is Poincaré invariant in the relevant asymptotic sense.

Physically, this identifies the null piece of the asymptotic structure with the portion of $\mathscr I$ near its endpoints that inherits its regularity and charge content from spatial-infinity data. The paper states that $\Psi_2^\circ$ encodes the Bondi mass aspect, $\Psi_1^\circ$ encodes the angular momentum aspect, and $\Psi_4^\circ\sim r^{-1}$ is the outgoing radiation field. It also establishes antipodal matching between mass and angular-momentum aspects at $\mathscr I^-$ and $\mathscr I^+$ under the same parity assumptions. In this sense, the null piece is not imposed by hand; it is derived from the spatial-infinity expansion and its $\mathcal{PT}$-symmetric content.

## 2. Abstract null hypersurface data and characteristic evolution

A second major use of “null piece” occurs in the characteristic initial value problem for the Einstein equations, where the relevant object is a null hypersurface or a pair of intersecting null hypersurfaces. In the hypersurface data formalism, a hypersurface is encoded abstractly by
$$
D=\{H,\gamma,\ell,\ell^{(2)},Y\},
$$
where $\gamma$ is a symmetric covariant $2$-tensor, $\ell$ is a $1$-form, $\ell^{(2)}$ is a scalar, and $Y$ is another symmetric covariant $2$-tensor. A central construction is the extended bilinear form
$$
A\big((W,a),(Z,b)\big)
=
\gamma(W,Z)+a\,\ell(Z)+b\,\ell(W)+ab\,\ell^{(2)},
$$
whose inverse determines $(P,n,n^{(2)})$. For null hypersurface data, the defining condition is
$$
n^{(2)}=0.
$$
This means that the radical of $\gamma$ is one-dimensional and generated by $n$ [2205.15267].

Characteristic hypersurface data are null hypersurface data satisfying three conditions: $\operatorname{Rad}(\gamma)\neq\{0\}$ with $\gamma$ semi-positive definite; the existence of a foliation function $u$; and the requirement that the level sets $S_u=\{u=\mathrm{const}\}$ are all diffeomorphic. This yields the splitting
$$
T_pH = T_pS_{u(p)}\oplus \langle n\rangle,
$$
so the null generator direction is separated from the spacelike directions tangent to the leaves. The induced metric on each leaf is
$$
h=\gamma|_{S_u},
$$
which is Riemannian.

The formalism then introduces foliation tensors $\chi$, $\Upsilon$, $\eta$, and $\omega$, corresponding in an embedded spacetime to the standard null structure coefficients. The scalar $\omega$ measures non-affinity through
$$
\nabla_n n=-2\omega\,n,
$$
and the combination
$$
\tau:=\eta+d(\log|\lambda|)
$$
has the simple gauge transformation law
$$
\tau'=\tau+d(\log|z|).
$$
This abstracts the geometry of null congruences without reference to an ambient spacetime.

One of the main results is that all tangential components of the ambient Ricci tensor can be written intrinsically in terms of the abstract data. The abstract Ricci tensor is defined by
$$
\bm R_{ab}=B_{acbd}P^{cd}-(A_{bac}+A_{abc})n^c,
$$
and in the embedded case it equals the pullback of the ambient Ricci tensor. The null constraint tensors are
$$
H=-\frac12 P^{ab}\bm R_{ab},\qquad \bm J_a=\bm R_{ab}n^b.
$$
In foliation form, the Raychaudhuri equation becomes
$$
J(n)= -n(\operatorname{tr}_h\chi)-2\omega\,\operatorname{tr}_h\chi-|\chi|^2,
$$
and the tangential equations for $\bm J(X)$, $\bm R_{AB}$, and $H$ are likewise expressed entirely through $h$, $\chi$, $\Upsilon$, $\eta$, $\omega$, and $\lambda$.

The double-null problem is formulated by taking two characteristic hypersurface data sets,
$$
D=\{H,\gamma,\ell,\ell^{(2)},Y\},\qquad
\underline D=\{\underline H,\underline\gamma,\underline\ell,\underline\ell^{(2)},\underline Y\},
$$
with common boundary $S_0=\partial H=\partial \underline H$. Compatibility includes a common Riemannian metric $h_0$ on $S_0$, corner relations involving the relative normalization scalar $\mu$, and equality of abstract Ricci tensors at the corner in vacuum. After introducing an intrinsic harmonic gauge, the paper proves a local existence and uniqueness theorem: abstract double null data satisfying the constraint equations for the $\Lambda$-vacuum Einstein equations determine, locally near the corner, a spacetime solution unique up to local diffeomorphism. The null piece here is therefore an autonomous initial-data sector on the same geometric footing as the standard spacelike Cauchy problem.

## 3. Null cones, quasi-local mass, and the Null Penrose conjecture

Null geometry also appears as the study of null hypersurfaces generated by light rays, especially null cones in black-hole spacetimes. A null hypersurface is a codimension-one submanifold whose tangent spaces contain exactly one null direction and two spacelike directions. Its most distinctive feature is that the normal vector is also tangent to the hypersurface. Because the induced metric is degenerate, the geometry is analyzed through spacelike $2$-sphere cross-sections rather than by ordinary Riemannian hypersurface methods [1708.00941].

The model example is the downward light cone in Minkowski space,
$$
\Lambda:=\{t=-r\},\qquad r=\sqrt{x^2+y^2+z^2},
$$
and more generally a null cone $\Omega\cong\mathbb S^2\times\mathbb R$ foliated by spheres. For a spacelike $2$-sphere $\Sigma$ in a null hypersurface, the expansion is
$$
\sigma:=\langle -\vec H,L\rangle,
$$
and it governs area change through
$$
\frac{d}{ds}dA=\sigma\,dA.
$$
Under the Dominant Energy Condition, the Raychaudhuri equation gives
$$
\frac{d\sigma}{ds}\le 0.
$$
This monotonicity is the basic null-geometric mechanism behind mass comparison arguments.

For asymptotically flat null cones, the initial quasi-local energy is the Hawking energy,
$$
E_H(\Sigma)=\sqrt{\frac{|\Sigma|}{16\pi}\left(1-\frac{1}{16\pi}\int_\Sigma \langle \vec H,\vec H\rangle\,dA\right)}.
$$
On the flat Minkowski null cone, the Gauss equation implies
$$
\mathcal K=\frac14\langle \vec H,\vec H\rangle,
$$
so Gauss–Bonnet yields vanishing Hawking energy. On the Schwarzschild null cone in ingoing Eddington–Finkelstein coordinates,
$$
-\left(1-\frac{2M}{r}\right)dv^2+2\,dv\,dr+r^2\big(d\vartheta^2+(\sin\vartheta)^2d\varphi^2\big),
$$
a cross-section $\Sigma=\{r=\omega(\vartheta,\varphi)\}$ satisfies
$$
\mathcal K-\frac14\langle \vec H,\vec H\rangle=\frac{2M}{\omega^3},
$$
and the Hawking energy recovers the Schwarzschild mass.

The asymptotic quantity at null infinity is the Bondi energy $E_B$, and the Bondi mass is
$$
m_B:=\inf E_B.
$$
The null version of the Penrose conjecture is formulated for a horizon represented by a marginally outer trapped surface $\Sigma_0$ with
$$
\langle \vec H,\vec H\rangle=0,
$$
namely
$$
\sqrt{\frac{|\Sigma_0|}{16\pi}}\le m_B.
$$
Earlier approaches based only on Hawking energy were limited because Hawking energy is sensitive to boosts and asymptotic distortions, so asymptotic roundness could fail.

To address this, the survey introduces the modified flux
$$
\rho
=
\mathcal K-\frac14\langle \vec H,\vec H\rangle+\nabla\cdot\zeta-\Delta\log\sigma,
$$
and the mass
$$
m(\Sigma)
=
\frac12\left(\frac{1}{4\pi}\int \rho^{2/3}\,dA\right)^{3/2}.
$$
Under the doubly convex conditions
$$
\rho>0,\qquad \frac14\langle \vec H,\vec H\rangle\ge \frac13\Delta\log\rho,
$$
and assuming the null flow is expanding, one has
$$
\frac{dm}{ds}\ge 0.
$$
For an asymptotically flat null cone with strong flux decay and an asymptotically geodesic doubly convex foliation, the limit of this mass is bounded by the Bondi mass, and if the initial surface is a horizon then
$$
\sqrt{\frac{|\Sigma_0|}{16\pi}}
=
E_H(\Sigma_0)=m(\Sigma_0)\le \lim_{s\to\infty}m(\Sigma_s)\le m_B.
$$
Thus the Null Penrose Conjecture holds for smooth null cones foliated by doubly convex spheres, with rigidity characterizing the Schwarzschild null cone.

## 4. Null curves and canal hypersurfaces in Lorentz–Minkowski $4$-space

In Lorentzian differential geometry, the null piece concerns canal hypersurfaces whose centers lie on null curves in $E_1^4$. The ambient space is Lorentz–Minkowski $4$-space with inner product
$$
\langle \overrightarrow u,\overrightarrow v\rangle
=
-u_1v_1+u_2v_2+u_3v_3+u_4v_4.
$$
A vector is spacelike, timelike, or lightlike/null according to the sign of its norm, and a curve $\gamma(s)$ is null if its velocity $\gamma'(s)$ is null [2209.14715].

A null curve carries a Frenet frame $\{F_1,F_2,F_3,F_4\}$ satisfying
$$
F_1'=k_1F_2,\quad
F_2'=k_2F_1-k_1F_3,\quad
F_3'=-k_2F_2+k_3F_4,\quad
F_4'=-k_3F_1,
$$
together with the metric relations
$$
\langle F_2,F_2\rangle=\langle F_4,F_4\rangle=1,\quad
\langle F_1,F_1\rangle=\langle F_3,F_3\rangle=0,\quad
\langle F_1,F_3\rangle=1,
$$
and all other frame pairings zero. The paper notes that for null and pseudo null curves, the first curvature satisfies $k_1=1$ in non-straight cases.

The null-generated canal hypersurface is written as
$$
\overset{null}{C}(s,t,w)-\gamma(s)
=
a_1F_1+a_2F_2+a_3F_3+a_4F_4.
$$
Because the hypersurface lies on a pseudo hypersphere or pseudo hyperbolic hypersphere of radius $r(s)$,
$$
g(\overset{null}{C}-\gamma,\overset{null}{C}-\gamma)=\lambda r^2(s),\qquad \lambda=\pm 1,
$$
which reduces, using the null-frame identities, to
$$
a_2^2+a_4^2+2a_1a_3=\lambda r^2.
$$
The normality condition
$$
g(\overset{null}{C}-\gamma,(\overset{null}{C})_s)=0
$$
gives
$$
a_3=-\lambda rr_s,
$$
and hence
$$
a_2^2+a_4^2=\lambda r(r+2a_1r_s).
$$

This yields two coefficient-form families. In the pseudo hypersphere case,
$$
\overset{null}{C_1}
=
\gamma+a_1F_1+a_2F_2-r(s)r'(s)F_3+a_4F_4,
$$
with
$$
a_2^2+a_4^2=r(s)\big(r(s)+2a_1r'(s)\big).
$$
In the pseudo hyperbolic hypersphere case,
$$
\overset{null}{C_2}
=
\gamma+a_1F_1+a_2F_2+r(s)r'(s)F_3+a_4F_4,
$$
with
$$
a_2^2+a_4^2=-r(s)\big(r(s)+2a_1r'(s)\big).
$$
Unlike the pseudo null and partially null cases, the null case is not expanded into a more explicit closed form involving auxiliary functions $f(t,w)$ and $g(t,w)$; it remains in this coefficient representation.

The paper gives an explicit null example,
$$
\gamma(s)=\frac{1}{\sqrt{2}}(\sinh s,\cosh s,\sin s,\cos s),
$$
with
$$
k_1=1,\qquad k_2=0,\qquad k_3=-1,
$$
and then constructs a concrete canal hypersurface by choosing $g(t,w)=t$, $f(t,w)=w$, and $r(s)=s/2$. It also remarks that the detailed formulas for the unit normal field, Gaussian curvature, and mean curvature are not derived for the null case in the same explicit way as for the pseudo null and partially null cases.

The clearest null-specific classification concerns tubular hypersurfaces, where the radius is constant. In the null case,
$$
\overset{null}{T_1}
=
\gamma+a_1F_1+a_2F_2+a_4F_4,
\qquad
a_2^2+a_4^2=r^2.
$$
The paper’s corresponding nonexistence statement is explicit: there is no tubular hypersurface formed as the envelope of a family of pseudo hyperbolic hyperspheres whose centers lie on a null curve in $E_1^4$. Here the null piece is therefore both constructive and restrictive: it provides the admissible parametrization and also identifies a geometry that cannot occur.

## 5. Empty exceptional sets, zero, and the empty set

A different cluster of meanings associates “null” with emptiness, absence, or vanishing exceptions. In transcendence theory, the exceptional set of a transcendental entire function $f$ is
$$
S_f:=\{\alpha\in\overline{\mathbb Q}: f(\alpha)\in\overline{\mathbb Q}\}.
$$
If $S_f=\varnothing$, then $f(\alpha)$ is transcendental for every algebraic $\alpha$. The paper "Some transcendental functions with an empty exceptional set" constructs explicit transcendental entire functions with this property, making the “null piece” an empty arithmetic locus rather than a geometric lightlike direction [1004.1668].

The classical comparison is $f(z)=e^z$. By Hermite–Lindemann,
$$
e^\alpha \text{ is transcendental for every nonzero algebraic }\alpha,
$$
but
$$
e^0=1\in\overline{\mathbb Q},
$$
so
$$
S_{e^z}=\{0\}.
$$
The paper’s main construction uses an enumeration $\{x_1,x_2,\dots\}$ of $\overline{\mathbb Q}$ and defines a function $U(w,z)$ by a convergent series involving the elementary symmetric polynomials of $x_1,\dots,x_n$. Its principal theorem states: for any positive real number $t$ and any algebraic number $a$,
$$
U(t,a)\text{ is transcendental }\iff t\text{ is transcendental}.
$$
Equivalently,
$$
S_{U(t,\cdot)}=\varnothing
\quad\text{when }t\text{ is transcendental}.
$$
The same paper also gives simpler empty-exceptional-set examples: sums of exponentials with algebraic coefficients, functions $g(z)=e^{az}$ with $a\neq 0$, and functions of the form $h(z)=P(e^z,t)$ when $t$ is a $U$- or $T$-number.

The philosophical and foundational study "Über Nichts" treats absence in a broader sense. It distinguishes absolute non-being, or *nihil*, from relational negation or “not-this,” and argues that mathematics primarily formalizes the latter rather than absolute nothingness. In that account, the two central mathematical embodiments of structured absence are zero and the empty set [2512.11904].

For zero, the paper emphasizes a historical development from positional placeholder to arithmetic object, culminating in what it calls the “threefold invention” of zero in Indian mathematics: as digit in positional notation, as designation of a quantity, and as a number in its own right, including as the result of subtraction. Its structural roles are summarized by
$$
a+0=a,\qquad a\cdot 0=0.
$$
The first makes zero a neutral element for addition; the second makes it an absorbing element for multiplication. The paper also uses “useful zero” in the form
$$
a=a+b-b
$$
and
$$
0=+\left(\frac p2\right)^2-\left(\frac p2\right)^2,
$$
to exhibit hidden algebraic structure, and it notes comparable uses of zero in $\sum I=0$ and in conservation laws.

For the empty set, the paper is explicit that $\emptyset$ is not “nothing” in the absolute sense. In Zermelo–Fraenkel set theory it is an existing axiomatic object, and its algebraic laws are
$$
A\cup\emptyset=A,\qquad
A\cap\emptyset=\emptyset,\qquad
A\setminus A=\emptyset.
$$
It also underlies vacuous truth: universal statements over $\emptyset$ are true because there are no counterexamples, while existential statements over $\emptyset$ are false because there are no witnesses. At the foundation of the natural numbers, the paper records the von Neumann identification
$$
0=\emptyset,
\qquad
S(n):=n\cup\{n\}.
$$
A plausible implication is that the “null piece” in these settings is not raw void but a structured absence that supports arithmetic, logic, and set-theoretic generation.

## 6. Null elimination and punctured vanishing problems

In database theory, a null piece is a component of query semantics devoted to missing information. The paper "No More Nulls!" argues that SQL `NULL` values should be eliminated rather than further elaborated. Its proposal is Column Normal Form, in which each relation $R$ is decomposed into an opaque key relation $R_{id}$ and one attribute relation $R_a$ for each column $a$. Missingness is represented structurally: if a value of attribute $a$ is missing for a tuple, the corresponding entry is absent from $R_a$ [2307.15751].

This column-level representation induces Columnar Semantics. A surface SQL query is treated as syntactic sugar for expanded queries over $R_{id}$ and the attribute relations, with key-correlation predicates joining all referenced attributes through the same hidden key. Since `IS NULL` no longer applies, the paper introduces
```sql
R MISSING a
```
meaning that a tuple in $R$ is missing attribute $a$, and desugars it as
```sql
R_id.id NOT IN (SELECT id FROM R_a)
```
The paper states two expressiveness propositions. First, for every database instance and standard SQL query under $3$-valued logic, there exists a Columnar Semantics query whose output, after full outer join, matches the standard output; if the data and query are null-free, the query itself is unchanged. Second, the translation also works in the converse direction from Columnar Semantics to standard SQL. The paper also notes an important limitation: the equivalence propositions are stated with intuitive justification, but a formal proof is still needed. Its practical evaluation proposal is MIA, “Missing Information Artifacts,” a benchmark suite of queries and datasets seeded with SQLShare data.

In combinatorial algebra, the term “null” reappears in Nullstellensatz theory, where one studies polynomials that vanish on grids or punctured grids. A grid is
$$
S=\prod_{i=1}^n S_i,
$$
with vanishing ideal
$$
I(S)=\langle g_1,\dots,g_n\rangle,
\qquad
g_i:=\prod_{a\in S_i}(x_i-a).
$$
A punctured grid is
$$
P=X\setminus Y,
\qquad
X=\prod_{i=1}^n X_i,\quad Y=\prod_{i=1}^n Y_i,\quad Y_i\subseteq X_i.
$$
The paper "Structured and Punctured Nullstellensätze" unifies several variants of the Combinatorial Nullstellensatz by showing that certain monomials are stable under multivariate division and therefore survive in the remainder, forcing nonvanishing on the underlying set [2506.15281].

The conceptual core is the notion of a natural standard expression
$$
f=\sum_{j=1}^t c_jx^{\delta_j}g_j+r,
$$
where $r$ has no monomial divisible by any leading monomial of the chosen divisors. The paper defines a monomial $x^\alpha$ to be $(G,\lambda)$-stable in $f$ when it occurs in $f$, is not divisible by any leading monomial from $G$, and is not shadowed by any $(G,\lambda,\alpha)$-shading monomial. The key theorem states that stability survives each subtraction step in the division algorithm, so every stable monomial must appear in the remainder. Since a polynomial in the vanishing ideal has remainder zero, the survival of such a monomial implies that the polynomial does not vanish identically.

This framework recovers structured grid theorems, multiplicity versions, multiset versions, and punctured-grid variants. For punctured grids, the vanishing ideal is generated by
$$
g_i=\prod_{a\in X_i}(x_i-a),
\qquad
p=\prod_{i=1}^n \frac{g_i}{l_i},
\qquad
l_i:=\prod_{a\in Y_i}(x_i-a),
$$
so that
$$
I(P)=\langle g_1,\dots,g_n,p\rangle.
$$
The same division-based mechanism then yields nonvanishing criteria and a punctured Alon–Füredi–Clark lower bound:
$$
|P\setminus V(f)|
\ge
\prod_{i=1}^n(a_i-e_i)-\prod_{i=1}^n \min(b_i,a_i-e_i),
\qquad
a_i:=|X_i|,\quad b_i:=|Y_i|.
$$
Here the null piece is the vanishing locus or the punctured-out grid-shaped hole, analyzed not by topological intuition but by Gröbner-basis stability and remainder persistence.

Source: https://www.emergentmind.com/topics/null-piece