Searcharxiv⌕ Search

arXiv subjects

Patrick Brosnan

Publications and source records attributed to Patrick Brosnan.

At least 19 recordsLinked to original sources
arXiv2025

Geometry of regular semisimple Lusztig varieties

Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple. In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig. In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth. This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.

math.AG↗
arXiv2024

Automorphisms and deformations of regular semisimple Hessenberg varieties

We show that regular semisimple Hessenberg varieties can have moduli. To be precise, suppose $X$ is a regular semisimple Hessenberg variety of codimension $1$ in the flag variety $G/B$, where $G$ is a simple algebraic group of rank $r$ over $\mathbb{C}$ and $B$ is a Borel subgroup. We show that the space~$\mathrm{H}^1(X,TX)$ of first order deformations of $X$ has dimension $r-1$ except in type $A_2$. (In type $A_2$, the Hessenberg varieties in question are all isomorphic to the permutohedral toric surface, and $\dim\mathrm{H}^1(X,TX) = 0$.) Moreover, we show that the Kodaira--Spencer map $\mathfrak{g}\to \mathrm{H}^1(X,TX)$ is onto, that the identity component of the automorphism group of $X$ is a maximal torus of $G$, and that $\mathrm{H}^i(X,TX) = 0$ for $i \geq 2$. Along the way, we prove several theorems of independent interest about the cohomology of homogeneous vector bundles on~$G/B$. In type $A$, we can give an even more precise statement determining when two codimension $1$ regular semisimple Hessenberg varieties in $G/B$ are isomorphic. We also compute the automorphism groups explicitly in type~$A_{n-1}$ in the terms of stabilizer subgroups of the action of the symmetric group $S_{n}$ on the moduli space $M_{0,n+1}$ of smooth genus $0$ curves with $n + 1$ marked points. Using this, we describe the moduli stack of the regular semisimple Hessenberg varieties $X$ explicitly as a quotient stack of $M_{0,n+1}$. We prove several analogous results for Hessenberg varieties in generalized flag varieties $G/P$, where $P$ is a parabolic subgroup of $G$. In type $A$, these results are used in the proofs of the results for $G/B$, but they are also of independent interest because the associated moduli stacks are related directly to the action of $S_n$ on $M_{0,n}$.

math.AG↗
arXiv2022

Volumes of definable sets in o-minimal expansions and affine GAGA theorems

In this mostly expository note, I give a very quick proof of the definable Chow theorem of Peterzil and Starchenko using the Bishop-Stoll theorem and a volume estimate for definable sets due to Nguyen and Valette. The volume estimate says that any $d$-dimensional definable subset of $S\subseteq\mathbb{R}^n$ in an o-minimal expansion of the ordered field of real numbers satisfies the inequality $\mathcal{H}^d(\{x\in S:\lVert x\rVert<r\})\leq Cr^d$, where $\mathcal{H}^d$ denotes the $d$-dimensional Hausdorff measure on $\mathbb{R}^n$ and $C$ is a constant depending on $S$. A closely related volume estimate for subanalytic sets goes back to Kurdyka and Raby. Since this note is intended to be helpful to algebraic geometers not versed in o-minimal structures and definable sets, I review these notions and also prove the main volume estimate from scratch.

math.AG↗
arXiv2020

Fixed points, local monodromy, and incompressibility of congruence covers

We prove a fixed point theorem for the action of certain local monodromy groups on étale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of the preprint of Farb, Kisin and Wolfson, which uses arithmetic methods to prove incompressibility results for Shimura varieties and moduli spaces of curves. Our method allows us to prove results for exceptional groups, and also for the reduction modulo good primes of Shimura varieties and moduli spaces of curves.

math.AG↗
arXiv2018

Essential dimension in mixed characteristic

