Source author record

Stefan Maubach

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG math.GR

Catalog footprint

Research overview

9works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

A new formulation of the Jacobian Conjecture in characteristic $p$

The Jacobian Conjecture uses the equation $det(Jac(F))\in k^*$ , which is a very short way to write down many equations putting restrictions on the coefficients of a polynomial map $F$ . In characteristic $p$ these equations do not suffice to (conjecturally) force a polynomial map to be invertible. In this article, we describe how to construct the conjecturally sufficient equations in characteristic $p$ forcing a polynomial map to be invertible. This provides an (alternative to Adjamagbo's formulation) definition of the Jacobian Conjecture in characteristic $p$ . We strengthen this formulation by investigating some special cases and by linking it to the regular Jacobian Conjecture in characteristic zero.

preprint2014arXiv

The profinite polynomial automorphism group

We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known candidate non-tame automorphisms are inside the profinite tame polynomial automorphism group, giving another result showing that tame maps are potentially "dense" inside the set of automorphisms. We study the profinite tame automorphism group and show that it is not far from the set of bijections obtained by endomorphisms.

preprint2013arXiv

Invariants and conjugacy classes of triangular polynomial maps

In this article, we classify invariants and conjugacy classes of triangular polynomial maps. We make these classifications in dimension 2 over domains containing $\Q$, dimension 2 over fields of characteristic $p$ , and dimension 3 over fields of characteristic zero. We discuss the generic characteristic 0 case. We determine the invariants and conjugacy classes of strictly triangular maps of maximal order in all dimensions over fields of characteristic $p$ . They turn out to be equivalent to a map of the form $(x_1+f_1,\ldots,x_n+f_n)$ where $f_i\in x_n^{p-1}k[x_{i+1}^p,\ldots,x_n^p]$ if $1\leq i\leq n-1$ and $f_n\in k^*$ .

preprint2013arXiv

Triangular polynomial maps in characteristic $p$

This paper came to existence out of the desire to understand iterations of strictly triangular polynomial maps over finite fields. This resulted in two connected results: First, we give a generalization of $\F_p$-actions on $\F_p^n$ and their description by "locally iterative higher derivations", namely $\Z$ -actions on $\F_p^n$ and show how to describe them by what we call " $\Z$ -flows". We prove equivalence between locally finite polynomial automorphisms (LFPEs) over finite fields and $\Z$ -flows over finite fields. We elaborate on $\Z$ -flows of strictly triangular polynomial maps. Second, we describe how one can efficiently evaluate iterations of triangular polynomial permutations on $\F_p^n$ which have only one orbit. We do this by determining the equivalence classes in the triangular permutation group of such elements. We show how to conjugate them all to the map $z\lp z+1$ on the ring $\Z/p^n\Z$ (which is identified with $\F_{p^n}$), making iterations trivial. An application in the form of fast-forward functions from cryptography is given.

preprint2011arXiv

Polynomial endomorphisms over finite fields: experimental results

Given a finite field $\F_q$ and $n\in \N^*$ , one could try to compute all polynomial endomorphisms $\F_q^n\lp \F_q^n$ up to a certain degree with a specific property. We consider the case $n=3$ . If the degree is low (like 2,3, or 4) and the finite field is small ( $q\leq 7$ ) then some of the computations are still feasible. In this article we study the following properties of endomorphisms: being a bijection of $\F_q^n\lp \F_q^n$, being a polynomial automorphism, being a {\em Mock automorphism}, and being a locally finite polynomial automorphism. In the resulting tables, we point out a few interesting objects, and pose some interesting conjectures which surfaced through our computations.

preprint2010arXiv

Computing preimages of points and curves under polynomial maps

In this paper, we give two algorithms to compute preimages of curves under polynomial endomorphisms. In particular, this gives an efficient way of computing preimages of points. Furthermore, we explain the abstract setting under which one can iteratively compute the inverse of a polynomial automorphism.

preprint2010arXiv

Locally tame plane polynomial automorphisms

For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.

preprint2010arXiv

Rigid rings and Makar-Limanov techniques

A ring is rigid if there is no nonzero locally nilpotent derivation on it. In terms of algebraic geometry, a rigid coordinate ring corresponds to an algebraic affine variety which does not allow any nontrivial algebraic additive group action. Even though it is thought that "generic" rings are rigid, it is far from trivial to show that a ring is rigid. In this paper we provide several examples of rigid rings and we outline two general strategies to help determine if a ring is rigid, which we call "parametrization techniques" and "filtration techniques". We provide many little tools and lemmas which may be useful in other situations. Also, we point out some pitfalls to beware when using these techniques. Finally, we give some reasonably simple hypersurfaces for which the question of rigidity remains unsettled.

preprint2010arXiv

Unipotent group actions on affine varieties

Algebraic actions of unipotent groups $U$ actions on affine $k-$ varieties $X$ ( $k$ an algebraically closed field of characteristic 0) for which the algebraic quotient $X//U$ has small dimension are considered $.$ In case $X$ is factorial, $O(X)^{\ast}=k^{\ast},$ and $X//U$ is one-dimensional, it is shown that $O(X)^{U}$ = $k[f]$ , and if some point in $X$ has trivial isotropy, then $X$ is $U$ equivariantly isomorphic to $U\times A^{1}(k).$ The main results are given distinct geometric and algebraic proofs. Links to the Abhyankar-Sathaye conjecture and a new equivalent formulation of the Sathaye conjecture are made.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Stefan Maubach

Research overview

Is this your work?

9 publications

A new formulation of the Jacobian Conjecture in characteristic $p$

The profinite polynomial automorphism group

Invariants and conjugacy classes of triangular polynomial maps

Triangular polynomial maps in characteristic $p$

Polynomial endomorphisms over finite fields: experimental results

Computing preimages of points and curves under polynomial maps

Locally tame plane polynomial automorphisms

Rigid rings and Makar-Limanov techniques

Unipotent group actions on affine varieties

See the researcher in context

Building this map preview

Stefan Maubach

Research overview

Is this your work?

9 publications

A new formulation of the Jacobian Conjecture in characteristic ppp

The profinite polynomial automorphism group

Invariants and conjugacy classes of triangular polynomial maps

Triangular polynomial maps in characteristic ppp

Polynomial endomorphisms over finite fields: experimental results

Computing preimages of points and curves under polynomial maps

Locally tame plane polynomial automorphisms

Rigid rings and Makar-Limanov techniques

Unipotent group actions on affine varieties

See the researcher in context

Building this map preview

A new formulation of the Jacobian Conjecture in characteristic $p$

Triangular polynomial maps in characteristic $p$