Let D be a domain in Cn. It is known that if D is a simply connected bounded domain in C with spherical real analytic boundary D, then every local biholomorphic map at boundary as above extends to a biholomorphic map ...Let D be a domain in Cn. It is known that if D is a simply connected bounded domain in C with spherical real analytic boundary D, then every local biholomorphic map at boundary as above extends to a biholomorphic map from D onto the unit ball in Cn. As a consequence, a local biholomorphic map between D1 and D2 where D1 and D2 are simply connected domains in Cn with spherical real analytic boundaries can extend to a global biholomorphic map from D1 onto D2. If the boundary is algebraic, the simply connected condition in the above result can be dropped. In this note, we show that the above phenomenon is no longer true if domains are in algebraic varieties with isolated singularities.展开更多
In this paper,we introduce a new concept,namelyε-arithmetics,for real vectors of any fixed dimension.The basic idea is to use vectors of rational values(called rational vectors)to approximate vectors of real values o...In this paper,we introduce a new concept,namelyε-arithmetics,for real vectors of any fixed dimension.The basic idea is to use vectors of rational values(called rational vectors)to approximate vectors of real values of the same dimension withinεrange.For rational vectors of a fixed dimension m,they can form a field that is an mth order extension Q(α)of the rational field Q whereαhas its minimal polynomial of degree m over Q.Then,the arithmetics,such as addition,subtraction,multiplication,and division,of real vectors can be defined by using that of their approximated rational vectors withinεrange.We also define complex conjugate of a real vector and then inner product and convolutions of two real vectors and two real vector sequences(signals)of finite length.With these newly defined concepts for real vectors,linear processing,such as linear filtering,ARMA modeling,and least squares fitting,can be implemented to real vectorvalued signals with real vector-valued coefficients,which will broaden the existing linear processing to scalar-valued signals.展开更多
Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic struc...Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic structure of the program,and an extension function on the graph-sorted signatures is used to formally describe the semantics of inheritance.The program’s algebraic structure reflects the syntactic constraints of the language and the corresponding extension function exposes the character of the language’s inheritance.展开更多
The structure of the smashed extensions forSL 2(2) over a fixed algebraC is discussed, and the isomorphic classes of smashed exrersions forSL q(2) overC are determined.
Let L be an abelian extension of the rationals Q whose Galois group Gal(L) is an abelian (q-group q is any prime number). The explicit law of prime decomposition in L for any prime number p, the inertia group, residue...Let L be an abelian extension of the rationals Q whose Galois group Gal(L) is an abelian (q-group q is any prime number). The explicit law of prime decomposition in L for any prime number p, the inertia group, residue class degree, and discriminant of L are given here; such fields L are classified into 4 or 8 classes according as q is odd or even with clear description of their structures. Then relative extension L/K is studied. L/K is proved to have a relative integral basis under certain simple conditions; relative discriminant D(L/K) is given explicitly; and necessary and sufficient conditions are obtained for D(L/K) to be generated by a rational square (and by a rational). In particular, it is proved that L/K has a relative integral basis and that D(L/K) is generated by a rational square if [L: K]≥x~* or x~*+1 (according as q is odd or even), where x~* is the exponent of Gal(L). These results contain many related results on similar fields in literature.展开更多
The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or part...The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or partial differential equations, using new methods from Differential Geometry (D.C. Spencer, 1970), Differential Algebra (J.F. Ritt, 1950 and E. Kolchin, 1973) and Algebraic Analysis (M. Kashiwara, 1970). The main idea is to identify the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, in order to study Differential Duality by using only linear differential operators with coefficients in a differential field K. In particular, the linearized second order Einstein operator and the formal adjoint of the Ricci operator are both parametrizing the 4 first order Cauchy stress equations but cannot themselves be parametrized. In the framework of Homological Algebra, this result is not coherent with the vanishing of a certain second extension module and leads to question the proper origin and existence of gravitational waves. As a byproduct, we also prove that gravitation and electromagnetism only depend on the second order jets (called elations by E. Cartan in 1922) of the system of conformal Killing equations because any 1-form with value in the bundle of elations can be decomposed uniquely into the direct sum (R, F) where R is a section of the Ricci bundle of symmetric covariant 2-tensors and the EM field F is a section of the vector bundle of skew-symmetric 2-tensors. No one of these purely mathematical results could have been obtained by any classical approach. Up to the knowledge of the author, it is also the first time that differential algebra in a modern setting is applied to study the specific algebraic feature of most equations to be found in mathematical physics, particularly in GR.展开更多
Let G be a finite group of Lie type E6 over Fq (adjoint or simply connected) and W be the Weyl group of G. We describe maximal tori T such that T has a complement in its algebraic normalizer N(G, T). It is well known ...Let G be a finite group of Lie type E6 over Fq (adjoint or simply connected) and W be the Weyl group of G. We describe maximal tori T such that T has a complement in its algebraic normalizer N(G, T). It is well known that for each maximal torus T of G there exists an element w ∈ W such that N(G, T )/T ■ CW(w). When T does not have a complement isomorphic to CW(w), we show that w has a lift in N(G, T) of the same order.展开更多
Let R be a Noetherian unique factorization domain such that 2 and 3 are units,and let A=R[α]be a quartic extension over R by adding a rootαof an irreducible quartic polynomial p(z)=z4+az2+bz+c over R.We will compute...Let R be a Noetherian unique factorization domain such that 2 and 3 are units,and let A=R[α]be a quartic extension over R by adding a rootαof an irreducible quartic polynomial p(z)=z4+az2+bz+c over R.We will compute explicitly the integral closure of A in its fraction field,which is based on a proper factorization of the coefficients and the algebraic invariants of p(z).In fact,we get the factorization by resolving the singularities of a plane curve defined by z4+a(x)z2+b(x)z+c(x)=0.The integral closure is expressed as a syzygy module and the syzygy equations are given explicitly.We compute also the ramifications of the integral closure over R.展开更多
文摘Let D be a domain in Cn. It is known that if D is a simply connected bounded domain in C with spherical real analytic boundary D, then every local biholomorphic map at boundary as above extends to a biholomorphic map from D onto the unit ball in Cn. As a consequence, a local biholomorphic map between D1 and D2 where D1 and D2 are simply connected domains in Cn with spherical real analytic boundaries can extend to a global biholomorphic map from D1 onto D2. If the boundary is algebraic, the simply connected condition in the above result can be dropped. In this note, we show that the above phenomenon is no longer true if domains are in algebraic varieties with isolated singularities.
文摘In this paper,we introduce a new concept,namelyε-arithmetics,for real vectors of any fixed dimension.The basic idea is to use vectors of rational values(called rational vectors)to approximate vectors of real values of the same dimension withinεrange.For rational vectors of a fixed dimension m,they can form a field that is an mth order extension Q(α)of the rational field Q whereαhas its minimal polynomial of degree m over Q.Then,the arithmetics,such as addition,subtraction,multiplication,and division,of real vectors can be defined by using that of their approximated rational vectors withinεrange.We also define complex conjugate of a real vector and then inner product and convolutions of two real vectors and two real vector sequences(signals)of finite length.With these newly defined concepts for real vectors,linear processing,such as linear filtering,ARMA modeling,and least squares fitting,can be implemented to real vectorvalued signals with real vector-valued coefficients,which will broaden the existing linear processing to scalar-valued signals.
文摘Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic structure of the program,and an extension function on the graph-sorted signatures is used to formally describe the semantics of inheritance.The program’s algebraic structure reflects the syntactic constraints of the language and the corresponding extension function exposes the character of the language’s inheritance.
文摘The structure of the smashed extensions forSL 2(2) over a fixed algebraC is discussed, and the isomorphic classes of smashed exrersions forSL q(2) overC are determined.
基金Project supported by the National Natural Science Foundation of China (Grant No. 19771052).
文摘Let L be an abelian extension of the rationals Q whose Galois group Gal(L) is an abelian (q-group q is any prime number). The explicit law of prime decomposition in L for any prime number p, the inertia group, residue class degree, and discriminant of L are given here; such fields L are classified into 4 or 8 classes according as q is odd or even with clear description of their structures. Then relative extension L/K is studied. L/K is proved to have a relative integral basis under certain simple conditions; relative discriminant D(L/K) is given explicitly; and necessary and sufficient conditions are obtained for D(L/K) to be generated by a rational square (and by a rational). In particular, it is proved that L/K has a relative integral basis and that D(L/K) is generated by a rational square if [L: K]≥x~* or x~*+1 (according as q is odd or even), where x~* is the exponent of Gal(L). These results contain many related results on similar fields in literature.
文摘The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or partial differential equations, using new methods from Differential Geometry (D.C. Spencer, 1970), Differential Algebra (J.F. Ritt, 1950 and E. Kolchin, 1973) and Algebraic Analysis (M. Kashiwara, 1970). The main idea is to identify the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, in order to study Differential Duality by using only linear differential operators with coefficients in a differential field K. In particular, the linearized second order Einstein operator and the formal adjoint of the Ricci operator are both parametrizing the 4 first order Cauchy stress equations but cannot themselves be parametrized. In the framework of Homological Algebra, this result is not coherent with the vanishing of a certain second extension module and leads to question the proper origin and existence of gravitational waves. As a byproduct, we also prove that gravitation and electromagnetism only depend on the second order jets (called elations by E. Cartan in 1922) of the system of conformal Killing equations because any 1-form with value in the bundle of elations can be decomposed uniquely into the direct sum (R, F) where R is a section of the Ricci bundle of symmetric covariant 2-tensors and the EM field F is a section of the vector bundle of skew-symmetric 2-tensors. No one of these purely mathematical results could have been obtained by any classical approach. Up to the knowledge of the author, it is also the first time that differential algebra in a modern setting is applied to study the specific algebraic feature of most equations to be found in mathematical physics, particularly in GR.
基金Russian Science Foundation (project no. 14-21-00065).
文摘Let G be a finite group of Lie type E6 over Fq (adjoint or simply connected) and W be the Weyl group of G. We describe maximal tori T such that T has a complement in its algebraic normalizer N(G, T). It is well known that for each maximal torus T of G there exists an element w ∈ W such that N(G, T )/T ■ CW(w). When T does not have a complement isomorphic to CW(w), we show that w has a lift in N(G, T) of the same order.
基金supported by FAPESP 2019/03655-4,CNPq 302980/2019-9,RFBR 20-01-00030,MTM2016-79661-P,AP08052405 of MES RK,FPU scholarship(Spain)FCT UIDB/00212/2020 and UIDP/00212/2020+1 种基金supported by the Austrian Science Foundation FWF,grant P 33811-N,by Agencia Estatal de Investigación(Spain),grant PID2020-115155GB-I00(European FEDER support included,UE)by Xunta de Galicia,grant ED431C 2019/10(European FEDER support included,UE).
文摘We give a classification of 5-and 6-dimensional complex one-generated nilpotent bicommutative algebras.
基金supported by National Natural Science Foundation of China(Grant No.11231003)the Science Foundation of Shanghai(Grant No.13DZ2260600)East China Normal University Reward for Excellent Doctors in Academics(Grant No.XRZZ2012014)
文摘Let R be a Noetherian unique factorization domain such that 2 and 3 are units,and let A=R[α]be a quartic extension over R by adding a rootαof an irreducible quartic polynomial p(z)=z4+az2+bz+c over R.We will compute explicitly the integral closure of A in its fraction field,which is based on a proper factorization of the coefficients and the algebraic invariants of p(z).In fact,we get the factorization by resolving the singularities of a plane curve defined by z4+a(x)z2+b(x)z+c(x)=0.The integral closure is expressed as a syzygy module and the syzygy equations are given explicitly.We compute also the ramifications of the integral closure over R.
