Showing 1–13 of 13 results for author: Bley, W

Determination of the stably free cancellation property for orders

Authors: Werner Bley, Tommy Hofmann, Henri Johnston

Abstract: Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether or not $Λ$ has the stably free cancellation property (SFC). As an application, we determine all finite groups $G$ of order at most $383$ such that the integral group ring $\mathbb{Z}[G]$ has SFC. Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether or not $Λ$ has the stably free cancellation property (SFC). As an application, we determine all finite groups $G$ of order at most $383$ such that the integral group ring $\mathbb{Z}[G]$ has SFC. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 40 pages, comments welcome!

MSC Class: 16H10; 16H20; 16Z05; 20C05; 20C10; 11R33; 11Y40

Geometric Main Conjectures in Function Fields

Authors: Werner Bley, Cristian D. Popescu

Abstract: We prove an Equivariant Main Conjecture in Iwasawa Theory along any rank one, sign-normalized Drinfeld modular, split at infinity Iwasawa tower of a general function field of characteristic p, for the Iwasawa modules recently considered by Greither and Popescu, in their proof of the classical Equivariant Main Conjecture along the (arithmetic) cyclotomic Iwasawa tower. We prove an Equivariant Main Conjecture in Iwasawa Theory along any rank one, sign-normalized Drinfeld modular, split at infinity Iwasawa tower of a general function field of characteristic p, for the Iwasawa modules recently considered by Greither and Popescu, in their proof of the classical Equivariant Main Conjecture along the (arithmetic) cyclotomic Iwasawa tower. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: 33 pages

MSC Class: 11G09; 11G20; 11R59; 11M38; 11R23; 11R37; 11R34

Computation of lattice isomorphisms and the integral matrix similarity problem

Authors: Werner Bley, Tommy Hofmann, Henri Johnston

Abstract: Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple $K$-algebra $A/{\mathrm{J}(A)}$ is isomorphic to a matrix ring over a field. Under this hypothesis on $A$, we give an algorithm that given two $Λ$-lattices $X$ and $Y$,… ▽ More Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple $K$-algebra $A/{\mathrm{J}(A)}$ is isomorphic to a matrix ring over a field. Under this hypothesis on $A$, we give an algorithm that given two $Λ$-lattices $X$ and $Y$, determines whether $X$ and $Y$ are isomorphic, and if so, computes an explicit isomorphism $X \rightarrow Y$. This algorithm reduces the problem to standard problems in computational algebra and algorithmic algebraic number theory in polynomial time. As an application, we give an algorithm for the following long-standing problem: given a number field $K$, a positive integer $n$ and two matrices $A,B \in \mathrm{Mat}_{n}(\mathcal{O}_{K})$, determine whether $A$ and $B$ are similar over $\mathcal{O}_{K}$, and if so, return a matrix $C \in \mathrm{GL}_{n}(\mathcal{O}_{K})$ such that $B= CAC^{-1}$. We give explicit examples that show that the implementation of the latter algorithm for $\mathcal{O}_{K}=\mathbb{Z}$ vastly outperforms implementations of all previous algorithms, as predicted by our complexity analysis. △ Less

Submitted 31 August, 2022; v1 submitted 7 February, 2022; originally announced February 2022.

Comments: 37 pages; v3 revised and accepted version to appear in Forum of Mathematics, Sigma; v2 has many minor corrections and changes

MSC Class: 11R33; 11Y40; 16Z05; 20G30

The epsilon constant conjecture for higher dimensional unramified twists of $\mathbb Z_p^r(1)$

Authors: Werner Bley, Alessandro Cobbe

Abstract: Let $N/K$ be a finite Galois extension of $p$-adic number fields and let $ρ^\mathrm{nr} : G_K \to \mathrm{Gl}_r(\mathbb Z_p)$ be an $r$-dimensional unramified representation of the absolute Galois group $G_K$ which is the restriction of an unramified representation $ρ^\mathrm{nr}_{\mathbb Q_p} : G_{\mathbb Q_p} \to \mathrm{Gl}_r(\mathbb Z_p)$. In this paper we consider the $\mathrm{Gal}(N/K)$-equi… ▽ More Let $N/K$ be a finite Galois extension of $p$-adic number fields and let $ρ^\mathrm{nr} : G_K \to \mathrm{Gl}_r(\mathbb Z_p)$ be an $r$-dimensional unramified representation of the absolute Galois group $G_K$ which is the restriction of an unramified representation $ρ^\mathrm{nr}_{\mathbb Q_p} : G_{\mathbb Q_p} \to \mathrm{Gl}_r(\mathbb Z_p)$. In this paper we consider the $\mathrm{Gal}(N/K)$-equivariant local $ε$-conjecture for the $p$-adic representation $T = \mathbb Z_p^r(1)(ρ^\mathrm{nr})$. For example, if $A$ is an abelian variety of dimension $r$ defined over $\mathbb Q_p$ with good ordinary reduction, then the Tate module $T = T_p\hat A$ associated to the formal group $\hat A$ of $A$ is a $p$-adic representation of this form. We prove the conjecture for all tame extensions $N/K$ and a certain family of weakly and wildly ramified extensions $N/K$. This generalizes previous work of Izychev and Venjakob in the tame case and of the authors in the weakly and wildly ramified case. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: 43 pages

