Search

In this short paper, we derive an alternative proof for some known (van den Berg & Gilkey 2015) short-time asymptotics of the heat content in a compact full-dimensional submanifolds S with smooth boundary. This includes formulae like $$\begin{aligned} \int _{S} \exp (t\Delta ) (f \mathbb {1}_{S}) \,\mathrm {d}V= \int _S f \,\mathrm {d}V- \sqrt{\frac{t}{\pi }} \int _{\partial S} f \,\mathrm {d}A+ o(\sqrt{t}),\quad t \rightarrow 0^+, \end{aligned}$$ ∫ S exp ( t Δ ) ( f 1 S ) d V = ∫ S f d V - t π ∫ ∂ S f d A + o ( t ) , t → 0 + , and explicit expressions for similar expansions involving other powers of $$\sqrt{t}$$ t . By the same method, we also obtain short-time asymptotics of $$\int _S \exp (t^m\Delta ^m)(f \mathbb {1}_S)\,\mathrm {d}V$$ ∫ S exp ( t m Δ m ) ( f 1 S ) d V , $$m \in \mathbb N$$ m ∈ N , and more generally for one-parameter families of operators $$t \mapsto k(\sqrt{-t\Delta })$$ t ↦ k ( - t Δ ) defined by an even Schwartz function k.

It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group acting faithfully on a K3 surface is $3\,840$ and this group contains the Mathieu group $M\_{20}$ with index four. Kondo also showed that there is a unique K3 surface on which this group acts faithfully, which is the Kummer surface $\Km(E\_i\times E\_i)$. In this paper we describe two more K3 surfaces admitting a big finite automorphism group of order $1\,920$, both groups contains $M\_{20}$ as a subgroup of index 2. We show moreover that these two groups and the two K3 surfaces are unique. This result was shown independently by S. Brandhorst and K. Hashimoto in a forthcoming paper, with the aim of classifying all the finite groups acting faithfully on K3 surfaces with maximal symplectic part., 15 pages

The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $\gamma_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics., Comment: 14 pages. arXiv admin note: substantial text overlap with arXiv:2012.00341

We prove that the spaces $\operatorname{tot}\big(\Gamma(\Lambda^\bullet A^\vee \otimes_R\mathcal{T}_{\operatorname{poly}}^{\bullet}\big)$ and $\operatorname{tot}\big(\Gamma(\Lambda^\bullet A^\vee)\otimes_R\mathcal{D}_{\operatorname{poly}}^{\bullet}\big)$ associated with a Lie pair $(L,A)$ each carry an $L_\infty$ algebra structure canonical up to an $L_\infty$ isomorphism with the identity map as linear part. These two spaces serve, respectively, as replacements for the spaces of formal polyvector fields and formal polydifferential operators on the Lie pair $(L,A)$. Consequently, both $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{T}_{\operatorname{poly}}^{\bullet})$ and $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{D}_{\operatorname{poly}}^{\bullet})$ admit unique Gerstenhaber algebra structures. Our approach is based on homotopy transfer and the construction of a Fedosov dg Lie algebroid (i.e. a dg foliation on a Fedosov dg manifold)., Comment: [v2] 50 pages, paper was expanded; [v1] Paper arXiv:1605.09656v1 was expended and split into two papers. The first part is arXiv:1605.09656v2. The second part is the present paper. A new result addressing uniqueness of the constructed structures has been added

When the reduced twisted $C^*$-algebra $C^*_r(\mathcal{G}, c)$ of a non-principal groupoid $\mathcal{G}$ admits a Cartan subalgebra, Renault's work on Cartan subalgebras implies the existence of another groupoid description of $C^*_r(\mathcal{G}, c)$. In an earlier paper, joint with Reznikoff and Wright, we identified situations where such a Cartan subalgebra arises from a subgroupoid $\mathcal{S}$ of $\mathcal{G}$. In this paper, we study the relationship between the original groupoids $\mathcal{S}, \mathcal{G}$ and the Weyl groupoid and twist associated to the Cartan pair. We first identify the spectrum $\mathfrak{B}$ of the Cartan subalgebra $C^*_r(\mathcal{S}, c)$. We then show that the quotient groupoid $\mathcal{G}/\mathcal{S}$ acts on $\mathfrak{B}$, and that the corresponding action groupoid is exactly the Weyl groupoid of the Cartan pair. Lastly we show that, if the quotient map $\mathcal{G}\to\mathcal{G}/\mathcal{S}$ admits a continuous section, then the Weyl twist is also given by an explicit continuous $2$-cocycle on $\mathcal{G}/\mathcal{S} \ltimes \mathfrak{B}$., 32 pages

In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper

