Related papers: Arc spaces of cA-type singularities
Metrizable spaces are studied in which every closed set is an $\alpha$-limit set for some continuous map and some point. It is shown that this property is enjoyed by every space containing sufficiently many arcs (formalized in the notion of…
Let K be an algebraically closed field of characteristic zero. Given a polynomial f(x,y) in K[x,y] with one place at infinity, we prove that either f is equivalent to a coordinate, or the family (f+c) has at most two rational elements. When…
We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.
We show that non-flatness of a morphism f of complex-analytic spaces with a locally irreducible target Y of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of f to the…
This paper gives a map from the set of families of arcs on a variety to the set of valuations on the rational function field of the variety We characterize a family of arcs which corresponds to a divisorial valuation by this map. We can see…
Knaster continua and solenoids are well-known examples of indecomposable continua whose composants (maximal arcwise-connected subsets) are one-to-one images of lines. We show that essentially all non-trivial one-to-one composant images of…
We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…
The Nash problem on arcs for normal surface singularities states that there are as many arc families on a germ (S,O) of a singular surface as there are essential divisors over (S,O). It is known that this problem can be reduced to the study…
The equation $x^m = 0$ defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of $k[x, x', x^{(2)}, \ldots]$ by all differential consequences of $x^m = 0$. This infinite-dimensional…
Answering a question of Frank Calegari, we extend some of our earlier results on dimension of fixed point spaces of elements in irreducible linear groups. We consider characteristic polynomials rather than just fixed spaces.
We determine the regular irreducible components of the variety mod(A,d), where A=kQ/I is a string algebra and I is generated by a set of paths of length two. Our case is among the first examples of descriptions of irreducible components,…
We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable…
Let f : X -> Y be a dominant polynomial mapping of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the…
In this work we characterize the subsets of ${\mathbb R}^n$ that are images of Nash maps $f:{\mathbb R}^m\to{\mathbb R}^n$. We prove Shiota's conjecture and show that a subset ${\mathcal S}\subset{\mathbb R}^n$ is the image of a Nash map…
We prove some basic results on the dimension theory of algebraic stacks, and on the multiplicities of their irreducible components, for which we do not know a reference.
An arc space of an affine cone over a projective toric variety is known to be non-reduced in general. It was demonstrated recently that the reduced scheme structure is worth studying due to various connections with representation theory and…
Arquile varieties are zerosets of polynomial, algebraic, analytic, or formal equations f(t,y_1,...,y_m) = 0 with solutions y(t) = (y_1(t),...,y_m(t)) in affine m-space over an algebraic, convergent or formal power series ring k<t>, k{t}, or…
We present an elementary proof that the Schur polynomial corresponding to an increasing sequence of exponents (c_0,..., c_{n-1}) with c_0 = 0 is irreducible over every field of characteristic p whenever the numbers d_i = c_{i+1} - c_i are…
"Most" hypersurfaces in projective space are irreducible, and rather precise estimates are known for the probability that a random hypersurface over a finite field is reducible. This paper considers the parametrization of space curves by…
We give the criterion for the irreducibility, the Schur irreducibility and the indecomposability of the set of two $n\times n$ matrices $\Lambda_n$ and $A_n$ in terms of the subalgebra associated with the "support" of the matrix $A_n$,…