Source author record

Gene Freudenburg

Gene Freudenburg appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AC math.AG

Catalog footprint

What is connected

5works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Actions of $SL_2(k)$ on affine $k$-domains and fundamental pairs

Working over a field $k$ of characteristic zero, this paper studies algebraic actions of $SL_2(k)$ on affine $k$-domains by defining and investigating fundamental pairs of derivations. There are three main results: (1) The Structure Theorem for Fundamental derivations (Theorem 3.4) describes the kernel of a fundamental derivation, together with its degree modules and image ideals. (2) The Classification Theorem (Theorem 4.5) lists all normal affine $SL_2(k)$-surfaces with trivial units, generalizing the classification given by Gizatullin and Popov for complex $SL_2(C)$-surfaces [16]. (3) The Extension Theorem (Theorem 7.6) describes the extension of a fundamental derivation of a $k$-domain $B$ to $B[t]$ by an invariant function. The Classification Theorem is used to describe three-dimensional UFDs which admit a certain kind of $SL_2(k)$-action (Theorem 6.2). This description is used to show that any $SL_2(k)$-action on $A_k^3$ is linearizable, which was proved by Kraft and Popov in the case $k$ is algebraically closed. This description is also used, together with Panyushev's theorem on linearization of $SL_2(k)$-actions on $A_k^4$, to show a cancelation property for threefolds $X$: If $k$ is algebraically closed, $X\times A_k^1\cong A_k^4$ and $X$ admits a notrivial action of $SL_2(k)$, then $X\cong A_k^3$ (Theorem 6.6). The Extension Theorem is used to investigate free $G_a$-actions on $A_k^n$ of the type first constructed by Winkelmann.

preprint2021arXiv

Generalizations of Samuel's criteria for a ring to be a unique factorization domain

We give several criteria for a ring to be a UFD including generalizations of some criteria due to P. Samuel. These criteria are applied to construct, for any field k, (1) a Z-graded non-noetherian rational UFD of dimension three over k, and (2) k-affine rational UFDs defined by trinomial relations.

preprint2016arXiv

Canonical factorization of the quotient morphism for an affine $\mathbb{G}_a$-variety

Working over a ground field of characteristic zero, this paper studies the quotient morphism $π:X\to Y$ for an affine $\mathbb{G}_a$-variety $X$ with affine quotient $Y$. It is shown that the degree modules associated to the $\mathbb{G}_a$-action give a uniquely determined sequence of dominant $\mathbb{G}_a$-equivariant morphisms, $X=X_r\to X_{r-1}\to\cdots\to X_1\to X_0=Y$, where $X_i$ is an affine $\mathbb{G}_a$-variety and $X_{i+1}\to X_i$ is birational for each $i\ge 1$. This is the canonical factorization of $π$. We give an algorithm for finding the degree modules associated to the given $\mathbb{G}_a$-action, and this yields the canonical factorization of the quotient morphism. The algorithm is applied to compute the canonical factorization for several examples, including the homogeneous $(2,5)$-action on $\mathbb{A}^3$. By a fundamental result of Kaliman and Zaidenberg, any birational morphism of affine varieties is an affine modification, and each mapping in these examples is presented as a $\mathbb{G}_a$-equivariant affine modification.

preprint2014arXiv

An affine version of a theorem of Nagata

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R algebraically. This theorem can be applied to subrings of a ring which admits a non-zero locally nilpotent derivation. In this way, we obtain a concise new proof of the cancellation theorem for rings of transcendence degree one for fields of characteristic zero.

preprint2013arXiv

Laurent cancellation for rings of transcendence degree one

If $R$ is an integral domain and $A$ is an $R$-algebra, then $A$ has the {\it Laurent cancellation property over $R$} if $A^{[\pm n]}\cong_RB^{[\pm n]}$ implies $A\cong_RB$ ($n\ge 0$ and $B$ an $R$-algebra). Here, $A^{[\pm n]}$ denotes the ring of Laurent polynomials in $n$ variables over $A$. Our main result (Thm. 4.3) is that, if the transcendence degree of $A$ over $R$ is one, then $A$ has the Laurent cancellation property. The proof uses the characterization of Laurent polynomial rings given in Thm. 3.2.