The Dynkin-Specht-Wever lemma and some associated constructions

Gyula Lakos

2024-07-30

Abstract:In the first part of the paper, some extensions of the classical Dynkin-Specht-Wever lemma are developed. In the second part, we extend Burgunder's splitting construction, and relate back to the Kashiwara-Vergne problem.

Rings and Algebras

What problem does this paper attempt to address?

An Extended Cheeger–Müller Theorem for Covering Spaces

WP Zhang

DOI: https://doi.org/10.1016/j.top.2005.04.001

2005-01-01

Topology

Abstract:We generalize a theorem of Bismut–Zhang, which extends the Cheeger–Müller theorem on Ray–Singer torsion and Reidemeister torsion, to the case of infinite Galois covering spaces. Our result is stated in the framework of extended cohomology, and generalizes in this case a recent result of Braverman–Carey–Farber–Mathai. It does not use the determinant class condition and thus also (potentially) generalizes several results on L2-torsions due to Burghelea, Friedlander, Kappeler and McDonald. We combine the framework developed by Braverman–Carey–Farber–Mathai on the determinant of extended cohomology with the heat kernel method developed in the original paper of Bismut–Zhang to prove our result.
A Cheeger-Mueller theorem for symmetric bilinear torsions

Guangxiang Su,Weiping Zhang

DOI: https://doi.org/10.48550/arXiv.math/0610577

2006-10-19

Abstract:We generalize a theorem of Bismut-Zhang, which extends the Cheeger-Mueller theorem on Ray-Singer torsion and Reidemeister torsion, to the case where the flat vector bundle over a closed manifold carries a nondegenerate symmetric bilinear form. As a consequence, we prove the Burghelea-Haller conjecture which gives an analytic interpretation of the Turaev torsion. It thus also provides an analytic interpretation of (not merely the absolute value of) the Alexander polynomial in knot theory.

Differential Geometry,Spectral Theory
The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

Gyula Lakos

2024-07-29

Abstract:The objective of this paper is to give alternative proofs for the symmetric Poincaré-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic principles. As an application of these principles, a theorem of Nouazé-Revoy type is also obtained.

Rings and Algebras
A degeneration approach to Skoda's Division Theorem

Roberto Albesiano

DOI: https://doi.org/10.1007/s00209-024-03435-6

2024-01-31

Abstract:We prove a Skoda-type division theorem via a degeneration argument. The proof is inspired by B. Berndtsson and L. Lempert's approach to the $L^2$ extension theorem and is based on positivity of direct image bundles. The same tools are then used to slightly simplify and extend the proof of the $L^2$ extension theorem given by Berndtsson and Lempert.

Complex Variables,Algebraic Geometry,Differential Geometry
Derivatives of Frobenius and Derivatives of Hodge weights

Bingyong Xie

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

2019-09-23

Abstract:In this paper we study the derivatives of Frobenius and the derivatives of Hodge weights for families of Galois representations with triangulations. We generalize the Fontaine-Mazur L-invariant and use it to build a formula which is a generalization of the Greenberg-Stevens-Colmez formula. For the purpose of proving this formula we show two auxiliary results called projection vanishing property and "projection vanishing implying L-invariants" property.

Number Theory
The Kraft--Barmpalias--Lewis-Pye lemma revisited

Alexander Shen

2023-06-01

Abstract:This note provides a simplified exposition of the proof of hierarchical Kraft lemma proven by Barmpalias and Lewis-Pye and its consequences for the oracle use in the Kučera--Gács theorem (saying that every sequence is Turing reducible to a random one).

Information Theory,Data Structures and Algorithms,Logic
Generalizing Serre's Splitting Theorem and Bass's Cancellation Theorem via free-basic elements

Alessandro De Stefani,Thomas Polstra,Yongwei Yao

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

2016-08-31

Abstract:We give new proofs of two results of Stafford, which generalize two famous Theorems of Serre and Bass regarding projective modules. Our techniques are inspired by the theory of basic elements. Using these methods we further generalize Serre's Splitting Theorem by imposing a condition to the splitting maps, which has an application to the case of Cartier algebras.

Commutative Algebra
On Bosch-Lütkebohmert-Raynaud's Conjecture I

Otto Overkamp

2024-09-20

Abstract:Let $G$ be a smooth algebraic group over the field of rational functions of an excellent Dedekind scheme $S$ of equal characteristic $p>0.$ A Néron lft-model of $G$ is a smooth separated model $\mathscr{G} \to S$ of $G$ satisfying a universal property. Predicting whether a given $G$ admits such a model is a very delicate (and, in general, open) question if $S$ has infinitely many closed points, which is the subject of Conjecture I due to Bosch-Lütkebohmert-Raynaud. This conjecture was recently proven by T. Suzuki and the author if the residue fields of $S$ at closed points are perfect, but refuted in general. The aim of the present paper is two-fold: firstly, we give a new construction of counterexamples which is more general and provides a conceptual explanation for the only counterexamples known previously, as well as providing many new counterexamples. Secondly, we shall give a new and elementary proof of Conjecture I in the case of perfect residue fields. Both parts make use of the concept of weakly permawound unipotent groups recently introduced by Rosengarten.

