Source author record

Gerald W. Schwarz

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

ResearcherUnclaimed source record

math.RT math.GR math.AG math.CV math.SG math.AC

Catalog footprint

What is connected

16works

6topics

4close 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.

preprint2021arXiv

A characterization of linearizability for holomorphic $\mathbb{C}^*$-actions

Let $G$ be a reductive complex Lie group acting holomorphically on $X=\mathbb{C}^n$. The (holomorphic) Linearization Problem asks if there is a holomorphic change of coordinates on $\mathbb{C}^n$ such that the $G$-action becomes linear. Equivalently, is there a $G$-equivariant biholomorphism $Φ\colon X\to V$ where $V$ is a $G$-module? There is an intrinsic stratification of the categorical quotient $X /\!/G$, called the Luna stratification, where the strata are labeled by isomorphism classes of representations of reductive subgroups of $G$. Suppose that there is a $Φ$ as above. Then $Φ$ induces a biholomorphism $ϕ\colon X/\!/G\to V/\!/G$ which is stratified, i.e., the stratum of $ X/\!/G$ with a given label is sent isomorphically to the stratum of $V/\!/G$ with the same label. The counterexamples to the Linearization Problem construct an action of $G$ such that $X/\!/G$ is not stratified biholomorphic to any $V/\!/G$. Our main theorem shows that, for a reductive group $G$ with $G^0=\mathbb{C}^*$, the existence of a stratified biholomorphism of $X/\!/G$ to some $V/\!/G$ is not only necessary but also sufficient for linearization. In fact, we do not have to assume that $X$ is biholomorphic to $\mathbb{C}^n$, only that $X$ is a Stein manifold.

preprint2019arXiv

