Related papers: Extending partial isometries of antipodal graphs

We show that expanding toral endomorphisms, together with their respective Lebesgue measure are isomorphic to 1-sided Bernoulli shifts. This result is then extended to smooth perturbations of expanding toral endomorphisms, together with…

Let A be a modular elliptic curve over a totally real field F, and let E/F be a totally imaginary quadratic extension. In the event of exceptional zero phenomenon, we prove a formula for the derivative of the multivariable anticyclotomic…

We show that a relatively ergodic extension of measure-preserving dynamical systems has relative discrete spectrum if and only if it can be represented as a skew-product by a bundle of compact homogeneous spaces. Our result holds without…

In this paper, we apply persistent entropy, a novel topological statistic, for characterization of images of epithelial tissues. We have found out that persistent entropy is able to summarize topological and geometric information encoded by…

Let $(\Sigma,p)$ be a pointed Riemann surface of genus $g\geq 1$. For any integer $k\geq 1$, we parametrize the space of meromorphic quadratic differentials on $\Sigma$ with a pole of order $(k+2)$ at $p$, having a connected critical graph…

The notion of the truncated Euler characteristic for Iwasawa modules is an extension of the notion of the usual Euler characteristic to the case when the homology groups are not finite. This article explores congruence relations between the…

The property of exponential dichotomy can be seen as a generalization of the hyperbolicity condition for non autonomous linear finite dimensional systems of ordinary differential equations. In 1978 W.A. Coppel proved that the exponential…

The technique of \emph{equality saturation}, which equips graphs with an equivalence relation, has proven effective for program optimisation. We give a categorical semantics to these structures, called \emph{e-graphs}, in terms of Cartesian…

We prove that for every nowhere dense class of graphs $\mathcal{C}$, positive integer $d$, and $\varepsilon>0$, the following holds: in every $n$-vertex graph $G$ from $\mathcal{C}$ one can find two disjoint vertex subsets $A,B\subseteq…

We investigate $p$-adic automorphic forms on unitary groups through the geometry of infinite-level unitary Shimura varieties and the Hodge-Tate period map. We first develop a perfectoid construction of overconvergent automorphic forms.…

In this article we generalize a theorem of Benson for generalized quadrangles to strongly regular graphs and directed strongly regular graphs. The main result provides numerical restrictions on the number of fixed vertices and the number of…

We give conditions of an extension of a free group to be hyperbolic and relatively hyperbolic using the dynamics of the action of $\out$ on the complex of free factors combined with the weak attraction theory. We work with subgroups of…

We propose a homology theory for locally compact spaces with ends in which the ends play a special role. The approach is motivated by results for graphs with ends, where it has been highly successful. But it was unclear how the original…

In this paper, we generalize the existence result in [14] and prove convergence theorems of the iterative scheme in [12, 16] for monotone generalized alpa-nonexpansive mappings in uniformly convex partially ordered hyperbolic metric spaces.…

In the paper we introduce a notion of the Bruck-Reilly $\lambda$-polycyclic extension of a monoid $S$ with a homomorphism $\theta$ which is an analogue of the Bruck-Reilly extension of a monoid $S$. We describe idempotens of the semigroup…

We extend the results of our 2020 paper in the Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. There, we associated to each of an infinite family of triangle Fuchsian groups a one-parameter family of continued fraction…

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

We give conceptual proofs of some results on the automorphism group of an Enriques surface X, for which only computational proofs have been available. Namely, there is an obvious upper bound on the image of Aut(X) in the isometry group of…

Let $\Psi : X_1 \to X_2$ be an isomorphism of closed affine algebraic subvarities of $\C^n$ such that $n > \max (2\dim X_1, \dim TX_1)$. We prove that $\Psi$ can be extended to a holomorphic automorphism of $\C^n$. Furthermore, when $\Psi$…

One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…