Related papers: Direct twisted Galois stratification
We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero…
We state a conjecture on how to construct affine pavings for cohomologically pure projective algebraic varieties, which admit an action of torus such that the fixed points and $1$-dimensional orbits are finite. Experiments on the affine…
The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…
Consider an equidimensional faithful conical action of an algebraic torus $T$ on an affine normal conical variety $X$ over an algebraically closed field of characteristic zero. Then there exists a finite normal subgroup $N$ of $T$ such that…
This announcement describes a probabilistic approach to cascades which, in addition to providing an entirely probabilistic proof of the Kahane-Peyri\`ere theorem for independent cascades, readily applies to general dependent cascades.…
General braided counterparts of classical Clifford algebras are introduced and investigated. Braided Clifford algebras are defined as Chevalley-Kahler deformations of the corresponding braided exterior algebras. Analogs of the spinor…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
We determine a primitive form for a universal unfolding of an affine cusp polynomial. Moreover, we prove that the resulting Frobenius manifold is isomorphic to the one constructed from the Gromov-Witten theory for an orbifold projective…
Let $F$ be a totally real number field and $A/F$ a principally polarized abelian variety with real multiplication by the ring of integers $\mathcal{O}$ of a totally real field. Assuming $A$ admits an $\mathcal{O}$-linear 3-isogeny over $F$,…
The Stratified Foundations are a restriction of naive set theory where the comprehension scheme is restricted to stratifiable propositions. It is known that this theory is consistent and that proofs strongly normalize in this theory.…
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…
This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…
We generalize imaginary Howe duality for KLR algebras of affine ADE types, developed in our previous paper, from balanced to arbitrary convex preorders. Under the assumption that the characteristic of the ground field is greater than some…
Approximate Bayesian computation (ABC) is a set of techniques for Bayesian inference when the likelihood is intractable but sampling from the model is possible. This work presents a simple yet effective ABC algorithm based on the…
We introduce the notion of twisted generalized complex submanifolds and describe an equivalent characterization in terms of Poisson-Dirac submanifolds. Our characterization recovers a result of Vaisman. An equivalent characterization is…
A twisting system is one of the major tools to study graded algebras, however, it is often difficult to construct a (non-algebraic) twisting system if a graded algebra is given by generators and relations. In this paper, we show that a…
A twist property is developed which imparts certain properties on the twisted group algebra. These include an involution * satisfying (xy)*=y*x* and an inner product satisfying <xy,z> = <x,zy*> and <xy,z>=<y,x*z>. Examples of twisted group…
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…
Let $k$ be a field and let $R$ be a countable dimensional prime von Neumann regular $k$-algebra. We show that $R$ is primitive, answering a special case of a question of Kaplansky.
Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists,…