Related papers: On the Surjectivity of Certain Maps

Let $K$ be a number field, let $S$ be a finite set of places of $K$, and let $R_S$ be the ring of $S$-integers of $K$. A $K$-morphism $f:\mathbb{P}^1_K\to\mathbb{P}^1_K$ has simple good reduction outside $S$ if it extends to an…

We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space…

Let $R$ be a Dedekind domain with field of fractions $K$ and $\operatorname{char}(R)\neq3$. In this paper, we generalize Bhargava's parametrization of $3$-torsion ideal classes by binary cubic forms to work over $R$. Specifically, we…

The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma…

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.

The Jacobian Conjecture would follow if it were known that real polynomial maps with a unipotent Jacobian matrix are injective. The conjecture that this is true even for $C^1$ maps is explored here. Some results known in the polynomial case…

For a smooth quasi-projective scheme $X$ over a field $k$ with an action of a reductive group, we establish a spectral sequence connecting the equivariant and the ordinary higher Chow groups of $X$. For $X$ smooth and projective, we show…

Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed…

We introduce filtered algebraic $K$-theory of a ring $R$ relative to a sublattice of ideals. This is done in such a way that filtered algebraic $K$-theory of a Leavitt path algebra relative to the graded ideals is parallel to the gauge…

We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's…

This note aims to study the iteration theory of noncommutative self-maps of bounded matrix convex domains. We prove a version of the Denjoy-Wolff theorem for the row ball and the maximal quantization of the unit ball of $\mathbb{C}^d$. For…

We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\mathcal{O}_X \cong R^ig_{*} \mathcal{O}_Y$ and $R^i…

We consider injectivity and surjectivity of some maps on the exterior algebra of isomorphic finite-dimensional vector spaces. We prove the properties of the maps in full generality, for any dimension of the vector space and any subspace. We…

We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…

This article extends the theorem of the absence of wandering domains from unimodal maps to infinitely period-doubling renormalizable H\'enon-like maps in the strongly dissipative (area contracting) regime. The theorem solves an open problem…

Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model…

Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial…

One studies certain degenerations of the generic square matrix over a field $k$ along with its main related structures, such as the determinant of the matrix, the ideal generated by its partial derivatives, the polar map defined by these…

It is a well-known and easily established fact that every Euclidean domain is also a principal ideal domain. However, the converse statement is not true, and this is usually shown by exhibiting as a counterexample the ring of algebraic…

Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…