BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Wilberd van der Kallen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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
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.
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.
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é.
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$.
Let $G$ be the group scheme $SL_2$ defined over a noetherian ring $k$. If $G$ acts on a finitely generated commutative $k$-algebra $A$, then $H^*(G,A)$ is a finitely generated $k$-algebra.
We give a gentle introduction to Frobenius splittings. Then we recall a few results that have been obtained with the method.
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.
Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an arbitrary commutative base ring. We thus obtain the first fundamental theorem of invariant theory (often referred to as Hilbert's fourteenth problem) over an arbitrary Noetherian ring. We also prove results on the Grosshans graded deformation of an algebra in the same generality. We end with tentative finiteness results for rational cohomology over the integers.
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.