BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Grzegorz Banaszak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.$
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.
We analyse the exact solution of the eigenproblem for the Heisenberg Hamiltonian of magnetic heptagon, i.e. the ring of N=7 nodes, each with spin 1/2, within the XXX model with nearest neighbour interactions, from the point of view of finite extensions of the field $\mathbb{Q}$ of rationals. We point out, as the main result, that the associated arithmetic structure of these extensions makes natural an introduction of some Galois qubits. They are two-dimensional subspaces of the Hilbert space of the model, which admit a quantum informatic interpretation as elementary memory units for a (hypothetical) computer, based on their distinctive properties with respect to the action of related Galois group for indecomposable factors of the secular determinant. These Galois qubits are nested on the lattice of subfields which involves several minimal fields for determination of eigenstates (the complex Heisenberg field), spectrum (the real Heisenberg field), and Fourier transforms of magnetic configurations (the cyclotomic field, based on the simple 7th root of unity). The structure of the corresponding lattice of Galois groups is presented in terms of Kummer theory, and its physical interpretation is indicated in terms of appropriate permutations of eigenstates, energies, and density matrices.
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$.
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.
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
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.
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.
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
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.
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.
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$