Galois orders in skew monoid rings

We introduce a new class of noncommutative rings - Galois orders, realized as certain subrings of invariants in skew semigroup rings, and develop their structure theory. The class of Calms orders generalizes classical orders in noncommutative rings and contains many important examples, such as the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie algebra, associated Yangians and finite W-algebras (C) 2010 Elsevier Inc All rights reserved

An algebraic theory for generalized Jordan chains and partial signatures in the Lagrangian Grassmannian

We discuss an algebraic theory for generalized Jordan chains and partial signatures, that are invariants associated to sequences of symmetric bilinear forms on a vector space. We introduce an intrinsic notion of partial signatures in the Lagrangian Grassmannian of a symplectic space that does not use local coordinates, and we give a formula for the Maslov index of arbitrary real analytic paths in terms of partial signatures.

Abelian torsion groups with a countably compact group topology

Comfort and Remus [W.W. Comfort, D. Remus, Abelian torsion groups with a pseudo-compact group topology, Forum Math. 6 (3) (1994) 323-337] characterized algebraically the Abelian torsion groups that admit a pseudocompact group topology using the Ulm-Kaplansky invariants. We show, under a condition weaker than the Generalized Continuum Hypothesis, that an Abelian torsion group (of any cardinality) admits a pseudocompact group topology if and only if it admits a countably compact group topology. Dikranjan and Tkachenko [D. Dikranjan. M. Tkachenko, Algebraic structure of small countably compact Abelian groups, Forum Math. 15 (6) (2003) 811-837], and Dikranjan and Shakhmatov [D. Dikranjan. D. Shakhmatov, Forcing hereditarily separable compact-like group topologies on Abelian groups, Topology Appl. 151 (1-3) (2005) 2-54] showed this equivalence for groups of cardinality not greater than 2(c). We also show, from the existence of a selective ultrafilter, that there are countably compact groups without non-trivial convergent sequences of cardinality kappa(omega), for any infinite cardinal kappa. In particular, it is consistent that for every cardinal kappa there are countably compact groups without non-trivial convergent sequences whose weight lambda has countable cofinality and lambda > kappa. (C) 2009 Elsevier B.V. All rights reserved.

Solução da equação de transporte multidimensional em geometria cartesiana e meio infinito usando derivada fracionária

Neste trabalho, foi construída uma forma integral para a solução das equações de transporte em uma, duas e três dimensões, considerando o núcleo de espalhamento de Klein-Nishina, espalhamento isotrópico e o núcleo de espalhamento de Rutherford, respectivamente, seguindo a mesma idéia proposta em trabalhos recentes, nos quais foi construída uma solução para a equação de transporte de nêutrons em geometria cartesiana, usando derivada fracionária. A metodologia consiste em igualar a derivada fracionária do fluxo angular à equação integral, determinar a ordem da derivada fracionária comparando o núcleo da equação integral com o da definição de Riemann-Liouville. Essa formulação foi aplicada ao cálculo de dose absorvida. São apresentadas soluções geradas a partir do emprego do método da derivada fracionária e comparadas a resultados disponíveis na literatura.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

On the global dynamics of the Rabinovich system

In this paper by using the Poincare compactification in R(3) make a global analysis of the Rabinovich system(x) over dot = hy - v(1)x + yz, (y) over dot = hx - v(2)y - xz, (z) over dot = -v(3)z + xy,with (x, y, z) is an element of R(3) and ( h, v(1), v(2), v(3)) is an element of R(4). We give the complete description of its dynamics on the sphere at infinity. For ten sets of the parameter values the system has either first integrals or invariants. For these ten sets we provide the global phase portrait of the Rabinovich system in the Poincare ball (i.e. in the compactification of R(3) with the sphere S(2) of the infinity). We prove that for convenient values of the parameters the system has two families of singularly degenerate heteroclinic cycles. Then changing slightly the parameters we numerically found a four wings butterfly shaped strange attractor.

