Showing 1–21 of 21 results for author: Lemire, N

Algebraic Construction of Quasi-split Algebraic Tori

Authors: Armin Jamshidpey, Nicole Lemire, Eric Schost

Abstract: The main purpose of this work is to give a constructive proof for a particular case of the no-name lemma. Let $G$ be a finite group, $K$ be a field, $L$ be a permutation $G$-lattice and $K[L]$ be the group algebra of $L$ over $K$. The no-name lemma asserts that the invariant field of the quotient field of $K[L]$, $K(L)^G$ is a purely transcendental extension of $K^G$. In other words, there exist… ▽ More The main purpose of this work is to give a constructive proof for a particular case of the no-name lemma. Let $G$ be a finite group, $K$ be a field, $L$ be a permutation $G$-lattice and $K[L]$ be the group algebra of $L$ over $K$. The no-name lemma asserts that the invariant field of the quotient field of $K[L]$, $K(L)^G$ is a purely transcendental extension of $K^G$. In other words, there exist $y_1, \ldots , y_n$ which are algebraically independent over $K^G$ such that $K(L)^G \cong K^G(y_1, \ldots , y_n)$. We define elements $\lbrace y_1, \ldots, y_n \rbrace \subset K[L]^G$ with the desired properties, in the case when $G$ is the Galois group of a finite extension $\mathrm{Gal}(K/F)$, and $L$ is a sign permutation $G$-lattice. △ Less

Submitted 29 January, 2018; originally announced January 2018.

MSC Class: 14Q99 (Primary) 13A50; 68W30 (Secondary)

Schubert cycles and subvarieties of generalized Severi-Brauer varieties

Authors: Caroline Junkins, Daniel Krashen, Nicole Lemire

Abstract: We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory △ Less

Submitted 27 April, 2017; originally announced April 2017.

Four-Dimensional Algebraic Tori

Authors: Nicole Lemire

Abstract: The study of the birational properties of algebraic $k$-tori began in the sixties and seventies with work of Voskresenkii, Endo, Miyata, Colliot-Thélène and Sansuc. There was particular interest in determining the rationality of a given algebraic $k$-tori. As rationality problems for algebraic varieties are in general difficult, it is natural to consider relaxed notions such as stable rationality,… ▽ More The study of the birational properties of algebraic $k$-tori began in the sixties and seventies with work of Voskresenkii, Endo, Miyata, Colliot-Thélène and Sansuc. There was particular interest in determining the rationality of a given algebraic $k$-tori. As rationality problems for algebraic varieties are in general difficult, it is natural to consider relaxed notions such as stable rationality, or even retract rationality. Work of the above authors and later Saltman in the eighties determined necessary and sufficient conditions to determine when an algebraic torus is stably rational, respectively retract rational in terms of the integral representations of its associated character lattice. An interesting question is to ask whether a stably rational algebraic $k$-torus is always rational. In the general case, there exist examples of non-rational stably rational $k$-varieties. Algebraic $k$-tori of dimension $r$ are classified up to isomorphism by conjugacy classes of finite subgroups of GL$_r(\mathbb{Z})$. This makes it natural to examine the rationality problem for algebraic $k$-tori of small dimensions. In 1967, Voskresenskii proved that all algebraic tori of dimension 2 are rational. In 1990, Kunyavskii determined which algebraic tori of dimension 3 were rational. In 2012, Hoshi and Yamasaki determined which algebraic tori of dimensions 4 and 5 were stably (respectively retract) rational with the aid of GAP. They did not address the rationality question in dimensions 4 and 5. In this paper, we show that all stably rational algebraic $k$-tori of dimension 4 are rational, with the possible exception of 10 undetermined cases which fall into 2 families. We reprove the stable rationality of the exceptional families of algebraic tori non-computationally. △ Less

Submitted 4 August, 2017; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 46 pages. Major revision

Pushforwards of Tilting Sheaves

Authors: Ajneet Dhillon, Nicole Lemire, Youlong Yan