Slice Fueter-regular functions, originally called slice Dirac-regular functions, are generalized holomorphic functions defined over the octonion algebra $\mathbb{O}$, recently introduced by M. Jin, G. Ren and I. Sabadini. A function $f:\Omega_D\subset\mathbb{O}\to\mathbb{O}$ is called (quaternionic) slice Fueter-regular if, given any quaternionic subalgebra $\mathbb{H}_\mathbb{I}$ of $\mathbb{O}$ generated by a pair $\mathbb{I}=(I,J)$ of orthogonal imaginary units $I$ and $J$ ($\mathbb{H}_\mathbb{I}$ is a `quaternionic slice' of $\mathbb{O}$), the restriction of $f$ to $\Omega_D\cap\mathbb{H}_\mathbb{I}$ belongs to the kernel of the corresponding Cauchy-Riemann-Fueter operator $\frac{\partial}{\partial x_0}+I\frac{\partial}{\partial x_1}+J\frac{\partial}{\partial x_2}+(IJ)\frac{\partial}{\partial x_3}$. The goal of this paper is to show that slice Fueter-regular functions are standard (complex) slice functions, whose stem functions satisfy a Vekua system having exactly the same form of the one characterizing axially monogenic functions of degree zero. The mentioned standard sliceness of slice Fueter-regular functions is able to reveal their `holomorphic nature': slice Fueter-regular functions have Cauchy integral formulas, Taylor and Laurent series expansions, and a version of Maximum Modulus Principle, and each of these properties is global in the sense that it is true on genuine $8$-dimesional domains of $\mathbb{O}$. Slice Fueter-regular functions are real analytic. Furthermore, we introduce the global concepts of spherical Dirac operator $\Gamma$ and of slice Fueter operator $\bar{\vartheta}_F$ over octonions, which allow to characterize slice Fueter-regular functions as the $\mathscr{C}^2$-functions in the kernel of $\bar{\vartheta}_F$ satisfying a second order differential system associated with $\Gamma$. The paper contains eight open problems., Comment: 33 pages

In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum., Comment: This paper comes from the last section of arXiv:1905.10765v1 as an independent paper. Comments are welcome! To appear in manuscripta mathematica

The original definition of cluster algebras by Fomin and Zelevinsky has been categorified and generalised in several ways over the course of the past 20 years, giving rise to cluster theory. This study lead to Iyama and Yang's generalised cluster categories $\mathcal{T}/\mathcal{T}^{fd}$ coming from $n$-Calabi-Yau triples $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$. In this paper, we use some classic tools of homological algebra to give a deeper understanding of such categories $\mathcal{T}/\mathcal{T}^{fd}$. Let $k$ be a field, $n\geq 3$ an integer and $\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\mathcal{T}^{fd}$ and a subcategory $\mathcal{M}=\text{add}(M)$ such that $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$ is an $n$-Calabi-Yau triple. In this paper, we prove some properties of the triangulated categories $\mathcal{T}$ and $\mathcal{T}/\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\mathcal{T}$, showing when the truncation triangles split. Moreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\mathcal{T}/\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\mathcal{T}$ and over $\mathcal{T}/\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\mathcal{T}/\mathcal{T}^{fd}$ a generalisation of the cluster category., Comment: 17 pages. Final accepted version to appear in the Pacific Journal of Mathematics

Preprint de J. Araújo, W. Bentz, and P.J. Cameron, “Primitive Permutation Groups and Strongly Factorizable Transformation Semigroups”, Journal of Algebra 565 (2021), 513-530. Let Ω be a finite set and T (Ω) be the full transformation monoid on Ω. The rank of a transformation t ∈ T (Ω) is the natural number |Ωt|. Given A ⊆ T (Ω), denote by 〈A〉 the semigroup generated by A. Let k be a fixed natural number such that 2 ≤ k ≤ |Ω|. In the first part of this paper we (almost) classify the permutation groups G on Ω such that for all rank k transformations t ∈ T (Ω), every element in St := 〈G, t〉 can be written as a product eg, where e2 = e ∈ St and g ∈ G. In the second part we prove, among other results, that if S ≤ T (Ω) and G is the normalizer of S in the symmetric group on Ω, then the semigroup SG is regular if and only if S is regular. (Recall that a semigroup S is regular if for all s ∈ S there exists s′ ∈ S such that s = ss′s.) The paper ends with a list of problems. The first author was partially supported by the Funda ̧c ̃ao para a Ciˆencia e a Tecnologia (Portuguese Foundation for Science and Technology) through the projects UIDB/00297/2020 (Centro de Matemtica e Aplicaes), PTDC/MAT-PUR/31174/2017, UIDB/04621/2020 and UIDP/04621/2020. info:eu-repo/semantics/publishedVersion

We study the random geometry of first passage percolation on the complete graph equipped with independent and identically distributed edge weights, continuing the program initiated by Bhamidi and van der Hofstad [6]. We describe our results in terms of a sequence of parameters $(s_n)_{n\geq 1}$ that quantifies the extreme-value behavior of small weights, and that describes different universality classes for first passage percolation on the complete graph. We consider both $n$-independent as well as $n$-dependent edge weights. The simplest example consists of edge weights of the form $E^{s_n}$, where $E$ is an exponential random variable with mean 1. In this paper, we focus on the case where $s_n\rightarrow \infty$ with $s_n=o(n^{1/3})$. Under mild regularity conditions, we identify the scaling limit of the weight of the smallest-weight path between two uniform vertices, and we prove that the number of edges in this path obeys a central limit theorem with asymptotic mean $s_n\log{(n/s_n^3)}$ and variance $s_n^2\log{(n/s_n^3)}$. This settles a conjecture of Bhamidi and van der Hofstad [6]. The proof relies on a decomposition of the smallest-weight tree into an initial part following invasion percolation dynamics, and a main part following branching process dynamics. The initial part has been studied in [14]; the current article focuses on the global branching dynamics., Comment: This paper is the second in a series of two papers on `Long paths in first passage percolation on the complete graph'. We have update the archive reference to the first paper

In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders (Chan and Ingalls in Invent Math 161(2):427–452, 2005). These were classified independently by Artin (in terms of ramification data) and Reiten–Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $$G \subset {{{\,\mathrm{GL}\,}}_2}$$ , explicitly computing $$H^2(G,k^*)$$ , and then matching these up with Artin’s list of ramification data and Reiten–Van den Bergh’s AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in Chan et al. (Proc Lond Math Soc (3) 98(1):83–115, 2009) to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $$B = k_{\zeta } \llbracket x,y \rrbracket $$ be the skew power series ring where $$\zeta $$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $$A = B/(f)$$ where $$f \in Z(B)$$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.

Let g be an arbitrary Jordan loop and let G denote the space of rectangles R which are inscribed in g in such a way that the cyclic order of the vertices of R is the same whether it is induced by R or by g. We prove that G contains a connected set S satisfying one of three properties: 1. S consists of rectangles of uniformly large area, including a square, and every point of g is the vertex of a rectangle in S. 2. S consists of rectangles having all possible aspect ratios, and all but at most 4 points of g are vertices of rectangles in S. 3. S contains rectangles of every sufficiently small diameter, and all but at most 2 points of g are vertices of rectangles in S., Comment: 32 pages. This paper is a revision of the first version, inspired in part by comments from an anonymous referee. The current version of the paper will probably appear in Geometriae Dedicata

If $G$ is a group, a virtual retract of $G$ is a subgroup which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts, and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns., 30 pages, 1 figure. v3: added Lemma 5.8 and made minor corrections following referee's comments. This version of the paper has been accepted for publication

In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds., Comment: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

Let $f\in\mathbb{Z}[T]$ be any polynomial of degree $d>1$ and $F\in\mathbb{Z}[X_{0},...,X_{n}]$ an irreducible homogeneous polynomial of degree $e>1$ such that the projective hypersurface $V(F)$ is smooth. In this paper we give a bound for \[ N(f,F,B):=|\{\textbf{x}\in\mathbb{Z}^{n+1}:\max_{0\leq i\leq n}|x_{i}|\leq B,\exists t\in\mathbb{Z}\text{ such that }f(t)=F(\textbf{x})\}|, \] To do this, we introduce a generalization of the Heath-Brown and Munshi's power sieve and we extend two results by Deligne and Katz on estimates for additive and multiplicative characters in many variables., Theorem 1 has been improved. The paper has been reorganized to improve the exposition

The generalized double semion (GDS) model, introduced by Freedman and Hastings, is a lattice system similar to the toric code, with a gapped Hamiltonian whose definition depends on a triangulation of the ambient manifold $M$, but whose space of ground states does not depend on the triangulation, but only on the underlying manifold. In this paper, we use topological quantum field theory (TQFT) to investigate the low-energy limit of the GDS model. We define and study a functorial TQFT $Z_{\mathrm{GDS}}$ in every dimension $n$ such that for every closed $(n - 1)$-manifold $M$, $Z_{\mathrm{GDS}}(M)$ is isomorphic to the space of ground states of the GDS model on $M$; the isomorphism can be chosen to intertwine the actions of the mapping class group of $M$ that arise on both sides. Throughout this paper, we compare our constructions and results with their known analogues for the toric code.

The main aim of this paper is to characterize ideals I in the power series ring R=K[[x1,...,xs]] that are finitely determined up to contact equivalence by proving that this is the case if and only if I is an isolated complete intersection singularity, provided dim(R/I) > 0 and K is an infinite field (of arbitrary characteristic). Here two ideals I and J are contact equivalent if the local K-algebras R/I and R/J are isomorphic. If I is minimally generated by a1,...,am, we call I finitely contact determined if it is contact equivalent to any ideal J that can be generated by b1,...,bm with ai - bi in ^k for some integer k. We give also computable and semicontinuous determinacy bounds. The above result is proved by considering left-right equivalence on the ring M of m x n matrices A with entries in R and we show that the Fitting ideals of a finitely determined matrix in M have maximal height, a result of independent interest. The case of ideals is treated by considering 1-column matrices. Fitting ideals together with a special construction are used to prove the characterization of finite determinacy for ideals in R. Some results of this paper are known in characteristic 0, but they need new (and more sophisticated) arguments in positive characteristic partly because the tangent space to the orbit of the left-right group cannot be described in the classical way. In addition we point out several other oddities, including the concept of specialization for power series, where the classical approach (due to Krull) does not work anymore. We include some open problems and a conjecture., Comment: References updated, clearer formulation of some statements. To appear in Journal of Algebra

A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the classification of $G$-Hilbert-Speiser fields is far from complete. In this paper, we present new results on so-called $G$-Leopoldt fields. In their definition, NIB is replaced by ``weak NIB'' (defined below). Most of our results are negative, in the sense that they strongly limit the class of $G$-Leopoldt fields for some particular groups $G$, sometimes even leading to an exhaustive list of such fields or at least to a finiteness result. In particular we are able to correct a small oversight in a recent article by Ichimura concerning Hilbert-Speiser fields., 16 pages. Same version as the published paper

Prime end boundaries $\partial_P\Omega$ of domains $\Omega$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincar\'e inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $\partial_P\Omega$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $\partial_{SP}\Omega$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $\partial_P\Omega\setminus\partial_{SP}\Omega$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples., Comment: 23 pages, 3 figures

For any symplectic manifold $${(M,\omega )}$$ , the set of Hamiltonian diffeomorphisms $${{\text {Ham}}^c(M,\omega )}$$ forms a group and $${{\text {Ham}}^c(M,\omega )}$$ contains an important subset $${{\text {Aut}}(M,\omega )}$$ which consists of time one flows of autonomous(time-independent) Hamiltonian vector fields on M. One might expect that $${{\text {Aut}}(M,\omega )}$$ is a very small subset of $${{\text {Ham}}^c(M,\omega )}$$ . In this paper, we estimate the size of the subset $${{\text {Aut}}(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric which was introduced by Hofer. Polterovich and Shelukhin proved that the complement $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed symplectically aspherical manifold where Conley conjecture is established (Polterovich and Schelukhin in Sel Math 22(1):227–296, 2016). In this paper, we generalize above theorem to general closed symplectic manifolds and general conv! ex symplectic manifolds. So, we prove that the set of all non-autonomous Hamiltonian diffeomorphisms $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed or convex symplectic manifold without relying on the solution of Conley conjecture.

A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if $G$ is a finite group and every proper quotient of $G$ is cyclic, then for any pair of nontrivial elements $x_1,x_2 \in G$, there exists $y \in G$ such that $G = \langle x_1, y \rangle = \langle x_2, y \rangle$. In other words, $s(G) \geqslant 2$, where $s(G)$ is the spread of $G$. Moreover, if $u(G)$ denotes the more restrictive uniform spread of $G$, then we can completely characterise the finite groups $G$ with $u(G) = 0$ and $u(G)=1$. To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups whose socles are exceptional groups of Lie type and this is the case we treat in this paper., 48 pages; to appear in Annals of Mathematics

Inspired by the recent works of Srivastava et al. (2010), Frasin and Aouf (2011), and Caglar et al. (2013), we introduce and investigate in the present paper two new general subclasses of the class consisting of normalized analytic and bi-univalent functions in the open unit disk U. For functions belonging to these general subclasses introduced here, we obtain estimates on the Taylor-Maclaurin coefficients |a_2| and |a_3|. Several connections to some of the earlier known results are also pointed out. The results presented in this paper would generalize and improve those in related works of several earlier authors., Comment: arXiv admin note: text overlap with arXiv:1204.4285, arXiv:1303.2527 by other authors

A deformed Donaldson-Thomas connection for a manifold with a ${\rm Spin}(7)$-structure, which we call a ${\rm Spin}(7)$-dDT connection, is a Hermitian connection on a Hermitian line bundle $L$ over a manifold with a ${\rm Spin}(7)$-structure defined by fully nonlinear PDEs. It was first introduced by Lee and Leung as a mirror object of a Cayley cycle obtained by the real Fourier-Mukai transform and its alternative definition was suggested in our other paper. As the name indicates, a ${\rm Spin}(7)$-dDT connection can also be considered as an analogue of a Donaldson-Thomas connection (${\rm Spin}(7)$-instanton). In this paper, using our definition, we show that the moduli space $\mathcal{M}_{{\rm Spin}(7)}$ of ${\rm Spin}(7)$-dDT connections has similar properties to these objects. That is, we show the following for an open subset $\mathcal{M}'_{{\rm Spin}(7)} \subset \mathcal{M}_{{\rm Spin}(7)}$. (1) Deformations of elements of $\mathcal{M}'_{{\rm Spin}(7)}$ are controlled by a subcomplex of the canonical complex introduced by Reyes Carri\'on by introducing a new ${\rm Spin}(7)$-structure from the initial ${\rm Spin}(7)$-structure and a ${\rm Spin}(7)$-dDT connection. (2) The expected dimension of $\mathcal{M}'_{{\rm Spin}(7)}$ is finite. It is $b^1$, the first Betti number of the base manifold, if the initial ${\rm Spin}(7)$-structure is torsion-free. (3) Under some mild assumptions, $\mathcal{M}'_{{\rm Spin}(7)}$ is smooth if we perturb the initial ${\rm Spin}(7)$-structure generically. (4) The space $\mathcal{M}'_{{\rm Spin}(7)}$ admits a canonical orientation if all deformations are unobstructed., Comment: 51 pages, v2: minor corrections, final version. arXiv admin note: text overlap with arXiv:2004.00532

We construct an $S_2\times S_n$ invariant full exceptional collection on Hassett spaces of weighted stable rational curves with $n+2$ markings and weights $(\frac{1}{2}+\eta, \frac{1}{2}+\eta,\epsilon,\ldots,\epsilon)$, for $0, Comment: At the request of the referee, the paper arXiv:1708.06340 has been split into two parts. This is the second of those papers (submitted). 36 pages

Consider a bounded strongly pseudo-convex domain $\Omega $ with a smooth boundary in $\mathbb{C}^n$. Let $\mathcal{T}$ be the Toeplitz algebra on the Bergman space $L^2_a(\Omega )$. That is, $\mathcal{T}$ is the $C^\ast $-algebra generated by the Toeplitz operators $\{T_f : f \in L^\infty (\Omega )\}$. Extending previous work in the special case of the unit ball, we show that on any such $\Omega $, $\mathcal{T}$ and $\{T_f : f \in {\text{VO}}_{\text{bdd}}\} + \mathcal{K}$ are essential commutants of each other. On a general $\Omega $ considered in this paper, the proofs require many new ideas and techniques. These same techniques also enable us to show that for $A \in \mathcal{T}$, if $\langle Ak_z,k_z\rangle \rightarrow 0$ as $z \rightarrow \partial \Omega $, then $A$ is a compact operator., Comment: 60 pages; This version of the paper contains the technical details that were omitted in the published version, J. Funct. Anal. 280 (2021), no.1, 108775

Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $\theta$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $\theta$. In this series of papers, we classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $\theta$-twisted $V_{L}$-module. In this paper (Part 1), we show that when the rank of $L$ is $1$, every non-zero weak $V_{L}^{+}$-module contains a non-zero $M(1)^{+}$-module, where $M(1)^{+}$ is the fixed point subalgebra of the Heisenberg vertex operator algebra $M(1)$ under the action of $\theta$., Comment: 29 pages. To appear in Journal of Algebra. We divide the article arXiv:1910.07126 into 3 parts for publication. This is the first part

This paper presents a systematic study for abstract harmonic analysis on classical Banach spaces of covariant functions of characters of compact subgroups. Let G be a locally compact group and H be a compact subgroup of G. Suppose that $$\xi :H\rightarrow \mathbb {T}$$ ξ : H → T is a character, $$1\le p 1 ≤ p < ∞ and $$L_\xi ^p(G,H)$$ L ξ p ( G , H ) is the set of all covariant functions of $$\xi$$ ξ in $$L^p(G)$$ L p ( G ) . It is shown that $$L^p_\xi (G,H)$$ L ξ p ( G , H ) is isometrically isomorphic to a quotient space of $$L^p(G)$$ L p ( G ) . It is also proven that $$L^q_\xi (G,H)$$ L ξ q ( G , H ) is isometrically isomorphic to the dual space $$L^p_\xi (G,H)^*$$ L ξ p ( G , H ) ∗ , where q is the conjugate exponent of p. The paper is concluded by some results for the case that G is compact.

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman's "potential theoretic" method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to slightly generalise Lutz and Stull's theorems: the versions in this paper apply to orthogonal projections to $m$-planes in $\mathbb{R}^{n}$, for all $0 < m < n$., 11 pages. v2: Incorporated referee suggestions

In this paper, we discuss relationships between the continuous embeddings of Dirichlet spaces $(\mathcal{F}, \mathcal{E}_1)$ into Lebesgue spaces and the integrability of the associated resolvent kernel $r_\alpha(x, y)$. For a positive measure $\mu$, we consider the following two properties; the first one is that the Dirichlet space $(\mathcal{F}, \mathcal{E}_1)$ is continuously embedded into $L^{2p}(E;\mu)$ (which we write as (Sob)$_p$), and the second one is that the family of 1-order resolvent kernels $\{r_1(x, y)\}_{x\in E}$ is uniformly $p$-th integrable in $y$ with respect to the measure $\mu$ (which we write as (Dyn)$_p$). Under some assumptions, for a measure $\mu$ satisfying (Dyn)$_1$, we prove (Dyn)$_{p'}$ implies (Sob)$_p$ for $1\leq p \leq p', Comment: 22 pages; title of paper changed, to appear in Journal of Functional Analysis

In this paper, we study large $m$ asymptotics of the $l^1$ minimal $m$-partition problem for Dirichlet eigenvalue. For any smooth domain $\Omega\in \mathbb{R}^n$ such that $|\Omega|=1$, we prove that the limit $\lim\limits_{m\rightarrow\infty}l_m^1(\Omega)=c_0$ exists, and the constant $c_0$ is independent of the shape of $\Omega$. Here $l_m^1(\Omega)$ denotes the minimal value of the normalized sum of the first Laplacian eigenvalues for any $m$-partition of $\Omega$., Comment: This paper has been accepted for publication in SCIENCE CHINA Mathematics

We use hypergeometric sheaves on $G_m/F_q$, which are particular sorts of rigid local systems, to construct explicit local systems whose arithmetic and geometric monodromy groups are the finite general linear groups $GL_n(q)$ for any $n \ge 2$ and and any prime power $q$, so long as $q > 3$ when $n=2$. This paper continues a program of finding simple (in the sense of simple to remember) families of exponential sums whose monodromy groups are certain finite groups of Lie type, cf. [Gr], [KT1], [KT2], [KT3] for (certain) finite symplectic and unitary groups, or certain sporadic groups, cf. [KRL], [KRLT1], [KRLT2], [KRLT3]. The novelty of this paper is obtaining $GL_n(q)$ in this hypergeometric way. A pullback construction then yields local systems on $A^1/F_q$ whose geometric monodromy groups are $SL_n(q)$. These turn out to recover a construction of Abhyankar., 26 pages

For a partition $\lambda$ of $n \in {\mathbb N}$, let $I^{\rm Sp}_\lambda$ be the ideal of $R=K[x_1,\ldots,x_n]$ generated by all Specht polynomials of shape $\lambda$. In the previous paper, the second author showed that if $R/I^{\rm Sp}_\lambda$ is Cohen-Macaulay, then $\lambda$ is either $(n-d,1,\ldots,1),(n-d,d)$, or $(d,d,1)$, and the converse is true if ${\rm char}(K)=0$. In this paper, we compute the Hilbert series of $R/I^{\rm Sp}_\lambda$ for $\lambda=(n-d,d)$ or $(d,d,1)$. Hence, we get the Castelnuovo-Mumford regularity of $R/I^{\rm Sp}_\lambda$, when it is Cohen-Macaulay. In particular, $I^{\rm Sp}_{(d,d,1)}$ has a $(d+2)$-linear resolution in the Cohen-Macaulay case., Comment: 12 pages. To appear in J.Algebra

In the paper we compute the virtual dimension (defined by the Hilbert polynomial) of a space of hypersurfaces of given degree containing $s$ codimension 2 general linear subspaces in $\mathbb{P}^n$. We use Veneroni maps to find a family of unexpected hypersurfaces (in the style of B. Harbourne, J. Migliore, U. Nagel, Z. Teitler) and rigorously prove and extend examples presented in the paper by B. Harbourne, J. Migliore and H. Tutaj-Gasi\'nska., Comment: notation change (missing expected hyp. instead of negative unexpected hyp.); stylistic changes; completed references

This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach, and he also conjectured an upper bound for general graphs. His conjectured bound was recently proved by Sah et al. (2019), using different techniques not involving information theory. The main contribution of this work is the extension of Kahn's information-theoretic proof technique to handle irregular bipartite graphs. In particular, when the bipartite graph is regular on one side, but it may be irregular in the other, the extended entropy-based proof technique yields the same bound that was conjectured by Kahn (2001) and proved by Sah et al. (2019)., Comment: This work in published in Entropy, vol. 23, no. 3, paper 270, pp. 1-14, March 2021. See: https://www.mdpi.com/1099-4300/23/3/270

In this paper, using computations done through the LiE software, we compare the tensor product of irreducible selfdual representations of the special linear group with those of classical groups to formulate some conjectures relating the two. In the process a few other phenomenon present themselves which we record as questions. More precisely, under the natural correspondence of irreducible finite dimensional selfdual representations of ${\rm SL}_{2n}({\mathbb C})$ with those of ${\rm Spin}_{2n+1}({\mathbb C})$, it is easy to see that if the tensor product of three irreducible representations of ${\rm Spin}_{2n+1}({\rm C})$ contains the trivial representation, then so does the tensor product of the corresponding representations of ${\rm SL}_{2n}({\rm C})$. The paper formulates a conjecture in the reverse direction. We also deal with the pair $({\rm SL}_{2n+1}({\rm C}), {\rm Sp}_{2n}({\rm C}))$., Comment: Revised version!

Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every $B$-invariant subgroup $H$ of $G.$ This definition allows us to prove a new noncoprime Hall-Higman type theorem. If $A$ is a nilpotent group acting on the finite solvable group $G$ with $C_G(A)=1$, a long standing conjecture states that $h(G)\leq \ell(A)$ where $h(G)$ is the Fitting height of $G$ and $\ell(A)$ is the number of primes dividing the order of $A$ counted with multiplicities. As an application of our result we prove the main theorem of this paper which states that the above conjecture is true if $A$ and $G$ have odd order, the action of $A$ on $G$ is good and some other fairly general conditions are satisfied., 13 pages

In this paper we prove a homological stability theorem for the diffeomorphism groups of high dimensional manifolds with boundary, with respect to forming the boundary connected sum with the product $D^{p+1}\times S^{q}$ for $|q - p| < \min\{p, q\} - 2$. In a recent joint paper with Boris Botvinnik (see arXiv:1509.03359 ), we identify the homology of $colim_{g\to \infty}BDiff((D^{n+1}\times S^{n})^{\natural g}, \; D^{2n})$ with that of the infinite loopspace $Q_{0}BO(2n+1)\langle n\rangle_{+}$, in the case that $n \geq 4$. Combining this "stable homology" calculation with this paper's homological stability theorem enables one to compute the (co)homology groups of $BDiff((D^{n+1}\times S^{n})^{\natural g}, D^{2n})$ in degrees $k \leq \tfrac{1}{2}(g - 4)$. This leads to the determination of the characteristic classes in degrees $k \leq \tfrac{1}{2}(g - 4)$ for all smooth fibre-bundles with fibre diffeomorphic to $(D^{n+1}\times S^{n})^{\natural g}$., 30 pages, streamlined some of the proofs and the exposition, mathematics is the same as the previous version

We consider a minimal equicontinuous action of a finitely generated group $G$ on a Cantor set $X$ with invariant probability measure $\mu$, and stabilizers of points for such an action. We give sufficient conditions under which there exists a subgroup $H$ of $G$ such that the set of points in $X$ whose stabilizers are conjugate to $H$ has full measure. The conditions are that the action is locally quasi-analytic and locally non-degenerate. An action is locally quasi-analytic if its elements have unique extensions on subsets of uniform diameter. The condition that the action is locally non-degenerate is introduced in this paper. We apply our results to study the properties of invariant random subgroups induced by minimal equicontinuous actions on Cantor sets and to certain almost one-to-one extensions of equicontinuous actions., Comment: The term `uniformly non-constant action' is changed to `locally non-degenerate action'; some edits to the paper made

A subset of a group invariably generates the group if it generates even when we replace the elements by any of their conjugates. In a 2016 paper, Pemantle, Peres and Rivin show that the probability that four randomly selected elements invariably generate $S_n$ is bounded away from zero by an absolute constant for all $n$. Subsequently, Eberhard, Ford and Green have shown that the probability that three randomly selected elements invariably generate $S_n$ tends to zero as $n \rightarrow \infty$. In this paper, we prove an analogous result for the finite classical groups. More precisely, let $G_r(q)$ be a finite classical group of rank $r$ over $\mathbb{F}_q$. We show that for $q$ large enough, the probability that four randomly selected elements invariably generate $G_r(q)$ is bounded away from zero by an absolute constant for all $r$, and for three elements the probability tends to zero as $q \rightarrow \infty$ and $r \rightarrow \infty$. We use the fact that most elements in $G_r(q)$ are separable and the well-known correspondence between classes of maximal tori containing separable elements in classical groups and conjugacy classes in their Weyl groups., 22 pages

The motivating question of this paper is roughly the following: given a group scheme $G$ over $\mathbb{Z}_p$, $p$ prime, with semisimple generic fiber $G_{\mathbb{Q}_p}$, how far are open subgroups of $G(\mathbb{Z}_p)$ from subgroups of the form $X(\mathbb{Z}_p)\mathbf{K}_p(p^n)$, where $X$ is a subgroup scheme of $G$ and $\mathbf{K}_p(p^n)$ is the principal congruence subgroup $\operatorname{Ker} (G(\mathbb{Z}_p)\rightarrow G(\mathbb{Z}/p^n\mathbb{Z}))$? More precisely, we will show that for $G_{\mathbb{Q}_p}$ simply connected there exist constants $J\ge1$ and $\varepsilon>0$, depending only on $G$, such that any open subgroup of $G (\mathbb{Z}_p)$ of level $p^n$ admits an open subgroup of index $\le J$ which is contained in $X(\mathbb{Z}_p)\mathbf{K}_p(p^{\lceil \varepsilon n\rceil})$ for some proper connected algebraic subgroup $X$ of $G$ defined over $\mathbb{Q}_p$. Moreover, if $G$ is defined over $\mathbb{Z}$, then $\varepsilon$ and $J$ can be taken independently of $p$. We also give a correspondence between natural classes of $\mathbb{Z}_p$-Lie subalgebras of $\mathfrak{g}_{\mathbb{Z}_p}$ and of closed subgroups of $G(\mathbb{Z}_p)$ that can be regarded as a variant over $\mathbb{Z}_p$ of Nori's results on the structure of finite subgroups of $\operatorname{GL}(N_0,\mathbb{F}_p)$ for large $p$. As an application we give a bound for the volume of the intersection of a conjugacy class in the group $G (\hat{\mathbb{Z}}) = \prod_p G (\mathbb{Z}_p)$, for $G$ defined over $\mathbb{Z}$, with an arbitrary open subgroup. In a future paper, this result will be applied to the limit multiplicity problem for arbitrary congruence subgroups of the arithmetic lattice $G (\mathbb{Z})$., fixed a few inaccuracies and made some stylistic changes to appear in JEMS

In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$ considered in the earlier paper of the authors. We explain that the pull-back on the stable part of the space $\overline{\mathcal{X}_2}$ intertwines with the natural homomorphism from the affine braid group $Br_n^{aff}$ to the finite braid group $Br_n$. This observation allows us derive a relation between the knot homology of the closure of $\beta\in Br_n$ and the knot homology of the closure of $\beta\cdot\delta$ where $\delta$ is a product of the JM elements in $Br_n$, Comment: Many typos are corrected, published version, to appear in Transformation Groups

In the paper "Pappus's theorem and the modular group", R. Schwartz constructed a 2-dimensional family of faithful representations $\rho_\Theta$ of the modular group $\mathrm{PSL}(2,\mathbb{Z})$ into the group $\mathscr{G}$ of projective symmetries of the projective plane via Pappus Theorem. The image of the unique index 2 subgroup $\mathrm{PSL}(2,\mathbb{Z})_o$ of $\mathrm{PSL}(2,\mathbb{Z})$ under each representation $\rho_\Theta$ is in the subgroup $\mathrm{PGL}(3,\mathbb{R})$ of $\mathscr{G}$ and preserves a topological circle in the flag variety, but $\rho_\Theta$ is not Anosov. In her PhD Thesis, V. P. Val\'erio elucidated the Anosov-like feature of Schwartz representations: For every $\rho_\Theta$, there exists a 1-dimensional family of Anosov representations $\rho^\varepsilon_{\Theta}$ of $\mathrm{PSL}(2,\mathbb{Z})_o$ into $\mathrm{PGL}(3,\mathbb{R})$ whose limit is the restriction of $\rho_\Theta$ to $\mathrm{PSL}(2,\mathbb{Z})_o$. In this paper, we improve her work: For each $\rho_\Theta$, we build a 2-dimensional family of Anosov representations of $\mathrm{PSL}(2,\mathbb{Z})_o$ into $\mathrm{PGL}(3,\mathbb{R})$ containing $\rho^\varepsilon_{\Theta}$ and a 1-dimensional subfamily of which can extend to representations of $\mathrm{PSL}(2,\mathbb{Z})$ into $\mathscr{G}$. Schwartz representations are therefore, in a sense, the limits of Anosov representations of $\mathrm{PSL}(2,\mathbb{Z})$ into $\mathscr{G}$., Comment: 32 pages, 16 figures, to appear at Annales de l'Institut Fourier

In this paper we generalize the result on Fueter's theorem from [10] by Eelbode et al. to the case of monogenic functions in biaxially symmetric domains. To obtain this result, Eelbode et al. used representation theory methods but their result also follows from a direct calculus we established in our paper [21]. In this paper we first generalize [21] to the biaxial case and derive the main result from that., 11 pages

The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections

Let $f$ and $g$ be weight $k$ holomorphic cusp forms and let $S_f(n)$ and $S_g(n)$ denote the sums of their first $n$ Fourier coefficients. Hafner and Ivic [HI], building on Chandrasekharan and Narasimhan [CN], proved asymptotics for $\sum_{n \leq X} \lvert S_f(n) \rvert^2$ and proved that the Classical Conjecture, that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + \epsilon}$, holds on average over long intervals. In this paper, we introduce and obtain meromorphic continuations for the Dirichlet series $D(s, S_f \times S_g) = \sum S_f(n)\overline{S_g(n)} n^{-(s+k-1)}$ and $D(s, S_f \times \overline{S_g}) = \sum_n S_f(n)S_g(n) n^{-(s + k - 1)}$. Using these meromorphic continuations, we prove asymptotics for the smoothed second moment sums $\sum S_f(n)\overline{S_g(n)} e^{-n/X}$, proving a smoothed generalization of [HI]. We also attain asymptotics for analogous smoothed second moment sums of normalized Fourier coefficients, proving smoothed generalizations of what would be attainable from [CN]. Our methodology extends to a wide variety of weights and levels, and comparison with [CN] indicates very general cancellation between the Rankin-Selberg $L$-function $L(s, f\times g)$ and shifted convolution sums of the coefficients of $f$ and $g$. In forthcoming works, the authors apply the results of this paper to prove the Classical Conjecture on $\lvert S_f(n) \rvert^2$ is true on short intervals, and to prove sign change results on $\{S_f(n)\}_{n \in \mathbb{N}}$., Comment: To appear in the Journal of Number Theory

