Abstract:This article describes local normal forms of functions in noncommuting variables, up to equivalence generated by isomorphism of noncommutative Jacobi algebras, extending singularity theory in the style of Arnold's commutative local normal forms into the noncommutative realm. This generalisation unveils many new phenomena, including an ADE classification when the Jacobi ring has dimension zero and, by suitably taking limits, a further ADE classification in dimension one. These are natural generalisations of the simple singularities and those with infinite multiplicity in Arnold's classification. We obtain normal forms away from some exceptional Type E cases. Remarkably these normal forms have no moduli, and the key new feature is that the noncommutative world affords larger families. This theory has a range of immediate consequences to the birational geometry of 3-folds. The normal forms of dimension zero are the analytic classification of smooth 3-fold flops, and one outcome of NC singularity theory is the first complete list of all Type D flopping germs, with variants covering Type E. The normal forms of dimension one have further ramifications to divisorial contractions to a curve. In addition, the general techniques also give strong evidence towards new contractibility criteria for rational curves.

Local systems on analytic germ complements

Cohomology jump loci of quasi-projective varieties

Local topological algebraicity of analytic function germs

Local invariants of noncommutative tori

Malcev Completions, Hodge Theory, and Motives

Cohomology jump loci of differential graded Lie algebras

Geometric local systems on very general curves and isomonodromy

Non-vanishing of the twisted cohomology on the complement of hypersurfaces

Local systems which do not come from abelian varieties

The deletion restriction method for plane curve germ complement

Local (Co)homology and Čech (Co)complexes with Respect to a Pair of Ideals

On the non-abelian Hodge locus I

Hodge Classes in the Cohomology of Local Systems

Local Normal Forms of Noncommutative Functions

Topological monodromy kernels for fundamental groups of discriminant complements

Local mirror symmetry via SYZ

Local systems and vanishing Maslov class

Holomorphic geometric structures on Oeljeklaus–Toma manifolds

Geometric local systems on the projective line minus four points

The local converse theorem for $Mp_{2n}$ : the generic case

Local systems in diffeology