arXiv subjects

Amedeo Altavilla

Publications and source records attributed to Amedeo Altavilla.

29 records · Page 2Linked to original sources

arXiv2019

Implementing zonal harmonics with the Fueter principle

By exploiting the Fueter theorem, we give new formulas to compute zonal harmonic functions in any dimension. We first give a representation of them as a result of a suitable ladder operator acting on the constant function equal to one. Then, inspired by recent work of A. Perotti, using techniques from slice regularity, we derive explicit expressions for zonal harmonics starting from the 2 and 3 dimensional cases. It turns out that all zonal harmonics in any dimension are related to the real part of powers of the standard Hermitian product in $\mathbb{C}$. At the end we compare formulas, obtaining interesting equalities involving the real part of positive and negative powers of the standard Hermitian product. In the two appendices we show how our computations are optimal compared to direct ones.

math.CV↗

arXiv2019

Algebraic surfaces with infinitely many twistor lines

We prove that a reduced and irreducible algebraic surface in $\mathbb{CP}^{3}$ containing infinitely many twistor lines cannot have odd degree. Then, exploiting the theory of quaternionic slice regularity and the normalization map of a surface, we give constructive existence results for even degrees.

math.DG↗

arXiv2018

Log-biharmonicity and a Jensen formula in the space of quaternions

Given a complex meromorphic function, it is well defined its Riesz measure in terms of the laplacian of the logarithm of its modulus. Moreover, related to this tool, it is possible to prove the celebrated Jensen formula. In the present paper, using among the other things the fundamental solution for the bilaplacian, we introduce a possible generalization of these two concepts in the space of quaternions, obtaining new interesting Riesz measures and global (i.e. four dimensional), Jensen formulas.

math.CV↗

arXiv2018

Twistor lines on algebraic surfaces

We give quantitative and qualitative results on the family of surfaces in $\mathbb{CP}^3$ containing finitely many twistor lines. We start by analyzing the ideal sheaf of a finite set of disjoint lines $E$. We prove that its general element is a smooth surface containing $E$ and no other line. Afterwards we prove that twistor lines are Zariski dense in the Grassmannian $Gr(2,4)$. Then, for any degree $d\ge 4$, we give lower bounds on the maximum number of twistor lines contained in a degree $d$ surface. The smooth and singular cases are studied as well as the $j$-invariant one.

math.AG↗

arXiv2018

Three Topological Results on the Twistor Discriminant Locus in the 4-Sphere

We exploit techniques from classical (real and complex) algebraic geometry for the study of the standard twistor fibration $π:\mathbb{CP}^{3}\to S^{4}$. We prove three results about the topology of the twistor discriminant locus of an algebraic surface in $\mathbb{CP}^{3}$. First of all we prove that, with the exception of two exceptional cases, the real dimension of the twistor discriminant locus of an algebraic surface is always equal to 2. Secondly we describe the possible intersections of a general surface with the family of twistor lines: we find that only 4 configurations are possible and for each of them we compute the dimension. Lastly we give a decomposition of the twistor discriminant locus of a given cone in terms of its singular locus and its dual variety.

math.DG↗

arXiv2018

$*$-exponential of slice-regular functions

According to [5] we define the $*$-exponential of a slice-regular function, which can be seen as a generalization of the complex exponential to quaternions. Explicit formulas for $\exp_*(f)$ are provided, also in terms of suitable sine and cosine functions. We completely classify under which conditions the $*$-exponential of a function is either slice-preserving or $\mathbb{C}_J$-preserving for some $J\in\mathbb{S}$ and show that $\exp_*(f)$ is never-vanishing. Sharp necessary and sufficient conditions are given in order that $\exp_*(f+g)=\exp_*(f)*\exp_*(g)$, finding an exceptional and unexpected case in which equality holds even if $f$ and $g$ do not commute. We also discuss the existence of a square root of a slice-preserving regular function, characterizing slice-preserving functions (defined on the circularization of simply connected domains) which admit square roots. Square roots of this kind of functions are used to provide a further formula for $\exp_{*}(f)$. A number of examples is given throughout the paper.

math.CV↗

arXiv2018

S-regular functions which preserve a complex slice

