Searcharxiv⌕ Search

arXiv subjects

Wilberd van der Kallen

Publications and source records attributed to Wilberd van der Kallen.

At least 19 recordsLinked to original sources

Highest weight category structures on $rep(B)$ and full exceptional collections on generalized flag varieties over $\mathbb Z$

Given a split simply connected and connected algebraic group scheme $\mathbb G$ over $\mathbb Z$ and a split parabolic subgroup scheme $\mathbb P\subset \mathbb G$, this paper constructs semi-orthogonal decompositions of the bounded derived category $D^b(\mathrm {rep}( \mathbb P))$ of noetherian representations of $\mathbb P$ with each semi-orthogonal component being equivalent to the bounded derived category $D^b(\mathrm {rep}( \mathbb G))$ of noetherian representations of $\mathbb G$. The semi-orthogonal components of those decompositions are stable under the monoidal action of $D^b(\mathrm {rep}( \mathbb G))$ on $D^b(\mathrm {rep}( \mathbb P))$. The decompositions depend on an arbitrarily chosen total order on the Weyl group that refines the Bruhat order. The semi-orthogonal decompositions are also compatible with the Bruhat order on cosets of the Weyl group of $\mathbb P$ in the Weyl group of $\mathbb G$. Their construction builds upon the foundational results on $\mathbb B$-modules from the works of Mathieu, Polo, and van der Kallen, and upon properties of the Steinberg basis of the $ \mathbb T$-equivariant $K$-theory of $ \mathbb G/\mathbb B$. As a corollary, we obtain full exceptional collections in the bounded derived category of coherent sheaves on generalized flag schemes $\mathbb G/\mathbb P$ over $\mathbb Z$.

math.AG↗

Adjoint and coadjoint orbits of the Poincaré group

In this paper we give an effective method for finding a unique representative of each orbit of the adjoint and coadjoint action of the real affine orthogonal group on its Lie algebra. In both cases there are orbits which have a modulus that is different from the usual invariants for orthogonal groups. We find an unexplained bijection between adjoint and coadjoint orbits. As a special case, we classify the adjoint and coadjoint orbits of the Poincaré group.

math.RT↗

A Friedlander-Suslin theorem over a noetherian base ring

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated $k$-algebra. This unifies some earlier results.

math.RT↗

Explorations for alternating FPU-chains with large mass

We show interaction between high- and low-frequency modes in periodic $α$-FPU chains with alternating large masses. The treatment discusses the difficult case where the number of particles $N=2p$ involves $p$ prime. A key role is played by identifying symmetric invariant manifolds, thus reducing the dimension of the problems drastically, and a Mathematica programme focused on these systems. We could show explicitly interaction for systems up to 100 particles with in addition strong arguments for interactions in arbitrary large chains.

math.DS↗

Subset Representations and Eigenvalues of the Universal Intertwining Matrix

We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation. This is then applied to justify the evaluation of the Eisenbud-Levine-Khimshiashvili (ELK) signature formula for the gradient index at a degenerate star in arXiv:2001.10882

math.CO↗

Reductivity properties over an affine base

When the base ring is not a field, power reductivity of a group scheme is a basic notion, intimately tied with finite generation of subrings of invariants. Geometric reductivity is weaker and less pertinent in this context. We give a survey of these properties and their connections.

math.RT↗

How to prove this polynomial always has integer values at all integers

The following problem was posed by user "Kevin" on Mathoverflow. How to prove this polynomial always has integer values at all integers? $$P_m(x)=\sum_{i=0}^{m}\sum_{j=0}^{m} \binom{x+j}{j} \binom{x-1}{j} \binom{j}{i} \binom{m}{i} \binom{i}{m-j} \frac{3}{(2i-1)(2j+1)(2m-2i-1)}.$$ We provide an answer.

math.NT↗

Extrapolating an Euler class