Abstract: We investigate the behaviour of tilting sheaves under pushforward by a finite Galois morphism. We determine conditions under which such a pushforward of a tilting sheaf is a tilting sheaf. We then produce some examples of Severi Brauer flag varieties and arithmetic toric varieties in which our method produces a tilting sheaf, adding to the list of positive results in the literature. We also produc… ▽ More We investigate the behaviour of tilting sheaves under pushforward by a finite Galois morphism. We determine conditions under which such a pushforward of a tilting sheaf is a tilting sheaf. We then produce some examples of Severi Brauer flag varieties and arithmetic toric varieties in which our method produces a tilting sheaf, adding to the list of positive results in the literature. We also produce some counterexamples to show that such a pushfoward need not be a tilting sheaf. △ Less

Submitted 29 November, 2018; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: 21 pages

MSC Class: 20G15; 14M15; 14M25

Stably Cayley groups in characteristic zero

Authors: M. Borovoi, B. Kunyavskii, N. Lemire, Z. Reichstein

Abstract: A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e., a G-equivariant birational isomorphism over k between the group variety G and the Lie algebra Lie(G). A Cayley map can be thought of as a partial algebraic analogue of the exponential map. A prototypical example is the classical "Cayley transform" for the special orthogonal group SO_n defined by Art… ▽ More A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e., a G-equivariant birational isomorphism over k between the group variety G and the Lie algebra Lie(G). A Cayley map can be thought of as a partial algebraic analogue of the exponential map. A prototypical example is the classical "Cayley transform" for the special orthogonal group SO_n defined by Arthur Cayley in 1846. A k-group G is called stably Cayley if the product of G with a split r-dimensional k-torus is Cayley for some r=0,1,2,.... These notions were introduced in 2006 by N. Lemire, V. L. Popov and Z. Reichstein, who classified Cayley and stably Cayley simple groups over an algebraically closed field of characteristic zero. In this paper we study Cayley and stably Cayley reductive groups over an arbitrary field k of characteristic zero. Our main results are a criterion for a reductive k-group G to be stably Cayley, formulated in terms of its character lattice, and the classification of stably Cayley simple (but not necessarily absolutely simple) groups. △ Less

Submitted 20 July, 2013; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 49 pages, final version, to appear in Int. Math. Res. Notices

MSC Class: 20G15; 20C10

Journal ref: Int. Math. Res. Notices 2014, 5340-5397

The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

Authors: Indranil Biswas, Ajneet Dhillon, Nicole Lemire

Abstract: We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ witho… ▽ More We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ without parabolic structure. △ Less

Submitted 23 May, 2012; originally announced May 2012.

Comments: To be published in Journal of K-Theory

MSC Class: 14D23; 14D20

On Nori's Obstruction to Universal Bundles

Authors: Emre Coskun, Ajneet Dhillon, Nicole Lemire

Abstract: Let $G$ be $Sl_n, Sp(2n)$ or SO(2n). We consider the moduli space $M$ of semistable principal $G$-bundles over a curve $X$. Our main result is that if $U$ is a Zariski open subset of $M$ then there is no universal bundle on $U\times X$. Let $G$ be $Sl_n, Sp(2n)$ or SO(2n). We consider the moduli space $M$ of semistable principal $G$-bundles over a curve $X$. Our main result is that if $U$ is a Zariski open subset of $M$ then there is no universal bundle on $U\times X$. △ Less

Submitted 17 September, 2010; v1 submitted 3 August, 2009; originally announced August 2009.

Upper bounds for the essential dimension of the moduli stack of ${\sl_{n}}$-bundles over a curve

Authors: Ajneet Dhillon, Nicole Lemire

Abstract: We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case. We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case. △ Less

Submitted 3 August, 2009; originally announced August 2009.

Galois module structure of Galois cohomology for embeddable cyclic extensions of degree p^n

Authors: Nicole Lemire, Jan Minac, Andrew Schultz, John Swallow

Abstract: Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p). Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p). △ Less

Submitted 23 April, 2009; originally announced April 2009.

