On the signature of biquotients

Oliver Goertsches,Maximilian Schmitt

DOI: https://doi.org/10.1007/s00229-021-01344-0

2021-10-18

manuscripta mathematica

Abstract:Abstract We generalize Hirzebruch–Slodowy’s computation of the signature of equal rank homogeneous spaces to a large class of biquotients.

What problem does this paper attempt to address?

An extension of Steinberg's Theorem to biquotient pairs of subgroups

Marcus Zibrowius

2024-10-22

Abstract:We study the derived tensor product of the representation rings of subgroups of a given compact Lie group G. That is, given two such subgroups H_1 and H_2, we study the tensor product of the associated representation rings R(H_1) and R(H_2) over the representation ring RG, and prove a vanishing result for the associated higher Tor-groups. This result can be viewed as a natural generalization of the Theorem of Steinberg that asserts that the representation rings of maximal rank subgroups of G are free over RG. It my also be viewed as an analogue of a result of Singhof on the cohomology of classifying spaces. We include an immediate application to the complex K-theory of biquotient manifolds.

K-Theory and Homology,Algebraic Topology
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
The Symmetric signature of cyclic quotient singularities

Alessio Caminata,Lukas Katthän

DOI: https://doi.org/10.1216/JCA-2019-11-2-163

2016-03-21

Abstract:The symmetric signature is an invariant of local domains which was recently introduced by Brenner and the first author in an attempt to find a replacement for the $F$-signature in characteristic zero. In the present note we compute the symmetric signature for two-dimensional cyclic quotient singularities, i.e. invariant subrings $k[[u,v]]^G$ of rings of formal power series under the action of a cyclic group $G$. Equivalently, these rings arise as the completions (at the irrelevant ideal) of two-dimensional normal toric rings. We show that for this class of rings the symmetric signature coincides with the $F$-signature.

Commutative Algebra
From the global signature to higher signatures

Jeremy A. Jacobson

DOI: https://doi.org/10.48550/arXiv.1411.0993

2014-11-04

K-Theory and Homology

Abstract:Let $X$ be an algebraic variety over the field of real numbers $\mathbb{R}$. We use the signature of a quadratic form to produce "higher" global signatures relating the derived Witt groups of $X$ to the singular cohomology of the real points $X(\mathbb{R})$ with integer coefficients. We also study the global signature ring homomorphism and use the powers of the fundamental ideal in the Witt ring to prove an integral version of a theorem of Raman Parimala and Jean Colliot-Thelene on the mod 2 signature. Furthermore, we obtain an Atiyah-Hirzebruch spectral sequence for the derived Witt groups of $X$ with 2 inverted. Using this spectral sequence, we provide a bound on the ranks of the derived Witt groups of $X$ in terms of the Betti numbers of $X(\mathbb{R})$. We apply our results to answer a question of Max Karoubi on boundedness of torsion in the Witt group of $X$. Throughout the article, the results are proved for a wide class of schemes over an arbitrary base field of characteristic different from 2 using real cohomology in place of singular cohomology.
Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

Eloise Hamilton,Victoria Hoskins,Joshua Jackson

2024-04-10

Abstract:We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective completions, whose boundaries we interpret in terms of the original action. As an application we construct moduli spaces of semistable representations of quivers with multiplicities subject to certain conditions, which always hold in the toric case for a generic stability condition.

Algebraic Geometry
On Ternary Quotients of Cubic Hecke Algebras

Marc Cabanes,Ivan Marin

DOI: https://doi.org/10.48550/arXiv.1010.1465

2012-06-26

Abstract:We prove that the quotients of the group algebra of the braid group introduced by L. Funar in Comm. Math. Phys., 1995, collapses in characteristic distinct from 2. In characteristic 2 we define several quotients of it, which are connected to the classical Hecke and Birman-Wenzl-Murakami quotients, but which admit in addition a symmetry of order 3. We also establish conditions on the possible Markov traces factorizing through it.

Geometric Topology
Cohomological integrality for weakly symmetric representations of reductive groups

Lucien Hennecart

2024-11-13

Abstract:In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components indexed by some equivalence classes of cocharacters of a maximal torus. This decomposition enables the definition of new enumerative invariants associated with the stack, which we begin to explore.

Representation Theory,Algebraic Geometry
The cohomology of biquotients via a product on the two-sided bar construction

Jeffrey D. Carlson

2023-11-28

