Showing 1–19 of 19 results for author: Thomsen, J F

Finitely generated bimodules over Weyl algebras

Authors: Niels Lauritzen, Jesper Funch Thomsen

Abstract: Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof involves reduction to large positive characteristics. By holonomicity, $A$ is always finitely generated as an $S$-bimodule. Moreover, if this bimodule property co… ▽ More Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof involves reduction to large positive characteristics. By holonomicity, $A$ is always finitely generated as an $S$-bimodule. Moreover, if this bimodule property could be transferred into a similar property in large positive characteristics, then we could again conclude that $A=S$. The latter would imply the Dixmier Conjecture. △ Less

Submitted 17 February, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: Revised abstract and introduction. Smaller corrections and added references

MSC Class: 14A22; 14R10; 16H05

The graph of a Weyl algebra endomorphism

Authors: Niels Lauritzen, Jesper Funch Thomsen

Abstract: Endomorphisms of Weyl algebras are studied using bimodules. Initially, for a Weyl algebra over a field of characteristic zero, Bernstein's inequality implies that holonomic bimodules finitely generated from the right or left form a monoidal category. The most important bimodule in this paper is the graph of an endomorphism. We prove that the graph of an endomorphism of a Weyl algebra over a fiel… ▽ More Endomorphisms of Weyl algebras are studied using bimodules. Initially, for a Weyl algebra over a field of characteristic zero, Bernstein's inequality implies that holonomic bimodules finitely generated from the right or left form a monoidal category. The most important bimodule in this paper is the graph of an endomorphism. We prove that the graph of an endomorphism of a Weyl algebra over a field of characteristic zero is a simple bimodule. The simplicity of the tensor product of the dual graph and the graph is equivalent to the Dixmier conjecture. It is also shown how the graph construction leads to a non-commutative Groebner basis algorithm for detecting invertibility of an endomorphism for Weyl algebras and computing the inverse over arbitrary fields. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Two properties of endomorphisms of Weyl algebras

Authors: Niels Lauritzen, Jesper Funch Thomsen

Abstract: We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic. We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic. △ Less

Submitted 11 August, 2015; originally announced August 2015.

A proof of Wahl's conjecture in the symplectic case

Authors: Jesper Funch Thomsen

Abstract: Let $X$ denote a flag variety of type $A$ or type $C$. We construct a canonical Frobenius splitting of $X \times X$ which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lakshmibai, Mehta and Parameswaran in type $C$, and obtain a new proof in type $A$. In particular, we obtain a proof of Wahl's conjecture in type $C$, and a new proof in type $A$. We also p… ▽ More Let $X$ denote a flag variety of type $A$ or type $C$. We construct a canonical Frobenius splitting of $X \times X$ which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lakshmibai, Mehta and Parameswaran in type $C$, and obtain a new proof in type $A$. In particular, we obtain a proof of Wahl's conjecture in type $C$, and a new proof in type $A$. We also present certain cohomological consequences. △ Less

Submitted 2 September, 2010; originally announced September 2010.

Comments: 24 pages

On frobenius splitting of orbit closures of spherical subgroups in flag varieties

Authors: Xuhua He, Jesper Funch Thomsen

Abstract: Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity. Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity. △ Less

Submitted 26 June, 2010; originally announced June 2010.

Maximal compatible splitting and diagonals of Kempf varieties

Authors: Niels Lauritzen, Jesper Funch Thomsen

Abstract: Lakshmibai, Mehta and Parameswaran (LMP) introduced the notion of maximal multiplicity vanishing in Frobenius splitting. In this paper we define the algebraic analogue of this concept and construct a Frobenius splitting vanishing with maximal multiplicity on the diagonal of the full flag variety. Our splitting induces a diagonal Frobenius splitting of maximal multiplicity for a special class of sm… ▽ More Lakshmibai, Mehta and Parameswaran (LMP) introduced the notion of maximal multiplicity vanishing in Frobenius splitting. In this paper we define the algebraic analogue of this concept and construct a Frobenius splitting vanishing with maximal multiplicity on the diagonal of the full flag variety. Our splitting induces a diagonal Frobenius splitting of maximal multiplicity for a special class of smooth Schubert varieties first considered by Kempf. Consequences are Frobenius splitting of tangent bundles, of blow-ups along the diagonal in flag varieties along with the LMP and Wahl conjectures in positive characteristic for the special linear group. △ Less

Submitted 30 August, 2010; v1 submitted 16 April, 2010; originally announced April 2010.

Comments: Revised according to referee suggestions. To appear in Annales de l'Institut Fourier

Frobenius splitting and geometry of $G$-Schubert varieties

