Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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 has characteristic 0
then the formal neighborhood of f in L(X) admits a decomposition into a product
of an infinite-dimensional smooth piece and a piece isomorphic to the formal
neighborhood of a closed point of a scheme of finite type. We give a short
proof of this theorem without the characteristic 0 assumption.

27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom