Showing 1–32 of 32 results for author: Bayer-Fluckiger, E

K3 surfaces with maximal complex multiplication

Authors: Eva Bayer-Fluckiger

Abstract: Following Valloni, we study complex projective K3 surfaces having complex multiplication by rings of integers. Following Valloni, we study complex projective K3 surfaces having complex multiplication by rings of integers. △ Less

Submitted 1 June, 2025; v1 submitted 21 August, 2024; originally announced August 2024.

Comments: To appear in Documenta Math

K3 surfaces with real or complex multiplication

Authors: Eva Bayer-Fluckiger, Bert van Geemen, Matthias Schütt

Abstract: Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by $E$. Analogous results are proved for CM number fields and also for all known higher-dimensional hyperkähler manifolds. Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by $E$. Analogous results are proved for CM number fields and also for all known higher-dimensional hyperkähler manifolds. △ Less

Submitted 26 March, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: 32 pages; v2: major extension covering also higher-dimensional hyperkähler manifolds and possible Picard lattices

Automorphisms of K3 surfaces, cyclotomic polynomials and orthogonal groups

Authors: Eva Bayer-Fluckiger

Abstract: Let X be a complex projective K3 surface, and let T(X) be its transcendental lattice; the characteristic polynomials of the isometries of T(X) induced by automorphisms of X are powers of cyclotomic polynomials. Which powers of cyclotomic polynomials occur ? The aim of this note is to answer this question, as well as related ones, and give an alternative approach to some results of Kondo, Machida,… ▽ More Let X be a complex projective K3 surface, and let T(X) be its transcendental lattice; the characteristic polynomials of the isometries of T(X) induced by automorphisms of X are powers of cyclotomic polynomials. Which powers of cyclotomic polynomials occur ? The aim of this note is to answer this question, as well as related ones, and give an alternative approach to some results of Kondo, Machida, Oguiso, Vorontsov, Xiao and Zhang; this leads to questions and results concerning orthogonal groups of lattices. △ Less

Submitted 1 May, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: To appear in Eur. J. Math

Automorphisms of K3 surfaces, signatures, and isometries of lattices

Authors: Eva Bayer-Fluckiger

Abstract: Every Salem numbers of degree 4,6,8,12,14 or 16 is the dynamical degree of an automorphism of a non-projective K3 surface. We define a notion of signature of an automorphism, and use it to give a necessary and sufficient condition for Salem numbers of degree 10 and 18 to be realized as the dynamical degree of such an automorphism. The first part of the paper contains results on isometries of latti… ▽ More Every Salem numbers of degree 4,6,8,12,14 or 16 is the dynamical degree of an automorphism of a non-projective K3 surface. We define a notion of signature of an automorphism, and use it to give a necessary and sufficient condition for Salem numbers of degree 10 and 18 to be realized as the dynamical degree of such an automorphism. The first part of the paper contains results on isometries of lattices. △ Less

Submitted 1 May, 2024; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: This paper contains several (but not all) of the results of arXiv:2107.07583, as well as new results. arXiv admin note: text overlap with arXiv:2107.07583. Added reference to Takada's result on degree 20 Salem numbers. Changes in version 3 : added two sections on automorphisms of projective K3 surfaces (sections 26 and 27). To appear in J. Eur. Math. Soc. (JEMS)

Alexander polynomials and signatures of some high-dimensional knots

Authors: Eva Bayer-Fluckiger

Abstract: We give necessary and sufficient conditions for an integer to be the signature of a (4q-1)-knot in the (4q+1)-sphere with a given square-free Alexander polynomial. We give necessary and sufficient conditions for an integer to be the signature of a (4q-1)-knot in the (4q+1)-sphere with a given square-free Alexander polynomial. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Norm tori of etale algebras and unramified Brauer groups

Authors: Eva Bayer-Fluckiger, Ting-Yu Lee

Abstract: Let $k$ be a field, and let $L$ be an étale k-algebra of finite rank. If $a$ is a nonzero element in $k$, let $X_a$ be the affine variety defined by the norm equation $N_{L/k}(x) = a$. Assuming that $L$ has at least one factor that is a cyclic field extension of $k$, we give a combinatorial description of the unramified Brauer group of $X_a$. Let $k$ be a field, and let $L$ be an étale k-algebra of finite rank. If $a$ is a nonzero element in $k$, let $X_a$ be the affine variety defined by the norm equation $N_{L/k}(x) = a$. Assuming that $L$ has at least one factor that is a cyclic field extension of $k$, we give a combinatorial description of the unramified Brauer group of $X_a$. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Embeddings of maximal tori in classical groups, odd degree descent and Hasse principles

Authors: Eva Bayer-Fluckiger, Tingyu Lee, Raman Parimala

Abstract: The aim of this paper is to revisit the question of local-global principles for embeddings of étale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in [BLP 18]. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a p… ▽ More The aim of this paper is to revisit the question of local-global principles for embeddings of étale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in [BLP 18]. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a product of pairwise linearly disjoint field extensions, then the Hasse principle holds, and that if an embedding exists after an odd degree extension, then it also exists over the global field itself. An appendix gives a generalization of this later result, in the framework of a question of Burt Totaro. △ Less

Submitted 26 September, 2021; originally announced September 2021.

Comments: This supersedes the preprint arXiv:2005.06996

Isometries of lattices and automorphisms of K3 surfaces

Authors: Eva Bayer-Fluckiger

Abstract: The aim of this paper is to give necessary and sufficient conditions for an integral polynomial to be the characteristic polynomial of a semi-simple isometry of some even unimodular lattice of given signature. This result has applications applications to automorphisms of K3 surfaces; in particular, we show that every Salem number of degree 4, 6, 8,1 2, 14 or 16 is the dynamical degree of an automo… ▽ More The aim of this paper is to give necessary and sufficient conditions for an integral polynomial to be the characteristic polynomial of a semi-simple isometry of some even unimodular lattice of given signature. This result has applications applications to automorphisms of K3 surfaces; in particular, we show that every Salem number of degree 4, 6, 8,1 2, 14 or 16 is the dynamical degree of an automorphism of a non-projective K3 surface. △ Less

Submitted 28 December, 2022; v1 submitted 15 July, 2021; originally announced July 2021.

Embeddings of maximal tori in classical groups and Hasse principles

Authors: Eva Bayer-Fluckiger

Abstract: The aim of this note is to revisit the question of local-global principles for embeddings of etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in a joint paper with Tingyu Lee and Raman Parimala. In the present paper, we give a simpler description of the obstruction group. It is also… ▽ More The aim of this note is to revisit the question of local-global principles for embeddings of etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in a joint paper with Tingyu Lee and Raman Parimala. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a product of pairwise independent field extensions, then the Hasse principle holds. △ Less

Submitted 14 May, 2020; originally announced May 2020.

On unramified Brauer groups of torsors over tori

Authors: Eva Bayer-Fluckiger, Raman Parimala

Abstract: In this paper we introduce a method to obtain algebraic information using arithmetic one in the study of tori and their principal homogeneous spaces. In particular, using some results of the authors with Tingyu Lee, we determine the unramified Brauer groups of some norm one tori, and their torsors. In this paper we introduce a method to obtain algebraic information using arithmetic one in the study of tori and their principal homogeneous spaces. In particular, using some results of the authors with Tingyu Lee, we determine the unramified Brauer groups of some norm one tori, and their torsors. △ Less

Submitted 18 August, 2020; v1 submitted 19 April, 2020; originally announced April 2020.

Comments: Minor changes. To appear in Documenta Math

Isometries of lattices and Hasse principles

Authors: Eva Bayer-Fluckiger

Abstract: We give necessary and sufficient conditions for an integral polynomial without linear factors to be the characteristic polynomial of an isometry of some even, unimodular lattice of given signature. This gives rise to Hasse principle questions, which we answer in a more general setting. As an application, we prove a Hasse principle for signatures of knots. We give necessary and sufficient conditions for an integral polynomial without linear factors to be the characteristic polynomial of an isometry of some even, unimodular lattice of given signature. This gives rise to Hasse principle questions, which we answer in a more general setting. As an application, we prove a Hasse principle for signatures of knots. △ Less

