Searcharxiv⌕ Search

arXiv subjects

Frank Kutzschebauch

Publications and source records attributed to Frank Kutzschebauch.

53 records · Page 3Linked to original sources

The algebraic density property for affine toric varieties

In this paper we generalize the algebraic density property to not necessarily smooth affine varieties relative to some closed subvariety containing the singular locus. This property implies the remarkable approximation results for holomorphic automorphisms of the Andersén-Lempert theory. We show that an affine toric variety X satisfies this algebraic density property relative to a closed T-invariant subvariety Y if and only if X-Y is different from T. For toric surfaces we are able to classify those which posses a strong version of the algebraic density property (relative to the singular locus). The main ingredient in this classification is our proof of an equivariant version of Brunella's famous classification of complete algebraic vector fields in the affine plane.

math.CV↗

On algebraic volume density property

A smooth affine algebraic variety $X$ equipped with an algebraic volume form $ω$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $ω$-divergence zero coincides with the space of all algebraic vector fields of $ω$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admits a $G$-invariant algebraic volume form where $G$ is a linear algebraic group and $R$ is a closed reductive subgroup of $G$.

math.AG↗

Flexibility properties in Complex Analysis and Affine Algebraic Geometry

In the last decades affine algebraic varieties and Stein manifolds with big (infinite-dimensional) automorphism groups have been intensively studied. Several notions expressing that the automorphisms group is big have been proposed. All of them imply that the manifold in question is an Oka-Forstnerič manifold. This important notion has also recently merged from the intensive studies around the homotopy principle in Complex Analysis. This homotopy principle, which goes back to the 1930's, has had an enormous impact on the development of the area of Several Complex Variables and the number of its applications is constantly growing. In this overview article we present 3 classes of properties: 1. density property, 2. flexibility 3. Oka-Forstnerič. For each class we give the relevant definitions, its most significant features and explain the known implications between all these properties. Many difficult mathematical problems could be solved by applying the developed theory, we indicate some of the most spectacular ones.

math.CV↗

An Oka principle for equivariant isomorphisms

Let $G$ be a reductive complex Lie group acting holomorphically on normal Stein spaces $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? If the actions of $G$ on $X$ and $Y$ are what we, with justification, call generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic if $X$ is $K$-contractible, where $K$ is a maximal compact subgroup of $G$, or if $X$ and $Y$ are smooth and there is a $G$-diffeomorphism $ψ:X\to Y$ over $Q$, which is holomorphic when restricted to each fibre of the quotient map $X\to Q$. We prove a similar theorem when $ψ$ is only a $G$-homeomorphism, but with an assumption about its action on $G$-finite functions. When $G$ is abelian, we obtain stronger theorems. Our results can be interpreted as instances of the Oka principle for sections of the sheaf of $G$-biholomorphisms from $X$ to $Y$ over $Q$. This sheaf can be badly singular, even for a low-dimensional representation of $\mathrm{SL}_2(\C)$. Our work is in part motivated by the linearisation problem for actions on $\C^n$. It follows from one of our main results that a holomorphic $G$-action on $\C^n$, which is locally $G$-biholomorphic over a common quotient to a generic linear action, is linearisable.

math.CV↗

On Kazhdan's Property (T) for the special linear group of holomorphic functions

We investigate when the group $SL_n(\mathcal{O}(X))$ of holomorphic maps from a Stein space $X$ to $SL_n (\C)$ has Kazhdan's property (T) for $n\ge 3$. This provides a new class of examples of non-locally compact groups having Kazhdan's property (T). In particular we prove that the holomorphic loop group of $SL_n (\C)$ has Kazhdan's property (T) for $n\ge 3$. Our result relies on the method of Shalom to prove Kazhdan's property (T) and the solution to Gromov's Vaserstein problem by the authors.

math.CV↗

Holomorphic families of non-equivalent embeddings and of holomorphic group actions on affine space

We construct holomorphic families of proper holomorphic embeddings of $\C^k$ into $\C^n$ ($0<k<n-1$), so that for any two different parameters in the family no holomorphic automorphism of $\C^n$ can map the image of the corresponding two embeddings onto each other. As an application to the study of the group of holomorphic automorphisms of $\C^n$ we derive the existence of families of holomorphic $\C^*$-actions on $\C^n$ ($n\ge 5$) so that different actions in the family are not conjugate. This result is surprising in view of the long standing Holomorphic Linearization Problem, which in particular asked whether there would be more than one conjugacy class of $\C^*$ actions on $\C^n$ (with prescribed linear part at a fixed point).

math.CV↗

On the present state of the Andersen-Lempert theory

In this survey of the Andersen-Lempert theory we present the state of the art in the study of the density property (which means that the Lie algebra generated by completely integrable holomorphic vector fields on a given Stein manifold is dense in the space of all holomorphic vector fields). There are also two new results in the paper one of which is the theorem stating that the product of Stein manifolds with the volume density property possesses such a property as well. The second one is a meaningful example of an algebraic surface without the algebraic density property. The proof of the last fact requires Brunella's technique.

math.CV↗

Algebraic volume density property of affine algebraic manifolds

We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.

math.CV↗

Holomorphic factorization of mappings into SL_n(C)

We solve Gromov's Vaserstein problem. Namely, we show that a null-homotopic holomorphic mapping from a finite dimensional reduced Stein space into SL_n(C) can be factored into a finite product of unipotent matrices with holomorphic entries.

math.CV↗

Criteria for the density property of complex manifolds

In this paper we suggest new effective criteria for the density property. This enables us to give a trivial proof of the original Andersén-Lempert result and to establish (almost free of charge) the algebraic density property for all linear algebraic groups whose connected components are different from tori or $\C_+$. As another application of this approach we tackle the question (asked among others by F. Forstnerič) about the density of algebraic vector fields on Euclidean space vanishing on a codimension 2 subvariety.

math.CV↗

An interpolation theorem for proper holomorphic embeddings

Given a Stein manifold X of dimension n>1, a discrete sequence a_j in X, and a discrete sequence b_j in C^m where m > [3n/2], there exists a proper holomorphic embedding of X into C^m which sends a_j to b_j for every j=1,2,.... This is the interpolation version of the embedding theorem due to Eliashberg, Gromov and Schurmann. The dimension m cannot be lowered in general due to an example of Forster.

math.CV↗