arXiv research

Study real forms and GIT quotients in algebraic varieties.

In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of their algebraic properties. The flexibility granted by their topological nature …

In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying the theory of Variation of Geometric Invariant Theory Quotients ([3]), we show tha…

Reductive quotients preserve klt singularities in algebraic geometry.

Study non-existence of complex ball quotients in Torelli locus.

Study projective KLT varieties with projectively flat cotangent sheaves.

In this paper we calculate fundamental groups (and some of their quotients) of complements of four toric varieties branch curves. For these calculations, we study properties and degenerations of these toric varieties and the braid monodromies of the branch curves in $\mathbb{CP}^2$. The fundamental groups related to th…

Equivalence proven between divisorial stability and quotient log divisorial stability.

Complex projective varieties are quotients of polydiscs under specific group actions.

Study shows infinitely many metrics with nonnegative sectional or positive Ricci curvature on specific 5D quotients.

Construct special Lagrangian fibrations on abelian varieties using retraction techniques.

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawren…

Criterion for projectivisation on klt spaces, characterizing quotients and stability.

Uniformizes varieties with log-canonical singularities using ball quotients.

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to q…

We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball quotients with birational smooth toroidal compactifications. We take this to its natural…

In this thesis we study the topology and geometry of hyperkähler quotients, as well as some related non-compact Kähler quotients, from the point of view of Hamiltonian group actions. The main technical tool we employ is Morse theory with moment maps. We prove a Lojasiewicz inequality which permits the use of Morse theo…

Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projecti…

Triangle groups uniquely identified by their finite quotients.

Smooth resolutions found for quotient of R^2 by infinite discrete groups.

Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver v…

Complex projective manifolds without rational curves are quotients of Abelian varieties.

We introduce the fibred toric varieties as equivariant $\mathbb{C}P^r$ bundles over lower dimensional toric varieties. An equivalent characterization is that the natural morphisms on them degenerate to bundle projections in the context of variation of toric varieties as GIT quotients. Our main observation is that these…

There is a well-known correspondence between the symplectic variety of representations of the fundamental group of a punctured Riemann surface into a compact Lie group G, with fixed conjugacy classes at the punctures, and a complex variety of holomorphic bundles on the unpunctured surface with a parabolic structure at …

Defines kappa classes on KSBA spaces, generalizing classes on curves.

Let G be a complex reductive group and K a maximal compact subgroup. If X is a smooth projective G-variety, with a fixed (not necessarily integral) K-invariant Kaehler form, then the K-action is Hamiltonian. Let M be the zero fiber of the corresponding moment map. It is well known that the quotient M/K is a complex spa…

We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit algorithm inspired by the minimal model program for complex 3-dimensional algebraic vari…

We extend Guillemin's formula for Kaehler potentials on toric manifolds to singular quotients of C^N and CP^N.

In this survey article we describe the geometry of toric hyperkähler varieties, which are hyperkähler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation of hyperkähler structures of these spaces with many improved results and proofs.

We relate the global log canonical threshold of a variety with torus action to the global log canonical threshold of its quotient. We apply this to certain Fano varieties and use Tian's criterion to prove the existence of Kahler-Einstein metrics on them. In particular, we obtain simple examples of Fano threefolds being…

Study on curves on specific arithmetic quotients of hyperbolic 2-ball.

Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again a…

Let $G/P$ be a generalized flag variety, where $G$ is a complex semisimple connected Lie group and $P\subset G$ a parabolic subgroup. Let also $X\subset G/P$ be a Schubert variety. We consider the canonical embedding of $X$ into a projective space, which is obtained by identifying $G/P$ with a coadjoint orbit of the co…

Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable po…

This paper studies the canonical Chow quotient of a smooth projective variety by a reductive algebraic group. The main purpose is to give some topological interpretations and characterization of Chow quotient which have the advantage to be more intuitive and geometric. This is to be done over the field of complex numbe…

In this article, we give a survey of Geometric Invariant Theory for Toric Varieties, and present an application to the Einstein-Weyl Geometry. We compute the image of the Minitwistor space of the Honda metrics as a categorical quotient according to the most efficient linearization. The result is the complex weighted pr…

The paper studies coherent sheaves on subvarieties of Hopf manifolds.

We prove a criterion for the existence of harmonic metrics on Higgs bundles that are defined on smooth loci of klt varieties. As one application, we resolve the quasi-etale uniformisation problem for minimal varieties of general type to obtain a complete numerical characterisation of singular quotients of the unit ball…

Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrange…

We present a new criterion for the complex hyperbolicity of a non-compact quotient X of a bounded symmetric domain. For each p $\ge$ 1, this criterion gives a precise condition under which the subvarieties V $\subset$ X with dim V $\ge$ p are of general type, and X is p-measure hyperbolic. Then, we give several applica…

Study shows infinitely many nonnegatively curved metrics on quotient spaces.

Equivalence proven between uniformizing varieties and tensors, generalizing uniformization results.

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

In this paper we will survey some recent developments in the last decade or so on variation of Geometric Invariant Theory and its applications to Birational Geometry such as the weak Factorization Theorems of nonsingular projective varieties and more generally projective varieties with finite quotient singularities. Al…

In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Ho…

We introduce a generalization of Taub-NUT deformations for large families of hyper-Kaehler quotients including toric hyper-Kaehler manifolds and quiver varieties, and apply them to the case of the Hilbert schemes of k points on C^2.

The article proves a complex analytic inequality for stable Q-sheaves on Kähler varieties.

By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric quantization) is the projective coordinate ring of the embedded manifold. This all…