The speed of a class of graphs counts the number of graphs on the vertex set $\lbrace 1,\dots, n\rbrace$ inside the class as a function of $n$. In this paper, we investigate this function for many classes of graphs that naturally arise in discrete geometry, for example intersection graphs of segments or disks in the plane. While upper bounds follow from Warren's theorem (a variant of a theorem of Milnor and Thom), all the previously known lower bounds were obtained from ad hoc constructions for very specific classes. We prove a general theorem giving an essentially tight lower bound for the number of graphs on $\lbrace 1,\dots, n\rbrace$ whose edges are defined using the signs of a given finite list of polynomials, assuming these polynomials satisfy some reasonable conditions. This in particular implies lower bounds for the speed of many different classes of intersection graphs, which essentially match the known upper bounds. Our general result also gives essentially tight lower bounds for counting containment orders of various families of geometric objects, including circle orders and angle orders. Some of the applications presented in this paper are new, whereas others recover results of Alon-Scheinerman, Fox, McDiarmid-M\"{u}ller and Shi. For the proof of our result we use some tools from algebraic geometry and differential topology., Comment: 38 pages, improved exposition

We consider random walks on the infinite cluster of a conditional bond percolation model on the infinite ladder graph. In a companion paper, we have shown that if the random walk is pulled to the right by a positive bias $$\uplambda > 0$$ , then its asymptotic linear speed $$\overline{\mathrm {v}}$$ is continuous in the variable $$\uplambda > 0$$ and differentiable for all sufficiently small $$\uplambda > 0$$ . In the paper at hand, we complement this result by proving that $$\overline{\mathrm {v}}$$ is differentiable at $$\uplambda = 0$$ . Further, we show the Einstein relation for the model, i.e., that the derivative of the speed at $$\uplambda = 0$$ equals the diffusivity of the unbiased walk.