We study global properties of quaternionic slice regular functions (also called s-regular) defined on symmetric slice domains. In particular, thanks to new techniques and points of view, we can characterize the property of being one-slice preserving in terms of the projectivization of the vectorial part of the function. We also define a "Hermitian" product on slice regular functions which gives us the possibility to express the $*$-product of two s-regular functions in terms of the scalar product of suitable functions constructed starting from $f$ and $g$. Afterwards we are able to determine, under different assumptions, when the sum, the $*$-product and the $*$-conjugation of two slice regular functions preserve a complex slice. We also study when the $*$-power of a slice regular function has this property or when it preserves all complex slices. To obtain these results we prove two factorization theorems: in the first one, we are able to split a slice regular function into the product of two functions: one keeping track of the zeroes and the other which is never-vanishing; in the other one we give necessary and sufficient conditions for a slice regular function (which preserves all complex slices) to be the symmetrized of a suitable slice regular one.

math.CV↗

arXiv2017

Slice-Polynomial Functions and Twistor Geometry of Ruled Surfaces in $\mathbb{CP}^3$

In the present paper we introduce the class of slice-polynomial functions: slice regular functions {defined over the quaternions, outside the real axis,} whose restriction to any complex half-plane is a polynomial. These functions naturally emerge in the twistor interpretation of slice regularity introduced in \cite{gensalsto} and developed in \cite{AAtwistor}. To any slice-polynomial function $P$ we associate its {\em companion} $P^\vee$ and its {\em extension} to the real axis $P_\mathbb{R}$, that are quaternionic functions naturally related to $P$. Then, using the theory of twistor spaces, we are able to show that for any quaternion $q$ the {cardinality of simultaneous} pre-images of $q$ via $P$, $P^\vee$ and $P_\mathbb{R}$ is generically constant, giving a notion of degree. With the brand new tool of slice-polynomial functions, we {compute} the twistor discriminant locus of a cubic scroll $\mathcal{C}$ in $\mathbb{CP}^3$ and we conclude by giving some qualitative results on the complex structures induced by $\mathcal{C}$ via the twistor projection.

math.CV↗

arXiv2017

Twistor interpretation of slice regular functions

Given a slice regular function $f:Ω\subset\mathbb{H}\to \mathbb{H}$, with $Ω\cap\mathbb{R}\neq \emptyset$, it is possible to lift it to a surface in the twistor space $\mathbb{CP}^{3}$ of $\mathbb{S}^4\simeq \mathbb{H}\cup \{\infty\}$ (see~\cite{gensalsto}). In this paper we show that the same result is true if one removes the hypothesis $Ω\cap\mathbb{R}\neq \emptyset$ on the domain of the function $f$. Moreover we find that if a surface $\mathcal{S}\subset\mathbb{CP}^{3}$ contains the image of the twistor lift of a slice regular function, then $\mathcal{S}$ has to be ruled by lines. Starting from these results we find all the projective classes of algebraic surfaces up to degree 3 in $\mathbb{CP}^{3}$ that contain the lift of a slice regular function. In addition we extend and further explore the so-called twistor transform, that is a curve in $\mathbb{G}r_2(\mathbb{C}^4)$ which, given a slice regular function, returns the arrangement of lines whose lift carries on. With the explicit expression of the twistor lift and of the twistor transform of a slice regular function we exhibit the set of slice regular functions whose twistor transform describes a rational line inside $\mathbb{G}r_2(\mathbb{C}^4)$, showing the role of slice regular functions not defined on $\mathbb{R}$. At the end we study the twistor lift of a particular slice regular function not defined over the reals. This example shows the effectiveness of our approach and opens some questions.

math.CV↗

arXiv2016

On the real differential of a slice regular function

In this paper we show that the real differential of any injective slice regular function is everywhere invertible. The result is a generalization of a theorem proved by G. Gentili, S. Salamon and C. Stoppato, and it is obtained thanks, in particular, to some new information regarding the first coefficients of a certain polynomial expansion for slice regular functions (called \textit{spherical expansion}), and to a new general result which says that the slice derivative of any injective slice regular function is different from zero. A useful tool proven in this paper is a new formula that relates slice and spherical derivatives of a slice regular function. Given a slice regular function, part of its singular set is described as the union of surfaces on which it results to be constant.

math.CV↗

arXiv2013

Some properties for quaternionic slice-regular functions on domains without real points

The theory of slice regular functions over the quaternions, introduced by Gentili and Struppa in [5], was born on domains that intersect the real axis. This hypothesis can be overcome using the theory of stem functions introduced by Ghiloni and Perotti ([6]), in the context of real alternative algebras. In this paper I will recall the notion and the main properties of stem functions. After that I will introduce the class of slice regular functions induced by stem functions and, in this set, I will extend the identity principle, the maximum and minimum modulus principles and the open mapping theorem. Differences will be shown between the case when the domain does or does not intersect the real axis.

math.CV↗