Submitted 10 May, 2021; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: Added application to knot theory

On the Grothendieck-Serre Conjecture for Classical Groups

Authors: Eva Bayer-Fluckiger, Uriya A. First, Raman Parimala

Abstract: We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit second residue maps; the complex is shown to be exact when the ring is of dimension $\le 2$ (or $\le 4$, with additional hypotheses on the algebra with involut… ▽ More We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit second residue maps; the complex is shown to be exact when the ring is of dimension $\le 2$ (or $\le 4$, with additional hypotheses on the algebra with involution). Note that we do not assume that the ring contains a field. △ Less

Submitted 5 April, 2022; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: 38 pages. Comments are welcome

Journal ref: Journal of the London Mathematical Society, published online 2022

Lines on cubic surfaces and Witt invariants

Authors: Eva Bayer-Fluckiger, Jean-Pierre Serre

Abstract: The aim of this note is to give a formula expressing the trace form associated with the 27 lines of a cubic surface. The aim of this note is to give a formula expressing the trace form associated with the 27 lines of a cubic surface. △ Less

Submitted 11 August, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: Added an appendix giving a formula for the Stiefel-Whitney classes of any linear representation of G in terms of four basic invariants. Minor corrections

Orders that are Étale-Locally Isomorphic

Authors: Eva Bayer-Fluckiger, Uriya A. First, Mathieu Huruguen

Abstract: Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat étale $R$-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this… ▽ More Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat étale $R$-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this statement for hermitian forms over hereditary $R$-orders with involution. The results can be restated by means of étale cohomology and can be seen as variations of the Grothendieck--Serre conjecture on principal homogeneous bundles of reductive group schemes. Connections with Bruhat--Tits theory are also discussed. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 12 pages; comments are welcome

Automorphisms of even unimodular lattices and equivariant Witt groups

Authors: Eva Bayer-Fluckiger, Lenny Taelman

Abstract: We characterize the irreducible polynomials that occur as a characteristic polynomial of an automorphism of an even unimodular lattice of given signature, generalizing a theorem of Gross and McMullen. As part of the proof, we give a general criterion in terms of Witt groups for a bilinear form equipped with an action of a group G over a discretely valued field to contain a unimodular G-stable latt… ▽ More We characterize the irreducible polynomials that occur as a characteristic polynomial of an automorphism of an even unimodular lattice of given signature, generalizing a theorem of Gross and McMullen. As part of the proof, we give a general criterion in terms of Witt groups for a bilinear form equipped with an action of a group G over a discretely valued field to contain a unimodular G-stable lattice. △ Less

Submitted 7 August, 2018; v1 submitted 18 August, 2017; originally announced August 2017.

Comments: (v4: minor corrections in Propositions 7.2 and 9.1 ). To appear in JEMS

Cohomological invariants for G-Galois algebras and self-dual normal bases

Authors: Eva Bayer-Fluckiger, Raman Parimala

Abstract: We define degree two cohomological invariants for G-Galois algebras over fields of characteristic not 2, and use them to give necessary conditions for the existence of a self--dual normal basis. In some cases, we show that these conditions are also sufficient. We define degree two cohomological invariants for G-Galois algebras over fields of characteristic not 2, and use them to give necessary conditions for the existence of a self--dual normal basis. In some cases, we show that these conditions are also sufficient. △ Less

Submitted 16 August, 2016; originally announced August 2016.

Inhomogeneous minima of mixed signature lattices

Authors: Eva Bayer-Fluckiger, Martino Borello, Peter Jossen

Abstract: We establish an explicit upper bound for the Euclidean minimum of a number field which depends, in a precise manner, only on its discriminant and the number of real and complex embeddings. Such bounds were shown to exist by Davenport and Swinnerton-Dyer. In the case of totally real fields, an optimal bound was conjectured by Minkowski and it is proved for fields of small degree. In this note we de… ▽ More We establish an explicit upper bound for the Euclidean minimum of a number field which depends, in a precise manner, only on its discriminant and the number of real and complex embeddings. Such bounds were shown to exist by Davenport and Swinnerton-Dyer. In the case of totally real fields, an optimal bound was conjectured by Minkowski and it is proved for fields of small degree. In this note we develop methods of McMullen in the case of mixed signature in order to get explicit bounds for the Euclidean minimum. △ Less

Submitted 22 January, 2023; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: To appear in the Journal of Number Theory

Hasse principles for multinorm equations

Authors: Eva Bayer-Fluckiger, Ting-Yu Lee, Raman Parimala

Abstract: Let $k$ be a global field and let $L_0$,...,$L_m$ be finite separable field extensions of $k$. In this paper, we are interested in the Hasse principle for the multinorm equation $\underset{i=0}{\overset{m}{\prod}}N_{L_i/k}(t_i)=c$. Under the assumption that $L_0$ is a cyclic extension, we give an explicit description of the Brauer-Manin obstruction to the Hasse principle. We also give a complete c… ▽ More Let $k$ be a global field and let $L_0$,...,$L_m$ be finite separable field extensions of $k$. In this paper, we are interested in the Hasse principle for the multinorm equation $\underset{i=0}{\overset{m}{\prod}}N_{L_i/k}(t_i)=c$. Under the assumption that $L_0$ is a cyclic extension, we give an explicit description of the Brauer-Manin obstruction to the Hasse principle. We also give a complete criterion for the Hasse principle for multinorm equations to hold when $L_0$ is a meta-cyclic extension. △ Less

Submitted 10 January, 2023; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: Add an assumption to Prop. 5.13, Prop. 5.14 and Thm. 8.1

Journal ref: Adv. Math. 356 (2019)

Rationally Isomorphic Hermitian Forms and Torsors of Some Non-Reductive Groups

Authors: Eva Bayer-Fluckiger, Uriya A. First

Abstract: Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals, are in fact isomorphic. The same result is also obtained for quadratic forms equipped with an action of a finite group. The results have cohomological restateme… ▽ More Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals, are in fact isomorphic. The same result is also obtained for quadratic forms equipped with an action of a finite group. The results have cohomological restatements that resemble the Grothendieck--Serre conjecture, except the group schemes involved are not reductive. We show that these group schemes are closely related to group schemes arising in Bruhat--Tits theory. △ Less

Submitted 27 February, 2017; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 27 pages. Changes from previous version: Section 5 was split into two sections, several proofs have been simplified, other mild modifications

Patching and Weak Approximation in Isometry Groups

Authors: Eva Bayer-Fluckiger, Uriya A. First

Abstract: Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of $R$ and its fraction field. We prove that the number of isomorphism classes in the genus of unimodular quadratic spaces over (non necessarily commutative)… ▽ More Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of $R$ and its fraction field. We prove that the number of isomorphism classes in the genus of unimodular quadratic spaces over (non necessarily commutative) $R$-orders is always a finite power of $2$, and under further assumptions, e.g. that the order is hereditary, this number is $1$. The same result is also shown for related objects, e.g. systems of sesquilinear forms. A key ingredient in the proof is a weak approximation theorem for groups of isometries, which is valid over any (topological) base field, and even over semilocal base rings. The appendix proves that the isometry group of a quadratic space over an $R$-order with involution can be regarded as a smooth affine group scheme under mild assumptions. △ Less

Submitted 8 January, 2016; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 33 pages. Changes from previous version: results concerning hereditary orders in separable algebras now hold for hereditary orders in general algebras, other mild clarifications

MSC Class: 11E39; 11E41; 16H10

Embeddings of maximal tori in classical groups and explicit Brauer-Manin obstruction

Authors: Eva Bayer-Fluckiger, Ting-Yu Lee, Raman Parimala

Abstract: Embeddings of maximal tori into classical groups over global fields of characteristic not 2 are the subject matter of several recent papers, with special attention to the Hasse principle. The present paper gives necessary and sufficient conditions for this embedding problem, and in particular for the Hasse principle to hold. Using work of Borovoi, this is interpreted as a Brauer-Manin type obstruc… ▽ More Embeddings of maximal tori into classical groups over global fields of characteristic not 2 are the subject matter of several recent papers, with special attention to the Hasse principle. The present paper gives necessary and sufficient conditions for this embedding problem, and in particular for the Hasse principle to hold. Using work of Borovoi, this is interpreted as a Brauer-Manin type obstruction. △ Less

Submitted 25 December, 2014; v1 submitted 19 October, 2014; originally announced October 2014.

Comments: added appendix B and corrected some typos

Hermitian lattices and bounds in K-theory of algebraic integers

Authors: Eva Bayer-Fluckiger, Vincent Emery, Julien Houriet

Abstract: Elaborating on a method of Soulé, and using better estimates for the geometry of hermitian lattices, we improve the upper bounds for the torsion part of the K-theory of the rings of integers of number fields. Elaborating on a method of Soulé, and using better estimates for the geometry of hermitian lattices, we improve the upper bounds for the torsion part of the K-theory of the rings of integers of number fields. △ Less

Submitted 21 May, 2015; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: 11 pages. Minor change

Journal ref: Documenta Math. Extra Volume: Merkurjev (2015) 71--83

Upper bounds for the Euclidean minima of abelian number fields

Authors: Eva Bayer-Fluckiger, Piotr Maciak

Abstract: The aim of this paper is to survey and extend results concerning bounds of the Euclidean minima of abelian number fields. In particular, we give upper bounds for the Euclidean minima of abelian number fields of prime power conductor. The aim of this paper is to survey and extend results concerning bounds of the Euclidean minima of abelian number fields. In particular, we give upper bounds for the Euclidean minima of abelian number fields of prime power conductor. △ Less

Submitted 20 November, 2013; originally announced November 2013.

Comments: arXiv admin note: text overlap with arXiv:1310.6057

Upper bounds for the Euclidean minima of abelian fields of odd prime power conductor

Authors: Eva Bayer-Fluckiger, Piotr Maciak

Abstract: The aim of this paper is to give upper bounds for the Euclidean minima of abelian fields of odd prime conductor. In particular, these bounds imply Minkowski's conjecture for totally real number fields of conductor p^r, where p is an odd prime and r is at least 2. The aim of this paper is to give upper bounds for the Euclidean minima of abelian fields of odd prime conductor. In particular, these bounds imply Minkowski's conjecture for totally real number fields of conductor p^r, where p is an odd prime and r is at least 2. △ Less

Submitted 22 October, 2013; originally announced October 2013.

Comments: To appear in Mathematische Annalen

Isometries of quadratic spaces

Authors: Eva Bayer-Fluckiger

Abstract: Let k be a field of characteristic not 2, let q be a quadratic space over k and let f be an irreducible polynomial with coefficients in k. In 1969, Milnor raised the following question : how can we decide whether q has an isometry with minimal polynomial f ? We give an answer to this question in the case of global fields. A more general version of the question is also considered. Let k be a field of characteristic not 2, let q be a quadratic space over k and let f be an irreducible polynomial with coefficients in k. In 1969, Milnor raised the following question : how can we decide whether q has an isometry with minimal polynomial f ? We give an answer to this question in the case of global fields. A more general version of the question is also considered. △ Less

Submitted 10 September, 2013; v1 submitted 21 May, 2013; originally announced May 2013.

Comments: To appear in the Journal of the European Mathematical Society (JEMS)

Embeddings of maximal tori in orthogonal groups

Authors: Eva Bayer-Fluckiger

Abstract: We give necessary and sufficient conditions for an orthogonal group defined over a field of characteristic not 2 to contain a maximal torus of a given type. We give necessary and sufficient conditions for an orthogonal group defined over a field of characteristic not 2 to contain a maximal torus of a given type. △ Less

Submitted 15 May, 2013; originally announced May 2013.

Comments: To appear in the Annales de l'Institut Fourier

Hasse Principle for G-quadratic forms

Authors: Eva Bayer-Fluckiger, Nivedita Bhaskhar, Raman Parimala

Abstract: Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether this is also true for G-quadratic forms, where G is a finite group. In the case of number fields the Hasse principle for G-quadratic forms does not hold in gen… ▽ More Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether this is also true for G-quadratic forms, where G is a finite group. In the case of number fields the Hasse principle for G-quadratic forms does not hold in general, as shown by Jorge Morales. The aim of this paper is to study this question when k is a global field of positive characteristic. We give a sufficient criterion for the Hasse principle to hold, and also counter examples : note that these are of different nature than those for number fields. △ Less

Submitted 14 May, 2013; originally announced May 2013.

Comments: To appear in Documenta Mathematica

Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms

Authors: Eva Bayer-Fluckiger, Uriya A. First, Daniel A. Moldovan

Abstract: We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can… ▽ More We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can be defined with respect to different hermitian structures on the given category. This extends a result obtained by E. Bayer-Fluckiger and D. Moldovan. We use the equivalence to define a Witt ring of sesquilinear forms over a hermitian category, and also to generalize various results (e.g.: Witt's Cancelation Theorem, Springer's Theorem, the weak Hasse principle, finiteness of genus) to systems of sesquilinear forms over hermitian categories. △ Less

Submitted 3 December, 2013; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: 24 pages

MSC Class: 11E39; 11E81

Journal ref: Pacific Journal of Mathematics, 270(1):1--26, 2014

Sesquilinear forms over rings with involution

Authors: Eva Bayer-Fluckiger, Daniel Moldovan

Abstract: Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation and base change results, as well as some local-global and finiteness results in this context. Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation and base change results, as well as some local-global and finiteness results in this context. △ Less

Submitted 22 May, 2013; v1 submitted 29 December, 2012; originally announced January 2013.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:1212.6598 New version with minor corrections, to appear in the Journal of Pure and Applied Algebra

MSC Class: 11E39; 11E81

Hermitian Categories, extension of scalars and systems of hermitian forms

Authors: Eva Bayer-Fluckiger, Daniel Moldovan

Abstract: In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for K-linear hermitian categories, where K is a field of characteristic not 2. We finally extend several results concerning sesquilinear forms to the setting of systems… ▽ More In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for K-linear hermitian categories, where K is a field of characteristic not 2. We finally extend several results concerning sesquilinear forms to the setting of systems of such forms. △ Less

Submitted 29 December, 2012; originally announced December 2012.

Comments: 16 pages

MSC Class: 11E39; 11E81

Hasse principle for G-trace forms

Authors: E. Bayer-Fluckiger, R. Parimala, J-P. Serre

Abstract: Let k be a global field of characteristic not 2. We prove a local-global principle for the existence of self-dual normal bases, and more generally for the isomorphism of G-trace forms, of G-Galois algebras over k. Let k be a global field of characteristic not 2. We prove a local-global principle for the existence of self-dual normal bases, and more generally for the isomorphism of G-trace forms, of G-Galois algebras over k. △ Less

Submitted 10 May, 2013; v1 submitted 21 October, 2012; originally announced October 2012.

Comments: minor corrections

Pfister involutions

Authors: E Bayer-Fluckiger, R Parimala, A Queguiner-Mathieu

Abstract: The question of the existence of an analogue, in the framework of central simple algebras with involution, of the notion of Pfister form is raised. In particular, algebras with orthogonal involution which split as a tensor product of quaternion algebras with involution are studied. It is proven that, up to degree 16, over any extension over which the algebra splits, the involution is adjoint to… ▽ More The question of the existence of an analogue, in the framework of central simple algebras with involution, of the notion of Pfister form is raised. In particular, algebras with orthogonal involution which split as a tensor product of quaternion algebras with involution are studied. It is proven that, up to degree 16, over any extension over which the algebra splits, the involution is adjoint to a Pfister form. Moreover, cohomological invariants of those algebras with involution are discussed. △ Less

Submitted 4 June, 2004; originally announced June 2004.

Comments: 13 pages, no figures, no tables

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.), Vol. 113, No. 4, November 2003, pp. 365-377