Algebraic Geometry,Number Theory
Blocks of symmetric groups, semicuspidal KLR algebras and zigzag Schur-Weyl duality

Anton Evseev,Alexander Kleshchev

DOI: https://doi.org/10.4007/annals.2018.188.2.2

IF: 4.795

2018-09-01

Annals of Mathematics

Abstract:We prove Turner's conjecture, which describes the blocks of the Hecke algebras of the symmetric groups up to derived equivalence as certain explicit Turner double algebras. Turner doubles are Schur-algebra-like `local' objects, which replace wreath products of Brauer tree algebras in the context of the Broué abelian defect group conjecture for blocks of symmetric groups with non-abelian defect groups. The main tools used in the proof are generalized Schur algebras corresponding to wreath products of zigzag algebras and imaginary semicuspidal quotients of affine KLR algebras.

mathematics
The Spectral Hecke Algebra

Tony Feng

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

2020-12-04

Abstract:We introduce a derived enhancement of local Galois deformation rings that we call the "spectral Hecke algebra", in analogy to a construction in the Geometric Langlands program. This is a Hecke algebra that acts on the spectral side of the Langlands correspondence, i.e. on moduli spaces of Galois representations. We verify the simplest form of derived local-global compatibility between the action of the spectral Hecke algebra on the derived Galois deformation ring of Galatius-Venkatesh, and the action of Venkatesh's derived Hecke algebra on the cohomology of arithmetic groups.

Number Theory,Representation Theory
Monomial identities in the Weyl algebra

Darij Grinberg,Tom Roby,Stephan Wagner,Mei Yin

2024-09-30

Abstract:Motivated by a question and some enumerative conjectures of Richard Stanley, we explore the equivalence classes of words in the Weyl algebra, $\mathbf{k} \left< D,U \mid DU - UD = 1 \right>$. We show that each class is generated by the swapping of adjacent *balanced subwords*, i.e., those which have the same number of $D$'s as $U$'s, and give several other characterizations. Armed with this we deduce a number of enumerative results about the number of such equivalence classes and their sizes. We extend these results to the class of $c$-Dyck words, where every prefix has at least $c$ times as many $U$'s as $D$'s. We also connect these results to previous work on bond percolation and rook theory, and generalize them to some other algebras.

Combinatorics,Rings and Algebras
A Graph Approach to A Splitting Theorem

HB Shi

DOI: https://doi.org/10.1142/s1005386706000095

2006-01-01

Algebra Colloquium

Abstract:By associating a graph to the ring under discussion, we propose a graph approach to extend a well-known ring splitting theorem due to Zaks, and we then describe the global and finitistic dimensions of the ring in the language of the graph.
Poisson geometry and the Kashiwara-Vergne conjecture

A. Alekseev,E. Meinrenken

DOI: https://doi.org/10.48550/arXiv.math/0209346

2002-09-26

Abstract:We give a Poisson-geometric proof of the Kashiwara-Vergne conjecture for quadratic Lie algebras, based on the equivariant Moser trick.

Representation Theory,Symplectic Geometry
Generalized Birch lemma and the 2-part of the Birch and Swinnerton-Dyer conjecture for certain elliptic curves

Jie Shu,Shuai Zhai

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

2021-02-24

Abstract:In the present paper, we generalize the celebrated classical lemma of Birch and Heegner on quadratic twists of elliptic curves over $\mathbb{Q}$. We prove the existence of explicit infinite families of quadratic twists with analytic ranks $0$ and $1$ for a large class of elliptic curves, and use Heegner points to explicitly construct rational points of infinite order on the twists of rank $1$. In addition, we show that these families of quadratic twists satisfy the $2$-part of the Birch and Swinnerton-Dyer conjecture when the original curve does. We also prove a new result in the direction of the Goldfeld conjecture.

Number Theory
A decomposition theorem for the affine Springer fibers

Zongbin Chen

2024-04-12

Abstract:According to Laumon, an affine Springer fiber is homeomorphic to the universal abelian covering of the compactified Jacobian of a spectral curve. We construct equivariant deformations $f_{n}:\overline{\mathcal{P}}_{n}\to \mathcal{B}_{n}$ of the finite abelian coverings of this compactified Jacobian, and decompose the complex $Rf_{n,*}\mathbf{Q}_{\ell}$ as direct sum of intersection complexes. Pass to the limit, we obtain a similar expression for the homology of the affine Springer fibers. A quite surprising consequence is that we can reduce the homology to its $\Lambda^{0}$-invariant subspace. As an application, we get a sheaf-theoretic reformulation of the purity hypothesis of Goresky, Kottwitz and MacPherson. In an attempt to solve it, we propose a conjecture about the punctural weight of the intermediate extension of a smooth $\ell$-adic sheaf of pure weight.

