Connections between UPGS (Uniform‑Plateau Probability Scheme) and ∞‑Toposes

Author: Zhang Suhang

Date: August 2026

Abstract

Lurie’s ∞‑topos theory elevates Grothendieck toposes to the level of ∞‑categories, furnishing a unified framework for handling higher homotopy, derived geometry and sheaf theory. Nevertheless, standard ∞‑toposes only characterise equivalences, morphisms and homotopy truncations among objects; they carry no intrinsic measure or numerical‑weight information. Building upon the uniform‑plateau counting measure of the Uniform‑Plateau Probability Scheme (UPGS), this paper constructs a weighting functor \mathcal{W} on an ∞‑topos whose underlying site is the étale site. Each ∞‑object is associated with an alternating sum formed from the uniform‑plateau measures of its homotopy groups of all orders. We verify that this weighting functor satisfies the ∞‑sheaf descent property, and accordingly define the UPGS‑weighted global integral. A functorial correspondence between UPGS and ∞‑toposes is established, demonstrating their complementary nature: the ∞‑topos supplies higher‑homotopy sheaf structure, whereas UPGS injects measure weights inherited from the underlying site. Their combination yields weighted ∞‑toposes. No extrinsic philosophical assumptions are introduced; all constructions rely solely on ∞‑categorical sheaf theory and uniform‑plateau geometric measure theory.

Keywords: Uniform‑Plateau Probability Scheme (UPGS); ∞‑topos; weighting functor; uniform‑plateau counting measure; Čech nerve; descent axiom

1 Introduction

1.1 ∞‑Toposes: Weight‑Free Higher‑Order Structures

The ∞‑toposes developed by Lurie in Higher Topos Theory are ∞‑categories of ∞‑sheaves satisfying Grothendieck‑topology descent conditions. They provide a unified description of homotopy types, derived sheaves and étale sheaves over schemes, and accommodate higher morphisms, homotopy equivalences and homotopy truncations of objects.

Raw ∞‑toposes, however, only encode structural relations and do not come equipped with intrinsic numerical measures. Given an object inside an ∞‑topos, the theory itself does not answer the following questions: what is the global size of the object from the perspective of the underlying site? Can well‑defined numerical invariants be assigned to every higher‑sheaf object starting from the geometric measure on the base site?

1.2 Uniform‑Plateau Probability Scheme (UPGS): Measure Structure over the Base Site

The Uniform‑Plateau Probability Scheme (UPGS) is built upon étale morphisms of schemes and defines the uniform‑plateau counting measure \mu_{\mathrm{ct}}, which assigns numerical values to étale open subsets via branching degrees. This measure is additive and functorial with respect to pull‑back and push‑forward, and operates within the classical Grothendieck‑topos setting. Native UPGS does not, however, handle ∞‑sheaves or higher‑homotopy information.

This naturally raises a question: can the measure information of UPGS be lifted to the ∞‑topos level, such that 0‑truncated objects recover the original UPGS measure, while higher ∞‑objects receive compatible weight invariants?

1.3 Main Results of this Paper

Working on the ∞‑topos \mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X) whose underlying site is the étale site, we accomplish the following constructions:

1. We define the UPGS weighting functor \mathcal{W}, which associates each ∞‑object with an alternating sum of the uniform‑plateau counting measures of its homotopy groups of all orders.

2. Under the hypothesis that objects have finitely many non‑vanishing homotopy groups and that each homotopy sheaf is of finite étale type, we prove that \mathcal{W} obeys the ∞‑sheaf descent axiom.

3. We define the UPGS‑weighted global integral, yielding a class of ∞‑object invariants induced by the base‑site measure.

4. We construct the functor \Phi_\infty, which mediates the transition from ordinary ∞‑toposes to measure‑bearing weighted ∞‑toposes, and verify that it recovers UPGS upon 0‑truncation.

2 Preliminaries

2.1 Basic Notions of ∞‑Toposes