MSC Class: 12G05; 19D45

Journal ref: J. London Math. Soc. 81 (2010), no. 3, 525-543

Detecting pro-p-groups that are not absolute Galois groups, expanded version

Authors: Dave Benson, Nicole Lemire, Jan Minac, John Swallow

Abstract: We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary ab… ▽ More We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analogues of theorems of Artin-Schreier and Becker for order p elements of certain small quotients of G_F. Finally, we construct new families of pro-p-groups which are not absolute Galois groups over any field F. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: 38 pages; expanded version of paper with similar title; contains some additional material and further comments and details; expanded version is not intended for publication

MSC Class: 12F10

Detecting pro-p-groups that are not absolute Galois groups

Authors: Dave Benson, Nicole Lemire, Jan Minac, John Swallow

Abstract: We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary ab… ▽ More We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analogues of theorems of Artin-Schreier and Becker for order p elements of certain small quotients of G_F. Finally, we construct a new family of pro-p-groups which are not absolute Galois groups over any field F. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: 20 pages

MSC Class: 12F10

Journal ref: J. Reine Angew. Math. 613 (2007), 175--191

On the Cayley degree of an algebraic group

Authors: Nicole Lemire, Vladimir L. Popov, Zinovy Reichstein

Abstract: A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earli… ▽ More A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups. △ Less

Submitted 18 August, 2006; originally announced August 2006.

Comments: LaTEX, 8 pages

MSC Class: 14L10; 17B45; 14L30

Journal ref: Biblioteca de la Revista Matema'tica Iberoamericana, Actas del XVI Coloquio Latinoamericana de A'lgebra, Madrid, 2007, pp. 87--97.

Hilbert 90 for Galois cohomology

Authors: Nicole Lemire, Jan Minac, Andrew Schultz, John Swallow

Abstract: Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n. Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n. △ Less

Submitted 27 January, 2006; originally announced January 2006.

Comments: 11 pages

MSC Class: 12G05; 19D45

Journal ref: Comm. Algebra 38 (2010), 361--372

Demuskin groups, Galois modules, and the elementary type conjecture

Authors: John Labute, Nicole Lemire, Jan Minac, John Swallow

Abstract: Let p be a prime and F(p) the maximal p-extension of a field F containing a primitive p-th root of unity. We give a new characterization of Demuskin groups among Galois groups Gal(F(p)/F) when p=2, and, assuming the Elementary Type Conjecture, when p>2 as well. This characterization is in terms of the structure, as Galois modules, of the Galois cohomology of index p subgroups of Gal(F(p)/F). Let p be a prime and F(p) the maximal p-extension of a field F containing a primitive p-th root of unity. We give a new characterization of Demuskin groups among Galois groups Gal(F(p)/F) when p=2, and, assuming the Elementary Type Conjecture, when p>2 as well. This characterization is in terms of the structure, as Galois modules, of the Galois cohomology of index p subgroups of Gal(F(p)/F). △ Less

Submitted 24 December, 2005; v1 submitted 25 May, 2005; originally announced May 2005.

Comments: v2 (20 pages); added theorem characterizing decompositions into free and trivial modules; to appear in J. Algebra

MSC Class: 12G05; 20E18

Journal ref: J. Algebra 304 (2006), no. 2, 1130--1146

Cohomological dimension and Schreier's formula in Galois cohomology

Authors: John Labute, Nicole Lemire, Jan Minac, John Swallow

Abstract: Let p be a prime and F a field containing a primitive pth root of unity. Then for n in N, the cohomological dimension of the maximal pro-p-quotient G of the absolute Galois group of F is <=n if and only if the corestriction maps H^n(H,Fp) -> H^n(G,Fp) are surjective for all open subgroups H of index p. Using this result we derive a surprising generalization to dim_Fp H^n(H,Fp) of Schreier's form… ▽ More Let p be a prime and F a field containing a primitive pth root of unity. Then for n in N, the cohomological dimension of the maximal pro-p-quotient G of the absolute Galois group of F is <=n if and only if the corestriction maps H^n(H,Fp) -> H^n(G,Fp) are surjective for all open subgroups H of index p. Using this result we derive a surprising generalization to dim_Fp H^n(H,Fp) of Schreier's formula for dim_Fp H^1(H,Fp). △ Less

