Related papers: Synthetic Differential Geometry of Chen's Iterated…
Cheeger inequality is a classical result emerging from the isoperimetric problem in the field of geometry. In the graph theory, a discrete version of Cheeger inequality was also studied deeply and the notion was further extended for higher…
This talk reviews Feynman integrals, which are associated to elliptic curves. The talk will give an introduction into the mathematics behind them, covering the topics of elliptic curves, elliptic integrals, modular forms and the moduli…
We present a study on the integral forms and their Cech/de Rham cohomology. We analyze the problem from a general perspective of sheaf theory and we explore examples in superprojective manifolds. Integral forms are fundamental in the theory…
Feynman path integrals are now a standard tool in quantum physics and their use in differential geometry leads to new mathematical insights. A logical treatment of quantum phenomena seems to require a sustained mathematical analysis of path…
Integral geometry deals with those integral transforms which associate to ``functions'' on a manifold their integrals along submanifolds parameterized by another manifold. Basic problems in this context are range characterization--where…
Two path integral representations for the $T$-matrix in nonrelativistic potential scattering are derived and proved to produce the complete Born series when expanded to all orders. They are obtained with the help of "phantom" degrees of…
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of these in a higher version of the Zariski topos, in order to do…
We prove an effective bound for the degrees of generators of the algebraic de Rham cohomology of smooth affine hypersurfaces. In particular, we show that the de Rham cohomology H_dR^p(X) of a smooth hypersurface X of degree d in C^n can be…
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…
Higher dimensional generalizations of Schwarz's $P$-surface, Schwarz's $D$-surface and Scherk's second surface are constructed as complete embedded periodic minimal hy- persurfaces in $\mathbb R^n$.
Differential-geometric structures on the space of orbits of a finite Coxeter group, determined by Groth\'endieck residues, are calculated. This gives a construction of a 2D topological field theory for an arbitrary Coxeter group.
All the geometric phases, adiabatic and non-adiabatic, are formulated in a unified manner in the second quantized path integral formulation. The exact hidden local symmetry inherent in the Schr\"{o}dinger equation defines the holonomy. All…
We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology…
A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…
There is rising interest in differentiable rendering, which allows explicitly modeling geometric priors and constraints in optimization pipelines using first-order methods such as backpropagation. Incorporating such domain knowledge can…
Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD. We…
We construct an explicit de Rham isomorphism relating the cohomology rings of Banagl's de Rham and spatial approach to intersection space cohomology for stratified pseudomanifolds with isolated singularities. Intersection space…
Many problems in computational geometry are not stated in graph-theoretic terms, but can be solved efficiently by constructing an auxiliary graph and performing a graph-theoretic algorithm on it. Often, the efficiency of the algorithm…
Given a differential equation with infinite-dimensional symmetry pseudo-group it is shown, using an example, that it is generally not possible to construct enough joint invariants to form an invariant numerical scheme of the equation. To…
Simple formulas are given for generating Chern-Simons basic invariant polynomials by repeated exterior differentiation for n-dimensional differentiable manifolds having a general linear connection.