Related papers: Gravity, torsion, Dirac field and computer algebra…
In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…
We argue that the curvature generated by a gravitational field can be used to calculate the corresponding metric which determines the trajectories of freely falling test particles. To this end, we present a method to compute the metric from…
In this paper, we propose a feasible algorithm to give an explicit basis of the space of regular differential forms on the nonsingular projective model of any given plane algebraic curve. The algorithm is demonstrated for concrete examples,…
We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…
These lectures give a brief introduction to the Computer Algebra systems Reduce and Maple. The aim is to provide a systematic survey of most important commands and concepts. In particular, this includes a discussion of simplification…
It is shown that in the case of the spherically symmetric static backgrounds there is a gauge in which the Dirac equation is manifestly covariant under rotations. This allows us to separate the spherical variables like in the flat…
We introduce linear Dirac and generalized complex structures on Cartan geometries and give criteria for Dirac subalgebras of $\frkg\ltimes\frkg^*$ representing Dirac structures on a Cartan geometry. We prove that there is a bijection…
We consider (2+1)-gravity with vanishing cosmological constant as a constrained dynamical system. By applying Dirac's gauge fixing procedure, we implement the constraints and determine the Dirac bracket on the gauge-invariant phase space.…
Recently, we have constructed the conformal gravity with metric and torsion, finding the gravitational field equations that give the conservation laws and trace condition; in the present paper we apply this theory to the case of the Dirac…
We first generalise the standard Wigner function to Dirac fermions in curved spacetimes. Secondly, we turn to the Moyal quantisation of systems with constraints. Gravity is used as an example.
Exact solutions of the Dirac equation, a system of four partial differential equations, are rare. The vast majority of them are for highly symmetric stationary systems. Moreover, only a handful of solutions for time dependent dynamics…
We investigate torsion and noninertial effects on a spin-$1/2$ quantum particle in the nonrelativistic limit of the Dirac equation. We consider the cosmic dislocation spacetime as a background and show that a rotating system of reference…
Using the Dirac (Clifford) algebra $\gamma^{\mu}$ as initial stage of our discussion, we summarize and extend previous work with respect to the isomorphic 15dimensional Lie algebra su$*$(4) as complex embedding of sl(2,$\mathbb{H}$), the…
The Yukawa model in curved spacetime is considered. We consider a complex scalar field coupled to a $U(1)$ gauge field and also interacting with Dirac fields with a general Yukawa coupling. The local momentum space method is used to obtain…
Interest on 2 + 1 dimensional electron systems has increased considerably after the realization of novel properties of graphene sheets, in which the behaviour of electrons is effectively described by relativistic equations. Having this fact…
A possible model for quantum kinematics of a test particle in a curved space-time is proposed. Every reasonable neighbourhood V_e of a curved space-time can be equipped with a nonassociative binary operation called the geodesic…
I present a review of the Dirac equation in general relativity. Although the generalization of the Dirac equation to a curved spacetime is well known, it is not usually part of the standard toolkit of techniques known to people working on…
Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of…
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.
In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the parametrization of the curve, and do not require to compute or…