BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Julie Decaup contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study algebraic and topological properties of subsets of preorders on a group. In particular we study properties of the composition of two preorders, generalize a topological theorem of \cite{S} in the case of standard orders and show the same theorem in the case of standard preorders. We also show a property of standard valuations.
We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power series of bounded complexity lying on an algebraic variety defined over the field of power series.
Let $ι:(K,ν)\hookrightarrow(K(x),μ)$ be a simple purely transcendental extension of valued fields. In order to study such an extension, M. Vaquié, generalizing an earlier construction of S. Mac Lane, introduced the notion of Key polynomials. In this paper we define a related notion of \textbf{abstract key polynomials} associated to $ι$ and study the relationship between them and key polynomials of Mac Lane -- Vaquié. Associated to each abstract key polynomial $Q$, we define the truncation $μ_{Q}$ of $μ$ with respect to $Q$ and we study the properties of those truncations. Roughly speaking, $μ_{Q}$ is an approximation to $μ$ defined by the key polynomial $Q$. We also define the notion of an abstract key polynomial $Q'$ being an \textbf{immediate successor} of another abstract key polynomial $Q$ (in this situation we write $Q<Q'$). The main comparison results proved in this paper are as follows:(1): An abstract key polynomial for $μ$ is a Mac Lane -- Vaquié key polynomial for the truncated valuation $μ_{Q}$.(2): If $Q<Q'$ are two abstract key polynomials for $μ$ then $Q'$ is a Mac Lane -- Vaquié key polynomial for $μ_{Q}$. (3) which, for a monic polynomial $Q\in K[x]$ and a valuation $μ'$ of $K(x)$, gives a sufficient condition for $Q$ to be an abstract key polynomial for $μ'$. Combined with an earlier result of M. Vaquié, this describes a class of pairs of valuations $(μ,μ')$ such that $Q$ is a Mac Lane -- Vaquié key polynomial for $μ$ and an abstract key polynomial for $μ'$.
We classify closed curves isomorphic to the affine line in the complement of a smooth rational projective plane conic Q. Over a field of characteristic zero, we show that up to the action of the subgroup of the Cremona group of the plane consisting of birational endomorphisms restricting to biregular auto-morphisms outside Q, there are exactly two such lines: the restriction of a smooth conic osculating Q at a rational point and the restriction of the tangent line to Q at a rational point. In contrast, we give examples illustrating the fact that over fields of positive characteristic, there exist exotic closed embeddings of the affine line in the complement of Q. We also determine an explicit set of birational endomorphisms of the plane whose restrictions generates the automorphism group of the complement of Q over a field of arbitrary characteristic.