The action on the trace space induced by a generic automorphism of a suitable finite classifiable ${\mathrm {C}^*}$ -algebra is shown to be chaotic and weakly mixing. Model ${\mathrm {C}^*}$ -algebras are constructed to observe the central limit theorem and other statistical features of strongly chaotic tracial actions. Genericity of finite Rokhlin dimension is used to describe $KK$ -contractible stably projectionless ${\mathrm {C}^*}$ -algebras as crossed products.

The existence of Ulrich modules for (complete) local domains has been a difficult and elusive open question. For over thirty years, it was unknown whether complete local domains always have Ulrich modules. In this paper, we answer the question of existence for both Ulrich modules and weakly lim Ulrich sequences – a weaker notion recently introduced by Ma – in the negative. We construct many local domains in all dimensions $d \geq 2$ that do not have any Ulrich modules. Moreover, we show that when $d = 2$, these local domains do not have weakly lim Ulrich sequences.

For a category $\mathcal {E}$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal {E}$ , generalising the Kan–Quillen model structure on simplicial sets. We then prove that the effective model structure is left and right proper and satisfies descent in the sense of Rezk. As a consequence, we obtain that the associated $\infty $ -category has finite limits, colimits satisfying descent, and is locally Cartesian closed when $\mathcal {E}$ is but is not a higher topos in general. We also characterise the $\infty $ -category presented by the effective model structure, showing that it is the full sub-category of presheaves on $\mathcal {E}$ spanned by Kan complexes in $\mathcal {E}$ , a result that suggests a close analogy with the theory of exact completions.

In [4], Brown proved that the I-function of a toric fibration lies on the overruled Lagrangian cone of its $g=0$ Gromov–Witten theory, introduced by Coates and Givental [8]. In this paper, we prove the theorem for partial flag-variety fibrations. To do so, we construct new moduli spaces generalising the idea of Ciocan-Fontanine, Kim and Maulik [7].

We extend Poincaré duality in étale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.

Given a sequence $\boldsymbol {k} := (k_1,\ldots ,k_s)$ of natural numbers and a graph G, let $F(G;\boldsymbol {k})$ denote the number of colourings of the edges of G with colours $1,\dots ,s$ , such that, for every $c \in \{1,\dots ,s\}$ , the edges of colour c contain no clique of order $k_c$ . Write $F(n;\boldsymbol {k})$ to denote the maximum of $F(G;\boldsymbol {k})$ over all graphs G on n vertices. This problem was first considered by Erdős and Rothschild in 1974, but it has been solved only for a very small number of nontrivial cases. In previous work with Pikhurko and Yilma, (Math. Proc. Cambridge Phil. Soc. 163 (2017), 341–356), we constructed a finite optimisation problem whose maximum is equal to the limit of $\log _2 F(n;\boldsymbol {k})/{n\choose 2}$ as n tends to infinity and proved a stability theorem for complete multipartite graphs G.

