Related papers: The Markus-Yamabe Conjecture for Differentiable ve…

In this paper, we first show that homogeneous Keller maps are injective on lines through the origin. We subsequently formulate a generalization, which is that under some conditions, a polynomial endomorphism with $r$ homogeneous parts of…

Let $p$ be a prime. For $p=2$, the fields of values of the complex irreducible characters of finite groups whose degrees are not divisible by $p$ have been classified; for odd primes $p$, a conjectural classification has been proposed. In…

We probe deeper into the Discrete Markus-Yamabe Question for polynomial planar maps and into the normal form for those maps which answer this question in the affirmative. Furthermore, in a symmetric context, we show that the only nonlinear…

Let $(m_1, m_2)$ be a pair of positive integers. Denote by $\mathbb{P}^1$ the complex projective line, and by $\mathbb{P}^1_{m_1,m_2}$ the orbifold complex projective line obtained from $\mathbb{P}^1$ by adding $\mathbb{Z}_{m_1}$ and…

Given an algebraically closed field $K$ of characteristic zero, we study the incidence relation between points and irreducible projective curves, or more precisely the poset of irreducible proper subvarieties of $\mathbb P^2(K)$. Answering…

We prove that if a non-singular planar map $\Lambda \in C^2(R^2,R^2)$ has a convex component, then $\Lambda$ is injective. We do not assume strict convexity.

Establishing that a demand mapping is injective is core first step for a variety of methodologies. When a version of the law of demand holds, global injectivity can be checked by seeing whether the demand mapping is constant over any line…

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Let $f : X \rightarrow Y$ be a separable finite surjective map between irreducible normal projective varieties defined over an algebraically closed field, such that the corresponding homomorphism between \'etale fundamental groups $f_* :…

A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…

We study algebraic integrability of complex planar polynomial vector fields $X=A (x,y)(\partial/\partial x) + B(x,y) (\partial/\partial y) $ through extensions to Hirzebruch surfaces. Using these extensions, each vector field $X$ determines…

Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every…

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic…

One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…

We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module…

The visibility graph Vis(X) of a discrete point set X in the plane has vertex set X and an edge xy for every two points x,y\in X whenever there is no other point in X on the line segment between x and y. We show that for every graph G,…

Unless another thing is stated one works in the $C^\infty$ category and manifolds have empty boundary. Let $X$ and $Y$ be vector fields on a manifold $M$. We say that $Y$ tracks $X$ if $[Y,X]=fX$ for some continuous function $f\colon…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

It is shown that a trace invariant projection map, i.e. a positive unital idempotent map, of a finite dimensional C*-algebra into itself is non-decomposable if and only if it is atomic, or equivalently not the sum of a 2-positive and a…

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…