Related papers: Riemann geometry without indices

We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ;…

Chamseddine and Connes have argued that the action for Einstein gravity, coupled to the SU(3)\times SU(2)\times U(1) standard model of particle physics, may be elegantly recast as the "spectral action" on a certain "non-commutative…

We aim to construct a non-commutative algebraic geometry by using generalised valuations. To this end, we introduce groupoid valuation rings and associate suitable value functions to them. We show that these objects behave rather like their…

That announcement gives the structure of totally reducible linear Lie algebras which are the Lie algebra of the holonomy group of (at least) one torsion-free connection. The result uses the (already known) classi cation of the irreducible…

In this paper we develop techniques that eliminate the need of the Generalized Riemann Hypothesis (GRH) from various (almost all) known results about deterministic polynomial factoring over finite fields. Our main result shows that given a…

Riemannian geometry is a particular case of Hamiltonian mechanics: the orbits of the hamiltonian $H=\frac{1}{2}g^{ij}p_{i}p_{j}$ are the geodesics. Given a symplectic manifold (\Gamma,\omega), a hamiltonian $H:\Gamma\to\mathbb{R}$ and a…

Scalar-rigid maps are Riemannian submersions by works of Llarull, Goette--Semmelmann, and the second named author. In this article we show that they are essentially Riemannian products of the base manifold with a Ricci-flat fiber. As an…

In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the…

In this article, we deduce a series of integral formulas for a foliated sub-Riemannian manifold, which is a new geometric concept denoting a Riemannian manifold equipped with a distribution ${\mathcal D}$ and a foliation ${\mathcal F}$,…

A reduction formula for compressions of von Neumann algebras arising as free products is proved. This shows that the fundamental group is all of the positive reals for some such algebras. Additionally, by taking a sort of free product with…

For all left-invariant Riemannian metrics on three-dimensional unimodular Lie groups, there exist particular left-invariant orthonormal frames, so-called Milnor frames. In this paper, for any left-invariant Riemannian metrics on any Lie…

It is possible to define new, gauge invariant variables in the Hilbert space of Yang-Mills theories which manifestly implement Gauss' law on physical states. These variables have furthermore a geometrical meaning, and allow one to uncover…

In this paper we prove that any Riemannian surface, with no restriction of curvature at all, can be decomposed into blocks belonging just to some of these types: generalized Y-pieces, generalized funnels and halfplanes.

The standard definition of integration of differential forms is based on local coordinates and partitions of unity. This definition is mostly a formality and not used used in explicit computations or approximation schemes. We present a…

Given a partial action $\pi$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} \rtimes_\pi S$. Our main result asserts that, when $\mathcal{A}$ is commutative, the…

We formalize Feynman's construction of the quantum mechanical path integral. To do this, we shift the emphasis in differential geometry from the tangent bundle onto the pair groupoid. This allows us to use the van Est map and the piecewise…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

This paper reframes Riemannian geometry as a generalized Lie algebra allowing the equations of both RG and then General Relativity to be expressed as commutation relations among fundamental operators. We begin with an Abelian Lie algebra of…

Correlation matrices are fundamental summaries of functional brain networks, yet standard analyses often treat entries independently, ignoring the curved geometry of correlation space. Existing geometric methods frequently lack closed-form…

In the traditional approaches to Clifford algebras, the Clifford product is evaluated by recursive application of the product of a one-vector (span of the generators) on homogeneous i.e. sums of decomposable (Grassmann), multivectors and…