Suppose $G$ is a finite group and $p$ is either a prime number or $0$. For $p$ positive, we say that $G$ is weakly tame at $p$ if $G$ has no non-trivial normal $p$-subgroups. By convention we say that every finite group is weakly tame at $0$. Now suppose that $G$ is a finite group which is weakly tame at the residue characteristic of a discrete valuation ring $R$. Our main result shows that the essential dimension of $G$ over the fraction field $K$ of $R$ is at least as large as the essential dimension of $G$ over the residue field $k$. We also prove a more general statement of this type for a class of étale gerbes over $R$. As a corollary, we show that, if $G$ is weakly tame at $p$ and $k$ is any field of characteristic $p >0$ containing the algebraic closure of $\mathbb{F}_p$, then the essential dimension of $G$ over $k$ is less than or equal to the essential dimension of $G$ over any characteristic $0$ field. A conjecture of A. Ledet asserts that the essential dimension, $\mathrm{ed}_k(\mathbb{Z}/p^n\mathbb{Z})$, of the cyclic group of order $p^n$ over a field $k$ is equal to $n$ whenever $k$ is a field of characteristic $p$. We show that this conjecture implies that $\mathrm{ed}_{\mathbb{C}}(G) \geq n$ for any finite group $G$ which is weakly tame at $p$ and contains an element of order $p^n$. To the best of our knowledge, an unconditional proof of the last inequality is out of the reach of all presently known techniques.

math.AG↗
arXiv2018

Unit Interval Orders and the Dot Action on the Cohomology of Regular Semisimple Hessenberg Varieties

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $ωX_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $ω$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $λ$ to a space of local invariant cycles; as $λ$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.

math.AG↗
arXiv2017

Jumps in the Archimedean Height

We introduce a pairing on local intersection cohomology groups of variations of pure Hodge structure, which we call the asymptotic height pairing. Our original application of this pairing was to answer a question on the Ceresa cycle posed by R. Hain and D. Reed. (This question has since been answered independently by Hain.) Here we apply the pairing to show that a certain analytic line bundle, called the biextension line bundle, defined in terms of normal functions, always extends to any smooth partial compactification of the base. We show that the the pairing on intersection cohomology governs the extension of the natural metric on this line bundle studied by Hain and Reed (as well as, more recently, by several other authors). We also prove a positivity property of the asypmtotic height pairing, which generalize results of a recent preprint of J. Burgos Gill, D. Holmes and R. de Jong, along with a continuity property of the pairing in the normal function case. Moreover, we show that the asymptotic height pairing arises in a natural way from certain Mumford-Grothendieck biextensions associated to normal functions.

math.AG↗
arXiv2017

Hyperplane arrangements and tensor product invariants

In the first part of this paper, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham representative) for a generalized version of this map is obtained. These results are applied in the second part to invariant theory: Schechtman and Varchenko connect invariant theoretic objects to the cohomology of local systems on complements of hyperplane arrangements. The first part of this paper is then used, following and completing arguments of Looijenga, to determine the image of invariants in cohomology. In suitable cases (e.g., corresponding to positive integral levels), the space of invariants is shown to acquire a mixed Hodge structure over a cyclotomic field. We investigate the Hodge filtration on the space of invariants, and characterize the subspace of conformal blocks in Hodge theoretic terms.

math.AG↗
arXiv2016

Perverse obstructions to flat regular compactifications

Suppose $π:W\to S$ is a smooth, proper morphism over a variety $S$ contained as a Zariski open subset in a smooth, complex variety $\bar S$. The goal of this note is to consider the question of when $π$ admits a regular, flat compactification. In other words, when does there exists a flat, proper morphism $\barπ:\overline{W}\to\bar S$ extending $π$ with $\overline{W}$ regular? One interesting recent example of this occurs in the preprint arXiv:1602.05534 of Laza, Sacca and Voisin where $π$ is a family of abelian $5$-folds over a Zariski open subset $S$ of $\bar S=\mathbb{P}^5$. In that paper, the authors construct $\overline{W}$ using the theory of compactified Prym varieties and show that it is a holomorphic symplectic manifold (deformation equivalent to O'Grady's $10$-dimensional example). In this note I observe that non-vanishing of the local intersection cohomology of $R^1π_*\mathbb{Q}$ in degree at least $2$ provides an obstruction to finding a $\barπ$. Moreover, non-vanishing in degree $1$ provides an obstruction to finding a $\barπ$ with irreducible fibers. Then I observe that, in some cases of interest, results of Brylinski, Beilinson and Schnell can be used to compute the intersection cohomology. I also give examples involving cubic $4$-folds, and ask a question about palindromicity of hyperplane sections.

