Related papers: The Nash problem on arcs for surface singularities

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

We solve the equivariant generalized Nash problem for any non-rational normal variety with torus action of complexity one. Namely, we give an explicit combinatorial description of the Nash order on the set of equivariant divisorial…

In this paper, we first propose a new parameterized definition of comparison matrix of a given complex matrix, which generalizes the definition proposed by \cite {Axe1}. Based on this, we propose a new class of complex nonsymmetric…

Consider an axis-symmetric suitable weak solution of 3D incompressible Navier-Stokes equation with nontrivial swirl. If the solution satisfies a slightly supercritical assumption, we will prove that v is regular. This extends the results of…

Suppose that $G=(V, E)$ be a locally finite and connected graph with symmetric weight and uniformly positive measure, where $V$ denotes the vertex set and $E$ denotes the edge set. We are concered with the following problem $$…

Splice type surface singularities were introduced by Neumann and Wahl as a generalization of the class of Pham-Brieskorn-Hamm complete intersections of dimension two. Their construction depends on a weighted tree called a splice diagram. In…

The Nash blowing-up (or modification) of an algebraic variety $X$ is a canonical process that produces a proper, birational morphism $\pi : X' \to X$ of varieties. It is expected that the singularities of $X'$ will be better than those of…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

The Separatrix Theorem of C. Camacho and P. Sad guarantees the existence of invariant curve (separatrix) passing through the singularity of germ of holomorphic foliation on complex surface, when the surface underlying the foliation is…

We give a proof of the Neilsen-Thurston classification theorem of a homeomorphism f of a standard surface of finite type as either periodic, pseudo-Anosov, or reducible. In the periodic case, we show that there exists an integer n>0 such…

A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a…

We introduce a two-parameter continuity path for the J-equation and use it to characterize the solvability of the J-equation for K\"ahler metrics with Poincar\'e type singularities along a divisor $D$, allowing simple normal crossings and…

This paper investigates residue maps and their spanning properties for singular algebraic curves, with particular emphasis on three interconnected themes: the \emph{scheme--theoretic residue span}, the \emph{residue--balancing principle},…

We study a generalization of constant Gauss curvature -1 surfaces in Euclidean 3-space, based on Lorentzian harmonic maps, that we call pseudospherical frontals. We analyze the singularities of these surfaces, dividing them into those of…

Let $(X,o)$ be a complex analytic normal surface singularity and let ${\mathcal O}_{X,o}$ be its local ring. We investigate the normal reduction number of ${\mathcal O}_{X,o}$ and related numerical analytical invariants via resolutions…

Tangent cones are preserved under ambient bilipschitz equivalence, but the behavior of the Nash cone is more delicate. This paper explores the behavior of the Nash cone and of exceptional rays under ambient bilipschitz equivalence for real…

We prove the computational intractability of rotating and placing $n$ square tiles into a $1 \times n$ array such that adjacent tiles are compatible--either equal edge colors, as in edge-matching puzzles, or matching tab/pocket shapes, as…

In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for…

The causal graph of a planning instance is an important tool for planning both in practice and in theory. The theoretical studies of causal graphs have largely analysed the computational complexity of planning for instances where the causal…

Let $X(\Gamma)$ be the space of all finite Borel measure $\mu$ in $\mathbb R^2$ which is supported on the curve $\Gamma$ and absolutely continuous with respect to the arc length of $\Gamma$. For $\Lambda\subset\mathbb R^2,$ the pair…