Related papers: General Connections, Exponential Maps, and Second-…
We give detailed exposition of modern differential geometry from global coordinate independent point of view as well as local coordinate description suited for actual computations. In introduction, we consider Euclidean spaces and different…
As true as it is that a bricklayer needs a plumb line and a T-square, so it is that a physicist using general relativity needs how to draw geodesics and use fields of congruent vector frames of reference. While the first part of the…
To any trivalent plane graph embedded in the sphere, Casals and Murphy associate a differential graded algebra (dg-algebra), in which the underlying graded algebra is free associative over a commutative ring. Our first result is the…
This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the…
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…
We develop a new method for visualizing and refining the invariances of learned representations. Specifically, we test for a general form of invariance, linearization, in which the action of a transformation is confined to a low-dimensional…
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
The authors establish a relation of the theory of varieties with degenerate Gauss maps in projective spaces with the theory of congruences and pseudocongruences of subspaces and show how these two theories can be applied to the construction…
This thesis is concerned with the theory of invariant bilinear differential pairings on parabolic geometries. It introduces the concept formally with the help of the jet bundle formalism and provides a detailed analysis. More precisely,…
We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…
Motivated by an open problem from graph drawing, we study several partitioning problems for line and hyperplane arrangements. We prove a ham-sandwich cut theorem: given two sets of n lines in R^2, there is a line l such that in both line…
In this article, we further the study of higher K-theory of dg categories via universal invariants, initiated by the second named author. Our main result is the co-representability of non-connective K-theory by the base ring in the…
The linear transports along paths in vector bundles introduced in Ref. [1] are applied to the special case of tensor bundles over a given differentiable manifold. Links with the transports along paths generated by derivations of tensor…
We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
In this series we introduce and investigate the concept of connectoids, which captures the connectivity structure of various discrete objects like undirected graphs, directed graphs, bidirected graphs, hypergraphs or finitary matroids. In…
We introduce a persistent Hochschild homology framework for directed graphs. Hochschild homology groups of (path algebras of) directed graphs vanish in degree $i\geq 2$. To extend them to higher degrees, we introduce the notion of…
The main theme of this paper is establishing the "generalized Springer correspondence" in complete generality that is, for not necessarily connected reductive algebraic groups.
The `spider theorem' for a general Frobenius algebra $A$, classifies all maps $A^{\otimes m}\to A^{\otimes n}$ that are built from the operations and, in a graphical representation, represented by a {\it connected} diagram. Here the algebra…