On the Preservation of Root Numbers and the Behavior of Weil Characters under Reciprocity Equivalence

1997 ◽  
Vol 40 (4) ◽  
pp. 402-415
Author(s):  
Jenna P. Carpenter

AbstractThis paper studies how the local root numbers and the Weil additive characters of the Witt ring of a number field behave under reciprocity equivalence. Given a reciprocity equivalence between two fields, at each place we define a local square class which vanishes if and only if the local root numbers are preserved. Thus this local square class serves as a local obstruction to the preservation of local root numbers. We establish a set of necessary and sufficient conditions for a selection of local square classes (one at each place) to represent a global square class. Then, given a reciprocity equivalence that has a finite wild set, we use these conditions to show that the local square classes combine to give a global square class which serves as a global obstruction to the preservation of all root numbers. Lastly, we use these results to study the behavior of Weil characters under reciprocity equivalence.

2017 ◽  
Vol 13 (10) ◽  
pp. 2505-2514 ◽  
Author(s):  
Anuj Jakhar ◽  
Sudesh K. Khanduja ◽  
Neeraj Sangwan

Let [Formula: see text] denote the ring of algebraic integers of an algebraic number field [Formula: see text], where [Formula: see text] is a root of an irreducible trinomial [Formula: see text] belonging to [Formula: see text]. In this paper, we give necessary and sufficient conditions involving only [Formula: see text] for a given prime [Formula: see text] to divide the index of the subgroup [Formula: see text] in [Formula: see text]. In particular, we deduce necessary and sufficient conditions for [Formula: see text] to be equal to [Formula: see text].


2015 ◽  
Vol 58 (1) ◽  
pp. 115-127 ◽  
Author(s):  
Guillermo Mantilla-Soler

AbstractInspired by the invariant of a number field given by its zeta function, we define the notion of weak arithmetic equivalence and show that under certain ramification hypotheses this equivalence determines the local root numbers of the number field. This is analogous to a result of Rohrlich on the local root numbers of a rational elliptic curve. Additionally, we prove that for tame non-totally real number fields, the integral trace form is invariant under arithmetic equivalence


2019 ◽  
Vol 15 (02) ◽  
pp. 353-360
Author(s):  
Sudesh K. Khanduja

For an algebraic number field [Formula: see text], let [Formula: see text] denote the discriminant of an algebraic number field [Formula: see text]. It is well known that if [Formula: see text] are algebraic number fields with coprime discriminants, then [Formula: see text] are linearly disjoint over the field [Formula: see text] of rational numbers and [Formula: see text], [Formula: see text] being the degree of [Formula: see text] over [Formula: see text]. In this paper, we prove that the converse of this result holds in relative extensions of algebraic number fields. We also give some more necessary and sufficient conditions for the analogue of the above equality to hold for algebraic number fields [Formula: see text] linearly disjoint over [Formula: see text].


1974 ◽  
Vol 26 (5) ◽  
pp. 1242-1244 ◽  
Author(s):  
Roger Ware

The u-invariant of a field F, u = u(F), is defined to be the maximum of the dimensions of anisotropic quadratic forms over F. If F is a non-formally real field with a finite number q of square classes then it is known that u ≦ q. The purpose of this note is to give some necessary and sufficient conditions for equality in terms of the structure of the Witt ring of F.


2018 ◽  
Vol 10 (4) ◽  
Author(s):  
Shuguang Huang ◽  
Joseph M. Schimmels

This paper addresses the passive realization of any selected planar elastic behavior with redundant elastic manipulators. The class of manipulators considered are either serial mechanisms having four compliant joints or parallel mechanisms having four springs. Sets of necessary and sufficient conditions for mechanisms in this class to passively realize an elastic behavior are presented. The conditions are interpreted in terms of mechanism geometry. Similar conditions for nonredundant cases are highly restrictive. Redundancy yields a significantly larger space of realizable elastic behaviors. Construction-based synthesis procedures for planar elastic behaviors are also developed. In each, the selection of the mechanism geometry and the selection of joint/spring stiffnesses are completely decoupled. The procedures require that the geometry of each elastic component be selected from a restricted space of acceptable candidates.


1988 ◽  
Vol 40 (3) ◽  
pp. 546-588 ◽  
Author(s):  
P. E. Conner ◽  
Noriko Yui

For an algebraic number field K there is a similarity between the additive characters defined on the Witt ring W(K), [20], [11], [17], [14, p. 131], and the local root numbers associated to a real orthogonal representation of the absolute Galois group of K, [18], [5]. Using results of Deligne and of Serre, [16], we shall derive in (5.3) a formula expressing the value, at a prime in K, of the additive character on a Witt class in terms of the rank modulo 2, the stable Hasse-Witt invariant and the local root number associated to the real quadratic character defined by the square class of the discriminant. Thus we are able to separate out the contributions made to the value of the additive character by each of the standard Witt class invariants.


2018 ◽  
Vol 2018 ◽  
pp. 1-8 ◽  
Author(s):  
Cui-Qin Ma ◽  
Wei-Guo Sun

This paper studies bipartite consensus for first-order multiagent systems. To improve resource utilization, event-based protocols are considered for bipartite consensus. A new type of control gain is designed in the proposed protocols. By appropriate selection of control gains, the convergence rate of the closed-loop system can be adjusted. Firstly, for structural balance case, necessary and sufficient conditions are given on communication relations and consensus gains to achieve bipartite consensus. Secondly, for structural unbalance case, necessary and sufficient conditions are proposed to ensure the stabilizing of the system. It can be found that the system will not show Zeno behavior. Numerical simulations are used to demonstrate the theoretical results.


1981 ◽  
Vol 33 (5) ◽  
pp. 1074-1084 ◽  
Author(s):  
R. A. Mollin

Let K be a field of characteristic zero. The Schur subgroup S(K) of Brauer group B(K) consists of those equivalence classes [A] which contain an algebra which is isomorphic to a simple summand of the group algebra KG for some finite group G. It is well known that the classes in S(K) are represented by cyclotomic algebras, (see [16]). However it is not necessarily the case that the division algebra representatives of these classes are themselves cyclotomic. The main result of this paper is to provide necessary and sufficient conditions for the latter to occur when K is any algebraic number field.Next we provide necessary and sufficient conditions for the Schur group of a local field to be induced from the Schur group of an arbitrary subfield. We obtain a corollary from this result which links it to the main result. Finally we link the concept of the stufe of a number field to the existence of certain quaternion division algebras in S(K).


1994 ◽  
Vol 17 (3) ◽  
pp. 587-596 ◽  
Author(s):  
Ljubomir T. Grujic

The necessary and sufficient conditions for accurate construction of a Lyapunov function and the necessary and sufficient conditions for a set to be the asymptotic stability domain are algorithmically solved for a nonlinear dynamical system with continuous motions. The conditions are established by utilizing properties of o-uniquely bounded sets, which are explained in the paper. They allow arbitrary selection of an o-uniquely bounded set to generate a Lyapunov function.Simple examples illustrate the theory and its applications.


2009 ◽  
Vol 05 (04) ◽  
pp. 585-590 ◽  
Author(s):  
PARASKEVAS ALVANOS ◽  
YURI BILU ◽  
DIMITRIOS POULAKIS

A classical theorem of Siegel asserts that the set of S-integral points of an algebraic curveC over a number field is finite unless C has genus 0 and at most two points at infinity. In this paper, we give necessary and sufficient conditions for C to have infinitely many S-integral points.


Sign in / Sign up

Export Citation Format

Share Document