Arquile Varieties – Varieties Consisting of Power Series in a Single Variable

@article{Hauser2021ArquileV,
  title={Arquile Varieties – Varieties Consisting of Power Series in a Single Variable},
  author={Herwig Hauser and Sebastian Woblistin},
  journal={Forum of Mathematics, Sigma},
  year={2021},
  volume={9}
}
Abstract 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… 
1 Citations
Embedding codimension of the space of arcs
We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field.

References

SHOWING 1-10 OF 51 REFERENCES
On the formal arc space of a reductive monoid
Let $X$ be a scheme of finite type over a finite field $k$, and let ${\cal L} X$ denote its arc space; in particular, ${\cal L} X(k)=X(k[[t]])$. Using the theory of Grinberg, Kazhdan, and Drinfeld on
The minimal formal models of curve singularities
Let k be a field. We introduce a new geometric invariant, namely the minimal formal models, associated with every curve singularity (defined over k). This is a noetherian affine adic formal k-scheme,
The Drinfeld-Grinberg-Kazhdan Theorem for formal schemes and singularity theory
Let k be a field. In this article, we provide an extended version of the Drinfeld-Grinberg-Kazhdan Theorem in the context of formal geometry. We prove that, for every formal scheme V topologically of
Germs of arcs on singular algebraic varieties and motivic integration
We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the
On the Grinberg - Kazhdan formal arc theorem
Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k
The classical Artin approximation theorems
The various Artin approximation theorems assert the existence of power series solutions of a certain quality Q (i.e., formal, analytic, algebraic) of systems of equations of the same quality Q,
Isosingular loci and the Cartesian product structure of complex analytic singularities
Let X be a (not necessarily reduced) complex analytic space, and let V be a germ of an analytic space. The locus of points q in X at which the germ Xq is complex analytically isomorphic to V is
The Basic Theory of Power Series
I Power Series.- 1 Series of Real and Complex Numbers.- 2 Power Series.- 3 Ruckert's and Weierstrass's Theorems.- II Analytic Rings and Formal Rings.- 1 Mather's Preparation Theorem.- 2 Noether's
Divisorial Valuations via Arcs
This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset
Embedding codimension of the space of arcs
We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field.
...
1
2
3
4
5
...