Related papers: Intersection theory on non-archimedean analytic sp…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
In this paper, we deal with uniform spaces whose diagonal uniformity admits a basis consisting of equivalence relations. Such non-Archimedean uniform spaces are particularly interesting for applications in commutative ring theory, because…
We study the intersection ring of the space $\M(\alpha_1,...,\alpha_m)$ of polygons in $\R^3$. We find homology cycles dual to generators of this ring and prove a recursion relation in $m$ (the number of steps) for their intersection…
We present some long-range interaction models for phase coexistence which have recently appeared in the literature, recalling also their relation to classical interface and capillarity problems. In this note, the main focus will be on the…
We present a variety of refined conditions for $\sigma$ algebras $\mathcal{A}$ (on a set $X$), $\mathcal{F}, \mathcal{G}$ (on a set $U$) such that the distributivity equation…
We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are…
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…
Hodge theory is a beautiful synthesis of geometry, topology, and analysis, which has been developed in the setting of Riemannian manifolds. On the other hand, spaces of images, which are important in the mathematical foundations of vision…
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve.…
In this review we present some of the fundamental mathematical structures which permit to define noncommutative gauge field theories. In particular, we emphasize the theory of noncommutative connections, with the notions of curvatures and…
We survey commutative and non-commutative analogs of uniform algebras in the Archimedean settings and also offer some non-Archimedean examples. Constraints on the development of non-complex uniform algebras are also discussed.
In previous work of the authors and their collaborators (see Progress in Math, vol. 114, Birk\"auser, 1993) it was shown how the equivalence of several constructions of residue currents associated to complete intersection families of (germs…
A central problem in liaison theory is to decide whether every arithmetically Cohen-Macaulay subscheme of projective $n$-space can be linked by a finite number of arithmetically Gorenstein schemes to a complete intersection. We show that…
The matrix model of topological field theory for the moduli space of p-th spin curves is extended to the case of the Lie algebra of the orthogonal group. We derive a new duality relation for the expectation values of characteristic…
The theory uses methods and language of linear algebra to study nonlinear spaces. These techniques can be used particularly to describe analytic geometry of non-linear elliptic, hyperbolic, De Sitter and Anti de Sitter spaces. The main…
Concepts and techniques from the theory of G-structures of higher order are applied to the study of certain structures (volume forms, conformal structures, linear connections and projective structures) defined on a pseudo-Riemanniann…
We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality,…
We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…
The idea of a finite collection of closed sets having "strongly regular intersection" at a given point is crucial in variational analysis. We show that this central theoretical tool also has striking algorithmic consequences. Specifically,…
We present a formalism to explicitly construct non-Abelian gauge theories on noncommutative spaces (induced via a star product with aconstant Poisson tensor) from a consistency relation. This results in an expansion of the gauge parameter,…