Related papers: CM-trivial structures without the canonical base p…

A unified construction of canonical $H^m$-nonconforming finite elements is developed for $n$-dimensional simplices for any $m, n \geq 1$. Consistency with the Morley-Wang-Xu elements [Math. Comp. 82 (2013), pp. 25-43] is maintained when $m…

A canonical basis in the sense of Lusztig is a basis of a free module over a ring of Laurent polynomials that is invariant under a certain semilinear involution and is obtained from a fixed "standard basis" through a triangular base change…

We show that a minimal surface of general type has a canonical symplectic structure (unique up to symplectomorphism) which is invariant for smooth deformation. We show that the symplectomorphism type is also invariant for deformations which…

By using unramified cohomology groups, we construct a full sequence of cohomological invariants for hermitian forms of any type (orthogonal, symplectic or unitary) that can be used to detect hyperbolicity. The base central simple algebras…

We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside…

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property…

This is a continuous work of our previous paper. In the previous work we showed a triviality of the torsors in the case where period domains are Hermitian symmetric and a non-triviality for one-example. In this paper we determine whether…

Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under…

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…

In this article an explicit method (relying on representation theory) to construct packings in Grassmannian space is presented. Infinite families of configurations having only one non-trivial set of principal angles are found using…

For simple theories with a strong version of amalgamation we obtain the canonical hyperdefinable group from the group configuration. This provides a generalization to simple theories of the group configuration theorem for stable theories.

We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative C*-algebras,…

In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…

A trivial formalization is given for the informal reasonings presented in a series of papers by Ya.D.Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

We compute the collection of CW-complexes in the model category of small categories constructed by Joyal and Tierney. More generally, if $X$ is a connected topological space, we show that the homotopy category of CW-complexes in…

We study complex solvmanifolds $\Gamma\backslash G$ with holomorphically trivial canonical bundle. We show that the trivializing section of this bundle can be either invariant or non-invariant by the action of $G$. First we characterize the…

Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family.…

We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $\omega$-groupoids. Most of the development is folklore, but for a few results the author is…

We investigate the properties of a specific quotient space construction, the "warped projection'" $\pi: W_\alpha \to D_\alpha$, over a smoothly contractible base. In a previous version of this work, it was claimed that this structure…