Related papers: On the order theory for $\mathcal{C}^\infty$-reduc…
K-theory provides a framework for classifying Ramond-Ramond (RR) charges and fields. K-theory of manifolds has a natural extension to K-theory of noncommutative algebras, such as the algebra considered in noncommutative Yang-Mills theory or…
This paper is part of a series of papers on differential geometry of $C^\infty$-ringed spaces. In this paper, we study vector fields and their flows on a class of singular spaces. Our class includes arbitrary subspaces of manifolds, as well…
The normal form theory for polynomial vector fields is extended to those for $C^\infty$ vector fields vanishing at the origin. Explicit formulas for the $C^\infty$ normal form and the near identity transformation which brings a vector field…
In this paper, we generalize the arithmetic Chern-Simons theory to regular flat separated schemes of finite type over rings of integers of number fields by applying the duality theorems for arithmetic schemes.
A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences…
We return to our study \cite{BEH} of invariant spin fields and spin tunes for polarized beams in storage rings but in contrast to the continuous-time treatment in \cite{BEH}, we now employ a discrete-time formalism, beginning with the…
RO*-algebras are defined and studied. For RO*-algebra T, using properties of partial order, it is established that the set of bounded elements can be endowed with C*-norm. The structure of commutative subalgebras of T is considered and the…
We give an informal summary of ongoing work which uses tools distilled from the theory of fibre bundles to classify and connect invariant fields associated with spin motion in storage rings. We mention four major theorems. One ties…
We consider, for each smooth manifold $M$, the set $\mathbb{M}$ comprised by all the primary ideals of $\mathcal{C}^\infty(M)$ which are closed and whose radical is maximal. The classical Lie theory of jets (jets of submanifolds) must be…
A C-infinity ring is a set equipped with n-ary operations corresponding to smooth n-ary functions on the real line (satisfying natural axioms). We prove that the cosimplicial abelian group associated to the de Rham complex of Euclidean…
We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
Every reduced ring $R$ has a natural partial order defined by $a\le b$ if $a^2=ab$; it generalizes the natural order on a boolean ring. The article examines when $R$ is a lower semi-lattice in this order with examples drawn from weakly Baer…
A quasi-order is a binary, reflexive and transitive relation. In the Journal of Pure and Applied Algebra 45 (1987), S.M. Fakhruddin introduced the notion of (totally) quasi-ordered fields and showed that each such field is either an ordered…
This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…
Separations among the first order logic ${\cal R}ing(0,+,*)$ of finite residue class rings, its extensions with generalized quantifiers, and in the presence of a built-in order are shown, using algebraic methods from class field theory.…
We describe in terms of generators and relations the ring structure of the $RO(C_2)$-graded $C_2$-equivariant stable stems $\pi_\star^{C_2}$ modulo the ideal of all nilpotent elements. As a consequence, we also record the ring structure of…
Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the…
The aim of this lecture is to present the concept of C-algebra and to illustrate its applications in two contexts: the study of reflection groups and their folding on the one hand, the structure of rational conformal field theories on the…