Related papers: Direct twisted Galois stratification
We introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be…
When a reductive group acts on an algebraic variety, a linearized ample line bundle induces a stratification on the variety where the strata are ordered by the degrees of instability. In this paper, we study variation of stratifications…
We first elaborate on the theory of relative internality in stable theories, focusing on the notion of uniform relative internality (called collapse of the groupoid in an earlier work of the second author), and relating it to orthogonality,…
A DFA $\mathcal{A}$ is composite if there exist DFAs $\mathcal{A}_1,\dots,\mathcal{A}_t$ with $\mathcal{L}(\mathcal{A}) = \bigcap_{i=1}^{t} \mathcal{L}(\mathcal{A}_i)$ such that each $\mathcal{A}_i$ has strictly less states than the minimal…
We prove that the triviality of the Galois action on the suitably twisted odd-dimensional \'etale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field…
The automorphism groups of certain factorial complex affine threefolds admitting locally trivial actions of the additive group are determined. As a consequence new counterexamples to a generalized cancellation problem are obtained.
We introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a…
In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode. Our main result is that, under mild hypotheses on the primitive…
The authors' ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are ATR-definable…
The $\alpha$-induction of graded local conformal nets is studied. We show that inclusions of graded local conformal nets give rise to braided subfactors so that the $\alpha$-induction is still effective for graded local conformal nets. As…
Directed acyclic graphical models (DAGs) are often used to describe common structural properties in a family of probability distributions. This paper addresses the question of classifying DAGs up to an isomorphism. By considering Gaussian…
This is a revision of the paper that was previously entitled "Weighted Completion of Galois Groups and Some Conjectures of Deligne". Fix a prime number $\l$. We prove a conjecture stated by Ihara, which he attributes to Deligne, about the…
The Galois group of an infinite Galois extension has a natural topology, called the Krull topology, which has the important property of being profinite. It is impossible to talk about Galois representations, and hence the Langlands Program,…
Let $H$ be a finite-dimensional Hopf algebra. We study the behaviou r of primitive and maximal ideals in certain types of ring extensions determined by $H$. The main focus is on the class of faithfully flat Galois extensions, which includes…
Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division…
We establish a conjecture of Mumford characterizing rationally connected complex projective manifolds in several cases.
An infinite-dimensional Lie Algebra is proposed which includes, in its subalgebras and limits, most Lie Algebras routinely utilized in physics. It relies on the finite oscillator Lie group, and appears applicable to twisted noncommutative…
While fat-tailed densities commonly arise as posterior and marginal distributions in robust models and scale mixtures, they present challenges when Gaussian-based variational inference fails to capture tail decay accurately. We first…