A characterization of virtually free actions via arc spaces and its application to the lower semi-continuity conjecture

Kohsuke Shibata; Yusuke Nakamura

arxiv: 2606.24592 · v1 · pith:SPJ552IRnew · submitted 2026-06-23 · 🧮 math.AG

A characterization of virtually free actions via arc spaces and its application to the lower semi-continuity conjecture

Yusuke Nakamura , Kohsuke Shibata This is my paper

Pith reviewed 2026-06-25 22:35 UTC · model grok-4.3

classification 🧮 math.AG

keywords hyperquotient singularitiesvirtually free actionsarc spacesprecise inversion of adjunctionlower semi-continuity conjecturequotient varietiesalgebraic geometry

0 comments

The pith

A characterization of virtually free actions via arc spaces proves the lower semi-continuity conjecture for arbitrary hyperquotient singularities.

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

The paper introduces a localized notion of virtually free actions on quotient varieties and characterizes this property using the arc spaces of the quotients. This yields a necessary and sufficient condition under which the precise inversion of adjunction conjecture holds for hyperquotient singularities that need not be klt. The same condition is applied to show that the lower semi-continuity conjecture holds unconditionally for all such singularities, thereby explaining the known counterexample to the first conjecture.

Core claim

We introduce a localized notion of virtually free actions and characterize it via the arc spaces of quotient varieties. Utilizing this characterization, we establish a necessary and sufficient condition for the PIA conjecture to hold for arbitrary hyperquotient singularities, thereby clarifying the mechanism of the counterexample. Furthermore, as an application of this insight, we unconditionally establish the LSC conjecture for arbitrary hyperquotient singularities.

What carries the argument

The arc-space characterization of localized virtually free actions on quotient varieties, which distinguishes the cases where the precise inversion of adjunction holds.

Load-bearing premise

The localized notion of virtually free actions is well-defined and its arc-space characterization applies to the hyperquotient singularities under consideration.

What would settle it

An explicit hyperquotient singularity whose quotient arc space violates the virtually free condition yet the lower semi-continuity still fails, or whose arc space satisfies the condition yet LSC fails.

read the original abstract

In this paper, we study the precise inversion of adjunction (PIA) conjecture and the lower semi-continuity (LSC) conjecture for hyperquotient singularities. Previously known results for these conjectures in this setting required the singularity to be klt, and without this assumption, a counterexample to the PIA conjecture is known to exist. To resolve this obstacle, we introduce a localized notion of virtually free actions and characterize it via the arc spaces of quotient varieties. Utilizing this characterization, we establish a necessary and sufficient condition for the PIA conjecture to hold for arbitrary hyperquotient singularities, thereby clarifying the mechanism of the counterexample. Furthermore, as an application of this insight, we unconditionally establish the LSC conjecture for arbitrary hyperquotient singularities.

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 defines a localized virtually free action, characterizes it via arc spaces, and uses that to prove LSC unconditionally for all hyperquotient singularities.

read the letter

The core advance is the localized notion of virtually free actions together with its arc-space characterization. This lets the authors give a necessary and sufficient condition for the PIA conjecture on arbitrary hyperquotient singularities and then deduce the LSC conjecture without any klt hypothesis. Earlier results stopped at the klt case, and a counterexample to PIA was already known outside that range, so removing the restriction is the concrete payoff.

The arc-space tool appears to be the right device for making the localization precise and for isolating exactly where PIA fails. The abstract presents the logic as: introduce the notion, prove the characterization in this setting, extract the PIA criterion, then apply the same insight to LSC. That structure is straightforward and avoids the circularity that sometimes appears when new invariants are introduced.

The main soft spot is that the new notion is custom-built for hyperquotients, so its range beyond this class is not yet clear. The paper will also need to verify that the characterization applies cleanly to the non-klt examples without extra technical conditions creeping in. Those are normal points to check in a full manuscript rather than fatal gaps.

This is for people working on birational geometry and singularity theory who care about arc spaces or adjunction-type conjectures. It deserves a serious referee because it settles an open case of LSC that had been blocked by the klt restriction.

Referee Report

0 major / 1 minor

Summary. The paper introduces a localized notion of virtually free actions and provides an arc-space characterization of this notion for quotient varieties. Utilizing the characterization, it establishes a necessary and sufficient condition for the precise inversion of adjunction (PIA) conjecture to hold for arbitrary hyperquotient singularities (clarifying the mechanism behind a known counterexample) and proves the lower semi-continuity (LSC) conjecture unconditionally for arbitrary hyperquotient singularities.

Significance. If the results hold, the work resolves the LSC conjecture for hyperquotient singularities without requiring the klt assumption (extending prior results) and clarifies the PIA conjecture by isolating the precise obstruction. The arc-space characterization of the new localized notion is a technical contribution that may find broader use in birational geometry and singularity theory. The manuscript provides a self-contained characterization applied directly to resolve the stated conjectures.

minor comments (1)

