BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Frances Kirwan

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

ResearcherUnclaimed source record
math.AGmath.SGmath.DGhep-th

Catalog footprint

What is connected

16works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

preprint2020arXiv

Geometric invariant theory for graded unipotent groups and applications

Let $U$ be a graded unipotent group over the complex numbers, in the sense that it has an extension $\hat{U}$ by the multiplicative group such that the action of the multiplicative group by conjugation on the Lie algebra of $U$ has all its weights strictly positive. Given any action of $U$ on a projective variety $X$ extending to an action of $\hat{U}$ which is linear with respect to an ample line bundle on $X$, then provided that one is willing to replace the line bundle with a tensor power and to twist the linearisation of the action of $\hat{U}$ by a suitable (rational) character, and provided an additional condition is satisfied which is the analogue of the condition in classical GIT that there should be no strictly semistable points for the action, we show that the $\hat{U}$-invariants form a finitely generated graded algebra; moreover the natural morphism from the semistable subset of $X$ to the enveloping quotient is surjective and expresses the enveloping quotient as a geometric quotient of the semistable subset. Applying this result with $X$ replaced by its product with the projective line gives us a projective variety which is a geometric quotient by $\hat{U}$ of an invariant open subset of the product of $X$ with the affine line and contains as an open subset a geometric quotient of a U-invariant open subset of $X$ by the action of $U$. Furthermore these open subsets of $X$ and its product with the affine line can be described using criteria similar to the Hilbert-Mumford criteria in classical GIT.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Projective completions of graded unipotent quotients

The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear action of $H$ is required to extend to a semi-direct product $\hat{H} = H \rtimes \mathbb{G}_m$ with a multiplicative one-parameter group which acts on the Lie algebra of the unipotent radical $U$ of $H$ with all weights strictly positive, and which centralises a Levi subgroup $R \cong H/U$ of $H$. We show that $X$ has an $H$-invariant open subscheme (the 'hat-stable locus') which has a geometric quotient by the $H$-action. This geometric quotient has a projective completion which is a categorical quotient (indeed, a good quotient) by $\hat{H}$ of an open subscheme of a blow-up of the product of $X$ with the affine line; with additional blow-ups a projective completion which is itself a geometric quotient can be obtained. Furthermore the hat-stable locus of $X$ and the corresponding open subsets of the blow-ups of the product of $X$ with the affine line can be described effectively using Hilbert-Mumford-like criteria combined with the explicit blow-up constructions. Applications include the construction of moduli spaces of sheaves and Higgs bundles of fixed Harder--Narasimhan type over a fixed nonsingular projective scheme, and of moduli spaces of unstable projective curves of fixed singularity. More recently, cohomology theory for reductive GIT quotients were extended by the first and fourth author to the non-reductive situation studied in this paper, and this was used to prove the Green--Griffiths--Lang and Kobayashi hyperbolicity conjectures for generic projective hypersurfaces with polynomial bounds on their degree.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Constructing quotients of algebraic varieties by linear algebraic group actions

In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group actions is extended to deal with actions of any linear algebraic group. Given the data of a linearisation for an action of a linear algebraic group H on an irreducible variety $X$, an open subset of stable points $X^s$ is defined which admits a geometric quotient variety $X^s/H$. We construct projective completions of the quotient $X^s/H$ by considering a suitable extension of the group action to an action of a reductive group on a reductive envelope and using Mumford's GIT. In good cases one can also compute the stable locus $X^s$ in terms of stability (in the sense of Mumford for reductive groups) for the reductive envelope.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A multiplicative analogue of complex symplectic implosion

We introduce a multiplicative version of complex-symplectic implosion in the case of $SL(n, \C)$. The universal multiplicative implosion for $SL(n, \C)$ is an affine variety and can be viewed as a nonreductive geometric invariant theory quotient. It carries a torus action. and reductions by this action give the Steinberg fibres of $SL(n, \C)$. We also explain how the real symplectic group-valued universal implosion introduced by Hurtubise, Jeffrey and Sjamaar may be identified inside this space.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Graded unipotent groups and Grosshans theory

