Search Results

Artin's approximation theorem states: "if a system of locally analytic equations in several complex variables has a formal solution then it has a locally analytic solution". (Artin 1968, "On the solu …

Consider torsion free modules over the germ of a fixed isolated algebraic hypersurface singularity {$f=0$}$\subset\mathbb{C}^n$. There are natural functors (using categories of finitely generated modu …

(Probably a silly question, but..) Consider the ring $R=k[[x_1,\dots,x_n]]/I$, (e.g. char(k)=0), and its subring, $R_1$, generated by some of $x_i$'s. In general, an automorphism of $R_1$ does not ex …

Let $R$ be a local Noetherian ring over a field, with the maximal ideal $\mathfrak{m}$. (e.g. $R=k[[x_1,\dots,x_{p>1}]]$) Given two $R$-modules, $N\subset M$, of the same (finite, non-zero) rank. Th …

Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat elements, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, …

Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If …

(A somewhat technical question, but maybe it is well known.) Consider matrices over the ring $k[[x_1,\dots,x_n]]$, whose entries vanish at the origin (i.e. belong to the maximal ideal $\mathfrak{m} …

Let $R$ be a local ring (commutative, Noetherian, over an algebraically closed field; if needed Henselian). Suppose one wants to prove some statement. Suppose $R$ happens to be the ring of "functions …

In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline …

Let $A\in Mat(m,n;R)$ for $m\le n$ and $R$ a local ring. Consider the $mn\times(m^2+n^2)$ matrix $A\otimes 1_{nn}\oplus 1_{mm}\otimes A^T$, here $1_{mm}$, $1_{nn}$ are identity matrices. I'd like to k …

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the …

Consider tri-linear forms, $\{A_{ijk}\}$ where $i=1,\dotsc,n_1$, $j=1,,n_2$, $k=1,\dotsc n_3$, over a field of zero characteristic, up to the equivalence $A\to (U_1,U_2,U_3)(A)$, by three matrices. W …

Let $(R,m)$ be a complete local ring over a field (of char=0). Consider a (not necessarily square) matrix $A$ over $R$. Consider its fitting ideal, $I_j(A)$. In general, a deformation of the matrix, $ …

Are there some standard ways to define the tangent space to a group $G$ at its unit element, $e$, when the group is not (pro)algebraic/(pro)Lie, not necessarily over a field, does not have the ``class …

Let $R$ be the local ring of a complex curve singularity. (Can assume the singularity planar, the ring locally analytic or formal.) Let $\bar{R}$ be the normalization, let $R\subset R'\subset \bar{R}$ …