The Hausdorff dimension of self-projective sets

Argyris Christodoulou; Natalia Jurga

doi:10.1090/tran/9576

The Hausdorff dimension of self-projective sets

Argyris Christodoulou^*, Natalia Jurga

^*Corresponding author for this work

Pure Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

Given a finite set 𝒜 ⊆ SL(2, ℝ) we study the dimension of the attractor K_𝒜 of the iterated function system induced by the projective action of 𝒜. In particular, we generalise a recent result of Solomyak and Takahashi by showing that the Hausdorff dimension of K_𝒜 is given by the minimum of 1 and the critical exponent, under the assumption that A satisfies certain discreteness conditions and a Diophantine property. Our approach combines techniques from the theories of iterated function systems and M¨obius semigroups, and allows us to discuss the continuity of the Hausdorff dimension, as well as the dimension of the support of the Furstenberg measure.

Original language	English
Number of pages	32
Journal	Transactions of the American Mathematical Society
Volume	Ahead of Print
Early online date	16 Oct 2025
DOIs	https://doi.org/10.1090/tran/9576
Publication status	E-pub ahead of print - 16 Oct 2025

Keywords

Projective space
Iterated function system
Hausdorff dimension
Semigroups
Mobius transformations

Access to Document

10.1090/tran/9576

Fourier analytic techniques: Fourier analytic techniques in geometry and analysis
Fraser, J. (PI) & Falconer, K. (CoI)
EPSRC
1/02/18 → 11/06/21
Project: Standard

Cite this

@article{9326e3984cb54af79145e458e88a73ce,

title = "The Hausdorff dimension of self-projective sets",

abstract = "Given a finite set 𝒜 ⊆ SL(2, ℝ) we study the dimension of the attractor K𝒜 of the iterated function system induced by the projective action of 𝒜. In particular, we generalise a recent result of Solomyak and Takahashi by showing that the Hausdorff dimension of K𝒜 is given by the minimum of 1 and the critical exponent, under the assumption that A satisfies certain discreteness conditions and a Diophantine property. Our approach combines techniques from the theories of iterated function systems and M¨obius semigroups, and allows us to discuss the continuity of the Hausdorff dimension, as well as the dimension of the support of the Furstenberg measure.",

keywords = "Projective space, Iterated function system, Hausdorff dimension, Semigroups, Mobius transformations",

author = "Argyris Christodoulou and Natalia Jurga",

note = "Funding: Both authors were financially supported by the Leverhulme Trust (Research Project Grant number RPG-2016-194). The second author was also financially supported by the EPSRC (Standard Grant EP/R015104/1).",

year = "2025",

month = oct,

day = "16",

doi = "10.1090/tran/9576",

language = "English",

volume = "Ahead of Print",

journal = "Transactions of the American Mathematical Society",

issn = "0002-9947",

publisher = "American Mathematical Society",

}

TY - JOUR

T1 - The Hausdorff dimension of self-projective sets

AU - Christodoulou, Argyris

AU - Jurga, Natalia

N1 - Funding: Both authors were financially supported by the Leverhulme Trust (Research Project Grant number RPG-2016-194). The second author was also financially supported by the EPSRC (Standard Grant EP/R015104/1).

PY - 2025/10/16

Y1 - 2025/10/16

N2 - Given a finite set 𝒜 ⊆ SL(2, ℝ) we study the dimension of the attractor K𝒜 of the iterated function system induced by the projective action of 𝒜. In particular, we generalise a recent result of Solomyak and Takahashi by showing that the Hausdorff dimension of K𝒜 is given by the minimum of 1 and the critical exponent, under the assumption that A satisfies certain discreteness conditions and a Diophantine property. Our approach combines techniques from the theories of iterated function systems and M¨obius semigroups, and allows us to discuss the continuity of the Hausdorff dimension, as well as the dimension of the support of the Furstenberg measure.

AB - Given a finite set 𝒜 ⊆ SL(2, ℝ) we study the dimension of the attractor K𝒜 of the iterated function system induced by the projective action of 𝒜. In particular, we generalise a recent result of Solomyak and Takahashi by showing that the Hausdorff dimension of K𝒜 is given by the minimum of 1 and the critical exponent, under the assumption that A satisfies certain discreteness conditions and a Diophantine property. Our approach combines techniques from the theories of iterated function systems and M¨obius semigroups, and allows us to discuss the continuity of the Hausdorff dimension, as well as the dimension of the support of the Furstenberg measure.

KW - Projective space

KW - Iterated function system

KW - Hausdorff dimension

KW - Semigroups

KW - Mobius transformations

U2 - 10.1090/tran/9576

DO - 10.1090/tran/9576

M3 - Article

SN - 0002-9947

VL - Ahead of Print

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

ER -

The Hausdorff dimension of self-projective sets

Abstract

Keywords

Access to Document

Fingerprint

Projects

Fourier analytic techniques: Fourier analytic techniques in geometry and analysis

Cite this