Dimension comparison and H-regular surfaces in Heisenberg groups

In this thesis we study a specific Carnot group which is the $n$-th Heisenberg group $\mathbb{H}^n = (\mathbb{R}^{2n+1}, \ast)$. Carnot groups are simply connected nilpotent Lie groups whose Lie algebra admits a stratification. The Heisenberg group $\mathbb{H}^n$ is one of the easiest examples of n...

Full description

Bibliographic Details
Main Author: Arvila, Miro
Other Authors: Faculty of Sciences, Matemaattis-luonnontieteellinen tiedekunta, Department of Mathematics and Statistics, Matematiikan ja tilastotieteen laitos, University of Jyväskylä, Jyväskylän yliopisto
Format: Master's thesis
Language:eng
Published: 2024
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/92999
_version_ 1826225742392852480
author Arvila, Miro
author2 Faculty of Sciences Matemaattis-luonnontieteellinen tiedekunta Department of Mathematics and Statistics Matematiikan ja tilastotieteen laitos University of Jyväskylä Jyväskylän yliopisto
author_facet Arvila, Miro Faculty of Sciences Matemaattis-luonnontieteellinen tiedekunta Department of Mathematics and Statistics Matematiikan ja tilastotieteen laitos University of Jyväskylä Jyväskylän yliopisto Arvila, Miro Faculty of Sciences Matemaattis-luonnontieteellinen tiedekunta Department of Mathematics and Statistics Matematiikan ja tilastotieteen laitos University of Jyväskylä Jyväskylän yliopisto
author_sort Arvila, Miro
datasource_str_mv jyx
description In this thesis we study a specific Carnot group which is the $n$-th Heisenberg group $\mathbb{H}^n = (\mathbb{R}^{2n+1}, \ast)$. Carnot groups are simply connected nilpotent Lie groups whose Lie algebra admits a stratification. The Heisenberg group $\mathbb{H}^n$ is one of the easiest examples of non-commutative Carnot groups. In the first part of the thesis we recall some preliminaries about measure theory and Heisenberg groups which we need. We also prove some useful inequalities which are needed to prove the main theorem. The main result of the thesis is that in any Heisenberg group $\mathbb{H}^n$ there exists a $\mathbb{H}$-regular hypersurface which has a Euclidean Hausdorff dimension of $2n + \frac{1}{2}$. This generalizes a construction in [KSC04] from $n = 1$ to $n > 1$. To prove the main result we need a dimension comparison theorem in general Heisenberg groups. We will prove such a dimension comparison theorem in the thesis combining ideas from the proofs in [BRSCO03](for $\mathbb{H}^1$) and [BTW09](for Carnot groups). Dimension comparison theorem gives us information about the absolute continuity of the Hausdorff measure when comparing the measure in Euclidean and Heisenberg point of view. As a corollary we obtain Hausdorff dimension comparison which gives us lower and upper bounds for the Heisenberg Hausdorff dimension of a set $A \subset \mathbb{H}^n$. More precisely the results are about comparing Hausdorff measures and dimension when computed in the Euclidean and the Heisenberg distance, respectively.
first_indexed 2024-01-24T21:08:01Z
format Pro gradu
free_online_boolean 1
fullrecord [{"key": "dc.contributor.advisor", "value": "F\u00e4ssler, Katrin", "language": null, "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.author", "value": "Arvila, Miro", "language": null, "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2024-01-24T06:57:23Z", "language": null, "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2024-01-24T06:57:23Z", "language": null, "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2024", "language": null, "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/92999", "language": null, "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "In this thesis we study a specific Carnot group which is the $n$-th Heisenberg group $\\mathbb{H}^n = (\\mathbb{R}^{2n+1}, \\ast)$. Carnot groups are simply connected nilpotent Lie groups whose Lie algebra admits a stratification. The Heisenberg group $\\mathbb{H}^n$ is one of the easiest examples of non-commutative Carnot groups.\n\nIn the first part of the thesis we recall some preliminaries about measure theory and Heisenberg groups which we need. We also prove some useful inequalities which are needed to prove the main theorem.\n\nThe main result of the thesis is that in any Heisenberg group $\\mathbb{H}^n$ there exists a $\\mathbb{H}$-regular hypersurface which has a Euclidean Hausdorff dimension of $2n + \\frac{1}{2}$. This generalizes a construction in [KSC04] from $n = 1$ to $n > 1$. To prove the main result we need a dimension comparison theorem in general Heisenberg groups. We will prove such a dimension comparison theorem in the thesis combining ideas from the proofs in [BRSCO03](for $\\mathbb{H}^1$) and [BTW09](for Carnot groups). \n\nDimension comparison theorem gives us information about the absolute continuity of the Hausdorff measure when comparing the measure in Euclidean and Heisenberg point of view. As a corollary we obtain Hausdorff dimension comparison which gives us lower and upper bounds for the Heisenberg Hausdorff dimension of a set $A \\subset \\mathbb{H}^n$. More precisely the results are about comparing Hausdorff measures and dimension when computed in the Euclidean and the Heisenberg distance, respectively.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by Paivi Vuorio (paelvuor@jyu.fi) on 2024-01-24T06:57:23Z\nNo. of bitstreams: 0", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2024-01-24T06:57:23Z (GMT). No. of bitstreams: 0\n Previous issue date: 2024", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "42", "language": "", "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.format.mimetype", "value": "application/pdf", "language": null, "element": "format", "qualifier": "mimetype", "schema": "dc"}, {"key": "dc.language.iso", "value": "eng", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.title", "value": "Dimension comparison and H-regular surfaces in Heisenberg groups", "language": null, "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "master thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-202401241489", "language": null, "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Master\u2019s thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Pro gradu -tutkielma", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Sciences", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Matemaattis-luonnontieteellinen tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Department of Mathematics and Statistics", "language": "en", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Matematiikan ja tilastotieteen laitos", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Mathematics", "language": "en", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Matematiikka", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "yvv.contractresearch.funding", "value": "0", "language": "", "element": "contractresearch", "qualifier": "funding", "schema": "yvv"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_bdcc", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.copyright", "value": "\u00a9 The Author(s)", "language": null, "element": "rights", "qualifier": "copyright", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": null, "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "masterThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.subject.oppiainekoodi", "value": "4041", "language": null, "element": "subject", "qualifier": "oppiainekoodi", "schema": "dc"}, {"key": "dc.subject.yso", "value": "mittateoria", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "geometria", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "euklidinen geometria", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "measure theory", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "geometry", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "Euclidean geometry", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.format.content", "value": "fulltext", "language": null, "element": "format", "qualifier": "content", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}]
id jyx.123456789_92999
language eng
last_indexed 2025-02-18T10:54:57Z
main_date 2024-01-01T00:00:00Z
main_date_str 2024
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/e03370f7-91d1-4f18-a66d-aa3f27db79e2\/download","text":"URN:NBN:fi:jyu-202401241489.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2024
record_format qdc
source_str_mv jyx
spellingShingle Arvila, Miro Dimension comparison and H-regular surfaces in Heisenberg groups Mathematics Matematiikka 4041 mittateoria geometria euklidinen geometria measure theory geometry Euclidean geometry
title Dimension comparison and H-regular surfaces in Heisenberg groups
title_full Dimension comparison and H-regular surfaces in Heisenberg groups
title_fullStr Dimension comparison and H-regular surfaces in Heisenberg groups Dimension comparison and H-regular surfaces in Heisenberg groups
title_full_unstemmed Dimension comparison and H-regular surfaces in Heisenberg groups Dimension comparison and H-regular surfaces in Heisenberg groups
title_short Dimension comparison and H-regular surfaces in Heisenberg groups
title_sort dimension comparison and h regular surfaces in heisenberg groups
title_txtP Dimension comparison and H-regular surfaces in Heisenberg groups
topic Mathematics Matematiikka 4041 mittateoria geometria euklidinen geometria measure theory geometry Euclidean geometry
topic_facet 4041 Euclidean geometry Matematiikka Mathematics euklidinen geometria geometria geometry measure theory mittateoria
url https://jyx.jyu.fi/handle/123456789/92999 http://www.urn.fi/URN:NBN:fi:jyu-202401241489
work_keys_str_mv AT arvilamiro dimensioncomparisonandhregularsurfacesinheisenberggroups