相关论文: Finite Type Points On Subsets Of $\mathbb C^n$

In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $C^{m-1,1}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, in particular providing a proof for a conjecture of…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

We give a new characterization of pseudoconvex point, and of finite type point, using analytic discs.

Let $f: M \to M$ be a diffeomorphism defined on a compact boundaryless $d$-dimensional manifold $M$, $d\geq 2$. C. Morales has proposed the notion of measure expansiveness. In this note we show that diffeomorphisms in a residual subset far…

The purpose of this article is to investigate the holomorphic vector fields tangent to a real hypersurface in $\mathbb C^2$ vanishing at an infinite type point.

We prove the finiteness of leaps of modules of $m$-integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic.…

Hrushovski's generalization and application of [Jouanolou, "Hypersurfaces solutions d'une \'equation de Pfaff analytique", Mathematische Annalen, 232 (3):239--245, 1978] is here refined and extended to the partial differential setting with…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

In this article, we consider surfaces in the 3-dimensional Euclidean space E3 without parabolic points which are of finite II-type, that is, they are of finite type, in the sense of B.-Y. Chen, corresponding to the second fundamental form.…

The aim of this paper is to study the points and localising subcategories of the topos of $M$-sets, for a finite monoid $M$. We show that the points of this topos can be fully classified using the idempotents of $M$. We introduce a topology…

Motivated by some problems proposed by Cuadra and Simson related to flat objects in finitely accessible Grothendieck categories, we study flatness in the more general setting of finitely accessible additive categories. For such category…

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

We introduce the notion of ``finite general representation type'' for a finite-dimensional algebra, a property related to the ``dense orbit property'' introduced by Chindris-Kinser-Weyman. We use an interplay of geometric, combinatorial,…

In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as…

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

We study the holomorphic equivalence problem for finite type hypersurfaces in $\mathbb C^2$. We discover a geometric condition, which is sufficient for the existence of a natural convergent normal form for a finite type hypersurface. We…

We establish lower bounds on the ambient dimension for an intersection of hypersurfaces to have a dense collection of ``level $\ell$" points, in the sense introduced by Arnold-Shimura, given as a polynomial in the numbers of hypersurfaces…

It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a…