-
Families of wild 1-motives
Authors:
Grzegorz Banaszak,
Dorota Blinkiewicz
Abstract:
In this paper we present families of wild 1-motives, i.e., families of pairwise non-isomorphic Deligne 1-motives, over rings of $S$-integers $\mathcal{O}_{F,S}$, which have the same reductions to torsion 1-motives for all $v\notin S$. Our proof is based on a technical result concerning a local to global principle for multiple base discrete logarithm problem for arbitrary big bases.
In this paper we present families of wild 1-motives, i.e., families of pairwise non-isomorphic Deligne 1-motives, over rings of $S$-integers $\mathcal{O}_{F,S}$, which have the same reductions to torsion 1-motives for all $v\notin S$. Our proof is based on a technical result concerning a local to global principle for multiple base discrete logarithm problem for arbitrary big bases.
△ Less
Submitted 31 October, 2024;
originally announced October 2024.
-
Motivic Serre group and Sato--Tate conjecture
Authors:
Grzegorz Banaszak,
Kiran S. Kedlaya
Abstract:
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we…
▽ More
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two parts; in the first part we work in the framework of strongly compatible families of $l$-adic representations associated with pure, rational, polarized Hodge structures, while in the second part we use the language of motives.
△ Less
Submitted 25 February, 2023;
originally announced February 2023.
-
A remark on the component group of the Sato-Tate group
Authors:
Grzegorz Banaszak,
Victoria Cantoral Farfán
Abstract:
In this paper, we give a complete characterization of the component group of the Sato-Tate group of an abelian variety $A$ of arbitrary dimension, defined over a number field $K,$ in terms of the connectedness of the Lefschetz group associated to $A.$
In this paper, we give a complete characterization of the component group of the Sato-Tate group of an abelian variety $A$ of arbitrary dimension, defined over a number field $K,$ in terms of the connectedness of the Lefschetz group associated to $A.$
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
Motivic Serre group, algebraic Sato-Tate group and Sato-Tate conjecture
Authors:
Grzegorz Banaszak,
Kiran S. Kedlaya
Abstract:
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to cla…
▽ More
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under which verification of the Sato-Tate conjecture reduces to the identity connected component of the corresponding Sato-Tate group.
△ Less
Submitted 24 February, 2016; v1 submitted 6 June, 2015;
originally announced June 2015.
-
Hecke characters and the $K$-theory of totally real and CM number fields
Authors:
Grzegorz Banaszak,
Cristian D. Popescu
Abstract:
Let $F/K$ be an abelian extension of number fields with $F$ either CM or totally real and $K$ totally real. If $F$ is CM and the Brumer-Stark conjecture holds for $F/K$, we construct a family of $G(F/K)$--equivariant Hecke characters for $F$ with infinite type equal to a special value of certain $G(F/K)$--equivariant $L$-functions. Using results of Greither-Popescu on the Brumer-Stark conjecture w…
▽ More
Let $F/K$ be an abelian extension of number fields with $F$ either CM or totally real and $K$ totally real. If $F$ is CM and the Brumer-Stark conjecture holds for $F/K$, we construct a family of $G(F/K)$--equivariant Hecke characters for $F$ with infinite type equal to a special value of certain $G(F/K)$--equivariant $L$-functions. Using results of Greither-Popescu on the Brumer-Stark conjecture we construct $l$-adic imprimitive versions of these characters, for primes $l> 2$. Further, the special values of these $l$-adic Hecke characters are used to construct $G(F/K)$-equivariant Stickelberger-splitting maps in the $l$-primary Quillen localization sequence for $F$, extending the results obtained in 1990 by Banaszak for $K = \Bbb Q$. We also apply the Stickelberger-splitting maps to construct special elements in the $l$-primary piece $K_{2n}(F)_l$ of $K_{2n}(F)$ and analyze the Galois module structure of the group $D(n)_l$ of divisible elements in $K_{2n}(F)_l$, for all $n>0$. If $n$ is odd and coprime to $l$ and $F = K$ is a fairly general totally real number field, we study the cyclicity of $D(n)_l$ in relation to the classical conjecture of Iwasawa on class groups of cyclotomic fields and its potential generalization to a wider class of number fields. Finally, if $F$ is CM, special values of our $l$-adic Hecke characters are used to construct Euler systems in the odd $K$-groups with coefficients $K_{2n+1}(F, \Bbb Z/l^k)$, for all $n>0$. These are vast generalizations of Kolyvagin's Euler system of Gauss sums and of the $K$-theoretic Euler systems constructed in Banaszak-Gajda when $K = \Bbb Q$.
△ Less
Submitted 21 February, 2014;
originally announced February 2014.
-
Mixed Hodge structures and Weierstrass $σ$-function
Authors:
Grzegorz Banaszak,
Jan Milewski
Abstract:
A $σ$-operator on a complexification $V_{\C}$ of an $\R$-vector space $V_{\R}$ is an operator $A \in \rm{End}_{\C} (V_{\C})$ such that $σ(A) = 0$ where $σ(z)$ denotes the Weierstrass $σ$-function. In this paper we define the notion of the strongly pseudo-real $σ$-operator and prove that there is one to one correspondence between real mixed Hodge structures and strongly pseudo-real $σ$-operators.
A $σ$-operator on a complexification $V_{\C}$ of an $\R$-vector space $V_{\R}$ is an operator $A \in \rm{End}_{\C} (V_{\C})$ such that $σ(A) = 0$ where $σ(z)$ denotes the Weierstrass $σ$-function. In this paper we define the notion of the strongly pseudo-real $σ$-operator and prove that there is one to one correspondence between real mixed Hodge structures and strongly pseudo-real $σ$-operators.
△ Less
Submitted 4 November, 2012;
originally announced November 2012.
-
Standard models of abstract intersection theory for operators in Hilbert space
Authors:
Grzegorz Banaszak,
Yoichi Uetake
Abstract:
For an operator in a possibly infinite-dimensional Hilbert space of a certain class, we set down axioms of an abstract intersection theory, from which the Riemann hypothesis regarding the spectrum of that operator follows. In our previous paper [BU] we constructed a GNS (Gelfand-Naimark-Segal) model of abstract intersection theory. In this paper we propose another model, which we call a standard m…
▽ More
For an operator in a possibly infinite-dimensional Hilbert space of a certain class, we set down axioms of an abstract intersection theory, from which the Riemann hypothesis regarding the spectrum of that operator follows. In our previous paper [BU] we constructed a GNS (Gelfand-Naimark-Segal) model of abstract intersection theory. In this paper we propose another model, which we call a standard model of abstract intersection theory. We show that there is a standard model of abstract intersection theory for a given operator if and only if the Riemann hypothesis and semi-simplicity hold for that operator. (For the definition of semi-simplicity of an operator in Hilbert space, see the definition in Introduction.) We show this result under a condition for a given operator which is much weaker than the condition in the previous paper. The operator satisfying this condition can be constructed by the method of automorphic scattering in [U].
Combining this with a result from [U], we can show that an Dirichlet $L$-function, including the Riemann zeta-function, satisfies the Riemann hypothesis and its all nontrivial zeros are simple if and only if there is a corresponding standard model of abstract intersection theory. Similar results can be proven for GNS models since the same technique of proof for standard models can be applied.
△ Less
Submitted 12 October, 2012;
originally announced October 2012.
-
Hodge structures and Weierstrass $σ$-function
Authors:
Grzegorz Banaszak,
Jan Milewski
Abstract:
In this paper we introduce new definition of Hodge structures and show that $\R$-Hodge structures are determined by $\R$-linear operators that are annihilated by the Weierstrass $σ$-function
In this paper we introduce new definition of Hodge structures and show that $\R$-Hodge structures are determined by $\R$-linear operators that are annihilated by the Weierstrass $σ$-function
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
Wild Kernels and divisibility in K-groups of global fields
Authors:
Grzegorz Banaszak
Abstract:
In this paper we study the divisibility and the wild kernels in algebraic K-theory of global fields $F.$ We extend the notion of the wild kernel to all K-groups of global fields and prove that Quillen-Lichtenbaum conjecture for $F$ is equivalent to the equality of wild kernels with corresponding groups of divisible elements in K-groups of $F.$ We show that there exist generalized Moore exact seque…
▽ More
In this paper we study the divisibility and the wild kernels in algebraic K-theory of global fields $F.$ We extend the notion of the wild kernel to all K-groups of global fields and prove that Quillen-Lichtenbaum conjecture for $F$ is equivalent to the equality of wild kernels with corresponding groups of divisible elements in K-groups of $F.$ We show that there exist generalized Moore exact sequences for even K-groups of global fields. Without appealing to the Quillen-Lichtenbaum conjecture we show that the group of divisible elements is isomorphic to the corresponding group of \' etale divisible elements and we apply this result for the proof of the $lim^1$ analogue of Quillen-Lichtenbaum conjecture. We also apply this isomorphism to investigate: the imbedding obstructions in homology of $GL,$ the splitting obstructions for the Quillen localization sequence, the order of the group of divisible elements via special values of $ζ_{F}(s).$ Using the motivic cohomology results due to Bloch, Friedlander, Levine, Lichtenbaum, Morel, Rost, Suslin, Voevodsky and Weibel, which established the Quillen-Lichtenbaum conjecture, we conclude that wild kernels are equal to corresponding groups of divisible elements
△ Less
Submitted 10 August, 2012;
originally announced August 2012.
-
An algebraic Sato-Tate group and Sato-Tate conjecture
Authors:
Grzegorz Banaszak,
Kiran S. Kedlaya
Abstract:
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of compon…
▽ More
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-Tate group can also be described explicitly in terms of endomorphisms. In particular, we cover all abelian varieties (not necessarily absolutely simple) of dimension at most 3; this result figures prominently in the analysis of Sato-Tate groups for abelian surfaces given recently by Fite, Kedlaya, Rotger, and Sutherland.
△ Less
Submitted 24 October, 2012; v1 submitted 20 September, 2011;
originally announced September 2011.
-
The Stickelberger splitting map and Euler systems in the $K$--theory of number fields
Authors:
Grzegorz Banaszak,
Cristian D. Popescu
Abstract:
For a CM abelian extension $F/K$ of an arbitrary totally real number field $K$, we construct the Stickelberger splitting maps (in the sense of \cite{Ba1}) for both the étale and the Quillen $K$--theory of $F$ and we use these maps to construct Euler systems in the even Quillen $K$--theory of $F$. The Stickelberger splitting maps give an immediate proof of the annihilation of the groups of divisibl…
▽ More
For a CM abelian extension $F/K$ of an arbitrary totally real number field $K$, we construct the Stickelberger splitting maps (in the sense of \cite{Ba1}) for both the étale and the Quillen $K$--theory of $F$ and we use these maps to construct Euler systems in the even Quillen $K$--theory of $F$. The Stickelberger splitting maps give an immediate proof of the annihilation of the groups of divisible elements $div K_{2n}(F)_l$ of the even $K$--theory of the top field by higher Stickelberger elements, for all odd primes $l$. This generalizes the results of \cite{Ba1}, which only deals with CM abelian extensions of $\Bbb Q$. The techniques involved in constructing our Euler systems at this level of generality are quite different from those used in \cite{BG1}, where an Euler system in the odd $K$--theory with finite coefficients of abelian CM extensions of $\Bbb Q$ was given. We work under the assumption that the Iwasawa $μ$--invariant conjecture holds. This permits us to make use of the recent results of Greither-Popescu \cite{GP} on the étale Coates-Sinnott conjecture for arbitrary abelian extensions of totally real number fields, which are conditional upon this assumption. In upcoming work, we will use the Euler systems constructed in this paper to obtain information on the groups of divisible elements $div K_{2n}(F)_l$, for all $n>0$ and odd $l$. It is known that the structure of these groups is intimately related to some of the deepest unsolved problems in algebraic number theory, e.g. the Kummer-Vandiver and Iwasawa conjectures on class groups of cyclotomic fields. We make these connections explicit in the introduction.
△ Less
Submitted 2 June, 2011;
originally announced June 2011.
-
On the Stickelberger splitting map in the $K$--theory of number fields
Authors:
Grzegorz Banaszak,
Cristian Popescu
Abstract:
The Stickelberger splitting map in the case of abelian extensions $F / \Q$ was defined in [Ba1, Chap. IV]. The construction used Stickelebrger's theorem. For abelian extensions $F / K$ with an arbitrary totally real base field $K$ the construction of \cite{Ba1} cannot be generalized since Brumer's conjecture (the analogue of Stickelberger's theorem) is not proved yet at that level of generality. I…
▽ More
The Stickelberger splitting map in the case of abelian extensions $F / \Q$ was defined in [Ba1, Chap. IV]. The construction used Stickelebrger's theorem. For abelian extensions $F / K$ with an arbitrary totally real base field $K$ the construction of \cite{Ba1} cannot be generalized since Brumer's conjecture (the analogue of Stickelberger's theorem) is not proved yet at that level of generality. In this paper, we construct a general Stickelberger splitting map under the assumption that the first Stickelberger elements annihilate the Quillen $K$--groups groups $K_2 ({\mathcal O}_{F_{l^k}})$ for the Iwasawa tower $F_{l^k} := F(μ_{l^k})$, for $k \geq 1.$ The results of [Po] give examples of CM abelian extensions $F/K$ of general totally real base-fields $K$ for which the first Stickelberger elements annihilate $K_2 ({\mathcal O}_{F_{l^k}})_l$ for all $k \geq 1$, while this is proved in full generality in [GP], under the assumption that the Iwasawa $μ$--invariant $μ_{F,l}$ vanishes. As a consequence, our Stickelberger splitting map leads to annihilation results as predicted by the original Coates-Sinnott conjecture for the subgroups $div(K_{2n}(F)_l)$ of $K_{2n}(O_F)_l$ consisting of all the $l$--divisible elements in the even Quillen $K$-groups of $F$, for all odd primes $l$ and all $n$. } In \S6, we construct a Stickelberger splitting map for étale $K$--theory. Finally, we construct both the Quillen and étale Stickelberger splitting maps under the more general assumption that for some arbitrary but fixed natural number $m>0$, the corresponding $m$--th Stickelberger elements annihilate $K_{2m} ({\mathcal O}_{F_k})_l$ (respectively $K^{et}_{2m} ({\mathcal O}_{F_k})_l$), for all $k$
△ Less
Submitted 5 August, 2010;
originally announced August 2010.
-
Abstract intersection theory and operators in Hilbert space
Authors:
Grzegorz Banaszak,
Yoichi Uetake
Abstract:
For an operator of a certain class in Hilbert space, we introduce axioms of an abstract intersection theory, which we prove to be equivalent to the Riemann Hypothesis concerning the spectrum of that operator. In particular if the nontrivial zeros of the Riemann zeta-function arise from an operator of this class, the original Riemann Hypothesis is equivalent to the existence of an abstract inters…
▽ More
For an operator of a certain class in Hilbert space, we introduce axioms of an abstract intersection theory, which we prove to be equivalent to the Riemann Hypothesis concerning the spectrum of that operator. In particular if the nontrivial zeros of the Riemann zeta-function arise from an operator of this class, the original Riemann Hypothesis is equivalent to the existence of an abstract intersection theory.
△ Less
Submitted 20 August, 2009;
originally announced August 2009.
-
On arithmetic in Mordell-Weil groups
Authors:
Grzegorz Banaszak,
Piotr Krason
Abstract:
In this paper we investigate linear dependence of points in Mordell-Weil groups of abelian varieties via reduction maps. In particular we try to determine the conditions for detecting linear dependence in Mordell-Weil groups via finite number of reductions.
In this paper we investigate linear dependence of points in Mordell-Weil groups of abelian varieties via reduction maps. In particular we try to determine the conditions for detecting linear dependence in Mordell-Weil groups via finite number of reductions.
△ Less
Submitted 5 August, 2010; v1 submitted 18 April, 2009;
originally announced April 2009.
-
On a Hasse principle for Mordell-Weil groups
Authors:
Grzegorz Banaszak
Abstract:
In this paper we establish a Hasse principle concerning the linear dependence over $\Z$ of nontorsion points in the Mordell-Weil group of an abelian variety over a number field.
In this paper we establish a Hasse principle concerning the linear dependence over $\Z$ of nontorsion points in the Mordell-Weil group of an abelian variety over a number field.
△ Less
Submitted 7 January, 2008; v1 submitted 21 December, 2007;
originally announced December 2007.
-
Detecting linear dependence by reduction maps
Authors:
Grzegorz Banaszak,
Wojciech Gajda,
Piotr Krason
Abstract:
We consider the local to global principle for detecting linear dependence of points in groups of the Mordell-Weil type. As applications of our general setting we obtain corresponding statements for Mordell-Weil groups of non{-}CM elliptic curves and some higher dimensional abelian varieties defined over number fields, and also for odd dimensional K-groups of number fields.
We consider the local to global principle for detecting linear dependence of points in groups of the Mordell-Weil type. As applications of our general setting we obtain corresponding statements for Mordell-Weil groups of non{-}CM elliptic curves and some higher dimensional abelian varieties defined over number fields, and also for odd dimensional K-groups of number fields.
△ Less
Submitted 14 July, 2004;
originally announced July 2004.
-
On the image of l-adic Galois representations for abelian varieties of type I and II
Authors:
Grzegorz Banaszak,
Wojciech Gajda,
Piotr Krason
Abstract:
In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for thi…
▽ More
In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for this family, we prove an analogue of the open image theorem of Serre.
△ Less
Submitted 14 July, 2004;
originally announced July 2004.
-
A support problem for the intermediate Jacobians of l-adic representations
Authors:
Grzegorz Banaszak,
Wojciech Gajda,
Piotr Krason
Abstract:
This is a revised version of ANT-0332: "A support problem for the intermediate Jacobians of l-adic representations", by G. Banaszak, W. Gajda & P. Krason, which was placed on these archives on the 29th of January 2002.
Following a suggestion of the referee we have subdivided the paper into two separate parts: "Support problem for the intermediate Jacobians of l-adic representations", and "On G…
▽ More
This is a revised version of ANT-0332: "A support problem for the intermediate Jacobians of l-adic representations", by G. Banaszak, W. Gajda & P. Krason, which was placed on these archives on the 29th of January 2002.
Following a suggestion of the referee we have subdivided the paper into two separate parts: "Support problem for the intermediate Jacobians of l-adic representations", and "On Galois representations for abelian varieties with complex and real multiplications".
Our results on the image of Galois and the Mumford-Tate conjecture for some RM abelian varieties are contained in the second paper. Both papers were accepted for publication.
△ Less
Submitted 22 December, 2002;
originally announced December 2002.
