BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Anthony G. O'Farrell

Anthony G. O'Farrell appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.CVmath.FAmath.GRmath.CAmath.OC

Catalog footprint

What is connected

17works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

17 published item(s)

preprint2022arXiv

Centralisers of formal maps

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element $g\in\mathcal{G}$ which is tangent to the identity of $\mathcal{G}$. Elements of finite order always have an uncountable centraliser. If $g$ has infinite order and $K$ is a field of characteristic zero we show that $C_g$ contains an isomorphic copy of the additive group $(K,+)$. If $g$ has infinite order and $K$ has finite characteristic we show that $C_g$ contains an uncountable abelian subgroup. The proofs are quite different in finite characteristic and in characteristic zero, but are connected by so-called sum functions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Dimension of Images of Large Level Sets

Let $k$ be a natural number. We consider $k$-times continuously-differentiable real-valued functions $f:E\to\mathbb{R}$, where $E$ is some interval on the line having positive length. For $0<α<1$ let $I_α(f)$ denote the set of values $y\in\mathbb{R}$ whose preimage $f^{-1}(y)$ has Hausdorff dimension $\dim f^{-1}(y) \ge α$. We consider how large can be the Hausdorff dimension of $I_α(f)$, as $f$ ranges over the set $C^k(E,\mathbb{R})$ of all $k$-times continuously-differentiable functions from $E$ into $\mathbb{R}$. We show that the sharp upper bound on $\dim I_α(f)$ is $\displaystyle\frac{1-α}k$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Formally-Reversible Maps of C^2

An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex coefficients. The main result is a description of the generic reversible elements of $G$. We list two explicit sequences of reversibles which between them represent all the conjugacy classes of such reversibles. We show that each such element is reversible by some element of finite order, and hence is the product of two elements of finite even order. Those elements that may be reversed by an involution are called {\em strongly reversible}. We also characterise these. We draw some conclusions about generic reversibles in the group of biholomorphic germs in two variables, and about the factorization of formal maps as products of reversibles. Specifically, each product of reversibles reduces to the product of five.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Derivatives at the Boundary for Analytic Lipschitz Functions

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $α$, with $0<α<1$, in the vicinity of an exceptional boundary point where all such functions exhibit some kind of smoothness. Specifically, we consider the relation between the abstract idea of a bounded point derivation on the algebra of such functions and the classical complex derivative evaluated as a limit of difference quotients. We show that whenever such a bounded point derivation exists at a boundary point $b$, it may be evaluated by taking a limit of classical difference quotients, for approach from a set having full area density at $b$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ditkin Conditions

This paper is about the connection between certain Banach-algebraic properties of a commutative Banach algebra $E$ with unit and the associated commutative Banach algebra $C(X,E)$ of all continuous functions from a compact Hausdorff space $X$ into $E$. The properties concern Ditkin's condition and bounded relative units. We show that these properties are shared by $E$ and $C(X,E)$. We also consider the relationship between these properties in the algebras $E$, $B$ and $\tilde B$ that appear in so-called admissible quadruples $(X,E,B,\tilde B)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Boundary smoothness of analytic functions

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $α$, with $0<α<1$, in the vicinity of an exceptional boundary point where all such functions exhibit some kind of smoothness. Specifically, we consider the relation between the abstract idea of a bounded point derivation on the algebra of such functions and the classical complex derivative evaluated as a limit of difference quotients. We obtain a result which applies, for example, when the open set admits an interior cone at the special boundary point.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Factoring Formal Maps into Reversible or Involutive Factors

An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$, i.e. formally-invertible $n$-tuples of formal power series in $n$ variables, with complex coefficients. The case $n=1$ was already understood. Each product $F$ of reversibles has linear part $L(F)$ of determinant $\pm1$. The main results are that for $n\ge2$ each map $F$ with det$(L(F))=\pm1$ is the product of $2+3c$ reversibles, and may also be factored as the product of $9+6c$ involutions, where $c$ is the smallest integer $\ge \log_2n$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Conjugacy of real diffeomorphisms. A survey

Given a group G, the conjugacy problem in G is the problem of giving an effective procedure for determining whether or not two given elements f, g of G are conjugate, i.e. whether there exists h belonging to G with fh = hg. This paper is about the conjugacy problem in the group Diffeo(I) of all diffeomorphisms of an interval I in R. There is much classical work on the subject, solving the conjugacy problem for special classes of maps. Unfortunately, it is also true that many results and arguments known to the experts are difficult to find in the literature, or simply absent. We try to repair these lacunae, by giving a systematic review, and we also include new results about the conjugacy classification in the general case.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Pervasive Algebras and Maximal Subalgebras

A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a proper closed subset of the essential set of $A$. If $A$ is maximal, then it is essentially pervasive and proper. We explore the gap between these two concepts. We show the following: (1) If $A$ is pervasive and proper, and has a nonconstant unimodular element, then $A$ contains an infinite descending chain of pervasive subalgebras on $X$. (2) It is possible to imbed a copy of the lattice of all subsets of $\N$ into the family of pervasive subalgebras of some $C(X)$. (3) In the other direction, if $A$ is strongly logmodular, proper and pervasive, then it is maximal. (4) This fails if the word \lq strongly' is removed. We discuss further examples, involving Dirichlet algebras, $A(U)$ algebras, Douglas algebras, and subalgebras of $H^\infty(\mathbb{D})$. We develop some new results that relate pervasiveness, maximality and relative maximality to support sets of representing measures.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Reducing conjugacy in the full diffeomorphism group of R to conjugacy in the subgroup of orientation-preserving maps

Let $\Diffeo=\Diffeo(\R)$ denote the group of infinitely-differentiable diffeomorphisms of the real line $\R$, under the operation of composition, and let $\Diffeo^+$ be the subgroup of diffeomorphisms of degree +1, i.e. orientation-preserving diffeomorphisms. We show how to reduce the problem of determining whether or not two given elements $f,g\in \Diffeo$ are conjugate in $\Diffeo$ to associated conjugacy problems in the subgroup $\Diffeo^+$. The main result concerns the case when $f$ and $g$ have degree -1, and specifies (in an explicit and verifiable way) precisely what must be added to the assumption that their (compositional) squares are conjugate in $\Diffeo^+$, in order to ensure that $f$ is conjugated to $g$ by an element of $\Diffeo^+$. The methods involve formal power series, and results of Kopell on centralisers in the diffeomorphism group of a half-open interval.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Reversible biholomorphic germs

Let $G$ be a group. We say that an element $f\in G$ is {\em reversible in} $G$ if it is conjugate to its inverse, i.e. there exists $g\in G$ such that $g^{-1}fg=f^{-1}$. We denote the set of reversible elements by $R(G)$. For $f\in G$, we denote by $R_f(G)$ the set (possibly empty) of {\em reversers} of $f$, i.e. the set of $g\in G$ such that $g^{-1}fg=f^{-1}$. We characterise the elements of $R(G)$ and describe each $R_f(G)$, where $G$ is the the group of biholomorphic germs in one complex variable. That is, we determine all solutions to the equation $ f\circ g\circ f = g$, in which $f$ and $g$ are holomorphic functions on some neighbourhood of the origin, with $f(0)=g(0)=0$ and $f'(0)\not=0\not=g'(0)$.

0 citations0 reviewsNo code linkedOpen access