Lectures on topological field theories and differential cohomology.
problem Exploring topological field theories and their connections to differential cohomology.
method Introduction to topological field theory and generalized Abelian gauge theories.
result Explains the relationship between topological field theories and differential cohomology.
Introduces orbifolds from charts and various topological perspectives.
problem No specific problem stated; introduces new mathematical objects.
method Charts and classical topological perspectives.
result Orbifolds defined and properties from Algebraic, Differential, and Riemannian Geometries.
Paper presents voxel graph operators for vector data models.
problem Efficient conversion and analysis of geometric models.
method Topological voxelization, graph construction, differential operator derivation.
result Discrete differential and integral operators from voxel complexes.
In this note, we discuss the interactions between differential topology and isoparametric foliations, surveying some recent progress and open problems.
In this note we prove some results in flat and differential K-theory. The first one is a proof of the compatibility of the differential topological index and the flat topological index by a direct computation. The second one is the explicit isomorphisms between Bunke-Schick differential K-theory and Freed-Lott diff…
Optimizes material distribution on surfaces using topological derivatives.
problem Optimal distribution of two materials on smooth submanifolds in Rd. method Topological derivative approach for shape optimization constrained by PDEs.
result Numerical solution of topology optimization problem on surfaces.
Study shows solutions of differential inclusions are homotopy equivalent in W1,p-topology.
problem Homotopy properties of solutions in differential inclusions.
method Analyzes differential inclusion with specific assumptions on corank one distribution.
result Solutions are homotopy equivalent to loop spaces in W1,p-topology. This paper formalizes the h-principle and sphere eversion in differential topology.
problem Formalizing the h-principle and sphere eversion in differential topology.
method Lean formalization of the local h-principle for first-order partial differential relations, using convex integration.
result Reproves Smale's sphere eversion theorem and formalizes advanced mathematics.
New class of maps restricts manifolds strongly in algebraic topology.
problem Restricting manifolds in algebraic topology.
method Proposed a class of generalized special generic maps.
result Extended fundamental results on structures and algebraic topological properties.
Survey on moduli spaces of differentials from algebraic geometry perspective.
problem Understanding the topology of moduli spaces of differentials remains limited.
method Algebraic geometry perspective, connections to various fields.
result Many open problems and connections to other fields.
We provide a systematic approach to twisting differential KO-theory leading to a construction of the corresponding twisted differential Atiyah-Hirzebruch spectral sequence (AHSS). We relate and contrast the degree two and the degree one twists, whose description involves appropriate local systems. Along the way, we pro…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One of the most fundamental properties of definable sets is that a compact definable …
ICLR 2021 challenge in computational geometry and topology attracted 16 teams.
problem Designing and evaluating computational methods in differential geometry and topology.
method Designing and hosting an open-source competition with repositories Geomstats and Giotto-TDA.
result 16 teams participated in the challenge, showcasing innovative contributions to computational geometry and topology.
The study of topological properties of random smooth maps, focusing on Kac-Rice formula and Betti numbers.
problem Topological and geometric properties of random smooth maps.
method Developed a general framework for differential geometric and topological issues of smooth Gaussian Random Fields, generalized Kac-Rice formula, applied to Kostlan random polynomials, and proved an original theorem in Differential Topology.
result The Betti numbers of the solution of a system of regular equations cannot decrease under a C0-small perturbation of the equations. The paper proves metrizability and dynamics of Weil bundles.
problem Metrizability and dynamics of Weil bundles in differential geometry.
method Investigation of metrizability and dynamics of Weil bundles for smooth compact manifolds and Weil algebras.
result A canonical, complete, weighted metric \(\mathfrak{d}_w\) on \(M^\mathbf{A}\) that encodes geometry and deformations.
The paper explores the geometry and topology of DNN decision boundaries.
problem Understanding the geometric and topological properties of DNN decision boundaries.
method Differential geometry and the Gauss-Bonnet-Chern theorem.
result Computed the Euler characteristics of compact decision boundaries.
Global and local blowups of manifolds are proven equivalent.
problem Equivalence of global and local blowups in differential topology.
method Proof of equivalence between global and local constructions of blowups.
result Global and local constructions of blowups are shown to be equivalent.
GeoPhy uses geometric gradients to efficiently infer phylogenetic trees from molecular data.
problem Challenges in accurately inferring species relationships from molecular data due to combinatorially vast tree topologies.
method Introduces a novel, fully differentiable formulation of phylogenetic inference using geometric spaces and variational Bayesian methods.
result Significantly outperforms other approximate Bayesian methods in inferring phylogenetic trees.
Graph neural controlled differential equations learn graph dynamics from vertex observations.
problem Predicting future states of dynamical systems on graphs with limited vertex data.
method Incorporates graph topology information into NCDE to predict graph dynamics.
result Informed NCDE requires fewer parameters and lower MAE compared to previous methods.
Survey of topological 4-manifold theory, highlighting foundational theorems and pitfalls.
problem Understanding the topological properties of 4-dimensional manifolds.
method Compilation and explanation of foundational theorems, with cautionary notes.
result Many intuitive results in differential topology are not true in the topological category.
The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-…
Studies geometric structures on Lie groupoids and differentiable stacks.
problem None explicitly stated in the abstract.
method Various geometric structures and connections on Lie groupoids and differentiable stacks.
result Introduces new concepts like topological groupoid extensions and gerbes over topological stacks.
This note exposes the differential topology and geometry underlying some of the basic phenomena of optimal transportation. It surveys basic questions concerning Monge maps and Kantorovich measures: existence and regularity of the former, uniqueness of the latter, and estimates for the dimension of its support, as well …
Revisit Fenn's table theorem from a differential-topological perspective.
problem Prove zero-existence theorem on a cylinder and horizontal square-table theorem under Fenn's boundary conditions.
method Differential-topological approach.
result Prove horizontal square-table theorem under more general boundary conditions.
Paper links set derivatives to its orthogonal projections.
problem Understanding the relationship between set derivatives and projections.
method Derives equations from topological link between Minkowski functional partial derivatives and set boundary.
result System of equations for orthogonal projections derived.
Higher gauge theory via differential nonabelian cohomology
problem Global infrared completion of higher gauge fields
method Maxwell-type higher gauge fields
result Electromagnetic flux quantization
Survey uses Milnor fibrations to classify first integrals of differential systems.
problem Classifying first integrals of differential systems using geometric-topological methods.
method Utilizing Milnor fibrations and connections with harmonic morphisms to provide topological and geometric descriptions.
result Geometric-topological classifications of first integrals for both isolated and non-isolated singularities.
Any nonpositively curved symmetric space admits a topological compactification, namely the Hadamard compactification. For rank one spaces, this topological compactification can be endowed with a differentiable structure such that the action of the isometry group is differentiable. Moreover, the restriction of the actio…
Surveying connections between algebraic geometry and surface topology.
problem Non-abelian analogues of standard conjectures on cohomology.
method Study mapping class group actions on character varieties and isomonodromy differential equations.
result Open questions and conjectures on these topics.
Measuring wave sources uniquely identifies manifold properties.
problem Determining Riemannian manifold structure from wave observations.
method Semilinear wave equation measurements at a single point.
result Topological, differential, and geometric structure can be inferred.
Homotopy theory of differentiable sheaves connects manifold properties to underlying homotopy types.
problem Understanding the homotopy type of manifolds using differentiable sheaves.
method Developed model structures and homotopical calculi on the ∞-category Diff∞ to compute and compare shapes. result The shape of any manifold coincides with various other notions of underlying homotopy types.
The paper explores how topology affects the solvability of first-order differential equations.
problem The solvability of first-order differential equations and the role of topology.
method Analysis of de Rham cohomology to determine global integrability and uniqueness of solutions.
result Triviality of the first de Rham cohomology group is a fundamental requirement for global integrability and uniqueness of solutions.
Differentiable NAS frameworks grow networks wider and deeper, revealing biases in wiring evolution.
problem Understanding the evolution of neural architecture wiring in differentiable NAS methods.
method Unified view on searching algorithms, local cost minimization, empirical and theoretical analyses.
result Implicit inductive biases cause observed searching patterns in differentiable NAS methods.
Extends Gelfand duality to various geometric and analytical categories.
problem Generalizing Gelfand duality to different types of manifolds and bundles.
method Unified cohomological argument for manifolds and suitable classes of functions for bundles.
result Gelfand duality extended to real analytic and Stein manifolds, and to vector, affine, and jet bundles.
The study classifies parallel mean curvature spheres in a sphere-hyperbolic product space.
problem Understanding surfaces with parallel mean curvature in a specific Riemannian product space.
method Analyzing the holomorphic quadratic differential and topological constraints.
result Classification of all parallel mean curvature spheres with vanishing differential.
The paper studies the Poisson transform of differential forms on hyperbolic spaces.
problem Analyzing the Poisson transform of differential forms on real hyperbolic spaces.
method Proving the Poisson transform is a topological isomorphism between boundary forms and eigenforms.
result The Poisson transform is a topological isomorphism for Lr-differential forms on the boundary of hyperbolic spaces. New method preserves topology in Hodge decomposition for scalar and vector fields.
problem Topology-preserving Hodge decomposition on manifolds with boundaries.
method Comprehensive 5-component decomposition in Eulerian representation.
result Effective numerical experiments validate the method's accuracy and orthogonality.
New integration theory on topological spaces, including fractals.
problem Developing a universal integration theory for arbitrary topological spaces.
method Introducing a new integration framework using unital magma valued functions and measures.
result Integration, differentiation, and orientation defined for arbitrary topological spaces.
Study uses graph techniques to understand meromorphic quadratic differential strata.
problem Understanding the topology of meromorphic quadratic differential strata.
method Exchange graph techniques to study fundamental groups; generalizes relations for mixed-angulations.
result Explicit presentations of fundamental groups in genus-zero case with four singularities.
A framework for differentiability on persistence barcodes.
problem Differentiability on the space of persistence barcodes.
method Lifts to the space of ordered barcodes to compute derivatives.
result A chain rule enabling gradient descent for objective functions.
Authors construct symplectic Lefschetz pencils on complex projective plane.
problem Construct symplectic Lefschetz pencils on complex projective plane.
method Differential topological construction, analogous to holomorphic pencils.
result Explicit monodromy factorization and topological construction for d=4. This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am posting them in the hope that they will be useful to people wishing to know a litt…
Study describes how to realize periods of meromorphic differentials with specific properties.
problem Realizing meromorphic differentials with given zeros, poles, and topological constraints.
method Complete description of period representations for specified conditions on Riemann surfaces.
result A comprehensive method for realizing meromorphic differentials with prescribed characteristics.
We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.
Study the topology of stable vector fields and Lyapunov functions on R^n.
problem Topology of stable vector fields and Lyapunov functions on R^n.
method Differential topology, Lyapunov theory, and results on diffeomorphism groups of discs.
result Path-connected and simply connected spaces of stable vector fields for n≠4,5 and weakly contractible for n≤3.
Let X --> B be a proper submersion with a Riemannian structure. Given a differential K-theory class on X, we define its analytic and topological indices as differential K-theory classes on B. We prove that the two indices are the same.
This paper begins the study of Morse theory for orbifolds, or more precisely for differentiable Deligne-Mumford stacks. The main result is an analogue of the Morse inequalities that relates the orbifold Betti numbers of an almost-complex orbifold to the critical points of a Morse function on the orbifold. We also show …
Topological degrees of continuous mappings between manifolds of even dimension are studied in terms of index theory of pseudo-differential operators. The index formalism of non-commutative geometry is used to derive analytic integral formulas for the index of a 0:th order pseudo-differential operator twisted by a Hölde…