Source author record

Thuy Huong Pham

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG

Catalog footprint

Research overview

3works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A note on finite determinacy of matrices

In this note, we give a necessary and sufficient condition for a matrix A in M to be finitely G-determined, where M is the ring of 2 x 2 matrices whose entries are formal power series over an infinite field, and G is a group acting on M by change of coordinates together with multiplication by invertible matrices from both sides.

preprint2016arXiv

On finite determinacy for matrices of power series

Let $R=K[[x_1,...,x_s]]$ be the ring of formal power series with maximal ideal $\mathfrak{m}$ over a field $K$ of arbitrary characteristic. On the ring $M_{m,n}$ of $m\times n$ matrices $A$ with entries in $R$ we consider several equivalence relations given by the action on $M_{m,n}$ of a group $G$ . $G$ can be the group of automorphisms of $R$ , combined with the multiplication of invertible matrices from the left, from the right, or from both sides, respectively. We call $A$ finitely $G$ -determined if $A$ is $G$ -equivalent to any matrix $B$ with ${A-B} \in {\mathfrak{m}^k M_{m,n}}$ for some finite integer $k$ , which implies in particular that $A$ is $G$ --equivalent to a matrix with polynomial entries. The classical criterion for analytic or differential map germs $f:(K^s,0) \to (K^m,0)$ , $K = \mathbb{R}, \mathbb{C}$ , says that $f \in M_{m,1}$ is finitely determined (with respect to various group actions) iff the tangent space to the orbit of $f$ has finite codimension in $M_{m,1}$ . We extend this criterion to arbitrary matrices in $M_{m,n}$ if the characteristic of K is 0 or, more general, if the orbit map is separable. In positive characteristic however, the problem is more subtle since the orbit map is in general not separable, as we show by an example. This fact had been overlooked in previous papers. Our main result is a general sufficient criterion for finite $G$ -determinacy in $M_{m,n}$ in arbitrary characteristic in terms of the tangent image of the orbit map, which we introduce in this paper. This criterion provides a computable bound for the $G$ -determinacy of a matrix $A$ in $M_{m,n}$ , which is new even in characteristic 0.

preprint2014arXiv

Mather-Yau Theorem in Positive Characteristic

The well-known Mather-Yau theorem says that the isomorphism type of the local ring of an isolated complex hypersurface singularity is determined by its Tjurina algebra. It is also well known that this result is wrong as stated for power series f in K[[x]] over fields K of positive characteristic. In this note we show that, however, also in positive characteristic the isomorphism type of an isolated hypersurface singularity f is determined by an Artinian algebra, namely by a "higher Tjurina algebra" for sufficiently high index, for which we give an effective bound. We prove also a similar version for the "higher Milnor algebra" considered as K[[f]]-algebra.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.