Authors: Xuhua He, Jesper Funch Thomsen

Abstract: Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-… ▽ More Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-Schubert varieties are the closures of Lusztig's $G$-stable pieces. We prove that $X$ admits a Frobenius splitting which is compatible with all $G$-Schubert varieties. Moreover, when $X$ is smooth, projective and toroidal, then any $G$-Schubert variety in $X$ admits a stable Frobenius splitting along an ample divisors. Although this indicates that $G$-Schubert varieties have nice singularities we present an example of a non-normal $G$-Schubert variety in the wonderful compactification of a group of type $G_2$. Finally we also extend the Frobenius splitting results to the more general class of $\mathcal R$-Schubert varieties. △ Less

Submitted 10 September, 2008; v1 submitted 5 April, 2007; originally announced April 2007.

Comments: Final version, 44 pages

Geometry of $B \times B$-orbit closures in equivariant embeddings

Authors: Xuhua He, Jesper Funch Thomsen

Abstract: Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$ is positive and $X$ is projective we prove that $Z$ is globally $F$-regular. As a consequence, $Z$ is normal and Cohen-Macaulay for arbitrary $X$ and arbitra… ▽ More Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$ is positive and $X$ is projective we prove that $Z$ is globally $F$-regular. As a consequence, $Z$ is normal and Cohen-Macaulay for arbitrary $X$ and arbitrary characteristics. Moreover, in characteristic zero it follows that $Z$ has rational singularities. This extends earlier results by the second author and M. Brion. △ Less

Submitted 14 October, 2005; v1 submitted 5 October, 2005; originally announced October 2005.

Comments: 23 pages, revised version. Minor problem with definition of $\mathcal I$ in Section 5.3 resolved

MSC Class: 14M17; 14L30; 14B05

On compactifications of the Steinberg zero-fiber

Authors: Thomas Haahr Lynderup, Jesper Funch Thomsen

Abstract: Let G be a connected semisimple linear algebraic group over an algebraically closed field k of positive characteristic and let X denote an equivariant embedding of G. We define a distinguished Steinberg fiber N in G, called the zero-fiber, and prove that the closure of N within X is normal and Cohen-Macaulay. Furthermore, when X is smooth we prove that the closure of N is a local complete inters… ▽ More Let G be a connected semisimple linear algebraic group over an algebraically closed field k of positive characteristic and let X denote an equivariant embedding of G. We define a distinguished Steinberg fiber N in G, called the zero-fiber, and prove that the closure of N within X is normal and Cohen-Macaulay. Furthermore, when X is smooth we prove that the closure of N is a local complete intersection. △ Less

Submitted 17 June, 2005; originally announced June 2005.

Comments: 18 pages

MSC Class: 14M17; 13A35

Closures of Steinberg fibers in twisted wonderful compactifications

Authors: Xuhua He, Jesper Funch Thomsen

Abstract: By a case-free approach we give a precise description of the closure of a Steinberg fiber within a twisted wonderful compactification of a simple linear algebraic group. In the non-twisted case this description was earlier obtained by the first author. By a case-free approach we give a precise description of the closure of a Steinberg fiber within a twisted wonderful compactification of a simple linear algebraic group. In the non-twisted case this description was earlier obtained by the first author. △ Less

Submitted 1 February, 2006; v1 submitted 5 June, 2005; originally announced June 2005.

Comments: 12 pages, final version

MSC Class: 14M17; 20G15

Frobenius splitting of equivariant closures of regular conjugacy classes

Authors: Jesper Funch Thomsen

Abstract: Let $G$ denote a connected semisimple and simply connected algebraic group over an algebraically closed field $k$ of positive characteristic and let $g$ denote a regular element of $G$. Let $X$ denote any equivariant embedding of $G$. We prove that the closure of the conjugacy class of $g$ within $X$ is normal and Cohen-Macaulay. Moreover, when $X$ is smooth we prove that this closure is a local… ▽ More Let $G$ denote a connected semisimple and simply connected algebraic group over an algebraically closed field $k$ of positive characteristic and let $g$ denote a regular element of $G$. Let $X$ denote any equivariant embedding of $G$. We prove that the closure of the conjugacy class of $g$ within $X$ is normal and Cohen-Macaulay. Moreover, when $X$ is smooth we prove that this closure is a local complete intersection. As a consequence, the closure of the unipotent variety within $X$ share the same geometric properties. △ Less

Submitted 7 February, 2005; originally announced February 2005.

Comments: 23 pages

MSC Class: 14M17; 13A35

F-regularity of large Schubert varieties

Authors: Michel Brion, Jesper Funch Thomsen

