相关论文: A Profinite Approach to Stable Pairs

We prove that the space of complex irreducible polynomials of degree $d$ in $n$ variables satisfies two forms of homological stability: first, its cohomology stabilizes as $d$ increases, and second, its compactly supported cohomology…

We classify projective symmetries of irreducible plane sextics with simple singularities which are stable under equivariant deformations. We also outline a connection between order~2 stable symmetries and maximal trigonal curves.

We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a…

The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…

Stable quotient spaces provide an alternative to stable maps for compactifying spaces of maps. When the target is projective space and the domain curve has genus 1, these are smooth proper Deligne-Mumford stacks. In this paper we study the…

In this article we consider log canonical pairs which are log-smooth. If the corresponding canonical bundle is pseudo-effective, then we show that any quotient of the orbifold cotangent bundle of the pair has a pseudo-effective determinant.…

We establish various certifying determinantal representation results for a polynomial that contains as a factor a prescribed multivariable polynomials that is strictly stable on a tube domain. The proofs use a Cayley transform in…

We study the Reaching Stable Marriage via Divorces (DivorceSM) problem of deciding, given a Stable Marriage instance and an initial matching $M$ , whether there exists a stable matching which is reachable from $M$ by divorce operations as…

A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by…

We introduce a new type of recurrence in the space of continuous and bounded functions. The property is easily verifiable, and can be considered for differential equations. This time, the existence and asymptotic stability of modulo…

We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…

A fast consistency prover is a consistent poly-time axiomatized theory that has short proofs of the finite consistency statements of any other poly-time axiomatized theory. Kraj\'\i\v{c}ek and Pudl\'ak proved that the existence of an…

The main result of this paper is the following theorem. Let q be a prime, A an elementary abelian group of order q^3. Suppose that A acts as a coprime group of automorphisms on a profinite group G in such a manner that C_G(a)' is periodic…

In this work we study the existence, uniqueness and polynomial stability of the pseudo almost periodic mild solutions of semi-linear diffusion equations with rough coefficients in certain interpolation spaces. First, we rewirte the…

Let U:=L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K_v) acts transitively…

We study the stable pair theory on toric surfaces and determine the virtual tangent space over the fixed point loci. Further, we present a program to compute the virtual Euler characteristic, illustrated by the case of the projective plane.…

We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov…

We construct a stable model structure on profinite symmetric spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for a new construction of homotopy fixed point spectra and of homotopy fixed…

In this paper we consider stable matchings subject to assignment constraints. These are matchings that require certain assigned pairs to be included, insist that some other assigned pairs are not, and, importantly, are stable. Our main…

A profinite group is index-stable if any two isomorphic open subgroups have the same index. Let $p$ be a prime, and let $G$ be a compact $p$-adic analytic group with associated $\mathbb{Q}_p$-Lie algebra $\mathcal{L}(G)$. We prove that $G$…