Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Arithmetical problems in number fields, abelian varieties and modular forms

Number theory, a fascinating area in mathematics and one of the oldest, has experienced spectacular progress in recent years. The development of a deep theoretical background and the implementation of algorithms have led to new and interesting interrelations with mathematics in general which have paved the way for the emergence of major theorems in the area. This report summarizes the contribution to number theory made by the members of the Seminari de Teoria de Nombres (UB-UAB-UPC) in Barcelona. These results are presented in connection with the state of certain arithmetical problems, and so this monograph seeks to provide readers with a glimpse of some specific lines of current mathematical research.

Derivation of the gauge-invariant action for open and closed free bosonic string field theories

The gauge-invariant actions for open and closed free bosonic string field theories are obtained from the string field equations in the conformal gauge using the cohomology operations of Banks and Peskin. For the closed-string theory no restrictions are imposed on the gauge parameters.

BRST-invariant path integral for a spinning relativistic particle

The propagator of a relativistic spinning particle is calculated using the Becchi-Rouet-Stora-Tyutin-(BRST)-invariant path-integral formalism of Fradkin and Vilkovisky. The spinless case is considered as an introduction to the formalism.

Renormalization of gauge-invariant operators and the axial anomaly

The renormalization properties of gauge-invariant composite operators that vanish when the classical equations of motion are used (class II^a operators) and which lead to diagrams where the Adler-Bell-Jackiw anomaly occurs are discussed. It is shown that gauge-invariant operators of this kind do need, in general, nonvanishing gauge-invariant (class I) counterterms.

Gauge-invariant actions from constraint Hamiltonian dynamics

Dirac's constraint Hamiltonian formalism is used to construct a gauge-invariant action for the massive spin-one and -two fields.

Poincar-Cartan integral invariant and canonical transformation for singular lagrangians

In this work we develop the canonical formalism for constrained systems with a finite number of degrees of freedom by making use of the PoincarCartan integral invariant method. A set of variables suitable for the reduction to the physical ones can be obtained by means of a canonical transformation. From the invariance of the PoincarCartan integral under canonical transformations we get the form of the equations of motion for the physical variables of the system.

Poincar-Cartan intregral invariant and canonical trasformation for singular Lagrangians: an addendum

The results of a previous work, concerning a method for performing the canonical formalism for constrained systems, are extended when the canonical transformation proposed in that paper is explicitly time dependent.

Invariant decomposition of the retarded electromagnetic field.

The integral representation of the electromagnetic two-form, defined on Minkowski space-time, is studied from a new point of view. The aim of the paper is to obtain an invariant criteria in order to define the radiative field. This criteria generalizes the well-known structureless charge case. We begin with the curvature two-form, because its field equations incorporate the motion of the sources. The gauge theory methods (connection one-forms) are not suited because their field equations do not incorporate the motion of the sources. We obtain an integral solution of the Maxwell equations in the case of a flow of charges in irrotational motion. This solution induces us to propose a new method of solving the problem of the nature of the retarded radiative field. This method is based on a projection tensor operator which, being local, is suited to being implemented on general relativity. We propose the field equations for the pair {electromagnetic field, projection tensor J. These field equations are an algebraic differential first-order system of oneforms, which verifies automatically the integrability conditions.

Massless minimally coupled fields in de Sitter space: O(4)-symmetric states versus de Sitter invariant vacuum

The issue of de Sitter invariance for a massless minimally coupled scalar field is examined. Formally, it is possible to construct a de Sitterinvariant state for this case provided that the zero mode of the field is quantized properly. Here we take the point of view that this state is physically acceptable, in the sense that physical observables can be computed and have a reasonable interpretation. In particular, we use this vacuum to derive a new result: that the squared difference between the field at two points along a geodesic observers spacetime path grows linearly with the observers proper time for a quantum state that does not break de Sitter invariance. Also, we use the Hadamard formalism to compute the renormalized expectation value of the energy-momentum tensor, both in the O(4)-invariant states introduced by Allen and Follaci, and in the de Sitterinvariant vacuum. We find that the vacuum energy density in the O(4)-invariant case is larger than in the de Sitterinvariant case.

Modelo para una autoevaluación modular en una institución educativa (BADI)

Una eficaz acción educativa obliga necesariamente a plantearse en profundidad la autoevaluación como modelo de cambio y la participación de todos los estamentos de la comunidad educativa. Un mayor o menor grado de participación viene a ser un indicador que nos permite valorar cualquier propuesta de «calidad», «reforma» o «innovación». El modelo B.A.D.I. yen especial su instrumento modular, responde a las exigencias particulares de reflexión, análisis y toma de decisiones que se realiza en cada centro para responder adecuadamente a cualquier planteamiento innovador. Los principios fundamentales de este modelo se resumen en: A. Es un modelo de concepción organicista, estamental, con definición ideológica. B. Responde a un enfoque fundamentalmente rogeriano. C. Participa de los enfoques social, abierto, dinámico, cultural y positivo. Comparte la teoría moderna de la organización y sus indicadores se agrupan en cuatro fases: Criterial, presupuestaria, metodológica e informativa. D. Se identifica con los modelos centrados en la evaluación de cambio, de forma especial con la autoevaluación. La flexibilidad que caracteriza al modelo viene dado por el instrumento modular de área o de criterio, como resultado de la participación y el consenso de todos los estamentos de la institución educativa.

On the computation of reducible invariant tori on a parallel computer

We present an algorithm for the computation of reducible invariant tori of discrete dynamical systems that is suitable for tori of dimensions larger than 1. It is based on a quadratically convergent scheme that approximates, at the same time, the Fourier series of the torus, its Floquet transformation, and its Floquet matrix. The Floquet matrix describes the linearization of the dynamics around the torus and, hence, its linear stability. The algorithm presents a high degree of parallelism, and the computational effort grows linearly with the number of Fourier modes needed to represent the solution. For these reasons it is a very good option to compute quasi-periodic solutions with several basic frequencies. The paper includes some examples (flows) to show the efficiency of the method in a parallel computer. In these flows we compute invariant tori of dimensions up to 5, by taking suitable sections.