Let $R$ be a noetherian ring of dimension $d$ and let $n$ be an integer so that $n \leq d\leq 2n-3$. Let $(a_1,...,a_{n+1})$ be a unimodular row so that the ideal $J=(a_1,...,a_n)$ has height $n$. Jean Fasel has associated to this row an element $[(J,ω_J)]$ in the Euler class group $E^n(R)$, with $ω_J:(R/J)^n\to J/J^2$ given by $(a_1,...,a_{n-1},a_n a_{n+1})$. If $R$ contains an infinite field $F$ then we show that the rule of Fasel defines a homomorphism from $WMS_{n+1}(R)=Um_{n+1}(R)/E_{n+1}(R)$ to $E^n(R)$. The main problem is to get a well defined map on all of $Um_{n+1}(R)$. Similar results have been obtained by Mrinal Kanti Das and MD Ali Zinna, with a different proof. Our proof uses that every Zariski open subset of $SL_{n+1}(F)$ is path connected for walks made up of elementary matrices.

math.KT↗

Lectures on bifunctors and finite generation of rational cohomology algebras

This text is an updated version of material used for a course at Université de Nantes, part of `Functor homology and applications', April 23-27, 2012. The proof by Touzé of my conjecture on cohomological finite generation (CFG) has been one of the successes of functor homology. We will not treat the original proof in any detail. Instead we will focus on a formality conjecture of Chałupnik that leads to second generation proof of the existence of the universal classes of Touzé.

math.RT↗

An integrality theorem of Grosshans over arbitrary base ring

We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring $k$. One considers a split reductive group scheme $G$ acting on a $k$-algebra $A$ and leaving invariant a subalgebra $R$. If $R^U=A^U$ then the conclusion is that $A$ is integral over $R$.

math.RT↗

Good Grosshans filtration in a family

We reprove the main result of our joint work [arXiv:0706.0604] with Srinivas, concerning finite Schur filtration dimension, but now with the base field replaced by a commutative noetherian ring k. This leads to finiteness results for the cohomology of a reductive group scheme G over k with coefficients in a finitely generated commutative k-algebra with G action.

math.RT↗

Frobenius Splittings

We give a gentle introduction to Frobenius splittings. Then we recall a few results that have been obtained with the method.

math.AG↗

Spherical complexes attached to symplectic lattices

To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This, in turn, implies that the rational homology of moduli space of (unmarked) principal polarized abelian varieties of genus g modulo the decomposable ones vanishes in degree g-2 or lower. Another application is an improved stability range for the homology of the symplectic groups over Euclidean rings. But the original motivation comes from envisaged applications to the homology of groups of Torelli type. The proof of our main result rests on a refined nerve theorem for posets that may have an interest in its own right.

math.GT↗

Bifunctor cohomology and Cohomological finite generation for reductive groups

Let G be a reductive linear algebraic group over a field k. Let A be a finitely generated commutative k-algebra on which G acts rationally by k-algebra automorphisms. Invariant theory tells that the ring of invariants A^G=H^0(G,A) is finitely generated. We show that in fact the full cohomology ring H^*(G,A) is finitely generated. The proof is based on the strict polynomial bifunctor cohomology classes constructed by the junior author. We also continue the study of bifunctor cohomology of the divided powers of a Frobenius twist of the adjoint representation.

math.RT↗

Finite Schur filtration dimension for modules over an algebra with Schur filtration

Let G be GL_N or SL_N as reductive linear algebraic group over a field k of positive characteristic p. We prove several results that were previously established only when N < 6 or p > 2^N. Let G act rationally on a finitely generated commutative k-algebra A. Assume that A as a G-module has a good filtration or a Schur filtration. Let M be a noetherian A-module with compatible G action. Then M has finite good/Schur filtration dimension, so that there are at most finitely many nonzero H^i(G,M). Moreover these H^i(G,M) are noetherian modules over the ring of invariants A^G. Our main tool is a resolution involving Schur functors of the ideal of the diagonal in a product of Grassmannians.

math.RT↗