Source author record

Katrin Fässler

Katrin Fässler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

On low-dimensional uniform rectifiability in Heisenberg groups

Refining an earlier result due to Hahlomaa, we provide a new Carleson-type condition for $k$-regular sets in the Heisenberg group $\mathbb{H}^n$ to have big pieces of Lipschitz images of subsets of $\mathbb{R}^k$ for $1\leq k\leq n$. Our approach passes via the corona decompositions by normed spaces, recently introduced by Bate, Hyde, and Schul. Along the way, we prove implications between several notions of quantitative rectifiability for low-dimensional sets in $\mathbb{H}^n$.

preprint2022arXiv

Hardy spaces and quasiconformal maps in the Heisenberg group

We define Hardy spaces $H^p$, $0<p<\infty$, for quasiconformal mappings on the Korányi unit ball $B$ in the first Heisenberg group $\mathbb{H}^1$. Our definition is stated in terms of the Heisenberg polar coordinates introduced by Korányi and Reimann, and Balogh and Tyson. First, we prove the existence of $p_0(K)>0$ such that every $K$-quasiconformal map $f:B \to f(B) \subset \mathbb{H}^1$ belongs to $H^p$ for all $0<p<p_0(K)$. Second, we give two equivalent conditions for the $H^p$ membership of a quasiconformal map $f$, one in terms of the radial limits of $f$, and one using a nontangential maximal function of $f$. As an application, we characterize Carleson measures on $B$ via integral inequalities for quasiconformal mappings on $B$ and their radial limits. Our paper thus extends results by Astala and Koskela, Jerison and Weitsman, Nolder, and Zinsmeister, from $\mathbb{R}^n$ to $\mathbb{H}^1$. A crucial difference between the proofs in $\mathbb{R}^n$ and $\mathbb{H}^1$ is caused by the nonisotropic nature of the Korányi unit sphere with its two characteristic points.

preprint2020arXiv

Planar incidences and geometric inequalities in the Heisenberg group

We prove that if $P,\mathcal{L}$ are finite sets of $δ$-separated points and lines in $\mathbb{R}^{2}$, the number of $δ$-incidences between $P$ and $\mathcal{L}$ is no larger than a constant times $$|P|^{2/3}|\mathcal{L}|^{2/3} \cdot δ^{-1/3}.$$ We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: $$ |K| \lesssim |π_{x}(K)|^{2/3} \cdot |π_{y}(K)|^{2/3}, \qquad K \subset \mathbb{H}. $$ Here $π_{x}$ and $π_{y}$ are the vertical projections to the $xt$- and $yt$-planes, respectively, and $|\cdot|$ refers to natural Haar measure on either $\mathbb{H}$, or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that $$ \|f\|_{4/3} \lesssim \sqrt{\|Xf\| \|Yf\| }, \qquad f \in BV(\mathbb{H}), $$ where $X,Y$ are the standard horizontal vector fields in $\mathbb{H}$. This is a sharper version of the classical geometric Sobolev inequality $\|f\|_{4/3} \lesssim \|\nabla_{\mathbb{H}}f\|$ for $f \in BV(\mathbb{H})$.

preprint2020arXiv

Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of reduced isoperimetric sets.

preprint2020arXiv

Singular integrals on regular curves in the Heisenberg group

Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $$|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$. We prove that convolution with $k$, as above, yields an $L^{2}$-bounded operator on regular curves in $\mathbb{H}$. This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all $3$-dimensional horizontally odd kernels yield $L^{2}$ bounded operators on Lipschitz flags in $\mathbb{H}$. This was known earlier for only one specific operator, the $3$-dimensional Riesz transform. Finally, our technique yields new results on certain non-negative kernels, introduced by Chousionis and Li.

preprint2016arXiv

Curve packing and modulus estimates

A family of planar curves is called a Moser family if it contains an isometric copy of every rectifiable curve in $\mathbb{R}^{2}$ of length one. The classical "worm problem" of L. Moser from 1966 asks for the least area covered by the curves in any Moser family. In 1979, J. M. Marstrand proved that the answer is not zero: the union of curves in a Moser family has always area at least $c$ for some small absolute constant $c > 0$. We strengthen Marstrand's result by showing that for $p > 3$, the $p$-modulus of a Moser family of curves is at least $c_{p} > 0$.

preprint2016arXiv

Heisenberg quasiregular ellipticity

Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $π_1(M)$ into the existence of a supersolution to the $4$-harmonic equation, and relies on recent advances in the study of analysis and potential theory on metric spaces.

preprint2014arXiv

On restricted families of projections in R^3

We study projections onto non-degenerate one-dimensional families of lines and planes in $\mathbb{R}^{3}$. Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most $1/2$-dimensional sets $B \subset \mathbb{R}^{3}$ is typically preserved under one-dimensional families of projections onto lines. We improve the result by an $\varepsilon$, proving that if $\dim_{\mathrm{H}} B = s > 1/2$, then the packing dimension of the projections is almost surely at least $σ(s) > 1/2$. For projections onto planes, we obtain a similar bound, with the threshold $1/2$ replaced by $1$. In the special case of self-similar sets $K \subset \mathbb{R}^{3}$ without rotations, we obtain a full Marstrand type projection theorem for one-parameter families of projections onto lines. The $\dim_{\mathrm{H}} K \leq 1$ case of the result follows from recent work of M. Hochman, but the $\dim_{\mathrm{H}} K > 1$ part is new: with this assumption, we prove that the projections have positive length almost surely.