Definition 2.1 (Lurie, HTT §6.1). Let \mathcal{C} be a small category equipped with a Grothendieck topology J. Denote by \mathrm{Sh}_\infty(\mathcal{C},J) the ∞‑category of ∞‑sheaves satisfying J‑descent. An ∞‑topos is an ∞‑category equivalent to some \mathrm{Sh}_\infty(\mathcal{C},J).

Fact 2.2 (HTT §6.2.3). Let \mathcal{X} be an ∞‑topos:

1. Its 1‑truncation \mathrm{Sh}_1(\mathcal{X}) is a classical Grothendieck topos.

2. For any object K\in\mathcal{X}, each homotopy truncation \pi_n(K) is a sheaf inside \mathrm{Sh}_1(\mathcal{X}).

3. The global‑sections functor \Gamma\colon \mathcal{X}\to\mathcal{S}, where \mathcal{S} denotes the ∞‑category of spaces.

In this paper we focus mainly on the étale site \mathrm{Ét}/X of a finite‑type scheme X, i.e. \mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X).

2.2 Uniform‑Plateau Counting Measure

Definition 2.3. Let X be a finite‑type scheme. For any étale morphism U\to X,

\mu_{\mathrm{ct}}(U):=\sum_{\substack{V\subseteq U\\ \dim V=\dim X}} [k(V):k(X)]

where V runs over irreducible components of U, and [k(V):k(X)] denotes the function‑field extension degree. When U/X is finite étale, \mu_{\mathrm{ct}}(U) equals the number of connected components of U.

Fact 2.4. \mu_{\mathrm{ct}} satisfies:

1. Countable additivity: for an étale covering \{U_i\to U\}, \mu_{\mathrm{ct}}(U)=\sum_i\mu_{\mathrm{ct}}(U_i).

2. Isomorphism invariance: the measure is preserved under scheme isomorphisms.

3. Pull‑back functoriality: compatibility of measure under pull‑back along étale morphisms.

Convention: All subsequent discussions are restricted to objects possessing only finitely many non‑zero homotopy groups, such that each sheaf \pi_i(K) is a finite‑type étale sheaf. Under this convention all alternating sums become finite.

3 Construction of the UPGS Weighting Functor

Let \mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X). For K\in\mathcal{X}, \pi_i(K) is the 0‑truncated sheaf object corresponding to its i‑th homotopy group, which belongs to the classical topos \mathrm{Sh}_1(\mathcal{X}). Consequently the uniform‑plateau counting measure \mu_{\mathrm{ct}} may be applied.

Definition 3.1 (UPGS weighting functor)

\mathcal{W}(K):=\sum_{i=0}^{\infty}(-1)^i\,\mu_{\mathrm{ct}}\big(\pi_i(K)\big).

Under the finiteness convention of this paper, the sum has finitely many terms.

Remark 3.2. This construction is analogous to the classical Euler characteristic \chi=\sum (-1)^i\mathrm{rank}\,H_i. Instead of ranks of vector spaces we employ geometric measures on the étale site, yielding a homotopy invariant dependent on base‑site geometry, termed the UPGS‑homotopy characteristic.

Lemma 3.3 (Well‑definedness). If K\simeq K' are ∞‑equivalent objects in \mathcal{X}, then \mathcal{W}(K)=\mathcal{W}(K').

Proof. An ∞‑equivalence induces sheaf isomorphisms on all homotopy groups. The uniform‑plateau counting measure is invariant under sheaf isomorphisms, hence the alternating sum is preserved. ∎

4 ∞‑Sheaf Descent Property of the Weighting Functor

Let \{U_i\to U\} be an effective ∞‑covering in \mathcal{X}, and let \check{C}(\{U_i\}) denote the associated Čech‑nerve complex.

Theorem 4.1. Under the finiteness convention of this paper, the weighting functor obeys descent:

\mathcal{W}(U)\cong \mathrm{Tot}\big(\mathcal{W}(\check{C}(\{U_i\}))\big).

Proof. For each fixed degree i, the sheaves \pi_i satisfy classical Čech descent for sheaves. \mu_{\mathrm{ct}} is additive over étale coverings, so

\mu_{\mathrm{ct}}(\pi_i(U))=\lim_\leftarrow \mu_{\mathrm{ct}}(\check{C}_n(\pi_i(U))).