Submitted 2 March, 2005; v1 submitted 19 November, 2004; originally announced November 2004.

Comments: 7 pages; removed hypothesis on perfect fields, strengthened main theorem

MSC Class: 12G05; 12G10

Journal ref: Canad. Math. Bull. 50 (2007), no. 4, 588--593

When is Galois cohomology free or trivial?

Authors: Nicole Lemire, Jan Minac, John Swallow

Abstract: Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomologi… ▽ More Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomological dimension, we introduce notions of cohomological freeness and cohomological triviality. We give examples of H^n(E) free or trivial for each n in N with prescribed cohomological dimension. △ Less

Submitted 1 March, 2005; v1 submitted 29 October, 2004; originally announced October 2004.

Comments: 29 pages; removed hypothesis on perfect fields in main results, and added references

MSC Class: 12G05; 19D45

Journal ref: New York J. Math. 11 (2005), 291--302

Galois module structure of Galois cohomology and partial Euler-Poincare characteristics

Authors: Nicole Lemire, Jan Minac, John Swallow

Abstract: Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group G_F of F. Using the Bloch-Kato Conjecture we determine the structure of the cohomology group H^n(U,Fp) as an Fp[G_F/U]-module for all n in N. Previously this structure was known only for n=1, and until recently the structure even of H^1(U,Fp) was determined only… ▽ More Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group G_F of F. Using the Bloch-Kato Conjecture we determine the structure of the cohomology group H^n(U,Fp) as an Fp[G_F/U]-module for all n in N. Previously this structure was known only for n=1, and until recently the structure even of H^1(U,Fp) was determined only for F a local field, a case settled by Borevic and Faddeev in the 1960s. We apply these results to study partial Euler-Poincare characteristics of open subgroups N of the maximal pro-p quotient T of G_F. We extend the notion of a partial Euler-Poincare characteristic to this case and we show that the nth partial Euler-Poincare characteristic Theta_n(N) is determined only by Theta_n(T) and the conorm in H^n(T,Fp). △ Less

Submitted 20 October, 2006; v1 submitted 24 September, 2004; originally announced September 2004.

Comments: 30 pages; implemented minor changes suggested by the referee; strengthened Proposition 3 in section 7; now considers partial Euler-Poincare characteristics only in the case when the Galois group of the maximal p-extension of the field F is finitely generated

MSC Class: 12G05; 19D45

Journal ref: J. Reine Angew. Math. 613 (2007), 147--173

Cayley groups

Authors: Nicole Lemire, Vladimir L. Popov, Zinovy Reichstein

Abstract: The classical Cayley map, X --> (I_n-X)/(I_n+X), is a birational isomorphism between the special orthogonal group SO_n and its Lie algebra so_n, which is SO_n-equivariant with respect to the conjugating and adjoint actions respectively. We ask whether or not maps with these properties can be constructed for other algebraic groups. We show that the answer is usually "no", with a few exceptions. I… ▽ More The classical Cayley map, X --> (I_n-X)/(I_n+X), is a birational isomorphism between the special orthogonal group SO_n and its Lie algebra so_n, which is SO_n-equivariant with respect to the conjugating and adjoint actions respectively. We ask whether or not maps with these properties can be constructed for other algebraic groups. We show that the answer is usually "no", with a few exceptions. In particular, we show that a Cayley map for the group SL_n exists if and only if n <= 3. This answers an old question of Luna. △ Less

Submitted 7 February, 2006; v1 submitted 1 September, 2004; originally announced September 2004.

Comments: 47 pages, 2 figures. To appear in J. Amer. Math. Soc. This version incorporates a number of minor revisions and improvements

MSC Class: 14L35; 14L40; 14L30; 17B45; 20C10