In this paper, we provide a sufficient condition on $\boldsymbol {k}$ which guarantees a general stability theorem for any graph G, describing the asymptotic structure of G on n vertices with $F(G;\boldsymbol {k}) = F(n;\boldsymbol {k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem. We apply our theorem to systematically recover existing stability results as well as all cases with $s=2$ . The proof uses a version of symmetrisation on edge-coloured weighted multigraphs.

We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrisable matrix has a geometric realisation by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.

We study reductive subgroups H of a reductive linear algebraic group G – possibly nonconnected – such that H contains a regular unipotent element of G. We show that under suitable hypotheses, such subgroups are G-irreducible in the sense of Serre. This generalises results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.

We prove that any element in a sufficiently large transitive finite simple permutation group is a product of two derangements.

In the article [CEGS20b], we introduced various moduli stacks of two-dimensional tamely potentially Barsotti–Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil–Kisin modules with descent data. We study the irreducible components of these stacks, establishing, in particular, that the components of the former are naturally indexed by certain Serre weights.

Spaces of power series solutions $y(\mathrm {t})$ in one variable $\mathrm {t}$ of systems of polynomial, algebraic, analytic or formal equations $f(\mathrm {t},\mathrm {y})=0$ can be viewed as ‘infinite-dimensional’ varieties over the ground field $\mathbf {k}$ as well as ‘finite-dimensional’ schemes over the power series ring $\mathbf {k}[[\mathrm {t}]]$ . We propose to call these solution spaces arquile varieties, as an enhancement of the concept of arc spaces. It will be proven that arquile varieties admit a natural stratification ${\mathcal Y}=\bigsqcup {\mathcal Y}_d$ , $d\in {\mathbb N}$ , such that each stratum ${\mathcal Y}_d$ is isomorphic to a Cartesian product ${\mathcal Z}_d\times \mathbb A^{\infty }_{\mathbf {k}}$ of a finite-dimensional, possibly singular variety ${\mathcal Z}_d$ over $\mathbf {k}$ with an affine space $\mathbb A^{\infty }_{\mathbf {k}}$ of infinite dimension. This shows that the singularities of the solution space of $f(\mathrm {t},\mathrm {y})=0$ are confined, up to the stratification, to the finite-dimensional part.

Our results are established simultaneously for algebraic, convergent and formal power series, as well as convergent power series with prescribed radius of convergence. The key technical tool is a linearisation theorem, already used implicitly by Greenberg and Artin, showing that analytic maps between power series spaces can be essentially linearised by automorphisms of the source space.

Instead of stratifying arquile varieties, one may alternatively consider formal neighbourhoods of their regular points and reprove with similar methods the Grinberg–Kazhdan–Drinfeld factorisation theorem for arc spaces in the classical setting and in the more general setting.

We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ \epsilon } < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on two values for $ p = o ( (\log (n)/n)^{2/3} )$. The extent of concentration of the independence number of $ G_{n,p}$ for $ \omega (1/n) < p \le n^{-2/3}$ remains an interesting open question.

We give an extension of Lê’s stochastic sewing lemma. The stochastic sewing lemma proves convergence in $L_m$ of Riemann type sums $\sum _{[s,t] \in \pi } A_{s,t}$ for an adapted two-parameter stochastic process A, under certain conditions on the moments of $A_{s,t}$ and of conditional expectations of $A_{s,t}$ given $\mathcal F_s$. Our extension replaces the conditional expectation given $\mathcal F_s$ by that given $\mathcal F_v$ for $v<s$, and it allows to make use of asymptotic decorrelation properties between $A_{s,t}$ and $\mathcal F_v$ by including a singularity in $(s-v)$. We provide three applications for which Lê’s stochastic sewing lemma seems to be insufficient. The first is to prove the convergence of Itô or Stratonovich approximations of stochastic integrals along fractional Brownian motions under low regularity assumptions. The second is to obtain new representations of local times of fractional Brownian motions via discretization. The third is to improve a regularity assumption on the diffusion coefficient of a stochastic differential equation driven by a fractional Brownian motion for pathwise uniqueness and strong existence.

We start by recalling the following theorem of Rohrlich [17]. To state it, let $\unicode[STIX]{x1D714}_{\mathfrak{z}}$ denote half of the size of the stabilizer $\unicode[STIX]{x1D6E4}_{\mathfrak{z}}$ of $\mathfrak{z}\in \mathbb{H}$ in $\text{SL}_{2}(\mathbb{Z})$ and for a meromorphic function $f:\mathbb{H}\rightarrow \mathbb{C}$ let $\text{ord}_{\mathfrak{z}}(f)$ be the order of vanishing of $f$ at $\mathfrak{z}$. Moreover, define $\unicode[STIX]{x1D6E5}(z):=q\prod _{n\geqslant 1}(1-q^{n})^{24}$, where $q:=e^{2\unicode[STIX]{x1D70B}iz}$, and set $\unicode[STIX]{x1D55B}(z):=\frac{1}{6}\log (y^{6}|\unicode[STIX]{x1D6E5}(z)|)+1$, where $z=x+iy$. Rohrlich’s theorem may be stated in terms of the Petersson inner product, denoted by $\langle ~,\,\rangle$.

The complex field, equipped with the multivalued functions of raising to each complex power, is quasiminimal, proving a conjecture of Zilber and providing evidence towards his stronger conjecture that the complex exponential field is quasiminimal.

For any subfield $K\subseteq \mathbb{C}$, not contained in an imaginary quadratic extension of $\mathbb{Q}$, we construct conjugate varieties whose algebras of $K$-rational ($p,p$)-classes are not isomorphic. This compares to the Hodge conjecture which predicts isomorphisms when $K$ is contained in an imaginary quadratic extension of $\mathbb{Q}$; additionally, it shows that the complex Hodge structure on the complex cohomology algebra is not invariant under the Aut($\mathbb{C}$)-action on varieties. In our proofs, we find simply connected conjugate varieties whose multilinear intersection forms on $H^{2}(-,\mathbb{R})$ are not (weakly) isomorphic. Using these, we detect nonhomeomorphic conjugate varieties for any fundamental group and in any birational equivalence class of dimension $\geq $10.

Given a resolution of rational singularities $\pi \colon {\tilde {X}} \to X$ over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor ${\mathbf {R}}\pi _*\colon {\mathbf {D}}^{\mathrm {b}}({\tilde {X}}) \to {\mathbf {D}}^{\mathrm {b}}(X)$ between bounded derived categories of coherent sheaves generates ${\mathbf {D}}^{\mathrm {b}}(X)$ as a triangulated category. This gives a weak version of the Bondal–Orlov localization conjecture [BO02], answering a question from [PS21]. The same result is established more generally for proper (not necessarily birational) morphisms $\pi \colon {\tilde {X}} \to X$, with ${\tilde {X}}$ smooth, satisfying ${\mathbf {R}}\pi _*({\mathcal {O}}_{\tilde {X}}) = {\mathcal {O}}_X$.

In our previous paper, we gave a presentation of the torus-equivariant quantum K-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum K-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant K-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb {C})$.

The aim of this paper is to study supersoluble skew braces, a class of skew braces that encompasses all finite skew braces of square-free order. It turns out that finite supersoluble skew braces have Sylow towers and that in an arbitrary supersoluble skew brace B many relevant skew brace-theoretical properties are easier to identify: For example, a centrally nilpotent ideal of B is B-centrally nilpotent, a fact that simplifies the computational search for the Fitting ideal; also, B has finite multipermutational level if and only if $(B,+)$ is nilpotent.

Given a finite presentation of the structure skew brace $G(X,r)$ associated with a finite nondegenerate solution of the Yang–Baxter equation (YBE), there is an algorithm that decides if $G(X,r)$ is supersoluble or not. Moreover, supersoluble skew braces are examples of almost polycyclic skew braces, so they give rise to solutions of the YBE on which one can algorithmically work on.

Erdős [7] proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal {F}$ of (real or complex) analytic functions, such that $\big \{ f(x) \ : \ f \in \mathcal {F} \big \}$ is countable for every x. We strengthen Erdős’ result by proving that CH is equivalent to the existence of what we call sparse analytic systems of functions. We use such systems to construct, assuming CH, an equivalence relation $\sim $ on $\mathbb {R}$ such that any ‘analytic-anonymous’ attempt to predict the map $x \mapsto [x]_\sim $ must fail almost everywhere. This provides a consistently negative answer to a question of Bajpai-Velleman [2].