Related papers: Presenting quotient locales
As shown by McMullen in 1983, the coefficients of the Ehrhart polynomial of a lattice polytope can be written as a weighted sum of facial volumes. The weights in such a local formula depend only on the outer normal cones of faces, but are…
We introduce a new way to implicitly represent swept volumes in 3D. We first implicitize the base volume and then apply the time-dependent rigid transformation to build an implicit representation of the swept volume. This way, we build a…
In this paper, we explain a simple and uniform construction of a smooth integral model associated to a quadratic, (anti)-hermitian, and (anti)-quaternionic hermitian lattice defined over an arbitrary local field. As one major application,…
In this short note we prove a formula for local heights on elliptic curves over number fields in terms of intersection theory on a regular model over the ring of integers.
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
By extending the method developed in our recent paper \cite{LM} we present the AQFT framework in terms of von Neumann algebras. In particular, this approach allows for a locally covariant categorical description of AQFT which moreover…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
We prove the local-global principle holds for the problem of representations of quadratic forms by quadratic forms, in codimension $\geq 7$. The proof uses the ergodic theory of $p$-adic groups, together with a fairly general observation on…
Consider the quotient $G/B$ of a simple matrix Lie group $G$ by a subgroup $B$ isomorphic to a direct product of some of $S^1$s and $S^3$s such that its adjoint representation can be extended over $G$. Then it naturally inherits a stable…
In this paper we derive some a priori estimates for a class of linear coagulation equations with particle fluxes towards large size particles. The derived estimates allow us to prove local well posedness for the considered equations. Some…
This paper proposes a method for computing the visible occluding contours of subdivision surfaces. The paper first introduces new theory for contour visibility of smooth surfaces. Necessary and sufficient conditions are introduced for when…
We investigate conditions that guarantee local indicability of groups that admit presentations with the homology of a circle, generalizing a result of J. Howie for two-relator presentations. We apply our results to investigate local…
We extend to Gaussian distributions a result providing smoothed analysis estimates for condition numbers given as relativized distances to illposedness. We also introduce a notion of local analysis meant to capture the behavior of these…
The framework of locally covariant quantum field theory is discussed, motivated in part using "ignorance principles". It is shown how theories can be represented by suitable functors, so that physical equivalence of theories may be…
Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups…
A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen…
In this paper we present a new approach to prove effective results in Diophantine approximation. We then use it to prove an effective theorem on the simultaneous approximation of two algebraic numbers satisfying an algebraic equation with…
Every topological space has a Kolmogorov quotient that is obtained by identifying topologically indistinguishable points, that is, points that are contained in exactly the same open sets. In this survey, we look at the relationship between…