Congruences for critical values of higher derivatives of twisted Hasse-Weil L-functions, III

Authors: Werner Bley, Daniel Macias Castillo

Abstract: Let $A$ be an abelian variety defined over a number field $k$, let $p$ be an odd prime number and let $F/k$ be a cyclic extension of $p$-power degree. Under not-too-stringent hypotheses we give an interpretation of the $p$-component of the relevant case of the equivariant Tamagawa number conjecture in terms of integral congruence relations involving the evaluation on appropriate points of $A$ of t… ▽ More Let $A$ be an abelian variety defined over a number field $k$, let $p$ be an odd prime number and let $F/k$ be a cyclic extension of $p$-power degree. Under not-too-stringent hypotheses we give an interpretation of the $p$-component of the relevant case of the equivariant Tamagawa number conjecture in terms of integral congruence relations involving the evaluation on appropriate points of $A$ of the ${\rm Gal}(F/k)$-valued height pairing of Mazur and Tate. We then discuss the numerical computation of this pairing, and in particular obtain the first numerical verifications of this conjecture in situations in which the $p$-completion of the Mordell-Weil group of $A$ over $F$ is not a projective Galois module. △ Less

Submitted 28 October, 2021; v1 submitted 24 December, 2019; originally announced December 2019.

Comments: Final version, 26 pages. To appear in Math. Proc. Camb. Phil. Soc

Construction of elliptic $\mathfrak{p}$-units

Authors: Werner Bley, Martin Hofer

Abstract: Let $L/k$ be a finite abelian extension of an imaginary quadratic number field $k$. Let $\mathfrak{p}$ denote a prime ideal of $\mathcal{O}_k$ lying over the rational prime $p$. We assume that $\mathfrak{p}$ splits completely in $L/k$ and that $p$ does not divide the class number of $k$. If $p$ is split in $k/\mathbb{Q}$ the first named author has adapted a construction of Solomon to obtain ellipt… ▽ More Let $L/k$ be a finite abelian extension of an imaginary quadratic number field $k$. Let $\mathfrak{p}$ denote a prime ideal of $\mathcal{O}_k$ lying over the rational prime $p$. We assume that $\mathfrak{p}$ splits completely in $L/k$ and that $p$ does not divide the class number of $k$. If $p$ is split in $k/\mathbb{Q}$ the first named author has adapted a construction of Solomon to obtain elliptic $\mathfrak{p}$-units in $L$. In this paper we generalize this construction to the non-split case and obtain in this way a pair of elliptic $\mathfrak{p}$-units depending on a choice of generators of a certain Iwasawa algebra (which here is of rank 2). In our main result we express the $\mathfrak{p}$-adic valuations of these $\mathfrak{p}$-units in terms of the $p$-adic logarithm of an explicit elliptic unit. The crucial input for the proof of our main result is the computation of the constant term of a suitable Coleman power series, where we rely on recent work of T. Seiriki. △ Less

Submitted 6 June, 2018; originally announced June 2018.

Comments: 26 pages

MSC Class: 11R27; 11G16; 11G15

On refined metric and hermitian structures in arithmetic, I: Galois-Gauss sums and weak ramification

Authors: Werner Bley, David Burns, Carl Hahn

Abstract: We use techniques of relative algebraic K-theory to develop a common refinement of the existing theories of metrized and hermitian Galois structures in arithmetic. As a first application of this very general approach, we then use it to prove several new results, and to formulate a framework of new conjectures, concerning the detailed arithmetic properties of wildly ramified Galois-Gauss sums. We use techniques of relative algebraic K-theory to develop a common refinement of the existing theories of metrized and hermitian Galois structures in arithmetic. As a first application of this very general approach, we then use it to prove several new results, and to formulate a framework of new conjectures, concerning the detailed arithmetic properties of wildly ramified Galois-Gauss sums. △ Less

Submitted 2 September, 2019; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: revised version, 50 pages

MSC Class: 11R33

Journal ref: Ann. K-Th. 5 (2020) 79-140

The equivariant local $ε$-constant conjecture for unramified twists of $\mathbb{Z}_p(1)$

Authors: Werner Bley, Alessandro Cobbe

Abstract: We study the equivariant local epsilon constant conjecture, denoted by $C_{EP}^{na}(N/K,V)$, as formulated in various forms by Kato, Benois and Berger, Fukaya and Kato and others, for certain 1-dimensional twists $T=\mathbb{Z}_p(χ^{nr})(1)$ of $\mathbb{Z}_p(1)$. Following ideas of recent work of Izychev and Venjakob we prove that for $T=\mathbb{Z}_p(1)$ a conjecture of Breuning is equivalent to… ▽ More We study the equivariant local epsilon constant conjecture, denoted by $C_{EP}^{na}(N/K,V)$, as formulated in various forms by Kato, Benois and Berger, Fukaya and Kato and others, for certain 1-dimensional twists $T=\mathbb{Z}_p(χ^{nr})(1)$ of $\mathbb{Z}_p(1)$. Following ideas of recent work of Izychev and Venjakob we prove that for $T=\mathbb{Z}_p(1)$ a conjecture of Breuning is equivalent to $C_{EP}^{na}(N/K,V)$. As our main result we show the validity of $C_{EP}^{na}(N/K,V)$ for certain wildly and weakly ramified abelian extensions $N/K$. A crucial step in the proof is the construction of an explicit representative of $RΓ(N,T)$. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Comments: 63 pages

