arXiv research

The paper develops a theory of $C^\infty$-superrings and their superschemes.

This paper generalizes Batchelor's theorem in $C^\infty$-superschemes.

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such…

Develops $L_\infty$ spaces over dg manifolds and establishes an equivalence with $L_\infty$ algebroids.

New algebraic structure derived from Hopf algebra and Drinfel'd twist.

Study derived Lie ∞-groupoids and algebroids in higher differential geometry.

Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $φ$ ({\rm i.e.} morphism of co…

Embeds hyperbolic plane into 3D space with detailed geometric analysis.

The paper explores new algebraic structures and morphisms in graded settings.

$\infty$-Harmonic maps are a generalization of $\infty$-harmonic functions. They can be viewed as the limiting cases of p-harmonic maps as p goes to infinity. In this paper, we give complete classifications of linear and quadratic $\infty$-harmonic maps from and into a sphere, quadratic $\infty$-harmonic maps between E…

Lie-Rinehart algebras over $C^\infty$-rings defined and studied.

Researchers redefine $\ell^\infty$-cohomology for groups and spaces, linking it to amenability, hyperbolicity, and algorithmic undecidability.

New framework resolves central limit behavior in differential privacy.

Spherical representations and functions are the building blocks for harmonic analysis on riemannian symmetric spaces. In this paper we consider spherical functions and spherical representations related to certain infinite dimensional symmetric spaces $G_\infty/K_\infty = \varinjlim G_n/K_n$. We use the representation t…

If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using Algebro-Geometric techniques in Differential Geometry. They include smooth manifolds, but also…

Let $S$ be a rank-one symmetric space of non-compact type and let $X$ be a $\text{CAT}(-1)$ space. A well-known result by Bourdon states that if a topological embedding $\varphi: \partial_\infty S \rightarrow \partial_\infty X$ respects cross ratios, that means $\text{cr}_S( ξ_0,η_0,ξ_1,η_1)=\text{cr}_X( \varphi(ξ_0),\…

The paper proves asphericity of configuration spaces and covers them with entire functions.

Foundations of derived geometry in smooth settings.

The paper extends $L_\infty$ structures to generic closed two-forms on manifolds.

Curved $L_\infty$ spaces form a category of fibrant objects.

Defines and characterizes operators on Lie ∞-algebras with respect to actions.

Paper establishes $L^{\infty}$ estimates for complex Monge-Ampere and Hessian equations.

It is proved that the isometry classes of pointed connected complete Riemannian $n$-manifolds form a Polish space, $\mathcal{M}_*^\infty(n)$, with the topology described by the $C^\infty$ convergence of manifolds. This space has a canonical partition into sets defined by varying the distinguished point into each manifo…

Research resolves sign conventions in Floer theory for Morse-Bott case.

The main result of this paper shows that, if $g(t)$ is a complete non-singular solution of the normalized Ricci flow on a noncompact 4-manifold $M$ of finite volume, then the Euler characteristic number $χ(M)\geq0$. Moreover, $χ(M)\neq 0$, there exist a sequence times $t_k\to\infty$, a double sequence of points $\{p_{k…

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…

The paper proves a generalized inverse function theorem for curved $L_\infty$ spaces.

The study constructs a dense orbit in the universal commensurability augmented Teichmüller space.

The family of translation surfaces $(X_g,ω_g)$ constructed by Arnoux and Yoccoz from self-similar interval exchange maps encompasses one example from each genus $g$ greater than or equal to $3$. We triangulate these surfaces and deduce general properties they share. The surfaces $(X_g,ω_g)$ converge to a surface $(X_\i…

We introduce a more restrictive version of the strict $CD(K,\infty)$ -condition, the so-called very strict $CD(K,\infty)$ -condition, and show the existence of optimal maps in very strict $CD(K,\infty)$ -spaces despite the possible lack of uniqueness of optimal plans.

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation $Φ_f:C^\infty(X)^n\to C^\infty(X)$ acting by $Φ_f:(c_1,\ldots,c_n)\mapsto f(c_1,...,c_n)$, a…

Categorifies Chern-Weil theory for infinite local systems.

Paper studies symmetries in singular foliations using Lie $\infty$-morphisms.

We consider maximum solution $g(t)$, $t\in [0, +\infty)$, to the normalized Ricci flow. Among other things, we prove that, if $(M, ω)$ is a smooth compact symplectic 4-manifold such that $b_2^+(M)>1$ and let $g(t),t\in[0,\infty)$, be a solution to (1.3) on $M$ whose Ricci curvature satisfies that $|\text{Ric}(g(t))|\l…

We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between …

In this paper, we give complete classifications of linear $\infty$-harmonic maps between Euclidean and Heisenberg spaces, between Nil and Sol spaces. We also classify all $\infty$-harmonic linear endomorphisms of Sol space and show that there is a subgroup of $\infty$-harmonic linear automorphisms in the group of linea…

We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we call Koszul $L_\infty$-algebra. This $L_\infty$-algebra is a cousin of the Koszul…

This paper defines a functor for $L_\infty$-modules and applies it to Khovanov homology.

In this short note we study nonexistence result of biharmonic maps from a complete Riemannian manifold into a Riemannian manifold with nonpositive sectional curvature. Assume that $φ:(M,g)\to (N, h)$ is a biharmonic map, where $(M, g)$ is a complete Riemannian manifold and $(N,h)$ a Riemannian manifold with nonpositive…

Paper proves Koszul duality for weighted A-infinity algebras.

We say that a group has property $R_{\infty}$ if any group automorphism has an infinite number of twisted conjugacy classes. Fel'shtyn and Goncalves prove that the solvable Baumslag-Solitar groups BS(1,m) have property $R_{\infty}$. We define a solvable generalization $Γ(S)$ of these groups which we show to have proper…

This article reviews $\infty$-bundles and their applications in geometry and physics.

New activation functions achieve arbitrary-accuracy Sobolev approximation by fixed-size neural networks.

Derives $L^{\infty}$ estimate for Kähler-Ricci flows with weaker conditions.

In this short note, we consider self-similar immersions $F: \mathbb{R}^n \to \mathbb{R}^{n+k}$ of the Graphic Mean Curvature Flow of higher co-dimension. We show that the following is true: Let $F(x) = (x,f(x)), x \in \mathbb{R}^{n}$ be a graph solution to the soliton equation $\bar{H}(x) + F^{\bot}(x) = 0.$ Assume…

New algebra structure derived from Lie pairs.

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

Inverse function theorem and homotopy description for L-infinity bundles.