arXiv Science⌕ Search

arXiv subjects

Alberto Verjovsky

Publications and source records attributed to Alberto Verjovsky.

At least 19 recordsLinked to original sources

Ergodicity of geodesic flows on Aravinda-Farrell twisted doubles

The announced rank-one ergodicity theorem of Rodriguez Hertz, Rodriguez Hertz, and Wu includes the nonpositively curved metrics considered here on Aravinda--Farrell twisted doubles. For these construction metrics, a direct geometric argument identifies the singular set. Their singular geodesics are precisely those tangent to the torus sections of finitely many flat product collars, so their initial vectors have Liouville measure zero. A compact simply connected modification region cannot contain a complete geodesic; this also treats the exotic connected-sum examples. Ergodicity then follows from the classical theorem on the regular set.

math.DS↗

The Penrose Correspondence over a Non-Archimedean Field

Let \(K\) be a non-Archimedean local field of characteristic different from \(2\), and let \(V\) have dimension four over \(K\). The Drinfeld upper half-spaces of \(V\) and \(Λ^2V\) define compatible open analytic subsets of \(\Pp(V)\), \(\Gr(2,V)\), and \(\Flag(1,2;V)\). Both restricted incidence projections are smooth and surjective. For every torsion-free discrete subgroup of \(\PGL(V)(K)\), the three actions are free and properly discontinuous, and the incidence correspondence descends to smooth analytic quotients. These domains contain an explicit flag defined over an unramified extension of degree seven. A symplectic form on \(V\) equips the projective domain with a contact structure and places the Grassmannian domain in \(\Sp_4/(\Sp_2\times\Sp_2)\). For torsion-free discrete symplectic groups, this contact structure descends to the quotient. Free discrete symplectic groups of every finite rank at least two give contact threefolds whose underlying Berkovich spaces have the homotopy type of a bouquet of circles. Every quotient of the projective domain by a torsion-free discrete group preserving the contact distribution is noncompact. For every torsion-free discrete projective linear group, the flag quotient and all fibers of its two incidence projections are noncompact; both projections are nonproper.

math.AG↗

Torsion Cycles in Projective Threefolds:From Serre's Construction to Artin-Mumford

The torsion subgroup of third integral cohomology is a birational invariant of smooth projective complex threefolds; its nonvanishing obstructs stable rationality. We recall a proof using Hironaka's elimination of indeterminacies and the integral blowup formula. The Godeaux--Serre construction and Poincaré duality imply that every finite abelian group is the third integral cohomology group of a smooth projective complex threefold. This classical realization also has a description through families of concurrent plane lines. Their incidence threefolds have smooth normalizations, obtained by an explicit blowup and described as projective-line bundles over smooth surfaces. The Lefschetz theorem determines the fundamental group of these surfaces, and the projective bundle formula computes the third cohomology. The resulting threefolds are birational to products of surfaces with the projective line, and their torsion three-cycles are represented by sphere bundles over loops. Examples and the comparison with the unirational Artin--Mumford threefold explain the role of the base surface and the distinction between smooth blowups and resolution of a singular space.

math.AG↗

Bounded Leaf Volumes and Analytic Quotients of Singular Holomorphic Foliations

Let $\mathcal{F}$ be a singular holomorphic foliation of dimension $k$ on a compact Kähler manifold $M$ of dimension $n$. Suppose that the volumes of its regular leaves are uniformly bounded, $\dim(Sing\mathcal{F})<k$, and the union of the leaf closures meeting $Sing\mathcal{F}$ has finite $2k$-dimensional Hausdorff measure. We prove that the quotient by chains of intersecting leaf closures is a normal compact complex analytic space of dimension $n-k$. The quotient map is proper and holomorphic, with connected fibers. The proof uses Bishop's theorems, Remmert and Stein extension, Barlet's cycle space, and Stein factorization. Away from the images of separatrices, the quotient has local charts given by finite holonomy groups. Examples show that these images need not coincide with the singular set of the quotient, and that bounded leaf volumes alone do not imply Hausdorffness. In codimension one, Malgrange's theorem makes the separatrix measure assumption automatic when $codim(Sing\mathcal{F})\geq 3$.

