Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

KAM theory for conformally symplectic systems

We present a KAM theory for some dissipative systems (geometrically, these are conformally symplectic systems, i.e. systems that transform a symplectic form into a multiple of itself). For systems with n degrees of freedom depending on n parameters we show that it is possible to find solutions with n-dimensional (Diophantine) frequencies by adjusting the parameters. We do not assume that the system is close to integrable, but we use an a-posteriori format. Our unknowns are a parameterization of the solution and a parameter. We show that if there is a sufficiently approximate solution of the invariance equation, which also satisfies some explicit non–degeneracy conditions, then there is a true solution nearby. We present results both in Sobolev norms and in analytic norms. The a–posteriori format has several consequences: A) smooth dependence on the parameters, including the singular limit of zero dissipation; B) estimates on the measure of parameters covered by quasi–periodic solutions; C) convergence of perturbative expansions in analytic systems; D) bootstrap of regularity (i.e., that all tori which are smooth enough are analytic if the map is analytic); E) a numerically efficient criterion for the break–down of the quasi–periodic solutions. The proof is based on an iterative quadratically convergent method and on suitable estimates on the (analytical and Sobolev) norms of the approximate solution. The iterative step takes advantage of some geometric identities, which give a very useful coordinate system in the neighborhood of invariant (or approximately invariant) tori. This system of coordinates has several other uses: A) it shows that for dissipative conformally symplectic systems the quasi–periodic solutions are attractors, B) it leads to efficient algorithms, which have been implemented elsewhere. Details of the proof are given mainly for maps, but we also explain the slight modifications needed for flows and we devote the appendix to present explicit algorithms for flows.

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.