Since only finitely many homotopy groups are non‑zero, finite alternating sums commute with limits. Term‑wise assembly yields the total‑descent condition for \mathcal{W}. ∎

Corollary 4.2. \mathcal{W} furnishes a homotopy‑invariant valuation from \mathcal{X} to real numbers, compatible with totalisation over Čech nerves of ∞‑coverings.

5 UPGS‑Weighted Global Integral

The global‑sections functor \Gamma\colon \mathcal{X}\to\mathcal{S}. For K\in\mathcal{X}, write \Gamma(K)=\mathrm{Hom}_{\mathcal{X}}(\mathbf{1}_\mathcal{X},K) for the global‑section object of K, which is itself an ∞‑object inside \mathcal{X}.

Definition 5.1 (UPGS‑weighted global integral)

\int_{\mathcal{X}} K := \mathcal{W}\big(\Gamma(K)\big).

Proposition 5.2. Subject to the finiteness hypotheses of this paper, the integral enjoys the following properties:

1. Measure‑level linearity: for real numbers a,b and objects K,L, in the sense of numerical valuation

\int_{\mathcal{X}}(aK\oplus bL)=a\int_{\mathcal{X}}K + b\int_{\mathcal{X}}L.

Remark: This linearity holds for output numerical values; it does not assert intrinsic scalar‑multiplication inside the ∞‑category.

2. Functorial compatibility: given an ∞‑topos morphism f\colon \mathcal{Y}\to\mathcal{X} induced by an étale morphism of base sites,

\int_{\mathcal{Y}} f^* K=\int_{\mathcal{X}} K.

Proof. The properties follow from additivity and pull‑back functoriality of \mu_{\mathrm{ct}}, transmitted through the finite alternating sum defining \mathcal{W}. ∎

6 Functorial Correspondence between UPGS and ∞‑Toposes

Theorem 6.3. Define the functor

\Phi_\infty\colon \mathcal{X}\to \mathrm{Measured}(\mathcal{X}),\quad K\mapsto \big(K,\mathcal{W}(K)\big),

where \mathrm{Measured}(\mathcal{X}) denotes the ∞‑topos category whose objects are equipped with UPGS weights. Then:

1. If K is 0‑truncated (i.e. a classical sheaf over the scheme X), then \mathcal{W}(K)=\mu_{\mathrm{ct}}(K), recovering the original UPGS measure.
​
2. \Phi_\infty preserves limits, colimits and descent structures of the ∞‑topos.

Proof. Item 1 follows directly from the definition. Item 2 follows from well‑definedness of \mathcal{W} and the descent property in Theorem 4.1. ∎

Corollary 6.4 (Complementary relation)
‑ ∞‑toposes supply higher‑homotopy sheaf structures, describing morphisms, equivalences and deformations among objects.
‑ UPGS provides measure weights inherited from the étale base site, assigning geometric numerical invariants to each object.

Neither supersedes the other. Their combination produces weighted ∞‑toposes possessing both higher‑homotopy structure and measure information induced by the base site.

7 Conclusions

Working on ∞‑toposes over the étale site, this paper completes the following constructions:

1. Based on the uniform‑plateau counting measure, we construct the weighting functor \mathcal{W}, which produces numerical invariants for each ∞‑object via finite alternating sums of measures over its homotopy groups.
​
2. Under finite‑homotopy‑layer conditions we verify that \mathcal{W} satisfies the ∞‑sheaf descent axiom.
​
3. Using global sections we define the UPGS‑weighted global integral.
​
4. We establish the functor \Phi_\infty implementing the transition from ordinary ∞‑toposes to weighted ∞‑toposes, which reduces to UPGS upon 0‑truncation.

Native ∞‑toposes excel at handling higher‑order structural relations but lack numerical weights originating from base‑site geometry. UPGS fills this gap by lifting uniform‑plateau geometric measure to the ∞‑sheaf level. Their joint deployment yields a new class of objects simultaneously carrying homotopy‑theoretic structure and geometric‑measure data.

References

Omitted