MSC Class: 11Y40

Equivariant epsilon constant conjectures for weakly ramified extensions

Authors: Werner Bley, Alessandro Cobbe

Abstract: We study the local epsilon constant conjecture as formulated by Breuning. This conjecture fits into the general framework of the equivariant Tamagawa number conjecture (ETNC) and should be interpreted as a consequence of the expected compatibility of the ETNC with the functional equation of Artin-L-functions. Let K / Q_p be unramified. Under some mild technical assumption we prove Breuning's conje… ▽ More We study the local epsilon constant conjecture as formulated by Breuning. This conjecture fits into the general framework of the equivariant Tamagawa number conjecture (ETNC) and should be interpreted as a consequence of the expected compatibility of the ETNC with the functional equation of Artin-L-functions. Let K / Q_p be unramified. Under some mild technical assumption we prove Breuning's conjecture for weakly ramified abelian extensions N / K with cyclic ramification group. As a consequence of Breuning's local-global principle we obtain the validity of the global epsilon constant conjecture as formulated by Bley and Burns and of Chinburg's Omega(2)-conjecture for certain infinite families F / E of weakly and wildly ramified extensions of number fields. △ Less

Submitted 12 June, 2014; originally announced June 2014.

Comments: 28 pages

MSC Class: 11Y40

Congruences for critical values of higher derivatives of twisted Hasse-Weil L-functions

Authors: Werner Bley, Daniel Macias Castillo

Abstract: Let A be an abelian variety over a number field k and F a finite cyclic extension of k of p-power degree for an odd prime p. Under certain technical hypotheses, we obtain a reinterpretation of the equivariant Tamagawa number conjecture (eTNC) for A, F/k and p as an explicit family of p-adic congru- ences involving values of derivatives of the Hasse-Weil L-functions of twists of A, normalised by co… ▽ More Let A be an abelian variety over a number field k and F a finite cyclic extension of k of p-power degree for an odd prime p. Under certain technical hypotheses, we obtain a reinterpretation of the equivariant Tamagawa number conjecture (eTNC) for A, F/k and p as an explicit family of p-adic congru- ences involving values of derivatives of the Hasse-Weil L-functions of twists of A, normalised by completely explicit twisted regulators. This reinterpretation makes the eTNC amenable to numerical verification and furthermore leads to explicit predictions which refine well-known conjectures of Mazur and Tate. △ Less

Submitted 20 May, 2014; originally announced May 2014.

Algorithmic Proof of the Epsilon Constant Conjecture

Authors: Werner Bley, Ruben Debeerst

Abstract: In this paper we will algorithmically prove the local and global epsilon constant conjectures for all fields of absolute degree lower or equal to 15. To this end we will present an efficient algorithm for the computation of local fundamental classes and address several other problems arising in the algorithmic proof. In this paper we will algorithmically prove the local and global epsilon constant conjectures for all fields of absolute degree lower or equal to 15. To this end we will present an efficient algorithm for the computation of local fundamental classes and address several other problems arising in the algorithmic proof. △ Less

Submitted 31 May, 2012; v1 submitted 14 July, 2011; originally announced July 2011.

MSC Class: 11Y40 (Primary) 11R33; 11S25 (Secondary)

Computing generators of free modules over orders in group algebras II

Authors: Werner Bley, Henri Johnston

Abstract: Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d over A. In the case that (i) the Wedderburn decomposition of E[G] is explicitly computable and (ii) each component is in fact a matrix ring over a field, this… ▽ More Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d over A. In the case that (i) the Wedderburn decomposition of E[G] is explicitly computable and (ii) each component is in fact a matrix ring over a field, this led to an algorithm that either gives elements that either gives an A-basis for X or determines that no such basis exists. In the present article, we generalise the algorithm by weakening condition (ii) considerably. △ Less

Submitted 15 September, 2010; v1 submitted 22 June, 2010; originally announced June 2010.

Comments: 26 pages, latex, v2 includes many minor corrections and changes

MSC Class: 11R33; 11Y40; 16Z05

Computing generators of free modules over orders in group algebras

Authors: Werner Bley, Henri Johnston

Abstract: Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition of E[G] is explicitly computable and each component is in fact a matrix ring over a field, this leads to an algorithm that eit… ▽ More Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition of E[G] is explicitly computable and each component is in fact a matrix ring over a field, this leads to an algorithm that either gives an A-basis for X or determines that no such basis exists. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d=[K:E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A of O_L in E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K=E=Q. △ Less

Submitted 28 January, 2008; v1 submitted 31 October, 2007; originally announced October 2007.

Comments: 17 pages, latex, minor revisions

MSC Class: 11R33; 11Y40; 16Z05