Symplectic quotients have symplectic singularities

Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_0$ at level $0$ of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_0$. We show that if $(V, G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This in particular implies that the real symplectic quotient is graded Gorenstein. In the case that $K$ is a torus or $\operatorname{SU}_2$, we show that these results hold without the hypothesis that $(V,G)$ is $3$-large.

preprint2016arXiv

An equivariant parametric Oka principle for bundles of homogeneous spaces

We prove a parametric Oka principle for equivariant sections of a holomorphic fibre bundle $E$ with a structure group bundle $\mathscr G$ on a reduced Stein space $X$, such that the fibre of $E$ is a homogeneous space of the fibre of $\mathscr G$, with the complexification $K^\mathbb C$ of a compact real Lie group $K$ acting on $X$, $\mathscr G$, and $E$. Our main result is that the inclusion of the space of $K^\mathbb C$-equivariant holomorphic sections of $E$ over $X$ into the space of $K$-equivariant continuous sections is a weak homotopy equivalence. The result has a wide scope; we describe several diverse special cases. We use the result to strengthen Heinzner and Kutzschebauch's classification of equivariant principal bundles, and to strengthen an Oka principle for equivariant isomorphisms proved by us in a previous paper.

preprint2016arXiv

Sufficient Conditions for Holomorphic Linearisation

Let $G$ be a reductive complex Lie group acting holomorphically on $X={\mathbb C}^n$. The (holomorphic) Linearisation Problem asks if there is a holomorphic change of coordinates on ${\mathbb C}^n$ such that the $G$-action becomes linear. Equivalently, is there a $G$-equivariant biholomorphism $Φ\colon X\to V$ where $V$ is a $G$-module? There is an intrinsic stratification of the categorical quotient $Q_X$, called the Luna stratification, where the strata are labeled by isomorphism classes of representations of reductive subgroups of $G$. Suppose that there is a $Φ$ as above. Then $Φ$ induces a biholomorphism $ϕ\colon Q_X\to Q_V$ which is stratified, i.e., the stratum of $Q_X$ with a given label is sent isomorphically to the stratum of $Q_V$ with the same label. The counterexamples to the Linearisation Problem construct an action of $G$ such that $Q_X$ is not stratified biholomorphic to any $Q_V$. Our main theorem shows that, for most $X$, a stratified biholomorphism of $Q_X$ to some $Q_V$ is sufficient for linearisation. In fact, we do not have to assume that $X$ is biholomorphic to ${\mathbb C}^n$, only that $X$ is a Stein manifold.

preprint2015arXiv

Jet schemes and invariant theory

Let $G$ be a complex reductive group and $V$ a $G$-module. Then the $m$th jet scheme $G_m$ acts on the $m$th jet scheme $V_m$ for all $m\geq 0$. We are interested in the invariant ring $\mathcal{O}(V_m)^{G_m}$ and whether the map $p_m^*\colon\mathcal{O}((V//G)_m) \rightarrow \mathcal{O}(V_m)^{G_m}$ induced by the categorical quotient map $p\colon V\rightarrow V//G$ is an isomorphism, surjective, or neither. Using Luna's slice theorem, we give criteria for $p_m^*$ to be an isomorphism for all $m$, and we prove this when $G=SL_n$, $GL_n$, $SO_n$, or $Sp_{2n}$ and $V$ is a sum of copies of the standard representation and its dual, such that $V//G$ is smooth or a complete intersection. We classify all representations of $\mathbb{C}^*$ for which $p^*_{\infty}$ is surjective or an isomorphism. Finally, we give examples where $p^*_m$ is surjective for $m=\infty$ but not for finite $m$, and where it is surjective but not injective.

preprint2014arXiv

When is a symplectic quotient an orbifold?

Let $K$ be a compact Lie group of positive dimension. We show that for most unitary $K$-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When $K$ is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian $K$-manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary $\operatorname{SU}_2$-modules yield symplectic quotients that are $\mathbb{Z}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.

preprint2013arXiv

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.

preprint2013arXiv

Lifting automorphisms of quotients of adjoint representations

Let $\mathfrak g_i$ be a simple complex Lie algebra, $1\leq i \leq d$, and let $G=G_1\times...\times G_d$ be the corresponding adjoint group. Consider the $G$-module $V=\oplus r_i\mathfrak g_i$ where $r_i\geq 1$ for all $i$. We say that $V$ is \emph{large} if all $r_i\geq 2$ and $r_i\geq 3$ if $G_i$ has rank 1. In [Schwarz12] we showed that when $V$ is large any algebraic automorphism $ψ$ of the quotient $Z:= V//G$ lifts to an algebraic mapping $Ψ\colon V\to V$ which sends the fiber over $z$ to the fiber over $ψ(z)$, $z\in Z$. (Most cases were already handled in [Kuttler11]). We also showed that one can choose a biholomorphic lift $Ψ$ such that $Ψ(gv)=σ(g)Ψ(v)$, $g\in G$, $v\in V$, where $σ$ is an automorphism of $G$. This leaves open the following questions: Can one lift holomorphic automorphisms of $Z$? Which automorphisms lift if $V$ is not large? We answer the first question in the affirmative and also answer the second question. Part of the proof involves establishing the following result for $V$ large. Any algebraic differential operator of order $k$ on $Z$ lifts to a $G$-invariant algebraic differential operator of order $k$ on $V$. We also consider the analogues of the questions above for actions of compact Lie groups.

preprint2013arXiv

Quotients, automorphisms and differential operators

Let $V$ be a $G$-module where $G$ is a complex reductive group. Let $Z:=\quot VG$ denote the categorical quotient and let $π\colon V\to Z$ be the morphism dual to the inclusion $Ø(V)^G\subsetØ(V)$. Let $ϕ\colon Z\to Z$ be an algebraic automorphism. Then one can ask if there is an algebraic map $Φ\colon V\to V$ which lifts $ϕ$, i.e., $π(Φ(v))=ϕ(π(v))$ for all $v\in V$. In \cite{Kuttler} the case is treated where $V=r\lieg$ is a multiple of the adjoint representation of $G$. It is shown that, for $r$ sufficiently large (often $r\geq 2$ will do), any $ϕ$ has a lift. We consider the case of general representations (satisfying some mild assumptions). It turns out that it is natural to consider holomorphic lifting of holomorphic automorphisms of $Z$, and we show that if a holomorphic $ϕ$ and its inverse lift holomorphically, then $ϕ$ has a lift $Φ$ which is an automorphism such that $Φ(gv)=σ(g)Φ(v)$, $v\in V$, $g\in G$ where $σ$ is an automorphism of $G$. We reduce the lifting problem to the group of automorphisms of $Z$ which preserve the natural grading of $Ø(Z)\simeqØ(V)^G$. Lifting does not always hold, but we show that it always does for representations of tori in which case algebraic automorphisms lift to algebraic automorphisms. We extend Kuttler's methods to show lifting in case $V$ contains a copy of $\lieg$.

preprint2013arXiv

The Koszul complex of a moment map

Let $K\to U(V)$ be a unitary representation of the compact Lie group $K$. Then there is a canonical moment mapping $ρ\colon V\to\mathfrak k^*$. We have the Koszul complex ${\mathcal K}(ρ,\mathcal C^\infty(V))$ of the component functions $ρ_1,...,ρ_k$ of $ρ$. Let $G=K_{\mathbb C}$, the complexification of $K$. We show that the Koszul complex is a resolution of the smooth functions on $ρ^{-1}(0)$ if and only if $G\to\GL(V)$ is 1-large, a concept introduced in earlier work of the second author. Now let $M$ be a symplectic manifold with a Hamiltonian action of $K$. Let $ρ$ be a moment mapping and consider the Koszul complex given by the component functions of $ρ$. We show that the Koszul complex is a resolution of the smooth functions on $Z=ρ^{-1}(0)$ if and only if the complexification of each symplectic slice representation at a point of $Z$ is 1-large.

preprint2012arXiv

Stratifications with respect to actions of real reductive groups

We study the action of a real reductive group G on a real submanifold X of a K"ahler manifold Z. We suppose that the action of G extends holomorphically to an action of a complex reductive group and is Hamiltonian with respect to a compatible maximal compact subgroup of the complex reductive group. There is a corresponding gradient map obtained from a Cartan decomposition of G. We obtain a Morse like function on X. Associated to its critical points are various sets of semistable points which we study in great detail. In particular, we have G-stable submanifolds of X which are called pre-strata. In case that the gradient map is proper, the pre-strata form a decomposition of X and in case that X is compact they are the strata of a Morse type stratification of X. Our results are generalizations of results of Kirwan obtained in the case that X=Z is compact and the group itself is complex reductive.

preprint2012arXiv

Vector Fields and Luna Strata

Let V be a G-module where G is a complex reductive group. Let Z:=V//G denote the categorical quotient. One can ask if the Luna stratification of Z is intrinsic. That is, if phi : Z\to Z is any automorphism, does phi send strata to strata? In a paper of Kuttler and Reichstein the answer was shown to be yes for V a direct sum of sufficiently many copies of a G-module W. We show that the answer is yes for almost all V. The key is to consider the vector fields on Z. Our methods also show that complex analytic automorphisms preserve the stratification.

preprint2011arXiv

Reduced invariant sets

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X) denote the ideal of X in R[W] and let I_K(X) be the ideal generated by I(X)^K. We find necessary conditions and sufficient conditions for I(X)= I_K(X) and for \sqrt{I_K(X)}=I(X). We consider analogous questions for actions of complex reductive groups.

preprint2011arXiv

Representations With a Reduced Null Cone

Let G be a complex reductive group and V a G-module. Let π: V \to V//G be the quotient morphism and set N(V) = π^{-1}(π(0)). We consider the following question. Is the null cone N(V) reduced, i.e., is the ideal of N(V) generated by G-invariant polynomials? We have complete results when G is SL_2, SL_3 or a simple group of adjoint type, and also when G is semisimple of adjoint type and the G-module V is irreducible.

preprint2010arXiv

Linear maps preserving orbits

Let H\subset\GL(V) be a connected complex reductive group where V is a finite-dimensional complex vector space. Let v\in V and let G=\{g\in\GL(V)\mid gHv = Hv\}. Following Raïs we say that the orbit Hv is \emph{characteristic for H} if the identity component of G is H. If H is semisimple, we say that Hv is \emph{semi-characteristic} for H if the identity component of G is an extension of H by a torus. We classify the H-orbits which are not (semi)-characteristic in many cases.

preprint2008arXiv

Linear maps preserving fibers

Let $G\subset\GL(V)$ be a complex reductive group where $\dim V<\infty$, and let $π\colon V\to\quot VG$ be the categorical quotient. Let $\NN:=π\invπ(0)$ be the null cone of $V$, let $H_0$ be the subgroup of $\GL(V)$ which preserves the ideal $\I$ of $\NN$ and let $H$ be a Levi subgroup of $H_0$ containing $G$. We determine the identity component of $H$. In many cases we show that $H=H_0$. For adjoint representations we have $H=H_0$ and we determine $H$ completely. We also investigate the subgroup $G_F$ of $\GL(V)$ preserving a fiber $F$ of $π$ when $V$ is an irreducible cofree $G$-module.

Gerald W. Schwarz

What is connected

Connect this record

See the researcher in context

Building this map preview

16 published item(s)

A characterization of linearizability for holomorphic $\mathbb{C}^*$-actions

Symplectic quotients have symplectic singularities

An equivariant parametric Oka principle for bundles of homogeneous spaces

Sufficient Conditions for Holomorphic Linearisation

Jet schemes and invariant theory

When is a symplectic quotient an orbifold?

An Oka principle for equivariant isomorphisms

Lifting automorphisms of quotients of adjoint representations

Quotients, automorphisms and differential operators

The Koszul complex of a moment map

Stratifications with respect to actions of real reductive groups

Vector Fields and Luna Strata

Reduced invariant sets

Representations With a Reduced Null Cone

Linear maps preserving orbits

Linear maps preserving fibers