Spaces of power series solutions $y(\mathrm {t})$ in one variable $\mathrm {t}$ of systems of polynomial, algebraic, analytic or formal equations $f(\mathrm {t},\mathrm {y})=0$ can be viewed as ‘infinite-dimensional’ varieties over the ground field $\mathbf {k}$ as well as ‘finite-dimensional’ schemes over the power series ring $\mathbf {k}[[\mathrm {t}]]$. We propose to call these solution spaces arquile varieties, as an enhancement of the concept of arc spaces. It will be proven that arquile varieties admit a natural stratification ${\mathcal Y}=\bigsqcup {\mathcal Y}_d$, $d\in {\mathbb N}$, such that each stratum ${\mathcal Y}_d$ is isomorphic to a Cartesian product ${\mathcal Z}_d\times \mathbb A^{\infty }_{\mathbf {k}}$ of a finite-dimensional, possibly singular variety ${\mathcal Z}_d$ over $\mathbf {k}$ with an affine space $\mathbb A^{\infty }_{\mathbf {k}}$ of infinite dimension. This shows that the singularities of the solution space of $f(\mathrm {t},\mathrm {y})=0$ are confined, up to the stratification, to the finite-dimensional part.

Our results are established simultaneously for algebraic, convergent and formal power series, as well as convergent power series with prescribed radius of convergence. The key technical tool is a linearisation theorem, already used implicitly by Greenberg and Artin, showing that analytic maps between power series spaces can be essentially linearised by automorphisms of the source space.

Instead of stratifying arquile varieties, one may alternatively consider formal neighbourhoods of their regular points and reprove with similar methods the Grinberg–Kazhdan–Drinfeld factorisation theorem for arc spaces in the classical setting and in the more general setting.

We study the multiple Eisenstein series introduced by Gangl, Kaneko and Zagier. We give a proof of (restricted) finite double shuffle relations for multiple Eisenstein series by revealing an explicit connection between the Fourier expansion of multiple Eisenstein series and the Goncharov co-product on Hopf algebras of iterated integrals.

We transpose the parametric geometry of numbers, recently created by Schmidt and Summerer, to fields of rational functions in one variable and analyze, in that context, the problem of simultaneous approximation to exponential functions.

The Chowla conjecture states that if $t$ is any given positive integer, there are infinitely many prime positive integers $N$ such that $\text{Per}\left( \sqrt{N} \right)\,=\,t$ , where $\text{Per}\left( \sqrt{N} \right)$ is the period length of the continued fraction expansion for $\sqrt{N}$ . C. Friesen proved that, for any $k\,\in \,\mathbb{N}$ , there are infinitely many square-free integers $N$ , where the continued fraction expansion of $\sqrt{N}$ has a fixed period. In this paper, we describe all polynomials $Q\,\in \,{{\mathbb{F}}_{q}}\left[ X \right]$ for which the continued fraction expansion of $\sqrt{Q}$ has a fixed period. We also give a lower bound of the number of monic, non-squares polynomials $Q$ such that $\deg \,Q=\,2d$ and $Per\sqrt{Q}\,=\,t$ .

Let $\left( T,\,M \right)$ be a complete local (Noetherian) ring such that $\dim\,T\,\ge \,2$ and $\left| T \right|\,=\,\left| T/M \right|$ and let ${{\left\{ {{p}_{i}} \right\}}_{i\in \Im }}$ be a collection of elements of $T$ indexed by a set $\mathcal{J}$ so that $\left| \mathcal{J} \right|\,<\,\left| T \right|$ . For each $i\,\in \,\mathcal{J}$ , let ${{C}_{i}}:=\left\{ {{Q}_{i1}},...,{{Q}_{i{{n}_{i}}}} \right\}$ be a set of nonmaximal prime ideals containing ${{p}_{i}}$ such that the ${{Q}_{ij}}$ are incomparable and ${{p}_{i}}\in {{Q}_{jk}}$ if and only if $i\,=\,j$ . We provide necessary and sufficient conditions so that $T$ is the $\mathbf{m}$ -adic completion of a local unique factorization domain $\left( A,\,\mathbf{m} \right)$ , and for each $i\,\in \,\mathcal{J}$ , there exists a unit ${{t}_{i}}$ of $T$ so that ${{p}_{i}}{{t}_{i}}\in A$ and ${{C}_{i}}$ is the set of prime ideals $Q$ of $T$ that are maximal with respect to the condition that $Q\cap A={{p}_{i}}{{t}_{i}}A$ .

We then use this result to construct a (nonexcellent) unique factorization domain containing many ideals for which tight closure and completion do not commute. As another application, we construct a unique factorization domain $A$ most of whose formal fibers are geometrically regular.