Abstract:We compute the Borel equivariant cohomology ring of the left $K$-action on a homogeneous space $G/H$, where $G$ is a connected Lie group, $H$ and $K$ are closed, connected subgroups and $2$ and the torsion primes of the Lie groups are units of the coefficient ring. As a special case, this gives the singular cohomology rings of biquotients $H \backslash G / K$. This depends on a version of the Eilenberg-Moore theorem developed in the appendix, where a novel multiplicative structure on the two-sided bar construction $\mathbf{B}(A',A,A")$ is defined, valid when $A' \leftarrow A \to A"$ is a pair of maps of homotopy Gerstenhaber algebras.

Algebraic Topology,K-Theory and Homology,Rings and Algebras
Counting representations of quivers with multiplicities

Tanguy Vernet

2024-05-23

Abstract:In this thesis, we study counts of quiver representations over finite rings of truncated power series. We prove a plethystic formula relating counts of quiver representations over these rings and counts of jets on fibres of quiver moment maps. This solves a conjecture of Wyss and allows us to compute both counts on additional examples, using local zeta functions. The relation between counts of representations and counts of jets generalises the relation between Kac polynomials and counts of points on preprojective stacks. Pursuing this analogy, we establish further properties of our counts. We show that, for totally negative quivers, counts of jets converge to p-adic integrals on fibres of quiver moment maps. One expects a relation between these p-adic integrals and BPS invariants of preprojective algebras i.e. Kac polynomials. For small rank vectors, we also prove that the polynomials counting indecomposable quiver representations over finite rings have non-negative coefficients. Moreover, we show that jet schemes of fibres of quiver moment maps are cohomologically pure in that setting, so that their Poincaré polynomials are given by the former counts. This is reminiscent of the structure of cohomological Hall algebras, which are built from the cohomology of preprojective stacks. Finally, we compute the cohomology of jet spaces of preprojective stacks explicitly for the A2 quiver. Building on the structure of the preprojective cohomological Hall algebra of A2, we propose a candidate analogue of the BPS Lie algebra and conjecture the existence of a Hall product on the cohomology of these jet spaces.

Representation Theory,Algebraic Geometry
On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Yongquan Hu,Haoran Wang

2024-05-28

Abstract:Let $F$ be a totally real field in which $p$ is unramified and $B$ be a quaternion algebra which splits at at most one infinite place. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $ \mathbb{Q}_p$ and $\overline{r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb{Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand-Kirillov dimension $1$. As an application we prove that the degree two Scholze's functor vanishes on supersingular representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We also prove some finer structure theorem about the image of Scholze's functor in the reducible case.

Number Theory,Representation Theory
A converse theorem for Borcherds products in signature $(2,2)$

Patrick Bieker,Paul Kiefer

2024-07-09

Abstract:We show that a modular unit on two copies of the upper half-plane is a Borcherds product if and only if its boundary divisor is a special boundary divisor. Therefore, we define a subspace of the space of invariant vectors for the Weil representation which maps surjectively onto the space of modular units that are Borcherds products. Moreover, we show that every boundary divisor of a Borcherds product can be obtained in this way. As a byproduct we obtain new identities of eta products.

Number Theory
Generalized iterated-sums signatures

Joscha Diehl,Kurusch Ebrahimi-Fard,Nikolas Tapia

DOI: https://doi.org/10.1016/j.jalgebra.2023.06.007

2023-07-03

Abstract:We explore the algebraic properties of a generalized version of the iterated-sums signature, inspired by previous work of F.~Király and H.~Oberhauser. In particular, we show how to recover the character property of the associated linear map over the tensor algebra by considering a deformed quasi-shuffle product of words on the latter. We introduce three non-linear transformations on iterated-sums signatures, close in spirit to Machine Learning applications, and show some of their properties.

Rings and Algebras,Computer Vision and Pattern Recognition,Machine Learning
On the signature of a positive braid

Joshua Evan Greene,Livio Liechti

2023-08-04

Abstract:We show that the signature of a positive braid link is bounded from below by a quarter of its first Betti number.

Geometric Topology
Generalized rank functions and quilts of alternating sign matrices

Sara Billey,Matjaž Konvalinka

2024-12-04

Abstract:In this paper, we present new objects, quilts of alternating sign matrices with respect to two given posets. Quilts generalize several commonly used concepts in mathematics. For example, the rank function on submatrices of a matrix gives rise to a quilt with respect to two Boolean lattices. When the two posets are chains, a quilt is equivalent to an alternating sign matrix and its corresponding corner sum matrix. Quilts also generalize the monotone Boolean functions counted by the Dedekind numbers. Quilts form a distributive lattice with many beautiful properties and contain many classical and well-known sublattices, such as the lattice of matroids of a given rank and ground set. While enumerating quilts is hard in general, we prove two major enumerative results, when one of the posets is an antichain and when one of them is a chain. We also give some bounds for the number of quilts when one poset is the Boolean lattice.

Combinatorics
Sails for universal quadratic forms

Vítězslav Kala,Siu Hang Man

2024-03-27

Abstract:We establish a new connection between sails, a key notion in the geometric theory of generalised continued fractions, and arithmetic of totally real number fields, specifically, universal quadratic forms and additively indecomposable integers. Our main application is to biquadratic fields, for which we show that if their signature rank is at least 3, then ranks of universal forms and numbers of indecomposables grow as a power of the discriminant. We also construct a family in which these numbers grow only logarithmically.

Number Theory
Finite quotients, arithmetic invariants, and hyperbolic volume

Yi Liu

2023-08-19

Abstract:For any pair of orientable closed hyperbolic $3$--manifolds, this paper shows that any isomorphism between the profinite completions of their fundamental groups witnesses a bijective correspondence between the Zariski dense $\mathrm{PSL}(2,\mathbb{Q}^{\mathtt{ac}})$--representations of their fundamental groups, up to conjugacy; moreover, corresponding pairs of representations have identical invariant trace fields and isomorphic invariant quaternion algebras. (Here, $\mathbb{Q}^{\mathtt{ac}}$ denotes an algebraic closure of $\mathbb{Q}$.) Next, assuming the $p$--adic Borel regulator injectivity conjecture for number fields, this paper shows that uniform lattices in $\mathrm{PSL}(2,\mathbb{C})$ with isomorphic profinite completions have identical invariant trace fields, isomorphic invariant quaternion algebras, identical covolume, and identical arithmeticity.

Geometric Topology,Group Theory,Number Theory
Cohomology of quasi-abelianized braid groups

Filippo Callegaro,Ivan Marin

2023-08-28

Abstract:We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincaré dualities for them and prove a stabilization property for the infinite series of reflection groups.

Group Theory,Algebraic Topology,Combinatorics
Commutativity properties of Quinn spectra

Gerd Laures,James E. McClure

2024-09-24

Abstract:We give a simple sufficient condition for Quinn's "bordism-type" spectra to be weakly equivalent to commutative symmetric ring spectra. We also show that the symmetric signature is (up to weak equivalence) a monoidal transformation between symmetric monoidal functors, which implies that the Sullivan-Ranicki orientation of topological bundles is represented by a ring map between commutative symmetric ring spectra. In the course of proving these statements we give a new description of symmetric L theory which may be of independent interest.

Algebraic Topology
Geometric realisations of the unipotent enveloping algebra of a quiver

Lucien Hennecart

DOI: https://doi.org/10.1016/j.aim.2024.109536

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:We compare and generalise the various geometric constructions (due to Ringel, Lusztig, Schofield, Bozec, Davison...) of the unipotent generalised Kac–Moody algebra associated with an arbitrary quiver. These constructions are interconnected through several geometric operations, including the stalk Euler characteristic of constructible complexes, the characteristic cycle, the Euler obstruction map, and the intersection multiplicities of Lagrangian subvarieties. We provide a proof that these geometric realisations hold for the integral form of the Lie algebra. Furthermore, by modifying the generators of the enveloping algebra, we ensure compatibility with the natural coproducts that can be defined in terms of restriction diagrams. As a result, we establish that the top cohomological Hall algebra of the strictly seminilpotent stack is isomorphic to the positive part of the enveloping algebra of the generalised Kac-Moody algebra associated with the quiver. This appears to be one of the cornerstones needed to describe the BPS algebra of very general 2-Calabi–Yau categories, which is the subject of the author's work on BPS Lie algebras for 2-Calabi–Yau categories with Davison and Schlegel Mejia.

mathematics
Signed combinatorial interpretations in algebraic combinatorics

Igor Pak,Colleen Robichaux

2024-07-11

Abstract:We prove the existence of signed combinatorial interpretations for several large families of structure constants. These families include standard bases of symmetric and quasisymmetric polynomials, as well as various bases in Schubert theory. The results are stated in the language of computational complexity, while the proofs are based on the effective Möbius inversion.

Combinatorics,Discrete Mathematics

On the signature of biquotients

An extension of Steinberg's Theorem to biquotient pairs of subgroups

A Congruence Involving the Quotients of Euler and Its Applications (II)

The Symmetric signature of cyclic quotient singularities

From the global signature to higher signatures

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

On Ternary Quotients of Cubic Hecke Algebras

Cohomological integrality for weakly symmetric representations of reductive groups

The cohomology of biquotients via a product on the two-sided bar construction

Counting representations of quivers with multiplicities

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

A converse theorem for Borcherds products in signature $(2,2)$

Generalized iterated-sums signatures

On the signature of a positive braid

Generalized rank functions and quilts of alternating sign matrices

Sails for universal quadratic forms

Finite quotients, arithmetic invariants, and hyperbolic volume

Cohomology of quasi-abelianized braid groups

Commutativity properties of Quinn spectra

Geometric realisations of the unipotent enveloping algebra of a quiver

Signed combinatorial interpretations in algebraic combinatorics