相关论文: One dimensional structures in o-minimal theories

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…

The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A…

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

We describe the moduli space G^r_d of triples consisting of a curve C, a line bundle L on C of degree d, and a linear system V on L of dimension r. This moduli space extends over a partial compactification {\tilde M_g} of M_g inside {\bar…

We analyze the local structure of the moduli space of semi-stable bundles on a curve. In particular, a complete description of the local structure is given in the rank 2 case. We obtain as a corollary of this analysis new results about the…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

In this paper we continue to explore the connection between tensor algebras and displacement structure. We focus on recursive orthonormalization and we develop an analogue of the Szego type theory of orthogonal polynomials in the unit…

We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…

We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union…

We prove a structure theorem for topologically conservative real skew product extensions of distal minimal compact metric $\Z$-flows. The main result states that every such extension can be represented by a perturbation of a Rokhlin skew…

It is shown that certain transformations on quiver-dimension vector pairs induce isomorphisms on the corresponding moduli spaces of quiver representations and map a stable dimension vector to a stable dimension vector. This result combined…

A growth mechanism for a perfect one-dimensional (1D) quasiperiodic structure is presented with a local covering rule. We use rectangular tiles with two different types of string decorations. The string position in a tile is allowed to move…

This paper began as a generalization of a part of the author's PhD thesis about ACFA and ended up with a characterization of groups definable in T_A. The thesis concerns minimal formulae in ACFA of the form "p lies on an algebraic curve A…

The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable…

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a…

We use bicombings on arcwise connected metric spaces to give definitions of convex sets and extremal points. These notions coincide with the customary ones in the classes of normed vector spaces and geodesic metric spaces which are convex…

Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is…

Piecewise-linear maps describe dynamical phenomena that switch between distinct states and readily generate complex bifurcation structures due to their strong nonlinearity. We show that two-dimensional continuous piecewise-linear maps near…

It will be shown that according to theorems of K. Menger, every neuron grid if identified with a curve is able to preserve the adopted qualitative structure of a data space. Furthermore, if this identification is made, the neuron grid…

This work is motivated by two central questions in the birational geometry of moduli spaces of curves -- Fulton's conjecture and the effective cone of $\bar M_g$. We study the algebro-geometric aspect of Teichmuller curves parameterizing…