BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Wilberd van der Kallen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.
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.
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.