Related papers: Canonical quotients in model theory

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…

We give some background on uniform pro-p groups and the model theory of profinite NIP groups.

Using cyclotomic specializations of the equivariant $K$-theory with respect to a torus action we derive congruences for discrete invariants of exceptional objects in derived categories of coherent sheaves on a class of varieties that…

Let $N\geq 1$ be a non-square free integer and let $W_N$ be a non-trivial subgroup of the group of the Atkin-Lehner involutions of $X_0(N)$ such that the modular curve $X_0(N)/W_N$ has genus at least two. We determine all pairs $(N,W_N)$…

First we find effective bounds for the number of dominant rational maps $f:X \rightarrow Y$ between two fixed smooth projective varieties with ample canonical bundles. The bounds are of the type $\{A \cdot K_X^n\}^{\{B \cdot K_X^n\}^2}$,…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

This paper studies the canonical Chow quotient of a smooth projective variety by a reductive algebraic group. The main purpose is to give some topological interpretations and characterization of Chow quotient which have the advantage to be…

We investigate the algebras of invariants and the properties of the quotient morphism by an action of a finite group scheme in terms of stabilizers of points.

A moduli space of stable quotients of the rank n trivial sheaf on stable curves is introduced. Over nonsingular curves, the moduli space is Grothendieck's Quot scheme. Over nodal curves, a relative construction is made to keep the torsion…

We derive general conditions for the existence of stable scaling solutions for the evolution of noncanonical quintessence, with a Lagrangian of the form $\mathcal{L}(X,\phi)=X^{\alpha}-V(\phi)$, for power-law and exponential potentials when…

Motivated by the work of Liu, we study certain canonical quotients of $G_{\emptyset}^T(K)$ -- the Galois group of the maximal unramified extension of a global field $K$ that is split completely at a finite nonempty set of places in $T$ --…

The canonical tensor model (CTM) is a tensor model proposing a classically and quantum mechanically consistent model of gravity, formulated as a first-class constraint system with structural similarities to the ADM formalism of general…

Normalizing Flows are a promising new class of algorithms for unsupervised learning based on maximum likelihood optimization with change of variables. They offer to learn a factorized component representation for complex nonlinear data and,…

Let $C$ be a hyperelliptic curve of genus $g\ge 2$ over a discrete valuation field $K$ with perfect residue field. We study the minimal Weierstrass models of $C$. When there is more than one such model, we find interesting properties on the…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

We show canonicity and normalization for dependent type theory with a cumulative sequence of universes and a type of Boolean. The argument follows the usual notion of reducibility, going back to Godel's Dialectica interpretation and the…

We study certain symplectic quotients of n-fold products of complex projective m-space by the unitary group acting diagonally. After studying nonemptiness and smoothness these quotients we construct the action-angle variables, defined on an…

For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term.…

Watanabe's singular learning theory provides a framework for asymptotic analysis of Bayesian model selection for statistical models with singularities, where traditional statistical regularity assumptions fail. Learning coefficients, also…

We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…