Showing 1–16 of 16 results for author: Lauritzen, N

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.

Exact Algorithms for Solving Stochastic Games

Authors: Kristoffer Arnsfelt Hansen, Michal Koucky, Niels Lauritzen, Peter Bro Miltersen, Elias Tsigaridas

Abstract: Shapley's discounted stochastic games, Everett's recursive games and Gillette's undiscounted stochastic games are classical models of game theory describing two-player zero-sum games of potentially infinite duration. We describe algorithms for exactly solving these games. Shapley's discounted stochastic games, Everett's recursive games and Gillette's undiscounted stochastic games are classical models of game theory describing two-player zero-sum games of potentially infinite duration. We describe algorithms for exactly solving these games. △ Less

Submitted 17 February, 2012; originally announced February 2012.

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

Maximal lattice free bodies, test sets and the Frobenius problem

Authors: Anders Jensen, Niels Lauritzen, Bjarke Roune

Abstract: Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This… ▽ More Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This test set may be computed using algebraic methods. As an application we generalize the Scarf-Shallcross algorithm for the three-dimensional Frobenius problem to arbitrary dimension. In this context our method is inspired by the novel algorithm by Einstein, Lichtblau, Strzebonski and Wagon and the Groebner basis approach by Roune. △ Less

Submitted 30 May, 2007; v1 submitted 30 May, 2007; originally announced May 2007.

Truncated Groebner fans and lattice ideals

Authors: Niels Lauritzen

Abstract: We outline a generalization of the Groebner fan of a homogeneous ideal with maximal cells parametrizing truncated Groebner bases. This "truncated" Groebner fan is usually much smaller than the full Groebner fan and offers the natural framework for conversion between truncated Groebner bases. The generic Groebner walk generalizes naturally to this setting by using the Buchberger algorithm with tr… ▽ More We outline a generalization of the Groebner fan of a homogeneous ideal with maximal cells parametrizing truncated Groebner bases. This "truncated" Groebner fan is usually much smaller than the full Groebner fan and offers the natural framework for conversion between truncated Groebner bases. The generic Groebner walk generalizes naturally to this setting by using the Buchberger algorithm with truncation on facets. We specialize to the setting of lattice ideals. Here facets along the generic walk are given by unique (facet) binomials. This along with the representation of binomials as integer vectors give an especially simple version of the generic Groebner walk. Computational experience with the special Aardal-Lenstra integer programming knapsack problems is reported. △ Less

Submitted 11 September, 2005; originally announced September 2005.

MSC Class: 13P10

Homogeneous Buchberger algorithms and Sullivant's computational commutative algebra challenge

Authors: Niels Lauritzen

Abstract: We give a variant of the homogeneous Buchberger algorithm for positively graded lattice ideals. Using this algorithm we solve the Sullivant computational commutative algebra challenge. We give a variant of the homogeneous Buchberger algorithm for positively graded lattice ideals. Using this algorithm we solve the Sullivant computational commutative algebra challenge. △ Less

Submitted 16 August, 2005; originally announced August 2005.

MSC Class: 13P10

The generic Groebner walk

Authors: K. Fukuda, A. N. Jensen, N. Lauritzen, R. Thomas

Abstract: The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target term order. An important parameter is explicit numerical perturbation of this line. This usually involves both time and space demanding arithmetic of integers mu… ▽ More The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target term order. An important parameter is explicit numerical perturbation of this line. This usually involves both time and space demanding arithmetic of integers much larger than the input numbers. In this paper we show how the explicit line may be replaced by a formal line using Robbiano's characterization of group orders on Q^n. This gives rise to the generic Groebner walk involving only Groebner basis conversion over facets and computations with marked polynomials. The proposed technique is closely related to the lexicographic (symbolic) perturbation method used in optimization and computational geometry. We report on computations with toric ideals, where a version of our algorithm in certain cases computes test sets for hard integer knapsack problems significantly faster than the Buchberger algorithm. △ Less

Submitted 13 October, 2005; v1 submitted 21 January, 2005; originally announced January 2005.

MSC Class: 13P10

Journal ref: J. Symb. Comp. 42 (2007), 298-312.

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

Local cohomology and D-affinity in positive characteristic

Authors: Masaki Kashiwara, Niels Lauritzen

