Finding roots of nonlinear systems of equations on a domain.
Finiteness results for Abelian tree models
Equivariant tree models are statistical models used in the reconstruction of phylogenetic trees from genetic data. Here equivariant§ refers to a symmetry group imposed on the root distribution and on the transition matrices in the model. We prove that if that symmetry group is Abelian, then the Zariski closures of these models are defined by polynomial equations of bounded degree, independent of the tree. Moreover, we show that there exists a polynomial-time membership test for that Zariski closure....
Flatness testing over singular bases
We show that non-flatness of a morphism φ:X→ Y of complex-analytic spaces with a locally irreducible target of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of φ to the desingularization of Y. An algebraic analogue follows: Let R be a locally (analytically) irreducible finite type ℂ-algebra and an integral domain of Krull dimension n, and let S be a regular n-dimensional algebra of finite type over R (but not necessarily a finite R-module),...
Freeness, linear disjointness, and implicitization -- a classical approach.