The paper constructs a nontrivial diffeomorphism in 4-manifold topology.
problem Constructing a nontrivial diffeomorphism in 4-manifold topology.
method Using lens-shaped models and the second obstruction to pseudoisotopy.
result The constructed diffeomorphism is not isotopic to the identity.
Models for self-equivalences and diffeomorphisms of manifolds.
problem Classifying spaces of self-equivalences and diffeomorphisms of manifolds.
method Construct rational models using equivariant algebraic methods.
result Formula for rational cohomology of classifying spaces.
Smooth manifolds have equivalent diffeomorphism groups if and only if they are diffeomorphic.
problem Understanding when diffeomorphism groups of smooth manifolds are elementarily equivalent.
method Analyzing the equivalence of Cr and Cs diffeomorphism groups of smooth manifolds. result Equivalent diffeomorphism groups imply diffeomorphic manifolds, strengthening previous results.
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the L2 exponential map on the group of volume-preserving diffeomorphisms of a 3-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorp…
Constructs entropy-minimizing pseudo-Anosov diffeomorphisms on K3 surfaces.
problem Finding minimal entropy diffeomorphisms on K3 surfaces.
method Constructs pseudo-Anosov diffeomorphisms minimizing entropy.
result Obtains infinitely many entropy-minimizing diffeomorphisms.
Study shows diffeomorphism groups of certain 3-manifolds retract to isometry groups.
problem Understanding the structure of diffeomorphism groups of 3-manifolds.
method Deformation retraction and earlier work by multiple authors combined.
result Homotopy type of Diff(X) determined for prime 3-manifolds.
Paper proves CFlows can approximate any diffeomorphism and applies it in Bayesian optimization.
problem Proving the universality of CFlows in approximating diffeomorphisms.
method Deriving the universality of Para-CFlows through affine coupling layers and invertible linear transforms.
result Para-CFlows can approximate any diffeomorphism in C^k-norm.
FineMorphs models smooth transformations for multivariate regression.
problem Efficiently modeling complex transformations for multivariate regression.
method Optimal control of affine and diffeomorphic transformations using smooth vector fields.
result FineMorphs can reduce dimensionality and adapt to large datasets.
We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic …
The geometric approach to diffeomorphic image registration known as "large deformation by diffeomorphic metric mapping" (LDDMM) is based on a left action of diffeomorphisms on images, and a right-invariant metric on a diffeomorphism group, usually defined using a reproducing kernel. We explore the use of left-invariant…
Study curvatures of diffeomorphisms on non-orientable surfaces.
problem Computing curvatures of measure-preserving diffeomorphisms on non-orientable surfaces.
method Extending Arnold and Lukatskii's approach, computing curvatures and asymptotics.
result Computed curvatures and asymptotics for the Klein bottle and real projective plane.
In this paper, we define locally convex vector spaces of weighted vector fields and use them as model spaces for Lie groups of weighted diffeomorphisms on Riemannian manifolds. We prove an easy condition on the weights that ensures that these groups contain the compactly supported diffeomorphisms. We finally show that …
The study proves diffeomorphisms can be localized to simpler submanifolds.
problem Localization of exotic diffeomorphisms on compact simply-connected 4-manifolds.
method Localization theorem for diffeomorphisms isotopic to identity after stabilization.
result Diffeomorphisms can be isotoped to simpler submanifolds.
Paper derives explicit expression of Alekseev-Meinrenken diffeomorphism.
problem Understanding the Alekseev-Meinrenken diffeomorphism.
method Via the Stokes phenomenon of meromorphic linear systems of ODEs with Poncaré rank 1.
result Explicit expression of the Alekseev-Meinrenken diffeomorphism.
According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the le…
We determine the Riemannian manifolds for which the group of exact volume preserving diffeomorphisms is a totally geodesic subgroup of the group of volume preserving diffeomorphisms, considering right invariant L2-metrics. The same is done for the subgroup of Hamiltonian diffeomorphisms as a subgroup of the group of…
Generalizes π2-diffeomorphism finiteness to non-zero first homotopy groups.
problem Bounding diffeomorphic types of compact manifolds with vanishing first and second homotopy groups.
method Generalizing the π2-diffeomorphism finiteness theorem to include non-zero first homotopy groups. result Diffeomorphic types of compact manifolds with non-zero first homotopy groups can be bounded.
Study on group cocycles for volume-preserving diffeomorphisms.
problem Understanding group cocycles on volume-preserving diffeomorphisms.
method Constructed two types of group cocycles on the volume-preserving diffeomorphism group.
result One cocycle yields the Euler class of flat sphere bundles for the sphere.
Book introduces Hofer's metric on symplectic diffeomorphisms.
problem Understanding dynamics and growth in symplectic geometry.
method Introduces Hofer's metric and analyzes its properties.
result Provides insights into the structure of symplectic diffeomorphisms.
Study local diffeomorphisms of conformal circles in pseudo-Riemannian manifolds.
problem Understanding local diffeomorphisms of conformal circles.
method Variations of conformal circles and pseudo-Riemannian manifolds.
result Local diffeomorphisms of conformal circles are conformal local diffeomorphisms.
Survey on foliations and diffeomorphism groups.
problem Relationship between algebraic and homotopical properties.
method Survey and analysis of existing literature.
result Explains the connection between diffeomorphism groups and foliations.
New exotic 4D spaces found using knot slicing techniques.
problem Finding non-diffeomorphic exotic 4D spaces.
method Using RBG links to create slice knots with non-diffeomorphic complements.
result Distinguished new exotic 4D spaces using end Floer homology.
The paper extends LDDMM framework to include Lie group actions in large deformation shape registration.
problem Modeling smooth, invertible transformations between shapes using Lie groups and diffeomorphisms.
method Develops a registration model that decouples the actions of Lie groups and diffeomorphisms, using semidirect products and right-invariant sub-Riemannian structures.
result Joint optimization over both deformation groups improves registration accuracy and disentangles contributions.
The paper proves n-transitivity for equivariant diffeomorphisms of manifolds.
problem Proving n-transitivity for equivariant diffeomorphisms. method Analyzing the group of equivariant diffeomorphisms on proper smooth G-manifolds. result The group of equivariant diffeomorphisms acts n-transitively on M. New 4-manifolds with exotic diffeomorphisms found.
problem Existence of exotic diffeomorphisms in 4-manifolds.
method Proves existence of infinitely many contractible 4-manifolds with exotic diffeomorphisms.
result Infinitely many contractible 4-manifolds with absolutely exotic diffeomorphisms.
Study exotic Dehn twists in 4-manifolds, producing first known exotic diffeomorphisms.
problem Detecting exotic diffeomorphisms in 4-manifolds.
method 2-parameter families Seiberg-Witten theory over RP2. result Constructed the smallest closed 4-manifold with exotic diffeomorphisms.
New Lie groups found for Poisson diffeomorphisms.
problem Finding Lie group structures on Poisson diffeomorphism groups.
method Using Poisson groupoids, develop Lie group structures.
result Poisson diffeomorphism groups of various Poisson manifolds are regular Lie groups.
An area-preserving diffeomorphism of an annulus has an "action function" which measures how the diffeomorphism distorts curves. The average value of the action function over the annulus is known as the Calabi invariant of the diffeomorphism, while the average value of the action function over a periodic orbit of the di…
Paper finds exotic diffeomorphisms on specific 4-manifolds.
problem Understanding exotic diffeomorphisms on 4-manifolds with b2+=2. method Comparing winding numbers of parameter families.
result 2\mathbb{C}\mathbb{P}^2 \# 10 (-\mathbb{C}\mathbb{P}^2) admits exotic diffeomorphisms.
Theta graph diffeomorphism shows nontrivial mapping class of 4-sphere.
problem Identifying nontrivial elements in the smooth mapping class group of 4-sphere.
method Diagrammatic calculus for smooth mapping class group of 4-sphere, Watanabe's clasper surgery construction.
result Theta graph diffeomorphism is isotopic to a nontrivial element of (1,2)-subgroup.
The paper finds diffeomorphic complex intersections with distinct Hodge numbers.
problem Identifying complex intersections with different Hodge numbers.
method Provided three pairs of 3-dimensional and one pair of 5-dimensional complex complete intersections, all diffeomorphic but with different Hodge numbers.
result Diffeomorphic complex intersections can have different Hodge numbers.
Positive paths connect diffeomorphisms on contact manifolds.
problem Defining and analyzing positivity in diffeomorphism groups of manifolds with contact structures.
method By examining paths of diffeomorphisms that are positively transverse to the contact distribution, showing flexibility and connecting diffeomorphisms.
result Any two diffeomorphisms on standard contact structure of R^(2n+1) can be connected by a positive path.
The paper proposes a deep learning approach to efficiently approximate diffeomorphisms for shape alignment.
problem Finding optimal reparameterizations of shapes for computing geodesic distances.
method The authors develop a neural network-based algorithm to construct approximations of diffeomorphisms using PyTorch.
result The proposed method achieves universal approximation properties and bounds on Lipschitz constants for the constructed diffeomorphisms.
Complex surfaces show non-simply connected diffeomorphism groups with non-homotopic loops.
problem Complex surfaces with non-simply connected diffeomorphism groups and non-homotopic loops.
method Exhibited examples of complex surfaces.
result Diffeomorphism groups of complex surfaces are not simply-connected and contain non-homotopic loops.
Using the categorical description of supergeometry we give an explicit construction of the diffeomorphism supergroup of a compact finite-dimensional supermanifold. The construction provides the diffeomorphism supergroup with the structure of a Frechet supermanifold. In addition, we derive results about the structure of…
Proves transitivity of real Anosov diffeomorphisms with specific properties.
problem Transitivity of real Anosov diffeomorphisms with specific properties.
method Proves transitivity using specific properties of real Anosov diffeomorphisms.
result Proves transitivity of real Anosov diffeomorphisms.
We give examples of harmonic cellular maps between negatively curved manifolds which are not diffeomorphisms but are homotopic to diffeomorphisms.
The paper explores metrics and models for analyzing biological shapes.
problem Analyzing biological shapes using mathematical metrics.
method Review of Riemannian metrics and evolution equations, focusing on diffeomorphic shape analysis.
result Introduction of a new class of metrics involving optimization of a growth tensor.
Study controllability of diffeomorphisms of simple polytopes.
problem Controllability of diffeomorphisms of simple polytopes.
method Lie group structure and controllability results for diffeomorphisms of simple polytopes.
result Identity component of the diffeomorphism group is generated by the exponential image.
Diffeomorphisms of convex polytopes form a Lie group.
problem Understanding transformations of convex polytopes.
method Forming a Lie group from diffeomorphisms of convex polytopes.
result The group of diffeomorphisms of a convex polytope is a regular Lie group.
An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate conditions for extendability of diffeomorphisms over surfaces in the complex projec…
Dual pairs constructed for volume preserving diffeomorphisms using symplectic geometry.
problem Understanding the group of volume preserving diffeomorphisms through symplectic geometry.
method Using cotangent bundles of spaces of smooth embeddings, symplectic reduction, and nonlinear Grassmannians of augmented submanifolds.
result Descriptions of coadjoint orbits of the group of volume preserving diffeomorphisms in terms of submanifolds of augmented spaces.
Authors prove existence of exotic surfaces and invariants not detecting self-diffeomorphisms.
problem Existence and properties of exotic surfaces and diffeomorphisms.
method Vanishing theorem of family Bauer--Furuta invariant for diffeomorphisms on spin 4-manifolds.
result Family Bauer--Furuta invariants do not detect exotic self-diffeomorphisms on S4 or S2imesS2. We prove that a compactly supported homeomorphism of a smooth manifold of dimension greater or equal to 5 can be approximated uniformly by compactly supported diffeomorphisms if and only if it is isotopic to a diffeomorphism. If the given homeomorphism is in addition volume preserving, then it can be approximated unifo…
Criteria for lifting manifold diffeomorphisms to vector bundle automorphisms.
problem Lifting diffeomorphisms to vector bundles.
method Criteria for lifting diffeomorphisms to linear automorphisms of vector bundles.
result Criteria for lifting diffeomorphisms to linear automorphisms of vector bundles.
Exotic diffeomorphisms found on complex surfaces and 4-manifolds.
problem Finding exotic diffeomorphisms on 4-manifolds.
method Minimal complex surfaces and spin 4-manifolds with S3 boundary. result First known instances of exotic diffeomorphisms of irreducible 4-manifolds.
Generative model uses ODEs and RKHSs for measure matching.
problem Minimum divergence generative modeling and sampling.
method Diffeomorphic matching and image registration principles applied to ODEs and RKHSs.
result Theoretical error bounds and extensive numerical experiments demonstrate the method's properties and applicability.
Study partially hyperbolic diffeomorphisms in 3D, focusing on foliations and dynamics.
problem Classify 3D partially hyperbolic diffeomorphisms homotopic to the identity.
method Analyze Burago and Ivanov's branching foliations in Seifert fibered and hyperbolic manifolds.
result Complete classification of diffeomorphisms in Seifert fibered manifolds, and new potential class in hyperbolic manifolds.