相关论文: On stable Kim-forking and rosy theories

We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…

In the standard model, stabilization of a classically unstable cosmic string may occur through the quantum fluctuations of a heavy fermion doublet. We review numerical results from a semiclassical expansion in a reduced version of the…

For a regular ring R and an affine monoid M the homotheties of M act nilpotently on the Milnor unstable groups of R[M]. This strengthens the K_2 part of the main result of [G5] in two ways: the coefficient field of characteristic 0 is…

The theory of flows was used as a crucial tool in the recent proof by Margolis, Rhodes and Schilling that Krohn-Rhodes complexity is decidable. In this paper we begin a systematic study of aperiodic flows. We give the foundations of the…

For $E$ a presheaf of spectra on the category of smooth $k$-schemes satisfying Nisnevich excision, we prove that the canonical map from the algebraic singular complex of the theory $E$ with quasi-finite supports to the theory $E$ with…

We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that…

Let X be a smooth projective curve of genus $g\geq 2$ defined over an algebraically closed field k of characteristic $p>0$ and let $F:X\rightarrow X_{1}$ be the relative k-linear Frobenius map. We prove (Theorem 1.1) E is a stable bundle on…

We prove an equivalence between the Bryan--Steinberg theory of $\pi$-stable pairs on $Y = \mathcal{A}_{m-1} \times \mathbb{C}$ and the theory of quasimaps to $X = \mathrm{Hilb}(\mathcal{A}_{m-1})$, in the form of an equality of K-theoretic…

We give a new purely algebraic approach to odd unitary groups using odd form rings. Using these objects, we prove the stability theorems for odd unitary $K_1$-functor without using the corresponding result from linear $K$-theory under the…

The purpose of this paper is to formulate and study a common refinement of a version of Stark's conjecture and its $p$-adic analogue, in terms of Fontaine's $p$-adic period ring and $p$-adic Hodge theory. We construct period-ring-valued…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…

General relativity can be formulated as a SU(2) BF-theory with constraints, as has been shown, by Pleba\'nski. The cosmological constant term can be obtained from the constraint term, following from the consistency of the equations of…

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

We observe that the expansion in the basis of Schubert cycles for $H^*(G/B)$ of the class of a Richardson variety stable under a spherical Levi subgroup is described by a theorem of Brion. Using this observation, along with a combinatorial…

Let K/Q be a field extension of finite degree and let P(t) be a polynomial over Q that splits into linear factors over Q. We show that any smooth model of the affine variety defined by the equation N_{K/Q} (k) = P(t) satisfies the Hasse…

Nicaise--Ottem introduced the notion of (stably) rational polytopes and studied this using a combinatorial description of the motivic volume. In this framework, we ask whether being non-stably rational is preserved under inclusions. We…

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality…

When $H$ is a forest, the Gy\'arf\'as-Sumner conjecture implies that every graph $G$ with no induced subgraph isomorphic to $H$ and with bounded clique number has a stable set of linear size. We cannot prove that, but we prove that every…

We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…

Let X be a smooth projective curve of genus g>1 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable rank r vector bundles with fixed trivial determinant. The relative Frobenius…