Abstract: Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type i… ▽ More Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and △ Less

Submitted 13 August, 2004; originally announced August 2004.

Comments: 14 pages

MSC Class: 14M17; 13A35

Global F-regularity of Schubert varieties with applications to D-modules

Authors: Niels Lauritzen, Ulf Raben-Pedersen, Jesper Funch Thomsen

Abstract: We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple D-modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin comple… ▽ More We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple D-modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin complex we prove that the decomposition of local cohomology sheaves with support in Schubert cells is multiplicity free. △ Less

Submitted 30 May, 2007; v1 submitted 4 February, 2004; originally announced February 2004.

MSC Class: 32C38; 14B15

Journal ref: J. Amer. Math. Soc. 19 (2006), 345-355

A new realization of the cohomology of Springer fibers

Authors: Shrawan Kumar, Jesper Funch Thomsen

Abstract: In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de… ▽ More In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de Concini and Procesi. △ Less

Submitted 13 November, 2002; originally announced November 2002.

Comments: 5 pages

MSC Class: 20G10; 20B30

A conjectural generalization of n! result to arbitrary groups

Authors: Shrawan Kumar, Jesper Funch Thomsen

Abstract: We relate the n! conjecture (by Garsia and Haiman) to the geometry of principal nilpotent pairs, and state a conjecture generalizing the n! conjecture to arbitrary semisimple algebraic groups. We also show, using Borel's fixed point theorem, how to reduce the n! conjecture to staircase partitions. Finally we study the interplay between characteristic p and the n! conjecture for box partitions. We relate the n! conjecture (by Garsia and Haiman) to the geometry of principal nilpotent pairs, and state a conjecture generalizing the n! conjecture to arbitrary semisimple algebraic groups. We also show, using Borel's fixed point theorem, how to reduce the n! conjecture to staircase partitions. Finally we study the interplay between characteristic p and the n! conjecture for box partitions. △ Less

Submitted 14 August, 2002; v1 submitted 22 January, 2002; originally announced January 2002.

Comments: Main conjectures has changed, 28 pages

Frobenius splitting of Hilbert schemes of points on surfaces

Authors: Shrawan Kumar, Jesper Funch Thomsen

Abstract: Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. We show that if X is Frobenius split then so is the Hilbert scheme Hilb^n(X) of n points in X. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb^n(X) when X is projective and Frobenius split. Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. We show that if X is Frobenius split then so is the Hilbert scheme Hilb^n(X) of n points in X. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb^n(X) when X is projective and Frobenius split. △ Less

Submitted 23 November, 1999; originally announced November 1999.

Comments: Latex, 12 pages

Frobenius splitting of cotangent bundles of flag varieties and geometry of nilpotent cones

Authors: Shrawan Kumar, Niels Lauritzen, Jesper Funch Thomsen

Abstract: We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zer… ▽ More We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bundle, which in turn implies good filtrations of cohomology of induced representations. △ Less

Submitted 8 September, 1998; originally announced September 1998.

Comments: LaTeX (amsart, amsmath, xypic), 14 pages

Report number: Aarhus University preprint No. 6, August 1998 MSC Class: 14M15 (Primary) 20G05 (Secondary)

Journal ref: Invent. math. 136 (1999), 603-621.

Irreducibility of \bar{M}_{0,n}(G/P,β)

Authors: Jesper Funch Thomsen

Abstract: Let G be a linear algebraic group, P be a parabolic subgroup of G and βbe a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, β) of n-pointed genus 0 stable maps representing βis irreducible. Let G be a linear algebraic group, P be a parabolic subgroup of G and βbe a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, β) of n-pointed genus 0 stable maps representing βis irreducible. △ Less

Submitted 9 July, 1997; originally announced July 1997.

Comments: 8 pages, AmsLaTeX

Frobenius morphisms over Z/p^2 and Bott vanishing

Authors: A. Buch, J. F. Thomsen, N. Lauritzen, V. B. Mehta

Abstract: Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing ar… ▽ More Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing argument gives lifting of Frobenius to $Z/p^2$) and we derive natural characteristic $p$ proofs of Bott vanishing and degeneration of the Danilov spectral sequence. For flag varieties we obtain generalizations of a result of Paranjape and Srinivas about non-lifting of Frobenius to the Witt vectors. △ Less

Submitted 17 August, 1995; originally announced August 1995.

Comments: AMS-LaTeX, For a dvi-version of this preprint please check out http://www.mi.aau.dk/~niels/papers.html

Report number: Aarhus University Preprint Series no. 11, 1995 MSC Class: 14F17 (Primary) 14M25; 14M15 (Secondary)