MathSciDoc: An Archive for Mathematician ∫

This paper gives a new and direct construction of the multi-prime big de Rham–Witt complex, which is defined for every commutative and unital ring; the original construction by Madsen and myself relied on the adjoint functor theorem and accordingly was very indirect. The construction given here also corrects the 2-torsion which was not quite correct in the original version. The new construction is based on the theory of modules and derivations over a$λ$-ring which is developed first. The main result in this first part of the paper is that the universal derivation of a$λ$-ring is given by the universal derivation of the underlying ring together with an additional structure depending directly on the$λ$-ring structure in question. In the case of the ring of big Witt vectors, this additional structure gives rise to divided Frobenius operators on the module of Kähler differentials. It is the existence of these divided Frobenius operators that makes the new construction of the big de Rham–Witt complex possible. It is further shown that the big de Rham–Witt complex behaves well with respect to étale maps, and finally, the big de Rham–Witt complex of the ring of integers is explicitly evaluated.

We show that given $${n \geqslant 3}$$ , $${q \geqslant 1}$$ , and a finite set $${\{y_1, \ldots, y_q \}}$$ in $${\mathbb{R}^n}$$ there exists a quasiregular mapping $${\mathbb{R}^n\to \mathbb{R}^n}$$ omitting exactly points $${y_1, \ldots, y_q}$$ .

We prove that the radii of convergence of the solutions of a$p$-adic differential equation $${\fancyscript{F}}$$ over an affinoid domain$X$of the Berkovich affine line are continuous functions on$X$that factorize through the retraction of $${X\to\Gamma}$$ of$X$onto a finite graph $${\Gamma\subseteq X}$$ . We also prove their super-harmonicity properties. This finiteness result means that the behavior of the radii as functions on$X$is controlled by a$finite$family of data.

We study the variation of the convergence Newton polygon of a differential equation along a smooth Berkovich curve over a non-archimedean complete valued field of characteristic zero. Relying on work of the second author who investigated its properties on affinoid domains of the affine line, we prove that its slopes give rise to continuous functions that factorise by the retraction through a locally finite subgraph of the curve.

We study Schrödinger operators with a one-frequency analytic potential, focusing on the transition between the two distinct local regimes characteristic respectively of large and small potentials. From the dynamical point of view, the transition signals the emergence of non-uniform hyperbolicity, so the dependence of the Lyapunov exponent with respect to parameters plays a central role in the analysis. Though often ill-behaved by conventional measures, we show that the Lyapunov exponent is in fact remarkably regular in a “stratified sense” which we define: the irregularity comes from the matching of nice (analytic or smooth) functions along sets with complicated geometry. This result allows us to establish that the “critical set” for the transition lies within countably many codimension one subvarieties of the (infinite-dimensional) parameter space. A more refined renormalization-based analysis shows that the critical set is rather thin within those subvarieties, and allows us to conclude that a typical potential has no critical energies. Such acritical potentials also form an open set and have several interesting properties: only finitely many “phase transitions” may happen, but never at any specific point in the spectrum, and the Lyapunov exponent is minorated in the region of the spectrum where it is positive. On the other hand, we do show that the number of phase transitions can be arbitrarily large.

We show that Thurston’s skinning maps of Teichmüller space have finite fibers. The proof centers around a study of two subvarieties of the $${{\rm SL}_2(\mathbb{C})}$$ character variety of a surface—one associated with complex projective structures, and the other associated with a 3-manifold. Using the Morgan–Shalen compactification of the character variety and author’s results on holonomy limits of complex projective structures, we show that these subvarieties have only a discrete set of intersections.

We study mixing properties of commutative groups of automorphisms acting on compact nilmanifolds. Assuming that every non-trivial element acts ergodically, we prove that such actions are mixing of all orders. We further show exponential 2-mixing and 3-mixing. As an application we prove smooth cocycle rigidity for higher-rank abelian groups of nilmanifold automorphisms.

Let$M$be a compact complex manifold. The corresponding Teichmüller space Teich is the space of all complex structures on$M$up to the action of the group $${{\rm Diff}_0(M)}$$ of isotopies. The mapping class group $${\Gamma:={\rm Diff}(M)/{{\rm Diff}_0(M)}}$$ acts on Teich in a natural way. An$ergodic complex structure$is a complex structure with a $${\Gamma}$$ -orbit dense in Teich. Let$M$be a complex torus of complex dimension $${\ge 2}$$ or a hyperkähler manifold with $${b_2 > 3}$$ . We prove that$M$is ergodic, unless$M$has maximal Picard rank (there are countably many such$M$). This is used to show that all hyperkähler manifolds are Kobayashi non-hyperbolic.

We prove the Mirković–Vilonen conjecture: the integral local intersection cohomology groups of spherical Schubert varieties on the affine Grassmannian have no$p$-torsion, as long as$p$is outside a certain small and explicitly given set of prime numbers. (Juteau has exhibited counterexamples when$p$is a bad prime.) The main idea is to convert this topological question into an algebraic question about perverse-coherent sheaves on the dual nilpotent cone using the Juteau–Mautner–Williamson theory of parity sheaves.

Let$f$be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, $${f \in \mathcal{A}(\bar{\mathbb{C}} \setminus A)}$$ , $${\# A< \infty}$$ . J. Nuttall has put forward the important relation between the$maximal domain$of$f$where the function has a single-valued branch and the$domain of convergence$of the diagonal Padé approximants for$f$. The Padé approximants, which are rational functions and thus single-valued, approximate a holomorphic branch of$f$in the domain of their convergence. At the same time most of their poles tend to the boundary of the domain of convergence and the support of their limiting distribution models the system of cuts that makes the function$f$single-valued. Nuttall has conjectured (and proved for many important special cases) that this system of cuts has$minimal logarithmic capacity$among all other systems converting the function$f$to a single-valued branch. Thus the domain of convergence corresponds to the$maximal$(in the sense of$minimal$boundary) domain of single-valued holomorphy for the analytic function $${f\in\mathcal{A}(\bar{\mathbb{C}} \setminus A)}$$ . The complete proof of Nuttall’s conjecture (even in a more general setting where the set$A$has logarithmic capacity 0) was obtained by H. Stahl. In this work, we derive$strong asymptotics$for the denominators of the diagonal Padé approximants for this problem in a rather general setting. We assume that$A$is a finite set of branch points of$f$which have the$algebro-logarithmic character$and which are placed in a$generic position$. The last restriction means that we exclude from our consideration some degenerated “constellations” of the branch points.