Related papers: Higher order approximation of analytic sets by top…
We show that a closed subscheme of a given locally noetherian scheme can be constructed by prescribing it germs at all points of the ambient scheme in a manner consistent with specialization of points, provided the resulting set of all…
We construct the equivariant analytic lattice cohomology associated with the analytic type of a complex normal surface singularity whenever the link is a rational homology sphere. It is the categorification of the equivariant geometric…
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we…
We introduce the notion of algebraic higher symmetry, which generalizes higher symmetry and is beyond higher group. We show that an algebraic higher symmetry in a bosonic system in $n$-dimensional space is characterized and classified by a…
In this paper, we prove that unital homomorphisms from continuous functions on a compact metric space to matrices over a C*-algebra with tracial rank at most one are approximately diagonalizable. We also consider some generalizations of…
In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…
We prove a result of classification for germs of formal and convergent quasi-homogeneous foliations in C^2 with fixed separatrix. Basically, we prove that the analytical and formal class of such a foliation depend respectively only on the…
We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can…
In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…
For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$. If $a(t)$…
If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This…
Let $f$ be a germ of holomorphic diffeomorphism of $\C^n$ fixing the origin $O$, with $df_O$ diagonalizable. We prove that, under certain arithmetic conditions on the eigenvalues of $df_O$ and some restrictions on the resonances, $f$ is…
Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The…
Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades. In this report we review the basic theory of Gorenstein homological algebra of artin algebras.…
Given a real algebraic variety $X$ of dimension $n$, a very ample divisor $D$ on $X$ and a smooth closed hypersurface $\Sigma$ of $\mathbf{R}^n$, we construct real algebraic hypersurfaces in the linear system $|mD|$ whose real locus…
In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ which yield continuity of both the group operations, product and inverse function. As a consequence, we…
We call a local homeomorphism $f: (R^n,0)\to(R^n,0)$ blow-analytic if it becomes real analytic after composing with a finite number blowings-up with smooth nowhere dense centers. If the graph of $f$ is semi-algebraic then, by a theorem of…
We establish a set-oriented algorithm for the numerical approximation of the rotation set of homeomorphisms of the two-torus homotopic to the identity. A theoretical background is given by the concept of {\epsilon}-rotation sets. These are…
Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…
We study the analytic structure of the space of germs of an analytic function at the origin of \ww C^{\times m} , namely the space \germ{\mathbf{z}} where \mathbf{z}=\left(z\_{1},\cdots,z\_{m}\right) , equipped with a convenient locally…