Finiteness of the fixed point sets of automorphisms

Bharathi Thiruvengadam, Jaikrishnan Janardhanan

Pith reviewed 2026-05-10 16:52 UTC · model grok-4.3

classification 🧮 math.CV

keywords automorphismsfixed point setsbounded domainsseveral complex variablesdiscretenessfinitenesscompact subgroups

0 comments

The pith

Under natural extension hypotheses, discrete fixed point sets of automorphisms on bounded domains in C^n must be finite.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the fixed point sets of automorphisms of bounded domains in several complex variables. In one variable a nontrivial automorphism has at most two fixed points, but in higher dimensions these sets can form continua rather than isolated points. The authors establish that whenever the fixed point set is discrete and the automorphism satisfies the natural extension hypotheses, the set is necessarily finite. They further prove a uniform upper bound on the number of fixed points for all elements of any compact subgroup whose automorphisms admit the same extensions. This supplies a concrete control on the size of fixed point sets precisely in the setting where infinite discrete collections would otherwise appear possible.

Core claim

We show, under natural extension hypotheses, that discreteness forces finiteness of the fixed point sets of automorphisms of bounded domains in C^n. We also obtain a uniform bound for the number of fixed points of automorphisms in compact subgroups whose elements admit such extensions.

What carries the argument

Natural extension hypotheses on the automorphisms, under which discreteness of the fixed point set implies the set is finite.

Load-bearing premise

The automorphisms must satisfy the natural extension hypotheses.

What would settle it

An explicit bounded domain in C^n together with an automorphism satisfying the natural extension hypotheses whose fixed point set is discrete yet infinite would falsify the finiteness claim.

read the original abstract

We investigate the size of fixed point sets of automorphisms of bounded domains in $\mathbb{C}^n$. In one complex variable, a nontrivial automorphism has at most two fixed points, but in higher dimensions fixed point sets need not be discrete. We show, under natural extension hypotheses, that discreteness forces finiteness. We also obtain a uniform bound for the number of fixed points of automorphisms in compact subgroups whose elements admit such extensions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows that under extension hypotheses, discreteness of fixed-point sets forces finiteness for automorphisms of bounded domains in C^n, plus a uniform bound for compact subgroups.

read the letter

The core result is a conditional lift of the one-variable fact that nontrivial automorphisms have at most two fixed points. In higher dimensions the fixed set need not be discrete, but the authors prove that if the automorphisms satisfy natural extension hypotheses then discreteness implies the set is finite. They also get a uniform bound on the number of fixed points for elements of compact subgroups whose members admit the extensions. That specific combination looks new and is not just a restatement of the classical case. The argument appears to rest on standard compactness and analytic-set ideas once the extension makes the set closed in a larger domain, which is straightforward once the hypotheses are in place. The uniform bound follows immediately as a corollary, so that part is clean. The paper states the hypotheses explicitly and avoids overclaiming generality. The main limitation is that everything depends on those extension hypotheses. If they fail for most domains or groups that people actually care about, the result stays narrow in practice. The abstract gives no concrete examples where the hypotheses hold, so it is hard to judge breadth without the full text. No circularity or fitting issues show up. The work is aimed at specialists in several complex variables who work on automorphism groups of bounded domains. A reader already thinking about fixed-point questions or holomorphic group actions would pick up a usable tool. It is a short, focused note rather than a broad reorganization of the field. I would send it to peer review. The statement is precise, the extension to higher dimensions fills a small gap, and the referee can check the hypotheses and examples in detail.

Referee Report

0 major / 0 minor

Summary. The manuscript investigates the size of fixed point sets of automorphisms of bounded domains in C^n. In one variable, nontrivial automorphisms have at most two fixed points, but in higher dimensions the fixed sets need not be discrete. The paper shows that under natural extension hypotheses, discreteness of the fixed point set forces it to be finite. It also derives a uniform bound on the number of fixed points for automorphisms belonging to compact subgroups in which every element admits such an extension.

Significance. If the derivation holds, the result supplies a useful finiteness criterion that bridges the classical one-variable bound to several complex variables once an extension renders the fixed set compact in a larger domain. The uniform bound for compact subgroups is a direct and natural strengthening. The approach relies on standard complex-analytic techniques for analytic sets, and the conditional nature of the claim is clearly flagged.

Simulated Author's Rebuttal

0 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report on our manuscript 'Finiteness of the fixed point sets of automorphisms'. We appreciate the referee's summary, which correctly identifies the key contributions: showing that under natural extension hypotheses, a discrete fixed point set for an automorphism of a bounded domain in C^n must be finite, and deriving a uniform bound for the number of fixed points in compact subgroups where elements admit such extensions. The referee notes the usefulness of this finiteness criterion and the natural strengthening for compact groups. Since the report does not raise any specific major comments or questions about the proof or results, we have no changes to make to the manuscript. We believe the conditional nature of the claims is clearly stated, as noted by the referee. We hope this clarifies any uncertainties and that the paper can be accepted for publication.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's main theorem states that, under natural extension hypotheses, discreteness of the fixed-point set of an automorphism of a bounded domain in C^n forces the set to be finite, with a uniform bound for compact subgroups. This is a standard application of complex-analytic tools (analytic sets, identity theorem, compactness after extension) and does not reduce any claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation. The hypotheses are explicitly external to the derivation; no equation or step equates the conclusion to the input by construction. The result is therefore self-contained against external benchmarks in several complex variables.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the 'natural extension hypotheses' are invoked but undefined in the given text.

pith-pipeline@v0.9.0 · 5362 in / 1000 out tokens · 32215 ms · 2026-05-10T16:52:04.893335+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references

[1]

Ann.366(2016), no

[LT16] Taishun Liu and Xiaomin Tang,Schwarz lemma at the boundary of strongly pseudoconvex domain inC𝑛, Math. Ann.366(2016), no. 1-2, 655–666. MR 3552252 [Mas68] BernardMaskit,Theconformalgroupofaplanedomain,Amer.J.Math.90(1968),718–722. [Mil68] JohnMilnor,Singularpointsofcomplexhypersurfaces,AnnalsofMathematicsStudies,vol. No. 61, Princeton University Pr...

2016
[2]

David Minda,Fixed points of analytic self-mappings of Riemann surfaces, Manuscripta Math.27(1979), no

MR 239612 [Min79] C. David Minda,Fixed points of analytic self-mappings of Riemann surfaces, Manuscripta Math.27(1979), no. 4, 391–399. [Nar95] Raghavan Narasimhan,Several complex variables, Chicago Lectures in Mathematics, Uni- versity of Chicago Press, Chicago, IL, 1995, Reprint of the 1971 original. [NZZ17] Jiafu Ning, Huiping Zhang, and Xiangyu Zhou,P...

1979
[3]

Theory Appl.49(2004), no

MR 4929658 [Ver04] Kaushal Verma,A note on uniform extendability of automorphisms, Complex Var. Theory Appl.49(2004), no. 3, 183–195. MR 2046395 [Vig85] Jean-PierreVigué,Pointsfixesd’applicationsholomorphesdansundomainebornéconvexe deC 𝑛, Transactions of the American Mathematical Society289(1985), no. 1, 345–353. [Vig86] Jean-Pierre Vigué,Sur les points f...

2004