BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Mark Spivakovsky

Mark Spivakovsky contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.AC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2020arXiv

On common extensions of valued fields

Given a valuation $v$ on a field $K$, an extension $\bar{v}$ to an algebraic closure and an extension $w$ to $K(X)$. We want to study the common extensions of $\bar{v}$ and $w$ to $\bar{K}(X)$. First we give a detailed link between the minimal pairs notion and the key polynomials notion. Then we prove that in the case when $w$ is a transcendental extension, then any sequence of key polynomials admits a maximal element, and in case this sequence does not contain a limit key polynomial, then any root of the last key polynomial, describe a common extension.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the local uniformization problem

In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization to the rank one case. In that paper, we prove that in order to obtain local uniformization for valuations centered at objects of a subcategory of the category of noetherian integral domains, it is enough to prove it for rank one valuations centered at objects of the same category. We also announce an extension of this work which was partially developed during ALANT 3. This extension says that the reduction mentioned above also works for noetherian rings with zero divisors (including the case of non-reduced rings).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Reduction of local uniformization to the case of rank one valuations for rings with zero divisors

This is a continuation of a previous paper by the same authors. In the former paper, it was proved that in order to obtain local uniformization for valuations centered on local domains, it is enough to prove it for rank one valuations. In this paper, we extend this result to the case of valuations centered on rings which are not necessarily integral domains and may even contain nilpotents.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Equisingularity in one parameter families of generically reduced curves

We explore some equisingularity criteria in one parameter families of generically reduced curves. We prove the equivalence between Whitney regularity and Zariski's discriminant criterion. We prove that topological triviality implies smoothness of the normalized surface. Examples are given to show that Witney regularity and equisaturation are not stable under the blow-up of the singular locus nor under the Nash modification.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The analogue of Izumi's Theorem for Abhyankar valuations

A well known theorem of Shuzo Izumi, strengthened by David Rees, asserts that all the divisorial valuations centered in an analytically irreducible local noetherian ring are linearly comparable to each other. In the present paper we generalize this theorem to the case of Abhyankar valuations with archimedian value semigroup. Indeed, we prove that in a certain sense linear equivalence of topologies characterizes Abhyankar valuations with archimedian semigroups, centered in analytically irreducible local noetherian rings. Then we show that some of the classical results on equivalence of topologies in noetherian rings can be strengthened to include linear equivalence of topologies. We also prove a new comparison result between the Krull topology and the topology defined by the symbolic powers of an arbitrary ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

This paper is a step in our program for proving the Piece-Birkhoff Conjecture for regular rings of any dimension (this would contain, in particular, the classical Pierce-Birkhoff conjecture which deals with polynomial rings over a real closed field). We first recall the Connectedness and the Definable Connectedness conjectures, both of which imply the Pierce - Birkhoff conjecture. Then we introduce the notion of a system of approximate roots of a valuation v on a ring A (that is, a collection Q of elements of A such that every v-ideal is generated by products of elements of Q). We use approximate roots to give explicit formulae for sets in the real spectrum of A which we strongly believe to satisfy the conclusion of the Definable Connectedness conjecture. We prove this claim in the special case of dimension 2. This proves the Pierce-Birkhoff conjecture for arbitrary regular 2-dimensional rings.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Pierce-Birkhoff Conjecture

This paper represents a step in our program towards the proof of the Pierce--Birkhoff conjecture. In the nineteen eighties J. Madden proved that the Pierce-Birkhoff conjecture for a ring A$is equivalent to a statement about an arbitrary pair of points $α,β\in\sper\ A$ and their separating ideal $<α,β>$; we refer to this statement as the Local Pierce-Birkhoff conjecture at $α,β$. In this paper, for each pair $(α,β)$ with $ht(<α,β>)=\dim A$, we define a natural number, called complexity of $(α,β)$. Complexity 0 corresponds to the case when one of the points $α,β$ is monomial; this case was already settled in all dimensions in a preceding paper. Here we introduce a new conjecture, called the Strong Connectedness conjecture, and prove that the strong connectedness conjecture in dimension n-1 implies the connectedness conjecture in dimension n in the case when $ht(<α,β>)$ is less than n-1. We prove the Strong Connectedness conjecture in dimension 2, which gives the Connectedness and the Pierce--Birkhoff conjectures in any dimension in the case when $ht(<α,β>)$ less than 2. Finally, we prove the Connectedness (and hence also the Pierce--Birkhoff) conjecture in the case when dimension of A is equal to $ht(<α,β>)=3$, the pair $(α,β)$ is of complexity 1 and $A$ is excellent with residue field the field of real numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Reduction of Singularities of Three-Dimensional Line Foliations

We give a birational reduction of singularities for one dimensional foliations in ambient spaces of dimension three. To do this, we first prove the existence of a Local Uniformization in the sense of Zariski. The reduction of singularities is then obtained by a gluing procedure for Local Uniformization similar to Zariski&#39;s one, using an axiomatization of Zariski&#39;s work by Olivier Piltant.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Nash problem of arcs and the rational double point $\mathbf{E_6}$

This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the exceptional divisor in the minimal resolution of this singularity. We propose a program for an affirmative solution of the Nash problem in the case of normal 2-dimensional hypersurface singularities. We illustrate this program by giving an affirmative solution of the Nash problem for the rational double point $\mathbf{E_6}$. We also prove some results on the algebraic structure of the space of $k$-jets of an arbitrary hypersurface singularity and apply them to the specific case of $\mathbf{E_6}$.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

A connectedness theorem for real spectra of polynomial rings

Let R be a real closed field. The Pierce-Birkhoff conjecture says that any piecewise polynomial function f on R^n can be obtained from the polynomial ring R[x_1,...,x_n] by iterating the operations of maximum and minimum. The purpose of this paper is twofold. First, we state a new conjecture, called the Connectedness conjecture, which asserts the existence of connected sets in the real spectrum of R[x_1,...,x_n] satisfying certain conditions. We prove that the Connectedness conjecture implies the Pierce-Birkhoff conjecture. Secondly, we construct a class of connected sets in the real spectrum which, though not in itself enough for the proof of the Pierce-Birkhoff conjecture, is the first and simplest example of the sort of connected sets we really need, and which constitutes a crucial step on the way to a proof of the Pierce-Birkhoff conjecture in dimension greater than 2, to appear in a subsequent paper.

0 citations0 reviewsNo code linkedOpen access