Let $U$ be a unipotent group which is graded in the sense that it has an extension $H$ by the multiplicative group of the complex numbers such that all the weights of the adjoint action on the Lie algebra of $U$ are strictly positive. We study embeddings of $H$ in a general linear group $G$ which possess Grosshans-like properties. More precisely, suppose $H$ acts on a projective variety $X$ and its action extends to an action of $G$ which is linear with respect to an ample line bundle on $X$. Then, provided that we are willing to twist the linearisation of the action of $H$ by a suitable (rational) character of $H$, we find that the $H$-invariants form a finitely generated algebra and hence define a projective variety $X/\!/H$; moreover the natural morphism from the semistable locus in $X$ to $X/\!/H$ is surjective, and semistable points in $X$ are identified in $X/\!/H$ if and only if the closures of their $H$-orbits meet in the semistable locus. A similar result applies when we replace $X$ by its product with the projective line; this gives us a projective completion of a geometric quotient of a $U$-invariant open subset of $X$ by the action of the unipotent group $U$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Twistor spaces for hyperkaehler implosions

We study the geometry of the twistor space of the universal hyperkaehler implosion Q for SU(n). Using the description of Q as a hyperkaehler quiver variety, we construct a holomorphic map from the twistor space Z_Q of Q to a complex vector bundle over P^1, and an associated map of Q to the affine space R of the bundle's holomorphic sections. The map from Q to R is shown to be injective and equivariant for the action of SU(n) x T^{n-1} x SU(2). Both maps, from Q and from Z_Q, are described in detail for n=2 and n=3. We explain how the maps are built from the fundamental irreducible representations of SU(n) and the hypertoric variety associated to the hyperplane arrangement given by the root planes in the Lie algebra of the maximal torus. This indicates that the constructions might extend to universal hyperkaehler implosions for other compact groups.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Surjectivity of the hyperkähler Kirwan map

We study a class of group actions on hyperkähler manifolds which we call actions of linear type. If $M$ is a hyperkähler manifold possessing such a $G$-action, the hyperkähler Kirwan map is surjective if and only if the natural restriction $H^\ast(M / G) \to H^\ast(M / G)$ is surjective. We prove that this restriction is an isomorphism below middle degree and an injection in middle degree. As a consequence, the hyperkähler Kirwan map is surjective except possibly in middle degree, and its kernel may be determined from the kernel of the ordinary Kirwan map. These results apply in particular to hypertoric varieties, hyperpolygon spaces, and Nakajima quiver varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A geometric construction for invariant jet differentials

Motivated by Demailly's strategy towards the Kobayashi hyperbolicity conjecture, we study the action on the k-jets of germs of holomorphic discs in a complex manifold X of the reparametrization group of k-jets of germs of biholomorphisms of the source. This reparametrization group is a subgroup of the general linear group GL(k) which is not reductive, but nonetheless we show that its invariants for any linear action which extends to GL(k) form a finitely generated algebra, and give a new geometric description of the Demailly-Semple algebra of invariant jet differentials.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

When a reductive group $G$ acts linearly on a complex projective scheme $X$ there is a stratification of $X$ into $G$-invariant locally closed subschemes, with an open stratum $X^{ss}$ formed by the semistable points in the sense of Mumford's geometric invariant theory which has a categorical quotient $X^{ss} \to X//G$. In this article we describe a method for constructing quotients of the unstable strata. As an application, we construct moduli spaces of sheaves of fixed Harder-Narasimhan type with some extra data (an '$n$-rigidification') on a projective base.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Yang-Mills theory and Tamagawa numbers

Atiyah and Bott used equivariant Morse theory applied to the Yang-Mills functional to calculate the Betti numbers of moduli spaces of vector bundles over a Riemann surface, rederiving inductive formulae obtained from an arithmetic approach which involved the Tamagawa number of SL_n. This article surveys this link between Yang-Mills theory and Tamagawa numbers, and explains how methods used over the last three decades to study the singular cohomology of moduli spaces of bundles on a smooth complex projective curve can be adapted to the setting of A^1-homotopy theory to study the motivic cohomology of these moduli spaces.

0 citations0 reviewsNo code linkedOpen access