math.CV↗

Quaternionic LVM Manifolds

An admissible configuration $Λ\subset\Hh^m\simeq\Rr^{4m}$ defines a compact intersection of quadrics $Z_{\Hh}(Λ)$ and a free diagonal $\Sp(1)$ quotient $N_{\Hh}(Λ)$. We realize this quotient as the leaf space of a real dilation action on an open subset of quaternionic projective space. The total space is a quaternionic moment-angle polyhedral product. Every quotient is $2$-connected; when there are no indispensable coordinates, it is $3$-connected and its fourth integral cohomology is generated by the Euler class $e$ of the associated oriented rank-four bundle. We compute $p_1(TN_{\Hh})=2(n-2)e$ and prove that no LVMQ manifold admits a quaternionic Kähler metric. An explicit infinite family consists of products of spheres admitting both homogeneous positive Einstein metrics and quaternionic toric structures in the sense of Gentili--Gori--Sarfatti. We also describe the trace foliations of the real action in the Poincaré domain. For the separate rank-one distribution $X\Hh$, an invertible quaternionic-linear field is integrable only in the real scalar case. A nonlinear field with positive real scalar derivative at the origin and involutive $X\Hh$ has exactly the standard quaternionic Hopf foliation on every sufficiently small centered sphere.

math.DG↗

Quaternionic Extensions of Hyperbolic Toral Automorphisms

We construct real-analytic diffeomorphisms of \(S^3\times S^3\cong \SU(2)\times\SU(2)\) that lift We study real-analytic word maps of \(S^3\times S^3\cong \SU(2)\times\SU(2)\) obtained by evaluating Nielsen automorphisms of the free group \(F_2\). Fried studied these word maps and computed their topological entropy. For each maximal torus \(T\subset\SU(2)\), the product \(T\times T\) is invariant and carries the corresponding toral dynamics. Their union is the commuting locus. We describe its regular part as a twisted conjugacy-sphere bundle over the punctured pillowcase and determine the local topology at the four central singularities. Periodic toral points give periodic conjugacy two-spheres, which obstruct Anosov hyperbolicity on \(S^3\times S^3\). Normalized images of the coordinate three-cycles converge to stable and unstable Ruelle--Sullivan eigencurrents supported on the commuting locus. The construction extends to \(\Sp(1)^n\). The higher-rank commuting locus has dimension \(n+2\), periodic conjugacy two-spheres persist, and the action on \(H_{3k}((S^3)^n)\) is \(Λ^k A\). For \(n\geq3\), IA-automorphisms can act nontrivially on the \(\SU(2)\)-character variety although they are trivial on abelianization. The degree-three eigencurrents again have a Ruelle--Sullivan description; higher exterior-power classes lead to a compactness problem for normal currents. We also relate the nonuniqueness of Nielsen lifts to Fried's computation of the mapping class group of \(S^3\times S^3\), where the group \(Θ_7\) of homotopy seven-spheres appears in the kernel of the action on homology.

math.DS↗

Cannon-Thurston Maps, Harmonic Maps, and Minimal Surfaces in Fibered Hyperbolic 3-Manifolds

