[Paper Review] A generalization and a new proof of Plotkin's reduction theorem

Grigori Zhitomirski|ArXiv.org|Sep 1, 2003

Geometric and Algebraic Topology1 references3 citations

TL;DR

This paper generalizes Plotkin's reduction theorem to arbitrary categories with two special objects, providing a simpler proof by leveraging a faithful, representable functor and duality conditions on homomorphisms. The key contribution is a new, streamlined criterion for determining when an automorphism is inner, applicable to universal algebraic geometry and extending beyond the original theorem's constraints.

ABSTRACT

It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories containing two special objects and in this case its proof becomes considerable more simple. This new proof and applications are the subject of the present paper.

Motivation & Objective

• To generalize Plotkin's reduction theorem beyond its original setting in universal algebraic geometry to arbitrary categories.
• To simplify the proof of the reduction theorem by removing unnecessary hypotheses such as hopfian algebras and generating varieties.
• To establish a new, more general criterion for determining when an automorphism of a category is inner.
• To demonstrate that the original theorem's conditions are not required for the result to hold, by showing the core logic applies under broader categorical conditions.

Proposed method

• Introduce a category 𝒞 equipped with a faithful, representable functor Q: 𝒞 → Set represented by an object A₀.
• Assume the existence of a special object A⁰ such that any bijection between Q(A) and Q(B) lifting to homomorphisms via A⁰ implies an isomorphism A ≅ B.
• Define a natural transformation s_A = u_{φ(A)}⁻¹ ∘ φ_A ∘ u_A, linking automorphisms to set-theoretic bijections on Q(A).
• Use the functoriality of φ and the naturality of u to derive Q(φ(ν)) = s_B ∘ Q(ν) ∘ s_A⁻¹ for all morphisms ν: A → B.
• Show that under the given conditions, s_A = Q(σ_A) for some isomorphism σ_A: A → φ(A), leading to φ(ν) = σ_B ∘ ν ∘ σ_A⁻¹.
• Conclude that φ is inner because it acts as conjugation by natural isomorphisms σ_A, satisfying the definition of an inner automorphism.

Experimental results

Research questions

• RQ1 Can Plotkin’s reduction theorem be generalized beyond the category of free algebras in a variety of universal algebras?
• RQ2 What minimal categorical conditions ensure that an automorphism preserving objects and inducing identity on Hom(A₀, A⁰) is inner?
• RQ3 Is the assumption that all free algebras are hopfian necessary for the reduction theorem to hold?
• RQ4 Can the original proof be simplified by rephrasing the conditions in terms of representable functors and duality?
• RQ5 Does the inner automorphism property follow solely from behavior on two special objects and a representable forgetful functor?

Key findings

• The generalized reduction theorem holds in any category 𝒞 with a representable faithful functor Q and a special object A⁰ satisfying the duality condition on homomorphisms.
• The proof of the reduction theorem becomes significantly simpler by avoiding the need for hopfian or generating algebra assumptions.
• The original Plotkin theorem is recovered as a special case when 𝒞 = Θ⁰, the full subcategory of free algebras over finite subsets of an infinite set.
• The condition that every object is mapped to an isomorphic one (used in earlier proofs) is shown to be redundant under the new framework.
• The automorphism φ is inner if and only if it preserves objects A₀ and A⁰ and induces the identity on Hom(A₀, A⁰), under the stated categorical conditions.
• The new criterion provides a necessary and sufficient condition for inner automorphisms in categories satisfying the generalized hypotheses.