Research

Paper

TESTING February 20, 2026

An algebraic theory of Lojasiewicz exponents

Authors

Tai Huy Ha

Abstract

We develop a unified algebraic and valuative theory of Lojasiewicz exponents for pairs of graded families and filtrations of ideals. Within this framework, local Lojasiewicz exponents, gradient exponents, and exponents at infinity are all realized as asymptotic containment thresholds between filtrations, governed by integral closure. This reformulation shows that Lojasiewicz exponents are fundamentally valuative optimization problems. The central structural contribution of the paper is a finite-max principle. Under verifiable algebraic hypotheses, the a priori infinite valuative supremum bounding the Lojasiewicz exponent reduces to a finite maximum, and computes the Lojasiewicz exponent precisely. We identify two complementary mechanisms leading to this phenomenon: finite testing arising from normalized blowups and Noetherian Rees algebras, and attainment via compactness of normalized valuation spaces under linear boundedness assumptions. This finite-max framework yields strong structural consequences. We prove rigidity results showing that common extremal valuations force equality of Lojasiewicz ratios, and we establish stratification and stability phenomena for Lojasiewicz exponents in families, including fractional linearity and wall-chamber behavior along natural one-parameter deformations. The theory recovers and explains classical results in toric and Newton-polyhedral settings, particularly, for Newton nondegenete case, where the Lojasiewicz exponent is computed by finitely many toric divisorial valuations corresponding to facet data. Finally, we illustrate why the hypotheses underlying the finite-max principle are essential, delineating the precise scope of the theory.

Metadata

arXiv ID: 2602.18410
Provider: ARXIV
Primary Category: math.AC
Published: 2026-02-20
Fetched: 2026-02-23 05:33

Related papers

Raw Data (Debug)
{
  "raw_xml": "<entry>\n    <id>http://arxiv.org/abs/2602.18410v1</id>\n    <title>An algebraic theory of Lojasiewicz exponents</title>\n    <updated>2026-02-20T18:20:37Z</updated>\n    <link href='https://arxiv.org/abs/2602.18410v1' rel='alternate' type='text/html'/>\n    <link href='https://arxiv.org/pdf/2602.18410v1' rel='related' title='pdf' type='application/pdf'/>\n    <summary>We develop a unified algebraic and valuative theory of Lojasiewicz exponents for pairs of graded families and filtrations of ideals. Within this framework, local Lojasiewicz exponents, gradient exponents, and exponents at infinity are all realized as asymptotic containment thresholds between filtrations, governed by integral closure. This reformulation shows that Lojasiewicz exponents are fundamentally valuative optimization problems.\n  The central structural contribution of the paper is a finite-max principle. Under verifiable algebraic hypotheses, the a priori infinite valuative supremum bounding the Lojasiewicz exponent reduces to a finite maximum, and computes the Lojasiewicz exponent precisely. We identify two complementary mechanisms leading to this phenomenon: finite testing arising from normalized blowups and Noetherian Rees algebras, and attainment via compactness of normalized valuation spaces under linear boundedness assumptions.\n  This finite-max framework yields strong structural consequences. We prove rigidity results showing that common extremal valuations force equality of Lojasiewicz ratios, and we establish stratification and stability phenomena for Lojasiewicz exponents in families, including fractional linearity and wall-chamber behavior along natural one-parameter deformations.\n  The theory recovers and explains classical results in toric and Newton-polyhedral settings, particularly, for Newton nondegenete case, where the Lojasiewicz exponent is computed by finitely many toric divisorial valuations corresponding to facet data.\n  Finally, we illustrate why the hypotheses underlying the finite-max principle are essential, delineating the precise scope of the theory.</summary>\n    <category scheme='http://arxiv.org/schemas/atom' term='math.AC'/>\n    <category scheme='http://arxiv.org/schemas/atom' term='math.AG'/>\n    <category scheme='http://arxiv.org/schemas/atom' term='math.CV'/>\n    <published>2026-02-20T18:20:37Z</published>\n    <arxiv:comment>68 pages; comments are welcome</arxiv:comment>\n    <arxiv:primary_category term='math.AC'/>\n    <author>\n      <name>Tai Huy Ha</name>\n    </author>\n  </entry>"
}