math.AG↗
arXiv2013

Variation Of Mixed Hodge Structures

Variation of mixed Hodge structures(VMHS), introduced by P. Deligne, is a linear structure reflecting the geometry on cohomology of the fibers of an algebraic family, generalizing variation of Hodge structures for smooth proper families, introduced by P. Griffiths. Hence, it is a strong tool to study the variation of the geometric structure of fibers of a morphism. We describe here the degenerating properties of a VMHS of geometric origin and the existence of a relative monodromy filtration, as well the definition and properties of abstract admissible VMHS.

math.AG↗
arXiv2009

Essential dimension of moduli of curves and other algebraic stacks

In this paper we address questions of the following type. Let k be a base field and K/k be a field extension. Given a geometric object X over a field K (e.g. a smooth curve of genus g) what is the least transcendence degree of a field of definition of $X$ over the base field k? In other words, how many independent parameters are needed to define X? To study these questions we introduce a notion of essential dimension for an algebraic stack. In particular, we give a complete answer to the question above when the geometric objects X are smooth or stable curves, and, in the appendix by N. Fakhruddin, for principally polarized abelian varieties. This paper overlaps with our earlier preprint arXiv:math/0701903 . That preprint has splintered into several parts, which have since acquired a life of their own. In particular, see "Essential dimension, spinor groups, and quadratic forms", by the same authors, and "Some consequences of the Karpenko-Merkurjev theorem", by Meyer and Reichstein (arXiv:0811.2517).

math.AG↗
arXiv2009

Essential dimension, spinor groups and quadratic forms

We prove that the essential dimension of the spinor group Spin_n grows exponentially with n; in particular, we give a precise formula for this essential dimension when n is not divisible by 4. We use this result to show that the number of 3-fold Pfister forms needed to represent the Witt class of a general quadratic form of rank n with trivial discriminant and Hasse-Witt invariant grows exponentially with n. This paper overlaps with our earlier preprint arXiv:math/0701903 . That preprint has splintered into several parts, which have since acquired a life of their own. In particular, see "Essential dimension of moduli of curves and other algebraic stacks", by the same authors, and "Some consequences of the Karpenko-Merkurjev theorem", by Meyer and Reichstein (arXiv:0811.2517).

math.AG↗
arXiv2008

A generalization of the Neron models of Green, Griffiths and Kerr

We generalize a construction of the Neron model for a family of intermediate Jacobians due to Green, Griffiths and Kerr by using the theory of mixed Hodge modules. It is a topological group defined over any partial compactification of the base space, and it `graphs' admissible normal functions. Moreover, there is a stratification of the partial compactification such that the restriction over each stratum is a complex Lie group over the stratum.

math.AG↗
arXiv2008

Zero loci of admissible normal functions with torsion singularities

We show that the zero locus of a normal function on a smooth complex algebraic variety S is algebraic provided that the normal function extends to a admissible normal function on a smooth compactification of S with torsion singularity. This result generalizes our previous result for admissible normal functions on curves [arxiv:math/0604345 [math.AG]]. It has also been obtained by M. Saito using a different method in a recent preprint [arXiv:0803.2771v2].

math.AG↗
arXiv2008

Singularities of admissible normal functions

In a recent paper, M. Green and P. Griffiths used R. Thomas' works on nodal hypersurfaces to establish the equivalence of the Hodge conjecture and the existence of certain singular admissible normal functions. Inspired by their work, we study normal functions using M. Saito's mixed Hodge modules and prove that the existence of singularities of the type considered by Griffiths and Green is equivalent to the Hodge conjecture. Several of the intermediate results, including a relative version of the weak Lefschetz theorem for perverse sheaves, are of independent interest.

math.AG↗