Let $M_f$ be the closed hyperbolic $3$--manifold which is the mapping torus of a pseudo-Anosov homeomorphism $f$ of a closed surface $S$ of genus at least two. The inclusion of the fiber subgroup \(π_1(S)\hookrightarrow π_1(M_f)\) has a Cannon--Thurston boundary map \(\partialπ_1(S)\cong S^1\to S^2\cong\partialπ_1(M_f)\), which is a Peano curve. We relate this map to two variational representatives of the fiber homotopy class: the harmonic map of Eells--Sampson and Hartman, and a least-area embedded minimal surface. Equivariant lifts of homotopic maps are a bounded distance apart; hence, for every marked conformal structure on $S$, the lift of the harmonic representative extends continuously to the closed disk with boundary value the Cannon--Thurston map, and a least-area fiber lifts to a properly embedded minimal plane in $\Hh^3$ with the same boundary map. We give area and curvature bounds for a least-area fiber, show that its largest principal curvature is at least one, and study the energy of the harmonic representatives as a function on Teichmüller space, its critical points, which are the zeros of the Hopf differential, and its invariance under the monodromy.

math.GT↗

Wild knots embedded in the Menger Sponge

In this paper, we provide explicit recursive constructions of infinitely many non-equivalent wild knots contained in the Menger sponge, in such a way that we can control their set of wild points that lies in a usual Cantor set contained in the Menger sponge. Furthermore, we show that wild knots of dynamically defined type arising from Kleinian group actions can be isotoped into the sponge. We want to emphasize that our approach is constructive and geometric.

math.GT↗

Brownian Loops, Singular Homology, and Asymptotic Cycles

Let $M$ be a closed connected Riemannian manifold. A continuous semimartingale segment can be closed by a Borel family of paths of uniformly bounded length, producing a singular homology class $H_t\in H_1(M;\R)$. For every linear choice of smooth closed representatives of $H^1(M;\R)$, the corresponding Stratonovich homology differs from $H_t$ by a uniformly bounded term, almost surely and uniformly in time. The classes $H_t$ are additive under time shift up to a uniformly bounded error. For Brownian motion this comparison yields the Gaussian central limit theorem with covariance given by the normalized Hodge inner product, a functional central limit theorem for the polygonal interpolation of the closed homology classes, and the almost sure limit $H_t/t\to0$. For elliptic diffusions, the large-deviation principle of Galkin--Mariani passes to $H_T/T$ with the same rate function. The construction uses Schwartzman's closing procedure and is independent, at these asymptotic scales, of the chosen bounded closing family.

math.PR↗

How Random Is the Möbius Function? Smoothing, Probability, and the Riemann Hypothesis

This article is primarily expository, but it also contains several new observations and reformulations concerning the Möbius function, probabilistic models, dynamical systems, and the Riemann hypothesis. Its starting question is classical: in what sense can the Möbius function be said to behave randomly? We begin with Denjoy's random-walk heuristic and place it in the context of later work on random multiplicative functions, short intervals, and Möbius pseudorandomness. We then develop two smoothing forms of the classical Mertens criterion for the Riemann hypothesis. The first uses the discrete Laplace transform \[ Φ(t)=\sum_{n\geq1}μ(n)e^{-nt} \] and identifies RH with the condition \[ Φ\in L^p(0,\infty) \qquad\text{for every }1\leq p<2. \] The second uses normalized Möbius Fourier polynomials and local moments on arcs of length comparable with \(1/N\). The paper also revisits the author's earlier criterion for RH in terms of discrete measures, as presented in Broughan's account of analytic equivalents of RH. Denjoy's heuristic is made precise in a simple independent coefficient model, and this model is carefully distinguished from the modern theory of random multiplicative functions. The resulting coefficient space also gives a measure--category contrast: the relevant \(L^p\)-property has full measure but is topologically meagre. A further point of the paper is dynamical: the multiplicative semigroup of positive integers acts naturally on the coefficient space, and the Möbius sequence is a distinguished arithmetic point for this action. The aim throughout is explanatory, while keeping these new observations visible: to show how arithmetic, probability, Fourier analysis, Mellin transforms, and dynamics fit together, and to indicate what modern results add to the older random-walk picture.

math.PR↗

Peels of Equilateral Triangulated Surfaces