Algebraic Geometry
Cocharge and skewing formulas for $Δ$-Springer modules and the Delta Conjecture

Maria Gillespie,Sean T. Griffin

2023-07-28

Abstract:We prove that $\omega \Delta'_{e_{k}}e_n|_{t=0}$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $\Delta$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Schützenberger cocharge statistic on a new combinatorial object that we call a \textit{battery-powered tableau}. Our proof is geometric, and shows that the $\Delta$-Springer varieties of Levinson, Woo, and the second author are generalized Springer fibers coming from the partial resolutions of the nilpotent cone due to Borho and MacPherson. We also give alternative combinatorial proofs of our Schur expansion for several special cases, and give conjectural skewing formulas for the $t$ and $t^2$ coefficients of $\omega \Delta'_{e_{k}}e_n$.

Combinatorics,Algebraic Geometry
Around the Van Daele--Schmüdgen theorem

Yury Arlinskii,Valentin Zagrebnov

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

2013-12-23

Abstract:For a {bounded} non-negative self-adjoint operator acting in a complex, infinite-dimensional, separable Hilbert space H and possessing a dense range R we propose a new approach to characterisation of phenomenon concerning the existence of subspaces M\subset H such that M\capR=M^\perp\capR=\{0\}. We show how the existence of such subspaces leads to various {pathological} properties of {unbounded} self-adjoint operators related to von Neumann theorems \cite{Neumann}--\cite{Neumann2}. We revise the von Neumann-Van Daele-Schmüdgen assertions \cite{Neumann}, \cite{Daele}, \cite{schmud} to refine them. We also develop {a new systematic approach, which allows to construct for any {unbounded} densely defined symmetric/self-adjoint operator T infinitely many pairs of its closed densely defined restrictions T_k\subset T such that \dom(T^* T_{k})=\{0\} (\Rightarrow \dom T_{k}^2=\{0\}$) k=1,2 and \dom T_1\cap\dom T_2=\{0\}, \dom T_1\dot+\dom T_2=\dom T.

Functional Analysis
Dévissage Hermitian Theory

Satya Mandal

2024-08-23

Abstract:We prove Dévissage theorems for Hermitian $K$ Theory (or $GW$ theory), analogous to Quillen's Dévissage theorem for $K$-theory. For abelian categories ${\mathscr A}:=({\mathscr A}, ^{\vee}, \varpi)$ with duality, and appropriate abelian subcategories ${\mathscr B}\subseteq {\mathscr A}$, we prove Dévissage theorems for ${\bf GW}$ spaces, $G{\mathcal W}$-spectra and ${\mathbb G}W$ bispectra. As a consequence, for regular local rings $R$ with $1/2\in R$, we compute the ${\mathbb G}W$ groups ${\mathbb G}W^{[n]}_k(Spec{R})$ forall $k, n\in {\mathbb Z}$, where $n$ represent the translation.

K-Theory and Homology,Algebraic Geometry
On the Beauville--Bogomolov decomposition in characteristic $p\geq 0$

Zsolt Patakfalvi,Maciej Zdanowicz

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

2020-07-01

Abstract:We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of the Albanese morphism are isomorphic. In the appendix written jointly with Giulio Codogni, we also deduce the singular version of the latter statement, in characteristic zero. Finally, we apply our main theorem to draw consequences to the behavior of rational points and fundamental groups of weakly ordinary $K$-trivial varieties in positive characteristic.

Algebraic Geometry

The Dynkin-Specht-Wever lemma and some associated constructions

An Extended Cheeger–Müller Theorem for Covering Spaces

A Cheeger-Mueller theorem for symmetric bilinear torsions

The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

A degeneration approach to Skoda's Division Theorem

Derivatives of Frobenius and Derivatives of Hodge weights

The Kraft--Barmpalias--Lewis-Pye lemma revisited

Generalizing Serre's Splitting Theorem and Bass's Cancellation Theorem via free-basic elements

On Bosch-Lütkebohmert-Raynaud's Conjecture I

Blocks of symmetric groups, semicuspidal KLR algebras and zigzag Schur-Weyl duality

The Spectral Hecke Algebra

Monomial identities in the Weyl algebra

A Graph Approach to A Splitting Theorem

Poisson geometry and the Kashiwara-Vergne conjecture

Generalized Birch lemma and the 2-part of the Birch and Swinnerton-Dyer conjecture for certain elliptic curves

A decomposition theorem for the affine Springer fibers

Cocharge and skewing formulas for $Δ$-Springer modules and the Delta Conjecture

Around the Van Daele--Schmüdgen theorem

Dévissage Hermitian Theory

On the Beauville--Bogomolov decomposition in characteristic $p\geq 0$