[Abstract] The abstract is dense; separating the definition of the localized notion from the applications to PIA and LSC would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, accurate summary of our results, and positive recommendation to accept. The referee's assessment correctly identifies the key contributions: the localized notion of virtually free actions, its arc-space characterization, the necessary and sufficient condition for PIA on arbitrary hyperquotient singularities, and the unconditional proof of LSC in this setting.

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reductions

full rationale

The paper defines a localized notion of virtually free actions, proves an arc-space characterization for it, and applies the result to obtain a necessary and sufficient condition for the PIA conjecture on hyperquotient singularities before deducing the LSC conjecture. No load-bearing step reduces by construction to a fitted input, a self-citation chain, or a prior definition of the target claim; the new notion and its characterization are presented as independent tools that clarify an existing counterexample without presupposing the final statements. The structure is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Review performed on abstract alone; no explicit free parameters, axioms, or invented entities can be extracted beyond the new definition mentioned.

invented entities (1)

localized notion of virtually free actions no independent evidence
purpose: Extend PIA and LSC results beyond klt singularities
New definition introduced to handle the non-klt case; no independent evidence supplied in abstract.

pith-pipeline@v0.9.1-grok · 5662 in / 1020 out tokens · 24849 ms · 2026-06-25T22:35:08.086620+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 1 canonical work pages · 1 internal anchor

[1]

211 (1992) (1992)

Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt Lake City, Utah, August 1991; Ast´ erisque No. 211 (1992) (1992). [Amb99] F. Ambro,On minimal log discrepancies, Math. Res. Lett.6(1999), no. 5-6, 573–580. [CLNS18] A. Chambert-Loir, J. Nicaise, and J. Sebag,Motivic integration, Progress in Mathemat- ics, vol....

1991
[2]

Denef and F

[DL02] J. Denef and F. Loeser,Motivic integration, quotient singularities and the McKay corre- spondence, Compositio Math.131(2002), no. 3, 267–290. [EM04] L. Ein and M. Mustat ¸ˇ a,Inversion of adjunction for local complete intersection varieties, Amer. J. Math.126(2004), no. 6, 1355–1365. [EM09] L. Ein and M. Mustat ¸˘ a,Jet schemes and singularities, A...

2002
[3]

Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 505–546. [EMY03] L. Ein, M. Mustat ¸˘ a, and T. Yasuda,Jet schemes, log discrepancies and inversion of adjunction, Invent. Math.153(2003), no. 3, 519–535. [GHS03] T. Graber, J. Harris, and J. Starr,Families of rationally connected varieties, J. Amer. Math. Soc.16(2003),...

2009
[4]

A counterexample to the PIA conjecture for minimal log discrepancies

[Nak16] Y. Nakamura,On semi-continuity problems for minimal log discrepancies, J. Reine Angew. Math.711(2016), 167–187. [NS22] Y. Nakamura and K. Shibata,Inversion of adjunction for quotient singularities, Algebr. Geom.9(2022), no. 2, 214–251. [NS25] ,Inversion of adjunction for quotient singularities II: non-linear actions, Algebr. Geom.12(2025), no. 4, ...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0129167x0300196x 2016

[1] [1]

211 (1992) (1992)

Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt Lake City, Utah, August 1991; Ast´ erisque No. 211 (1992) (1992). [Amb99] F. Ambro,On minimal log discrepancies, Math. Res. Lett.6(1999), no. 5-6, 573–580. [CLNS18] A. Chambert-Loir, J. Nicaise, and J. Sebag,Motivic integration, Progress in Mathemat- ics, vol....

1991

[2] [2]

Denef and F

[DL02] J. Denef and F. Loeser,Motivic integration, quotient singularities and the McKay corre- spondence, Compositio Math.131(2002), no. 3, 267–290. [EM04] L. Ein and M. Mustat ¸ˇ a,Inversion of adjunction for local complete intersection varieties, Amer. J. Math.126(2004), no. 6, 1355–1365. [EM09] L. Ein and M. Mustat ¸˘ a,Jet schemes and singularities, A...

2002

[3] [3]

Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 505–546. [EMY03] L. Ein, M. Mustat ¸˘ a, and T. Yasuda,Jet schemes, log discrepancies and inversion of adjunction, Invent. Math.153(2003), no. 3, 519–535. [GHS03] T. Graber, J. Harris, and J. Starr,Families of rationally connected varieties, J. Amer. Math. Soc.16(2003),...

2009

[4] [4]

A counterexample to the PIA conjecture for minimal log discrepancies

[Nak16] Y. Nakamura,On semi-continuity problems for minimal log discrepancies, J. Reine Angew. Math.711(2016), 167–187. [NS22] Y. Nakamura and K. Shibata,Inversion of adjunction for quotient singularities, Algebr. Geom.9(2022), no. 2, 214–251. [NS25] ,Inversion of adjunction for quotient singularities II: non-linear actions, Algebr. Geom.12(2025), no. 4, ...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0129167x0300196x 2016