Abstract: Comparing vanishing of local cohomology in zero and positive characteristic, we give an example of a D-module on a Grassmann variety in positive characteristic with non-vanishing first cohomology group. This is a counterexample to D-affinity and the Beilinson-Bernstein equivalence for flag manifolds in positive characteristic. Comparing vanishing of local cohomology in zero and positive characteristic, we give an example of a D-module on a Grassmann variety in positive characteristic with non-vanishing first cohomology group. This is a counterexample to D-affinity and the Beilinson-Bernstein equivalence for flag manifolds in positive characteristic. △ Less

Submitted 11 October, 2002; originally announced October 2002.

MSC Class: 32C38 (Primary) 14B15 (Secondary)

Journal ref: C. R. Acad. Sci. Paris 335 (2002), 993-996.

Twisted Verma modules

Authors: Henning Haahr Andersen, Niels Lauritzen

Abstract: Using principal series Harish-Chandra modules, local cohomology with support in Schubert cells and twisting functors we construct certain modules parametrized by the Weyl group and a highest weight in the subcategory O of the category of representations of a complex semisimple Lie algebra. These are in a sense modules between a Verma module and its dual. We prove that the three different approac… ▽ More Using principal series Harish-Chandra modules, local cohomology with support in Schubert cells and twisting functors we construct certain modules parametrized by the Weyl group and a highest weight in the subcategory O of the category of representations of a complex semisimple Lie algebra. These are in a sense modules between a Verma module and its dual. We prove that the three different approaches lead to the same modules. Moreover, we demonstrate that they possess natural Jantzen type filtrations with corresponding sum formulae. △ Less

Submitted 2 May, 2001; originally announced May 2001.

MSC Class: 17B10;14B45

Journal ref: Studies in Memory of Issai Schur, PIM 210, BirkhÃ?user 2002

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.

Elementary counterexamples to Kodaira vanishing in prime characteristic

Authors: N. Lauritzen, A. P. Rao

Abstract: We give elementary counterexamples to Kodaira vanishing in prime characteristic constructed as the projectivization of Frobenius pull-backs of natural bundles on the incidence variety of points and planes in projective n-space (n>2). We give elementary counterexamples to Kodaira vanishing in prime characteristic constructed as the projectivization of Frobenius pull-backs of natural bundles on the incidence variety of points and planes in projective n-space (n>2). △ Less

Submitted 19 April, 1996; originally announced April 1996.

Comments: AMSTeX, 6 pages

Report number: Aarhus University preprint MSC Class: 14F17 (Primary) 14M17 (Secondary)

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)

Embeddings of homogeneous spaces in prime characteristics

Authors: Niels Lauritzen

Abstract: Let $G$ be a reductive linear algebraic group. The simplest example of a projective homogeneous $G$-variety in characteristic $p$, not isomorphic to a flag variety, is the divisor $x_0 y_0^p+x_1 y_1^p+x_2 y_2^p=0$ in $P^2\times P^2$, which is $SL_3$ modulo a non-reduced stabilizer containing the upper triangular matrices. In this paper embeddings of projective homogeneous spaces viewed as $G/H$,… ▽ More Let $G$ be a reductive linear algebraic group. The simplest example of a projective homogeneous $G$-variety in characteristic $p$, not isomorphic to a flag variety, is the divisor $x_0 y_0^p+x_1 y_1^p+x_2 y_2^p=0$ in $P^2\times P^2$, which is $SL_3$ modulo a non-reduced stabilizer containing the upper triangular matrices. In this paper embeddings of projective homogeneous spaces viewed as $G/H$, where $H$ is any subgroup scheme containing a Borel subgroup, are studied. We prove that $G/H$ can be identified with the orbit of the highest weight line in the projective space over the simple $G$-representation $L(λ)$ of a certain highest weight $λ$. This leads to some strange embeddings especially in characteristic $2$, where we give an example in the $C_4$-case lying on the boundary of Hartshorne's conjecture on complete intersections. Finally we prove that ample line bundles on $G/H$ are very ample. This gives a counterexample to Kodaira type vanishing with a very ample line bundle, answering an old question of Raynaud. △ Less

Submitted 16 February, 1995; originally announced February 1995.

Comments: 10 pages, AMS-LaTeX

Report number: Matematisk Institut, Aarhus Universitet, Preprint Series 3, 1995