# Rieg theory

SUMIRE:2609.00007 — public

> Semirings with exponentiation, connecting arithmetic, logic, and categorical counting.

Owner: hora

## Goal

Develop a coherent theory of semirings with exponentiation and use it to connect finite and profinite arithmetic, logic, enumerative combinatorics, and category theory.

## Story

A rieg is a commutative semiring equipped with exponentiation satisfying the usual exponent laws, including \(x^0=1\) and hence \(0^0=1\). This project studies the structure itself and the examples it connects.

The research programme is described in [note 7](https://sumire.aiformath.jp/p/2609.00007/n/7). The current questions concern [the subrieg generated by nonnegative rationals](https://sumire.aiformath.jp/p/2609.00007/n/1), [game interpretations of the free rieg](https://sumire.aiformath.jp/p/2609.00007/n/3), [functions represented by unary rieg terms](https://sumire.aiformath.jp/p/2609.00007/n/4), and [finite-valued presheaf categories](https://sumire.aiformath.jp/p/2609.00007/n/5).

One concrete result narrows the topological problem: [a compact Hausdorff topological rieg with cancellative addition is trivial](https://sumire.aiformath.jp/p/2609.00007/n/9). The question [whether a nontrivial connected compact Hausdorff rieg exists](https://sumire.aiformath.jp/p/2609.00007/n/2) therefore reduces to the noncancellative case, where it has a positive answer.

For finite-valued presheaves, essentially finite slices give a sufficient condition for a topos. [A partial answer](https://sumire.aiformath.jp/p/2609.00007/n/5) proposes an exact criterion stated in terms of finite presheaves. [The right Kan extension approach](https://sumire.aiformath.jp/p/2609.00007/n/8) is absorbed into that note, with the coreflection \(X\mapsto X_{\mathrm{fin}}\) onto locally finite presheaves as its comonad.

The next step is concrete: give a criterion for finite presheaf topoi in terms of the indexing category alone.

Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:34:57.980Z

## #1 [conjecture] Rational subrieg of [0,∞)

hora · 2026-03-30 · AI: assisted (Codex)

## Question

What is the subrieg of \([0,\infty)\) generated by \(\mathbb Q_{\geq0}\), with ordinary exponentiation and \(0^0=1\)? Which equations hold between its expressions? Is the canonical map from the rieg freely generated by the rig \(\mathbb Q_{\geq0}\) injective?

## First distinction

The nonnegative rationals themselves are not closed under exponentiation: \(2^{1/2}\) is already irrational. The question concerns the closure under all rieg operations and the relations in that closure.

## Next step

State the universal property of the rieg generated by the rig \(\mathbb Q_{\geq0}\), then write its canonical evaluation map into \([0,\infty)\). To prove a relation is additional, exhibit two terms with the same real value and prove that their equality does not follow from the rieg axioms and the specified rational rig relations. Merely finding two equal real expressions does not establish this.

[Original problem 7.0.3](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L974-L984).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T04:48:11.666Z

## #2 [conjecture] Connected compact Hausdorff riegs

hora · 2026-03-30 · AI: assisted (Codex)

## Question

Does a nontrivial connected compact Hausdorff topological rieg exist? All three binary operations—addition, multiplication, and exponentiation—are required to be continuous.

## Current result

[Compact rieg no-go](https://sumire.aiformath.jp/p/2609.00007/n/9) proves that every compact Hausdorff topological rieg with cancellative addition is trivial. Connectedness is not needed for that result. Thus a positive answer must have noncancellative addition; the general existence question remains open here.

The original motivation compares connected topological algebra with profinite algebra. A path-connected topological rig is contractible: a path \(p\) from \(0\) to \(1\) gives \(H(t,x)=p(t)x\). This observation concerns path-connectedness and does not by itself settle the connected compact case.

## Next step

Choose a compact connected noncancellative topological semiring and test whether it admits a jointly continuous exponentiation satisfying all the rieg equations, especially \(x^0=1\), \(x^1=x\), and \(x^{y+z}=x^yx^z\). Failure of a particular candidate is not a general nonexistence theorem.

## Source

[Original problem 7.0.5](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L996-L1017).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:29:31.307Z

## #3 [conjecture] Free rieg elements as games

hora · 2026-03-30 · AI: assisted (Codex)

## Question

Let \(F_1\) be the free rieg on one generator \(x\). Can its elements be interpreted as combinatorial games? Can the unique rieg homomorphism
\[
F_1\longrightarrow\mathbb N,\qquad x\longmapsto0
\]
be interpreted in terms of those games?

## What an answer must provide

Specify the games and their equality, interpret \(0,1,+,\times\), and exponentiation, and show that the rieg equations hold. A full model of \(F_1\) must also identify when two game expressions represent the same element; a map out of \(F_1\) alone need not be injective.

## Next step

Give a concrete candidate for exponentiation of games, then test the exponent laws and the evaluation \(x\mapsto0\). The existing recursive-coalgebra model of impartial games does not by itself supply these rieg operations.

Sources: [original problem 7.0.1](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L953-L962); [Classical vs quantum computation](https://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3.html).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T04:48:13.344Z

## #4 [conjecture] Functions ℕ→ℕ from F1

hora · 2026-03-30 · AI: assisted (Codex)

## Question

Which functions \(\mathbb N\to\mathbb N\) can be represented by a term in the free rieg \(F_1\) on one generator?

Here a term is built from \(0,1,x\) using addition, multiplication, and binary exponentiation. Evaluating \(x=n\) in the natural-number rieg gives its function, with \(0^0=1\).

## Two distinct tasks

1. Characterize the functions obtained by this evaluation.
2. Determine when two terms give the same function on \(\mathbb N\).

The second question must distinguish equality of functions on this particular rieg from equality forced by the axioms in the free rieg.

## Next step

Identify a property shared by all representable functions and prove it by induction on terms, or exhibit a function together with a rigorous nonrepresentability argument. A table of small inputs alone cannot establish representability or equality for all natural numbers.

[Original problem 7.0.2](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L964-L972).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:29:32.517Z

## #5 [conjecture] Finite presheaf topoi

hora · 2026-03-30 · AI: assisted (Codex, Claude)

## Question

For a small category \(\mathcal C\), when is the category
\[
\mathbf{fPSh}(\mathcal C)=[\mathcal C^{\mathrm{op}},\mathbf{FinSet}]
\]
of pointwise finite-valued presheaves an elementary topos, or locally cartesian closed?

The motivation is enumerative combinatorics and Burnside riegs. This question was discussed with Jérémie Marquès.

## Known sufficient condition

Finite limits are computed pointwise. If every slice \(\mathcal C/c\) is essentially finite, then the usual presheaf subobject classifier and exponentials are finite-valued, so \(\mathbf{fPSh}(\mathcal C)\) is an elementary topos. This includes finite categories and groups regarded as one-object categories.

Here are the two relevant ambient formulas. The value \(\Omega(c)\) is the set of sieves on \(c\), so the ambient classifier is finite-valued exactly when there are finitely many sieves on each object. For finite-valued \(F,G\),
\[
(G^F)(c)=\operatorname{Nat}(y(c)\times F,G),
\]
so the ambient exponential is finite-valued exactly when these sets are finite for every \(c\).

These criteria describe when the ambient constructions stay in the finite-valued subcategory. They are not, without an additional argument, a necessary-and-sufficient classification of when that subcategory has its own classifier and exponentials.

## Remaining question and next step

Find a general criterion beyond essentially finite slices. For a proposed criterion, distinguish closure under the ambient presheaf constructions from existence of the required universal objects inside the finite-valued category.

[Note 8](https://sumire.aiformath.jp/p/2609.00007/n/8) records the right Kan extension approach. Its first missing ingredient is the precise adjunction or comonad that would implement the reduction.

## Source

[Original problem 6.0.1](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L941-L951).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:29:33.421Z

## #6 [conjecture] Higgs Prime conjecture

hora · 2026-03-30 · AI: assisted (Codex)

The earlier problem list records the name “Higgs Prime conjecture” but does not state the conjecture. No precise claim or proof is specified here.

The next step is to recover the intended statement and its connection to riegs from the original source before using this item as a research problem or a result.

Sources: [original problem 7.0.4](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L986-L994); [Higgs prime](https://en.wikipedia.org/wiki/Higgs_prime). The latter identifies the terminology, not the missing conjecture.

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-18T12:39:38.812Z

## #7 [idea] Rieg theory: the research programme

hora · 2026-07-14 · AI: assisted (Codex, Claude)

The aim is to develop the theory of semirings with exponentiation across four subjects: logic, finite and profinite arithmetic, enumerative combinatorics, and category theory.

The central object is a rieg: a commutative semiring with an exponentiation operation satisfying the exponent laws, with the convention \(0^0=1\).

The concrete questions in this project are:

- [Rational subrieg of the nonnegative reals](https://sumire.aiformath.jp/p/2609.00007/n/1): determine the relations introduced by exponentiation.
- [Free rieg elements as games](https://sumire.aiformath.jp/p/2609.00007/n/3): find a game interpretation compatible with the rieg operations and evaluation at zero.
- [Unary functions represented by terms](https://sumire.aiformath.jp/p/2609.00007/n/4): characterize the functions on natural numbers obtained from a free rieg.
- [Connected compact Hausdorff riegs](https://sumire.aiformath.jp/p/2609.00007/n/2): answered positively by the unit interval with \(\max\), \(\min\) and \(x^y=\max(x,1-y)\); by the [compact no-go theorem](https://sumire.aiformath.jp/p/2609.00007/n/9) every example has noncancellative addition.
- [Finite-valued presheaf categories](https://sumire.aiformath.jp/p/2609.00007/n/5): identify when categorical counting has the topos structure motivating Burnside riegs.

The target is a single mathematical account that states the definitions and examples precisely and separates established results from these remaining questions. The proposed title is *Notes on Rieg theory: semiring with exponentials in logic, profinite arithmetic, enumerative combinatorics, and category theory*.

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:29:34.425Z

## #8 [conjecture] A right Kan extension approach to finite presheaves

hora · 2026-08-16 · AI: assisted (Codex, Claude)

## Aim

Find a criterion for \([\mathcal C^{\mathrm{op}},\mathbf{FinSet}]\) to be an elementary topos or locally cartesian closed, as asked in [Finite presheaf topoi](https://sumire.aiformath.jp/p/2609.00007/n/5).

## Proposed approach

Use a left-exact comonad to reduce the question to existence of suitable right Kan extensions. The motivating idea is to understand which indexing categories have limits for every finite-set-valued diagram, then impose corresponding conditions on comma categories.

This is an approach to formulate, not an established reduction. A particular comonad and adjunction have not yet been specified. In particular, no right adjoint to the inclusion of finite-valued presheaves into all presheaves is assumed here.

## Next step

Specify the categories, functors, and adjunction involved. Write the proposed right Kan extension pointwise as a limit, then prove both its finiteness and the implication for exponentials or the subobject classifier. Compare the resulting condition with the existing sufficient condition that every slice \(\mathcal C/c\) is essentially finite.

The underlying finite-presheaf question was discussed with Jérémie Marquès.

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:31:08.017Z

## #9 [proof] Compact riegs with cancellative addition are trivial

hora · 2026-08-27 · AI: assisted (ChatGPT, Codex, Claude)

## Theorem

Let \(R\) be a compact Hausdorff topological rieg. If its additive commutative monoid is cancellative, then \(R\) has one element. Connectedness is not required.

## Lemma

Every compact Hausdorff commutative cancellative topological monoid \((S,+,0)\) is a group.

**Proof.** First, every nonempty compact Hausdorff commutative topological semigroup has an idempotent. By compactness and Zorn's lemma, choose a minimal nonempty closed subsemigroup \(K\). For \(a\in K\), the set \(a+K\) is a nonempty closed subsemigroup (using commutativity), hence equals \(K\). Thus
\[
E=\{x\in K:a+x=a\}
\]
is a nonempty closed subsemigroup and equals \(K\). In particular, \(a+a=a\).

For \(s\in S\), the closure of \(\{ns:n\geq1\}\) is a compact commutative subsemigroup and contains an idempotent \(e\). Cancellativity applied to \(e+e=e+0\) gives \(e=0\). Choose a net \(n_i s\to0\). A subnet of \((n_i-1)s\) converges to some \(t\), and continuity gives \(s+t=0\). Every element therefore has an additive inverse. \(\square\)

## Proof of the theorem

The lemma gives an additive inverse \(-1\) of \(1\), and a rieg containing an additive inverse of \(1\) is degenerate ([Notes on Rieg Theory](https://sumire.aiformath.jp/p/2609.00007?view=main), Claim 2.3.1: \(1=0^0=0^{1+(-1)}=0^1\,0^{-1}=0\)). \(\square\)

## What remains

This settles the cancellative case of [the connected compact Hausdorff problem](https://sumire.aiformath.jp/p/2609.00007/n/2). The noncancellative case has a positive answer: the unit interval with \(\max\), \(\min\) and \(x^y=\max(x,1-y)\) is a nontrivial connected compact Hausdorff rieg ([[2609.00007/2]]).

Classification: unclassified (unclassified)
Human review: unreviewed
Verification: unverified
Formalization: unknown
Inspiration: unknown
Source record date: unknown
Date evidence: unknown
SUMIRE registration: unknown
SUMIRE update: 2026-10-30T14:31:08.891Z