Source author record

Wolfgang Bertram

Wolfgang Bertram appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DG math.GR math.CT math.RA math.HO math.NT

Catalog footprint

What is connected

17works

6topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Distributive lattices, associative geometries: the arithmetic case

We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we always get associative products, and thus every distributive lattice carries many semigroup structures. In the arithmetic case, we explicitly compute multiplication tables of such semigroups and describe some of their properties. Many of them are periodic, and can be seen as "non-commutative analogs" of the rings Z/nZ.

preprint2016arXiv

A precise and general notion of manifold

We give a completely formalized definition of a notion of " general manifold ". It turns out that " gluing data " form an equivalence-partially ordered set (e-pos), which is a special instance of an ordered groupoid. We state and prove reconstruction theorems, allowing to reconstruct general manifolds and their mor-phisms from such gluing data. To describe morphisms between manifolds, the notion of natural relations between groupoids is introduced, which emphasizes the close analogy with natural transformations of general category theory.

preprint2015arXiv

Conceptual differential calculus part ii: Cubic higher order calculus

Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cube, and so we qualify this calculus as '' cubic ''. More precisely, we define two versions of conceptual cubic calculus: '' full '' and '' symmetric cubic ''. The theory thus initiated sheds new light on several foundational issues.

preprint2015arXiv

Conceptual Differential Calculus. I: First Order Local Linear Algebra

We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina vector space or module, a locally linear map is defined to be a map respecting two canonical operationsliving "over" its domain of definition.These two operations are composition laws of a canonical groupoid and of a scaled action category, respectively,fitting together into a canonical double category. Local linear algebra (of first order) is the study of such double categories and of their morphisms; it is a purely algebraic and conceptual (i.e., categorical and chart-independent) version of first order differential calculus. In subsequent work, the higher order theory (using higher multiple categories) will be investigated.

preprint2014arXiv

Jordan Geometries - an Approach by Inversions

Jordan geometries are defined as spaces equipped with point reflections depending on triples of points, exchanging two of the points and fixing the third. In a similar way, symmetric spaces have been defined by Loos (Symmetric Spaces I, 1969) as spaces equipped with point reflections depending on a point and fixing this point; therefore the theories of Jordan geometries and of symmetric spaces are closely related to each other -- in order to describe this link, the notion of symmetry actions of torsors and of symmetric spaces is introduced. Jordan geometries give rise both to symmetry actions of certain abelian torsors and of certain symmetric spaces, which in a sense are dual to each other. By using an algebraic differential calculus generalizing the classical Weil functors (see arxiv:1402.2619), we attach a tangent object to such geometries, namely a Jordan pair, respectively a Jordan algebra. The present approach works equally well over base rings in which 2 is not invertible (and in particular over the integers), and hence can be seen as a globalization of quadratic Jordan pairs; it also has a very transparent relation with the theory of associative geometries developped by M. Kinyon and the author.

preprint2014arXiv

Universal Associative Geometry

We generalize parts of the theory of associative geometries developed by Kinyon and the author in the framework of universal algebra: we prove that certain associoid structures, such as pregroupoids and principal equivalence relations, have a natural prolongation from a set to its the power set. We reinvestigate the case of homogeneous pregroupoids (corresponding to the projective geometry of a group) from the point of view of pairs of commuting principal equivalence relations. We use the ternary approach to groupoids developed by Anders Kock, and the torsors defined by our construction can be seen as a generalisation of the known groups of bisections of a groupoid.

preprint2014arXiv

Weil Spaces and Weil-Lie Groups

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the definition of a Lie algebra attached to a Weil Lie group. By definition, the category of Weil spaces is the category of functors from K-Weil algebras to sets; thus our notion of Weil space is similar to, but weaker than the one of Weil topos defined by E. Dubuc (1979). In view of recent result on Weil functors for manifolds over general topological base fields or rings by A. Souvay, this generality is the suitable context to formulate and to prove general results of infinitesimal differential geometry, as started by the approach developed in Bertram, Mem. AMS 900.

preprint2013arXiv

Commutative and Non-commutative Parallelogram Geometry: an Experimental Approach

By "parallelogram geometry" we mean the elementary, "commutative", geometry corresponding to vector addition, and by "trapezoid geometry" a certain "non-commutative deformation" of the former. This text presents an elementary approach via exercises using dynamical software (such as geogebra), hopefully accessible to a wide mathematical audience, from undergraduate students and high school teachers to researchers, proceeding in three steps: (1) experimental geometry, (2) algebra (linear algebra and elementary group theory), and (3) axiomatic geometry.

preprint2012arXiv

A general construction of Weil functors

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category of manifolds over $A$. This result simultaneously generalizes results known for ordinary, real manifolds, and previous results by the first author for the case of the higher order tangent functors ($A = T^k K$) and for the case of jet rings ($A = K[X]/(X^{k+1})$). We investigate some algebraic aspects of these general Weil functors ("K-theory of Weil functors", action of the "Galois group" $\Aut_K(A)$), which will be of importance for subsequent applications to general differential geometry.

preprint2012arXiv

Homotopes of Symmetric Spaces I. Construction by Algebras with Two Involutions

We investigate a special kind of contraction of symmetric spaces (respectively, of Lie triple systems), called homotopy. In this first part of a series of two papers we construct such contractions for classical symmetric spaces in an elementary way by using associative algebras with several involutions. This construction shows a remarkable duality between the underlying "space" and the "deformation parameter".

preprint2012arXiv

Homotopes of Symmetric Spaces II. Structure Variety and Classification

We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base spaces correspond to inner ideals in Jordan pairs. Using that inner ideals in classical Jordan pairs are always complemented (in the sense defined by O. Loos and E. Neher), the classification of homotopes is obtained by combining the classification of inner ideals with the one of isotopes of a given inner ideal.

preprint2012arXiv

The projective geometry of a group

We show that the pair given by the power set and by the "Grassmannian"(set of all subgroups) of an arbitrary group behaves very much like the pair given by a projective space and its dual projective space. More precisely, we generalize several results from preceding joint work with M. Kinyon (arXiv:0903.5441), which concerned abelian groups, to the case of general non-abelian groups. Most notably, pairs of subgroups parametrize torsor and semitorsor structures on the power set. The rôle of associative algebras and -pairs from loc. cit. is now taken by analogs of near-rings.

preprint2011arXiv

Simplicial Differential Calculus, Divided Differences, and Construction of Weil Functors

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus has the advantage that the number of evaluation points growths linearly with the degree, and not exponentially as in the classical, "cubic" approach. In particular, it is better adapted to the case of positive characteristic, where it permits to define Weil functors corresponding to scalar extension from K to truncated polynomial rings K[X]/(X^{k+1}).

preprint2010arXiv

Associative Geometries. I: Torsors, linear relations and Grassmannians

We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized projective geometries, where the former correspond to the Lie product of an associative algebra and the latter to its Jordan product. A further development of the theory encompassing involutive associative algebras will be given in subsequent work.

preprint2010arXiv

Associative Geometries. I: Torsors, linear relations and Grassmannians

preprint2010arXiv

Associative Geometries. II: Involutions, the classical torsors, and their homotopes

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative geometries. We prove that, under suitable assumptions, the groups and their homotopes have a canonical semigroup completion.

preprint2010arXiv

Associative Geometries. II: Involutions, the classical torsors, and their homotopes

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint