Showing 1–7 of 7 results for author: Finston, D

Proper triangular Ga-actions on A^4 are translations

Authors: Adrien Dubouloz, David Finston, Imad Jaradat

Abstract: We describe the structure of geometric quotients for proper locally triangulable additve group actions on locally trivial A^3-bundles over a noetherian normal base scheme X defined over a field of characteristic 0. In the case where dim X=1, we show in particular that every such action is a translation with geometric quotient isomorphic to the total space of a vector bundle of rank 2 over X. As a… ▽ More We describe the structure of geometric quotients for proper locally triangulable additve group actions on locally trivial A^3-bundles over a noetherian normal base scheme X defined over a field of characteristic 0. In the case where dim X=1, we show in particular that every such action is a translation with geometric quotient isomorphic to the total space of a vector bundle of rank 2 over X. As a consequence, every proper triangulable Ga-action on the affine four space A^4 over a field of characteristic 0 is a translation with geometric quotient isomorphic to A^3. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Journal ref: Algebra Number Theory 8 (2014) 1959-1984

Proper twin-triangular Ga-actions on A^4 are translations

Authors: Adrien Dubouloz, David R. Finston

Abstract: An additive group action on an affine 3 -space over a complex Dedekind domain A is said to be twin-triangular if it is generated by a locally nilpotent derivation of A[y,z,t] of the form rd/dy+p(y)d/dz + q(y)d/dt, where r belongs to A and p,q belong to A[y] . We show that these actions are translations if and only if they are proper. Our approach avoids the computation of rings of invariants and f… ▽ More An additive group action on an affine 3 -space over a complex Dedekind domain A is said to be twin-triangular if it is generated by a locally nilpotent derivation of A[y,z,t] of the form rd/dy+p(y)d/dz + q(y)d/dt, where r belongs to A and p,q belong to A[y] . We show that these actions are translations if and only if they are proper. Our approach avoids the computation of rings of invariants and focuses more on the nature of geometric quotients for such actions. △ Less

Submitted 28 September, 2011; originally announced September 2011.

On exotic affine 3-spheres

Authors: Adrien Dubouloz, David R. Finston

Abstract: Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total space… ▽ More Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total spaces of nontrivial homogeneous $\mathbb{A}^{1}$-bundles over the punctured plane are classified up to $\mathbb{G}_{m}$-equivariant algebraic isomorphism and a criterion for nonisomorphy is given. In fact the affine 3-sphere is not isomorphic as an abstract variety to the total space of any $\mathbb{A}^{1}$-bundle over the punctured plane of different homogeneous degree, which gives rise to the existence of exotic spheres, a phenomenon that first arises in dimension three. As a by product, an example is given of two biholomorphic but not algebraically isomorphic threefolds, both with a trivial Makar-Limanov invariant, and with isomorphic cylinders. △ Less

Submitted 15 June, 2011; originally announced June 2011.

Unipotent group actions on affine varieties

Authors: Harm Derksen, Arno van den Essen, David R. Finston, Stefan Maubach

Abstract: 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$ equiva… ▽ More 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. △ Less

Submitted 22 February, 2010; originally announced February 2010.

Comments: 10 pages. This submission comes out of an older submission ("A commuting derivations theorem on UFDs") and contains part of it

MSC Class: 14L30; 14L17;14L24

Factorial threefolds with Ga-actions

Authors: Adrien Dubouloz, David R. Finston, Parag Deepak Mehta

Abstract: The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira… ▽ More The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira dimension equal to 1. The latter are therefore remote from the affine three-space, the first unknown case where the base of one cylinder is an affine space. Locally trivial Ga-actions play a significant role in these examples. Threefolds admitting free Ga-actions are discussed, especially a class of varieties with negative logarithmic Kodaira dimension which are total spaces of nonisomorphic Ga-bundles. Some members of the class are shown to be isomorphic as abstract varieties, but it is unknown whether any members of the class constitute counterexamples to cancellation. △ Less

Submitted 23 February, 2009; originally announced February 2009.

MSC Class: 14L30; 14R20

The Automorphism Group of Certain Factorial Threefolds and a Cancellation Problem

Authors: David Finston, Stefan Maubach

Abstract: The automorphism groups of certain factorial complex affine threefolds admitting locally trivial actions of the additive group are determined. As a consequence new counterexamples to a generalized cancellation problem are obtained. The automorphism groups of certain factorial complex affine threefolds admitting locally trivial actions of the additive group are determined. As a consequence new counterexamples to a generalized cancellation problem are obtained. △ Less

Submitted 28 June, 2007; originally announced June 2007.

Comments: To appear in Isr. J. Math

MSC Class: 13N15; 13A50; 14R20

Constructing (almost) rigid rings and a UFD having infinitely generated Derksen and Makar-Limanov invariant

Authors: David Finston, Stefan Maubach

Abstract: An example is given of a UFD which has infinitely generated Derksen invariant. The ring is \textquotedblleft almost rigid\textquotedblright\ meaning that the Derksen invariant is equal to the Makar-Limanov invariant. Techniques to show that a ring is (almost) rigid are discussed, among which is a generalization of Mason's abc-theorem. An example is given of a UFD which has infinitely generated Derksen invariant. The ring is \textquotedblleft almost rigid\textquotedblright\ meaning that the Derksen invariant is equal to the Makar-Limanov invariant. Techniques to show that a ring is (almost) rigid are discussed, among which is a generalization of Mason's abc-theorem. △ Less

Submitted 28 June, 2007; originally announced June 2007.

Comments: Accepted to Canad. Math. Bull

MSC Class: 14R20; 13A50; 13N15.