Researcher profile

Rolf Källström

Rolf Källström contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
4topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2026arXiv

Purity of branch and critical locus

To a dominant morphism $X/S \to Y/S$ of Nœtherian integral $S$-schemes one has the inclusion $C_{X/Y}\subset B_{X/Y}$ of the critical locus in the branch locus of $X/Y$. Starting from the notion of locally complete intersection morphisms, we give conditions on the modules of relative differentials $Ω_{X/Y}$, $Ω_{X/S}$, and $Ω_{Y/S}$ that imply bounds on the codimensions of $ C_{X/Y}$ and $ B_{X/Y}$. These bounds generalise to a wider class of morphisms the classical purity results for finite morphisms by Zariski-Nagata-Auslander, and Faltings and Grothendieck, and van der Waerden's purity for birational morphisms.

preprint2016arXiv

Decomposition of modules over invariant differential operators

Let $G$ be a finite subgroup of the linear group of a finite-dimensional complex vector $V$, $B={\operatorname S}(V)$ be the symmetric algebra, ${\mathcal D}=\mathcal D^G_B$ the ring of $G$-invariant differential operators, and ${\mathcal D}^-$ its subring of negative degree operators. We prove that $M\mapsto M^{ann}= {\operatorname Ann}_{\mathcal D^-}(M)$ defines an isomorphism between the category of ${\mathcal D}$-submodules of $B$ and a category of modules formed as lowest weight spaces. This is applied to a construction of simple ${\mathcal D}$-submodules of $B$ when $G$ is a generalized symmetric group, to show that $B^{ann}$ is a so-called Gelfand model. Using differential algebra and lowest weight methods we also prove branching rules, entailing the main results in the representation theory of the symmetric group, such as a differential construction of the Young basis.

preprint2012arXiv

D-modules with finite support are semi-simple

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition of the $D_R$-module $D_R/D_R \mf_R^{n+1}$ as a direct sum of simple modules, all isomorphic to $D_R/D_R \mf$, where certain "Pochhammer" differential operators are used to describe generators of the simple components.

preprint2012arXiv

Two extensions of Hilbert's finiteness theorem

Let $S^{\cdot}$ be a noetherian graded algebra over a commutative $k$-algebra $A$, where $k$ is a commutative ring, and assume it is a module over a Lie algebroid ${\mathfrak g}_{A/k}$. If $S^\cdot$ is semi-simple over ${\mathfrak g}_{A/k}$ we prove that its ring of invariants $\bar S^{\cdot}$ is notherian. When ${\mathfrak g}_{A/k}$ is a solvable Lie algebra over $A$ we construct noetherian subalgebras of $S^\cdot$ from subsets of characters of ${\mathfrak g}_{A/k}$. We give similar results for noetherian modules over the pair $(S^{\cdot}, {\mathfrak g}_{A/k})$.

preprint2011arXiv

Purity of branch, critical and discriminant locus

To a dominant morphism $π:X/S \to Y/S$ of Nœtherian integral $S$-schemes one has the inclusion $C_π\subset B_π$ of the critical locus in the branch locus of $B_π$. Conditions on the relative differentials $Ω_{X/Y}$, $Ω_{X/S}$, and $Ω_{Y/S}$ are stated that imply bounds on the codimensions of $ C_π$ and $ B_π$. We also give bounds on the codimension of the discriminant locus, proving and generalising a conjecture of I. Dolgachev.