A Radon measure $\mu$ is $n$-rectifiable if it is absolutely continuous with respect to $\mathcal{H}^n$ and $\mu$-almost all of $\text{supp}\,\mu$ can be covered by Lipschitz images of $\mathbb{R}^n$. In this paper we give two sufficient conditions for rectifiability, both in terms of square functions of flatness-quantifying coefficients. The first condition involves the so-called $\alpha$ and $\beta_2$ numbers. The second one involves $\alpha_2$ numbers -- coefficients quantifying flatness via Wasserstein distance $W_2$. Both conditions are necessary for rectifiability, too -- the first one was shown to be necessary by Tolsa, while the necessity of the $\alpha_2$ condition is established in our recent paper. Thus, we get two new characterizations of rectifiability., Comment: 54 pages, added the proof of Lemma 4.5, minor improvements

Let $(X,h)$ be a compact and irreducible Hermitian complex space. This paper is devoted to various questions concerning the analytic K-homology of $(X,h)$. In the fist part, assuming either $\mathrm{dim}(\mathrm{sing}(X))=0$ or $\mathrm{dim}(X)=2$, we show that the rolled-up operator of the minimal $L^2$-$\overline{\partial}$ complex, denoted here $\overline{\eth}_{\mathrm{rel}}$, induces a class in $K_0 (X)\equiv KK_0(C(X),\mathbb{C})$. A similar result, assuming $\mathrm{dim}(\mathrm{sing}(X))=0$, is proved also for $\overline{\eth}_{\mathrm{abs}}$, the rolled-up operator of the maximal $L^2$-$\overline{\partial}$ complex. We then show that when $\mathrm{dim}(\mathrm{sing}(X))=0$ we have $[\overline{\eth}_{\mathrm{rel}}]=\pi_*[\overline{\eth}_M]$ with $\pi:M\rightarrow X$ an arbitrary resolution and with $[\overline{\eth}_M]\in K_0 (M)$ the analytic K-homology class induced by $\overline{\partial}+\overline{\partial}^t$ on $M$. In the second part of the paper we focus on complex projective varieties $(V,h)$ endowed with the Fubini-Study metric. First, assuming $\dim(V)\leq 2$, we compare the Baum-Fulton-MacPherson K-homology class of $V$ with the class defined analytically through the rolled-up operator of any $L^2$-$\overline{\partial}$ complex. We show that there is no $L^2$-$\overline{\partial}$ complex on $(\mathrm{reg}(V),h)$ whose rolled-up operator induces a K-homology class that equals the Baum-Fulton-MacPherson class. Finally in the last part of the paper we prove that under suitable assumptions on $V$ the push-forward of $[\overline{\eth}_{\mathrm{rel}}]$ in the K-homology of the classifying space of the fundamental group of $V$ is a birational invariant., Comment: Final version. To appear on Int. Math. Res. Not