Black string corrections in variable tension braneworld scenarios

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Integrable hierarchy for multidimensional Toda equations and topological-anti-topological fusion

The negative symmetry flows are incorporated into the Riemann-Hilbert problem for the homogeneous A(m)-hierarchy and its (gl) over cap (m + 1, C) extension.A loop group automorphism of order two is used to define a sub-hierarchy of (gl) over cap (m + 1, C) hierarchy containing only the odd symmetry flows. The positive and negative flows of the +/-1 grade coincide with equations of the multidimensional Toda model and of topological-anti-topological fusion. (C) 2002 Elsevier B.V. B.V. All rights reserved.

CP violation conditions in N-Higgs-doublet potentials

Conditions for CP violation in the scalar potential sector of general N-Higgs-doublet models are analyzed from a group theoretical perspective. For the simplest two-Higgs-doublet model potential, a minimum set of conditions for explicit and spontaneous CP violation is presented. The conditions can be given a clear geometrical interpretation in terms of quantities in the adjoint representation of the basis transformation group for the two doublets. Such conditions depend on CP-odd pseudoscalar invariants. When the potential is CP invariant, the explicit procedure to reach the real CP-basis and the explicit CP transformation can also be obtained. The procedure to find the real basis and the conditions for CP violation are then extended to general N-Higgs-doublet model potentials. The analysis becomes more involved and only a formal procedure to reach the real basis is found. Necessary conditions for CP invariance can still be formulated in terms of group invariants: the CP-odd generalized pseudoscalars. The problem can be completely solved for three Higgs-doublets.

Mass neutrino flavor evolution in spacetime with torsion

In the framework of the spacetime with torsion, we obtain the flavor evolution equation of the mass neutrino oscillation in vacuum. A comparison with the result of general relativity case shows that the flavor evolutionary equations in Riemann spacetime and Weitzenbock spacetimes are equivalent in the spherical symmetric Schwarzschild spacetime, but turn out to be different in the case of the axial symmetry.

Interacting spin 0 fields with torsion via Duffin-Kemmer-Petiau theory

Here we study the behaviour of the spin 0 sector of the DKP field in spaces with torsion. First we show that in a Riemann-Cartan manifold the DKP field presents an interaction with torsion when minimal coupling is performed, contrary to the behaviour of the KO field, a result that breaks the usual equivalence between the DKP and the KG fields.Next we analyse the case of the Teleparallel Equivalent of General Relativity (Weitzenbock manifold), showing that in this case there is a perfect agreement between KG and DKP fields. The origins of both results are also discussed.

On equivalence of Duffin-Kemmer-Petiau and Klein-Gordon equations

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Supersymmetry flows, semi-symmetric space sine-Gordon models and the Pohlmeyer reduction

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A statistical law for multiplicities of SU(3) irreps (lambda, mu) in the plethysm {eta} circle times(3) {m} -> (lambda, mu)

A statistical law for the multiplicities of the SU(3) irreps (lambda, mu) in the reduction of totally symmetric irreducible representations {m} of U(N), N = (eta + 1) (eta + 2)/2 with eta being the three-dimensional oscillator major shell quantum number, is derived in terms of the quadratic and cubic invariants of SU(3), by determining the first three terms of an asymptotic expansion for the multiplicities. To this end, the bivariate Edgeworth expansion known in statistics is used. Simple formulae, in terms of m and eta, for all the parameters in the expansion are derived. Numerical tests with large m and eta = 4, 5 and 6 show good agreement with the statistical formula for the SU(3) multiplicities.

The cohomology of superspace, pure spinors and invariant integrals

The superform construction of supersymmetric invariants, which consists of integrating the top component of a closed superform over spacetime, is reviewed. The cohomological methods necessary for the analysis of closed superforms are discussed and some further theoretical developments presented. The method is applied to higher-order corrections in heterotic string theory up to alpha'(3). Some partial results on N = 2, d = 10 and N = 1, d = 11 are also given.