This paper studies the modularity problem for elliptic curves from the elementary geometry of peels of decorated equilateral triangulations. A peel is a finite developing domain together with the boundary identifications that reconstruct the triangulated surface. In genus one it recovers the universal cover and its rank-two deck lattice. For a fixed prime $\ell$, the finite unramified coverings $[\ell^n]:E\to E$ form a compatible tower whose deck groups are $E[\ell^n]$; their inverse limit is the Tate module $T_\ell(E)$, and over $\Q$ the compatible Galois action gives the usual $\ell$-adic representation. Cyclic isogenies, by contrast, give the index-$q$ lattice neighbors that form the local model for Hecke and Brandt correspondences. For a semistable elliptic curve $E/\Q$ of prime conductor $p$, the missing reciprocity is the construction, without using modularity, of a nonzero class $c_E$ in the degree-zero supersingular Brandt module such that $B_qc_E=a_q(E)c_E$ at every good prime. I make this obstruction explicit and study oriented CM packets attached to the Frobenius discriminants $D_q=a_q(E)^2-4q$. New elementary results show that $D_q$ is a nonsquare modulo $p$ exactly when the residual Frobenius polynomial is irreducible, that any residual image containing such an element gives a positive-density set of primes for which $p$ is inert in the quadratic field determined by $D_q$, and that the corresponding discriminants are necessarily unbounded.

math.NT↗

Holomorphic Linear $\C^k$-Actions, Trace Foliations, and Higher-Rank Poincaré Dynamics

We study the orbit decomposition on $\C^n$ generated by diagonal holomorphic $\C^k$-actions in the higher-rank setting of the classical Poincaré--Siegel dichotomy for linear vector fields. The coordinate stratification determines the dimensions and isotropy groups of the leaves and, under a maximal-rank condition, gives a precise description of the orbit structure on every coordinate stratum. For configurations in the Poincaré domain, a separating real direction provides a global conical model of the punctured orbit foliation by its traces on Euclidean spheres. We construct the corresponding radially reparametrized action on a sphere, describe its leaves as homogeneous spaces, and prove that orbit closures are constrained by coordinate supports. In particular, a limit point cannot acquire a new nonzero coordinate, although nonclosed trace leaves may also accumulate within a fixed support stratum. We show that the geometry of the weight configuration determines the complex dimensions of the leaves, whereas the arithmetic of their effective isotropy groups determines their diffeomorphism types. This gives rise to a threshold phenomenon across the coordinate stratification: the diffeomorphism type of the leaves is rigid in the low- and high-dimensional regimes, but becomes arithmetically unstable in the intermediate range $k<|I|<2k$. Finally, we show that these singular foliations admit canonical local transverse holomorphic structures in the spirit of Haefliger's transverse geometry for regular foliations. These structures determine intrinsic transverse pseudogroups, yielding a well-defined local transverse holomorphic geometry for the orbit foliation.

math.DS↗

Adelic Loop Groups and Perfectoid Analogies: Factorization and Holomorphic Bundles on the Adelic Projective Line

