BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Enxin Wu

Enxin Wu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.CAmath.DGmath.FAmath.CTmath.GNmath.KT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

Pushforward and smooth vector pseudo-bundles

In this paper, we study a new operation named pushforward on diffeological vector pseudo-bundles, which is left adjoint to the pullback. We show how to pushforward projective diffeological vector pseudo-bundles to get projective diffeological vector spaces, producing many concrete new examples, together with application to smooth splittings of some projective diffeological vector spaces related to geometry. This brings new objects to diffeology from classical vector bundle theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Convergences and the Intermediate Value Property in Fermat Reals

This paper contains two topics of Fermat reals, as suggested by the title. In the first part, we study the ω-topology, the order topology and the Euclidean topology on Fermat reals, and their convergence properties, with emphasis on the relationship with the convergence of sequences of ordinary smooth functions. We show that the Euclidean topology is best for this relationship with respect to pointwise convergence, and Lebesgue dominated convergence does not hold, among all additive Hausdorff topologies on Fermat reals. In the second part, we study the intermediate value property of quasi-standard smooth functions on Fermat reals, together with some easy applications. The paper is written in the language of Fermat reals, and the idea could be extended to other similar situations.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Fermat Functors, Part I: The theory

In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite dimensional spaces), and the other deleting infinitesimals on Fermat spaces. We study the properties of these functors, and calculate some examples. These serve as fundamentals for developing differential geometry on diffeological spaces using infinitesimals in a future paper.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Calculus in the ring of Fermat reals Part I: Integral calculus

We develop the integral calculus for quasi-standard smooth functions defined on the ring of Fermat reals. The approach is by proving the existence and uniqueness of primitives. Besides the classical integral formulas, we show the flexibility of the Cartesian closed framework of Fermat spaces to deal with infinite dimensional integral operators. The total order relation between scalars permits to prove several classical order properties of these integrals and to study multiple integrals on Peano-Jordan-like integration domains.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The D-topology for diffeological spaces

Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology has not yet been studied seriously in the existing literature. In this paper, we develop the basic theory of the $D$-topology for diffeological spaces. We explain that the topological spaces that arise as the $D$-topology of a diffeological space are exactly the $Δ$-generated spaces and give results and examples which help to determine when a space is $Δ$-generated. Our most substantial results show how the $D$-topology on the function space $C^{\infty}(M,N)$ between smooth manifolds compares to other well-known topologies.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The homotopy theory of diffeological spaces

Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce the smooth singular simplicial set $S^D(X)$ associated to a diffeological space $X$, and show that when $S^D(X)$ is fibrant, it captures smooth homotopical properties of $X$. Motivated by this, we define $X$ to be fibrant when $S^D(X)$ is, and more generally define cofibrations, fibrations and weak equivalences in the category of diffeological spaces using the smooth singular simplicial set functor. We conjecture that these form a model category structure, but in this paper we assume little prior knowledge of model categories, and instead focus on concrete questions about smooth manifolds and diffeological spaces. We prove that our setup generalizes the naive smooth homotopy theory of smooth manifolds by showing that a smooth manifold without boundary is fibrant and that for fibrant diffeological spaces, the weak equivalences can be detected using ordinary smooth homotopy groups. We also show that our definition of fibrations generalizes Iglesias-Zemmour's theory of diffeological bundles. We prove enough of the model category axioms to show that every diffeological space has a functorial cofibrant replacement. We give many explicit examples of objects that are cofibrant, not cofibrant, fibrant and not fibrant, as well as many other examples showing the richness of the theory. For example, we show that the free loop space of a smooth manifold is fibrant. One of the implicit points of this paper is that the language of model categories is an effective way to organize homotopical thinking, even when it is not known that all of the model category axioms are satisfied.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Categorical frameworks for generalized functions

We tackle the problem of finding a suitable categorical framework for generalized functions used in mathematical physics for linear and non-linear PDEs. We are looking for a Cartesian closed category which contains both Schwartz distributions and Colombeau generalized functions as natural objects. We study Frölicher spaces, diffeological spaces and functionally generated spaces as frameworks for generalized functions. The latter are similar to Frölicher spaces, but starting from locally defined functionals. Functionally generated spaces strictly lie between Frölicher spaces and diffeological spaces, and they form a complete and cocomplete Cartesian closed category. We deeply study functionally generated spaces (and Frölicher spaces) as a framework for Schwartz distributions, and prove that in the category of diffeological spaces, both the special and the full Colombeau algebras are smooth differential algebras, with a smooth embedding of Schwartz distributions and smooth pointwise evaluations of Colombeau generalized functions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Homological Algebra for Diffeological Vector Spaces

Diffeological spaces are natural generalizations of smooth manifolds, introduced by J.M.~Souriau and his mathematical group in the 1980's. Diffeological vector spaces (especially fine diffeological vector spaces) were first used by P. Iglesias-Zemmour to model some infinite dimensional spaces in~\cite{I1,I2}. K.~Costello and O.~Gwilliam developed homological algebra for differentiable diffeological vector spaces in Appendix A of their book~\cite{CG}. In this paper, we present homological algebra of general diffeological vector spaces via the projective objects with respect to all linear subductions, together with some applications in analysis.

0 citations0 reviewsNo code linkedOpen access