Journal ref: Journal of the American Mathematical Society, vol. 19 (2006), no. 4, 921-967. Electronically published on February 6, 2006.

Galois module structure of Milnor K-theory in characteristic p

Authors: Ganesh Bhandari, Nicole Lemire, Jan Minac, John Swallow

Abstract: Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each indecomposable summand of k_mE has Fp-dimension a power of p. That all powers p^i, i=0,1,...,n, occur for suitable examples is shown in a subsequent paper [MSS2… ▽ More Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each indecomposable summand of k_mE has Fp-dimension a power of p. That all powers p^i, i=0,1,...,n, occur for suitable examples is shown in a subsequent paper [MSS2], where additionally the main result of this paper becomes an essential induction step in the determination of K_mE/p^sK_mE as (Z/p^sZ)[Gal(E/F)]-modules for all m, s in N. △ Less

Submitted 7 September, 2007; v1 submitted 26 May, 2004; originally announced May 2004.

Comments: v5 (10 pages); revised introduction and shortened paper; incorporated and acknowledged suggestions by readers of earlier versions

MSC Class: 19D45; 12F10

Journal ref: New York J. Math. 14 (2008), 215--224

Equivariant Euler characteristics of discriminants of reflection groups

Authors: Graham Denham, Nicole Lemire

Abstract: Let G be a finite, complex reflection group and f its discriminant polynomial. The fibers of f admit commuting actions of G and a cyclic group. The virtual $G\times C_m$ character given by the Euler characteristic of the fiber is a refinement of the zeta function of the geometric monodromy, calculated in a paper of Denef and Loeser. We compute the virtual character explicitly, in terms of the po… ▽ More Let G be a finite, complex reflection group and f its discriminant polynomial. The fibers of f admit commuting actions of G and a cyclic group. The virtual $G\times C_m$ character given by the Euler characteristic of the fiber is a refinement of the zeta function of the geometric monodromy, calculated in a paper of Denef and Loeser. We compute the virtual character explicitly, in terms of the poset of normalizers of centralizers of regular elements of G, and of the subspace arrangement given by proper eigenspaces of elements of G. As a consequence, we compute orbifold Euler characteristics and find some new "case-free" information about the discriminant. △ Less

Submitted 16 January, 2002; originally announced January 2002.

Comments: 18 pages

MSC Class: 20F55

On certain lattices associated with generic division algebras

Authors: Nicole Lemire, Martin Lorenz

Abstract: Let S_n denote the symmetric group on n letters. We consider the S_n-root lattice A_{n-1} = {(z1,...,zn) in Z^n | z1+...+zn = 0}, where S_n acts on Z^n by permuting the coordinates, and its tensor, symmetric, and exterior squares. For odd values of n, we show that the tensor square is equivalent, in the sense of Colliot-Thelene and Sansuc, to the exterior square. Consequently, the rationality pr… ▽ More Let S_n denote the symmetric group on n letters. We consider the S_n-root lattice A_{n-1} = {(z1,...,zn) in Z^n | z1+...+zn = 0}, where S_n acts on Z^n by permuting the coordinates, and its tensor, symmetric, and exterior squares. For odd values of n, we show that the tensor square is equivalent, in the sense of Colliot-Thelene and Sansuc, to the exterior square. Consequently, the rationality problem for generic division algebras, for odd values of n, amounts to proving stable rationality of the multiplicative S_n-invariant field of the exterior square of A_{n-1}. Furthermore, confirming a conjecture of Le Bruyn, we show that n=2 and n=3 are the only cases where the tensor square of A_{n-1} is equivalent to a permutation S_n-lattice. In the course of the proof of this result, we construct subgroups H of S_n, for all n that are not prime, so that the algebra of multiplicative H-invariants of A_{n-1} has a non-trivial Picard group. △ Less

Submitted 26 July, 1999; originally announced July 1999.

Comments: 19 pages, AMS-LaTeX with XyPic

MSC Class: 16G30; 20C10; 20C30; 13A50; 16K40; 20J06