### Book chapter

## Bass' triangulability problem

Exploring Bass’ Triangulability Problem on unipotent algebraic

subgroups of the affine Cremona groups, we prove a triangulability

criterion, the existence of nontriangulable connected solvable affine algebraic

subgroups of the Cremona groups, and stable triangulability

of such subgroups; in particular, in the stable range we answer Bass’

Triangulability Problem in the affirmative. To this end we prove a theorem

on invariant subfields of 1-extensions. We also obtain a general

construction of all rationally triangulable subgroups of the Cremona

groups and, as an application, classify rationally triangulable connected

one-dimensional unipotent affine algebraic subgroups of the Cremona

groups up to conjugacy.

### In book

Preface

The workshop “Algebraic Varieties and Automorphism Groups” was held at the Research Institute of Mathematical Sciences (RIMS), Kyoto University during July 7-11, 2014. There were over eighty participants including twenty people from overseas Canada, France, Germany, India, Korea, Poland, Russia, Singapore, Switzerland, and USA.

Recently, there have been remarkable developments in algebraic geometry and related fields, especially, in the area of (birational) automorphism groups and algebraic group actions.

The purpose of this workshop was to provide the experts and young researchers with the opportunities to interact in the fields of affine and complete algebraic geometry, group actions and commutative algebra related to the topics listed below as well as to publicize the new results. We are confident that these purposes were achieved by the endeavors of the participants.

The main topics of the workshop were the following:

Algebraic varieties containing An-cylinders; Algebraic varieties with fibrations; Algebraic group actions and orbit stratifications on algebraic varieties; Automorphism groups and birational automorphism groups of algebraic varieties.There were 19 talks on the above and related topics by experts from the viewpoints of (affine) algebraic geometry, transformation groups, and commutative algebra. Inspired by the talks, there were active discussions and communication among participants during and after the workshop.

The present volume is the proceedings of the workshop and contains 15 articles on the workshop topics. We hope that this volume will contribute to the progress in the theories of algebraic varieties and their automorphism groups.

The workshop was financially supported by the RIMS and Grant- in-Aid for Scientific Research (B) 24340006, JSPS. We wish to thank all those who supported us in organizing the workshop and preparing this volume.

June, 2016

Kayo Masuda, Takashi Kishimoto, Hideo Kojima, Masayoshi Miyanishi, Mikhail Zaidenberg

All papers in this volume have been refereed and are in final form. No version of any of them will be submitted for publication elsewhere.

Let $G$ be a connected reductive group acting on an irreducible normal algebraic variety $X$. We give a slightly improved version of Local Structure Theorems obtained by Knop and Timashev, which describe the action of some parabolic subgroup of $G$ on an open subset of $X$. We also extend various results of Vinberg and Timashev on the set of horospheres in $X$. We construct a family of nongeneric horospheres in $X$ and a variety $\Hor$ parameterizing this family, such that there is a rational $G$-equivariant symplectic covering of cotangent vector bundles $T^*\Hor \dashrightarrow T^*X$. As an application we recover the description of the image of the moment map of $T^*X$ obtained by Knop. In our proofs we use only geometric methods which do not involve differential operators.

Fascinating and surprising developments are taking place in the classification of algebraic varieties. Work of Hacon and McKernan and many others is causing a wave of breakthroughs in the Minimal Model Program: we now know that for a smooth projective variety the canonical ring is finitely generated. These new results and methods are reshaping the field. Inspired by this exciting progress, the editors organized a meeting at Schiermonnikoog and invited leading experts to write papers about the recent developments. The result is the present volume, a lively testimony of the sudden advances that originate from these new ideas. This volume will be of interest to a wide range of pure mathematicians, but will appeal especially to algebraic and analytic geometers.

We put forward a method for constructing semiorthogonal decompositions of the derived category of G-equivariant sheaves on a variety X under the assumption that the derived category of sheaves on X admits a semiorthogonal decomposition with components preserved by the action of the group G on X. This method is used to obtain semiorthogonal decompositions of equivariant derived categories for projective bundles and blow-ups with a smooth centre as well as for varieties with a full exceptional collection preserved by the group action. Our main technical tool is descent theory for derived categories.

We present a new method of investigation of G-structures on orbifolds. This method is founded on the consideration of a G-structure on an n-dimensional orbifold as the corresponding transversal structure of an associated foliation. For a given orbifold, there are different associated foliations. We construct and apply a compact associated foliation (M,F) on a compact manifold M for a compact orbifold. If an orbifold admits a G-structure, we construct and use a foliated G-bundle for the compact associated foliation. Using our method we prove the following statement.

Theorem 1. On a compact orbifold N the group of all automorphisms of an elliptic G-structure is a Lie group, this group is equipped with the compact-open topology, and its Lie group structure is defined uniquely.

By the analogy with manifolds we define the notion of an almost complex structure on orbifolds and get the following statement.

Theorem 2. The automorphism group of an almost complex structure on a compact orbifold is a Lie group, its topology is compact-open and its Lie group structure is defined uniquely.

For manifolds, the statements of Theorems 1 – 2 are classical results. Theorem 1 for manifolds was proved by Ochiai. In particular, in the case of flat elliptic G-structures on manifolds, Theorem 1 was proved by Guillemin and Sternberg and also by Ruh. Theorem 2 for manifolds was proved by Boothby, Kobayashi, Wang.

We introduce a category of rigid geometries on smooth singular spaces of leaves of foliations.

A special category $\mathfrak F_0$ containing orbifolds is allocated. Unlike orbifolds, objects

of $\mathfrak F_0$ can have non-Hausdorff topology and can even not satisfy the separability axiom $T_0$.

It is shown that the rigid geometry $(N,\zeta)$, where $N\in (\mathfrak F_0)$, allows a desingularization. For each such geometry $( N,\zeta)$ we prove the existence and uniqueness of the structure of a finite-dimensional Lie group in the group of all automorphisms $Aut (N},\zeta)$.

The applications to the orbifolds are considered.

We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results obtained are given.