We develop a theory of adelic loop groups on the universal one-dimensional solenoid \(S^1_{\mathbb Q}=(\mathbb R\times\widehat{\mathbb Z})/\mathbb Z_{\mathrm{diag}}\), the compact abelian group whose Pontryagin dual is \(\mathbb Q\) rather than \(\mathbb Z\). We introduce the adelic projective line \(\mathbb{CP}^1_{\mathbb Q}\), its ring of Laurent--Puiseux series, and holomorphic vector bundles defined by solenoidal clutching data. We prove that its Picard group is naturally isomorphic to the additive group \(\mathbb Q\). The paper establishes a scalar Wiener--Birkhoff factorization theorem, a matrix Wiener lemma, exact factorization for ordered triangular and small-norm cocycles, a density theorem for factorable matrix loops in the Wiener algebra \(\mathfrak W_{\mathbb Q}\), and a Birkhoff--Grothendieck splitting theorem in the pro-algebraic category. These results lead to the Solenoidal Birkhoff--Grothendieck conjecture, asserting that every \(g\in \mathrm{GL}*n(\mathfrak W*{\mathbb Q})\) admits a factorization \(g=h_-^{-1}\operatorname{diag}(χ_{q_1},\ldots,χ_{q_n})h_+\), where \(h_\pm\in\mathrm{GL}*n(\mathfrak W^\pm*{\mathbb Q})\) and \(q_i\in\mathbb Q\). We also develop the Kahler, Grassmannian, and Morse--Bott geometry of adelic loop groups in the spirit of Pressley--Segal. Finally, we compare the theory with perfectoid geometry. The Fargues--Fontaine curve provides a non-archimedean structural counterpart of \(\mathbb{CP}^1_{\mathbb Q}\) at the level of rational slope data, Kedlaya's slope theory supplies a (p)-adic analogue of Wiener--Birkhoff factorization, and the Fargues--Fontaine classification provides a proved perfectoid model for the matrix splitting problem formulated here. This comparison yields a Harder--Narasimhan reformulation of the Solenoidal Birkhoff--Grothendieck conjecture.

math.FA↗

A Constructive Cubical Realization of $n$-Dimensional Smooth Knots Inside the Menger $M^{n+2}_n$-continuum

We prove that every smooth $n$-dimensional knot in $\mathbb{R}^{n+2}$ can be ambiently isotoped into the Menger $n$-dimensional continuum. In contrast with classical embedding theorems for universal compacta, our construction is explicit and proceeds via cubical models, combining the cubical realization theorem of Boege--Hinojosa--Verjovsky with the affine self-similarity of the Menger continuum.

math.GT↗

Mostow rigidity for skew solenoidal manifolds

We prove a Mostow rigidity theorem for foliated bundles over closed hyperbolic manifolds of dimension $n \geq 3$ endowed with a completely invariant measure of full support. These include solenoidal manifolds obtained as inverse limits of directed systems of finite coverings of closed hyperbolic manifolds. This theorem then extends to skew solenoidal manifolds for which the action of the holonomy group is twisted by means of a cocycle.

math.DS↗

$N$-dimensional beaded necklaces and higher dimensional wild knots, invariant by a Schottky group

Starting with a smooth, non-trivial $n$-dimensional knot $K\subset\bS^{n+2}$, and a beaded $n$-dimensional necklace subordinated to $K$, we construct a wild knot with a Cantor set of wild points (\ie the knot is not locally flat in these points). The construction uses the conformal Schottky group acting on $\bS^{n+2}$, generated by inversions on the spheres which are the boundary of the ``beads''. We show that if $K$ is a fibered knot, then the wild knot is also fibered. We also study cyclic branched coverings along the wild knots. This work generalizes the result presented in [8].

math.GT↗

Errett Bishop theorems on Complex Analytic Sets: Chow's Theorem Revisited and Foliations with all leaves Compact on Kähler Manifolds

In this paper we present a series of seemingly unrelated results of Complex Analysis which are in fact connected via a different approach to their proofs using the results of Errett Bishop of volumes and limits of analytic varieties. We start by proving Chow's theorem by a technique suggested long time ago in the beautiful book by Gabriel Stolzenberg. We think this approach is very attractive and easier for students and newcomers to understand; also the theory presented here is linked to areas of mathematics that are not usually associated with Chow's result. In addition, Bishop's results imply both Chow's and Remmert-Stein's theorems directly, meaning that this view is simpler and just as profound as Remmert-Stein's proof. After that, we give a comparison table that explains how Bishop's theorems generalize to several complex variables classical results of one complex variable and prove Montel's compactness theorem using the techniques presented here. Finally we give an alternative proof of a theorem of Edwards, Millet and Sullivan of foliations with compact leaves for the case of complex foliations in Kähler manifolds.

math.CV↗