Search

Let $S \subset \Bbb R^n$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\Bbb R^n$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^q(X)} \leq C \| f \|_{L^p(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \leq c \, R^\alpha$ for all balls $B_R$ in $\Bbb R^n$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^q$ against the measure $\chi_X dx$. Our approach consists of replacing the characteristic function $\chi_X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted H\"{o}lder-type inequality that holds for general non-negative Lebesgue measurable functions on $\Bbb R^n$, and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du-Zhang theorem in the range $0 < \alpha < n/2$., Comment: 31 pages. Minor revision

In this paper, we first use the distribution of the number of records to demonstrate that the right tail probabilities of counts of rare events are generally better approximated by the right tail probabilities of Poisson distribution than {those} of normal distribution. We then show the moderate deviations in Poisson approximation generally require an adjustment and, with suitable adjustment, we establish better error estimates of the moderate deviations in Poisson approximation than those in \cite{CFS}. Our estimates contain no unspecified constants and are easy to apply. We illustrate the use of the theorems in six applications: Poisson-binomial distribution, matching problem, occupancy problem, birthday problem, random graphs and 2-runs. The paper complements the works of \cite{CC92,BCC95,CFS}., 29 pages and 5 figures

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

We study a Markovian agent-based model (MABM) in this paper. Each agent is endowed with a local state that changes over time as the agent interacts with its neighbours. The neighbourhood structure is given by a graph. In a recent paper [Simon et al. 2011], the authors used the automorphisms of the underlying graph to generate a lumpable partition of the joint state space ensuring Markovianness of the lumped process for binary dynamics. However, many large random graphs tend to become asymmetric rendering the automorphism-based lumping approach ineffective as a tool of model reduction. In order to mitigate this problem, we propose a lumping method based on a notion of local symmetry, which compares only local neighbourhoods of vertices. Since local symmetry only ensures approximate lumpability, we quantify the approximation error by means of Kullback-Leibler divergence rate between the original Markov chain and a lifted Markov chain. We prove the approximation error decreases monotonically. The connections to fibrations of graphs are also discussed., Comment: 28 pages, 4 figures

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

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations or transformation semigroups). Here we study them in maximum generality. The paper ends with a large list of open problems., Comment: The paper is now more focused on abstract semigroups and a fourth notion of conjugacy was introduced for its importance in representation theory and finite semigroups

Suppose that a countable group $G$ admits a cusp-uniform action on a hyperbolic space $(X,d)$ such that $G$ is of divergent type. The main result of the paper is characterizing the purely exponential growth type of the orbit growth function by a condition introduced by Dal'bo-Otal-Peign\'e. For geometrically finite Cartan-Hadamard manifolds with pinched negative curvature this condition ensures the finiteness of Bowen-Margulis-Sullivan measures. In this case, our result recovers a theorem of Roblin (in a weaker form). Our main tool is the Patterson-Sullivan measures on the Gromov boundary of $X$, and a variant of the Sullivan shadow lemma called partial shadow lemma. This allows us to prove that the purely exponential growth of either cones, or partial cones or horoballs is also equivalent to the condition of Dal'bo-Otal-Peign\'e. These results are further used in the paper \cite{YANG7}., Comment: Version 2: 34 pages, 2 figures. Sections 4 and 5 was rewritten following suggestions of the referee. Paper accepted by Ergodic Theory and Dynamical Systems

This paper deals with the geometric local theta correspondence at the Iwahori level for dual reductive pairs of type II over a non Archimedean field $F$ of characteristic $p\neq 2$ in the framework of the geometric Langlands program. First we construct and study the geometric version of the invariants of the Weil representation of the Iwahori-Hecke algebras. In the particular case of $(GL_1, GL_m)$ we give a complete geometric description of the corresponding category. The second part of the paper deals with geometric local Langlands functoriality at the Iwahori level in a general setting. Given two reductive connected groups $G$, $H$ over $F$ and a morphism $\check{G}\times \mathrm{SL}_2\to\check{H}$ of Langlands dual groups, we construct a bimodule over the affine extended Hecke algebras of $H$ and $G$ that should realize the geometric local Arthur-Langlands functoriality at the Iwahori level. Then, we propose a conjecture describing the geometric local theta correspondence at the Iwahori level constructed in the first part in terms of this bimodule and we prove our conjecture for pairs $(GL_1, GL_m)$., Comment: To appear in the Journal of the Institute of Mathematics of Jussieu

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

In the first part of the paper, we use states on $C^{*}$-algebras in order to establish some equivalent statements to equality in the triangle inequality, as well as to the parallelogram identity for elements of a pre-Hilbert $C^{*}$-module. We also characterize the equality case in the triangle inequality for adjointable operators on a Hilbert $C^{*}$-module. Then we give certain necessary and sufficient conditions to the Pythagoras identity for two vectors in a pre-Hilbert $C^{*}$-module under the assumption that their inner product has a negative real part. We introduce the concept of Pythagoras orthogonality and discuss its properties. We describe this notion for Hilbert space operators in terms of the parallelogram law and some limit conditions. We present several examples in order to illustrate the relationship between the Birkhoff–James, Roberts, and Pythagoras orthogonalities, and the usual orthogonality in the framework of Hilbert $C^{*}$-modules.

We study the behavior of representation varieties of quivers with relations under the operation of node splitting. We show how splitting a node gives a correspondence between certain closed subvarieties of representation varieties for different algebras, which preserves properties like normality or having rational singularities. Furthermore, we describe how the defining equations of such closed subvarieties change under the correspondence. By working in the "relative setting" (splitting one node at a time), we demonstrate that there are many non-hereditary algebras whose irreducible components of representation varieties are all normal with rational singularities. We also obtain explicit generators of the prime defining ideals of these irreducible components. This class contains all radical square zero algebras, but also many others, as illustrated by examples throughout the paper. We also show the above is true when replacing irreducible components by orbit closures, for a more restrictive class of algebras. Lastly, we provide applications to decompositions of moduli spaces of semistable representations of certain algebras., 26 pages. Updated references, typos, metadata. Actually final version

This paper focuses on recollements and silting theory in triangulated categories. It consists of two main parts. In the first part a criterion for a recollement of triangulated subcategories to lift to a torsion torsion-free triple (TTF triple) of ambient triangulated categories with coproducts is proved. As a consequence, lifting of TTF triples is possible for recollements of stable categories of repetitive algebras or self-injective finite length algebras and recollements of bounded derived categories of separated Noetherian schemes. When, in addition, the outer subcategories in the recollement are derived categories of small linear categories the conditions from the criterion are sufficient to lift the recollement to a recollement of ambient triangulated categories up to equivalence. In the second part we use these results to study the problem of constructing silting sets in the central category of a recollement generating the t-structure glued from the silting t-structures in the outer categories. In the case of a recollement of bounded derived categories of Artin algebras we provide an explicit construction for gluing classical silting objects.

In this paper, we study a large system of $N$ servers each with capacity to process at most $C$ simultaneous jobs and an incoming job is routed to a server if it has the lowest occupancy amongst $d$ (out of N) randomly selected servers. A job that is routed to a server with no vacancy is assumed to be blocked and lost. Such randomized policies are referred to JSQ(d) (Join the Shortest Queue out of $d$) policies. Under the assumption that jobs arrive according to a Poisson process with rate $N\lambda^{(N)}$ where $\lambda^{(N)}=\sigma-\frac{\beta}{\sqrt{N}}$, $\sigma\in\mb{R}_+$ and $\beta\in\mb{R}$, we establish functional central limit theorems (FCLTs) for the fluctuation process in both the transient and stationary regimes when service time distributions are exponential. In particular, we show that the limit is an Ornstein-Uhlenbeck process whose mean and variance depend on the mean-field of the considered model. Using this, we obtain approximations to the blocking probabilities for large $N$, where we can precisely estimate the accuracy of first-order approximations., Comment: 29 pages

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

There are well known identities that involve the Ext bifunctor, coproducts, and products in Ab4 and Ab4* abelian categories with enough projectives and enough injectives. Namely, for every such category $\mathcal{A}$, the isomorphisms $\operatorname{Ext}^n (\bigoplus_{i\in I}A_{i},X) \cong \prod_{i\in I} \operatorname{Ext}^n(A_{i},X)$ and $\operatorname{Ext}^n (X,\prod_{i\in I}A_{i}) \cong \prod_{i\in I}\operatorname{Ext}^n (X,A_{i})$ always exist. The goal of this paper is to show similar isomorphisms for the Yoneda Ext in Ab4 and Ab4* abelian categories with not necessarily enough projectives nor injectives. The desired isomorphisms are constructed explicitely by using limits and colimits., 20 pages

Let k be a finite field of characteristic p, and G a compact p-adic analytic group. Write kG for the completed group ring of G over k. In this paper, we describe the structure of the ring kG/P, where P is a minimal prime ideal of kG. We give an explicit isomorphism between kG/P and a matrix ring with coefficients in the ring ${(k'G')_\alpha }$ , where $k'/k$ is a finite field extension, $G'$ is a large subquotient of G with no finite normal subgroups, and (–)α is a “twisting” operation that preserves many desirable properties of the ring structure. We demonstrate the usefulness of this isomorphism by studying the correspondence induced between certain ideals of kG and those of ${(k'G')_\alpha }$ , and showing that this preserves many useful “group-theoretic” properties of ideals, in particular almost-faithfulness and control by a closed normal subgroup.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are those for which the postsingular set is a compact subset of the Fatou set. Equivalenty, they are characterized as being expanding. Mihaljevi\'c-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalise these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics., Comment: V3: Author accepted manuscript. To appear in Ergod. Theory Dyn. Syst

Fundamental group of a manifold gives a deep effect on its underlying smooth structure. In this paper we introduce a new variant of the Donaldson invariant in Yang-Mills gauge theory from twisting by the Picard group of a four manifold in the case when the fundamental group is free abelian. We then generalize it to the general case of fundamental groups by use of the framework of non commutative geometry. We also verify that our invariant distinguishes smooth structures between some homeomorphic four manifolds., Comment: typos fixed, Rewrite Section 4 to reduce technicality

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to isotopy, with an indeterminancy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9. The group of knots $S^4\to\mathbb R^7$ acts on the set of embeddings $N\to\mathbb R^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1\ne0$, with an indeterminancy. Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008. For $N=S^1\times S^3$ we give a geometrically defined 1--1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set $\mathbb Z\oplus\mathbb Z\oplus\mathbb Z_{12}$., Comment: 19 pages, exposition improved

We prove a theorem describing the limiting fine-scale statistics of orbits of a point in hyperbolic space under the action of a discrete subgroup. Similar results have been proved only in the lattice case, with two recent infinite-volume exceptions by Zhang for Apollonian circle packings and certain Schottky groups. Our results hold for general Zariski dense, non-elementary, geometrically finite subgroups in any dimension. Unlike in the lattice case, orbits of geometrically finite subgroups do not necessarily equidistribute on the whole boundary of hyperbolic space. But rather, they may equidistribute on a fractal subset. Understanding the behaviour of these orbits near the boundary is central to Patterson-Sullivan theory and much further work. Our theorem characterizes the higher order spatial statistics and thus addresses a very natural question. As a motivating example our work applies to sphere packings (in any dimension) which are invariant under the action of such discrete subgroups. At the end of the paper we show how this statistical characterization can be used to prove convergence of moments and to write down the limiting formula for the two-point correlation function and nearest neighbor distribution. Moreover we establish an formula for the 2 dimensional limiting gap distribution (and cumulative gap distribution) which was not known previously even in the lattice case., 33 pages, 1 figure; Accepted for Publication in Mathematical Proceedings of the Cambridge Philosophical Society

Let $p$ be prime. We prove that, for $n$ odd, the $p$-torsion part of $\pi_q(S^{n})$ has cardinality at most $p^{2^{\frac{1}{p-1}(q-n+3-2p)}}$, and hence has rank at most $2^{\frac{1}{p-1}(q-n+3-2p)}$. For $p=2$ these results also hold for $n$ even. The best bounds proven in the existing literature are $p^{2^{q-n+1}}$ and $2^{q-n+1}$ respectively, both due to Hans-Werner Henn. The main point of our result is therefore that the bound grows more slowly for larger primes. As a corollary of work of Henn, we obtain a similar result for the homotopy groups of a broader class of spaces., Comment: 5 pages. Two corrections in v2: First, Lemma 3.1 in v1 was wrong, and has been replaced with a different lemma which makes the same point. The error was the sentence beginning 'We will not do so here, but one can show....'. Second, since submitting v1 I discovered the paper of Iriye, which gives a result similar to Theorem 1.1 without proof. The introduction has been updated to acknowledge this

In this paper, we prove a one level density result for the low-lying zeros of quadratic Hecke $L$-functions of imaginary quadratic number fields of class number one. As a corollary, we deduce, essentially, that at least $(19-\cot (1/4))/16 = 94.27... \%$ of the $L$-functions under consideration do not vanish at $1/2$., Comment: 14 pages. arXiv admin note: text overlap with arXiv:1710.04909

In this paper we study the conformal measures of a normal subgroup of a cocompact Fuchsian group. In particular, we relate the extremal conformal measures to the eigenmeasures of a suitable Ruelle operator. Using Ancona’s theorem, adapted to the Ruelle operator setting, we show that if the group of deck transformationsGis hyperbolic then the extremal conformal measures and the hyperbolic boundary ofGcoincide. We then interpret these results in terms of the asymptotic behavior of cutting sequences of geodesics on a regular cover of a compact hyperbolic surface.

In this paper we study first passage percolation on a random graph model, the configuration model. We first introduce the notions of weighted diameter, which is the maximum of the weighted lengths of all optimal paths between any two vertices in the graph, and the flooding time, which represents the time (weighted length) needed to reach all the vertices in the graph starting from a uniformly chosen vertex. Our result consists in describing the asymptotic behavior of the diameter and the flooding time, as the number of vertices n tends to infinity, in the case where the weight distribution G has an exponential tail behavior, and proving that this category of distributions is the largest possible for which the asymptotic behavior holds.

This paper investigates the random horizon optimal stopping problem for measure-valued piecewise deterministic Markov processes (PDMPs). This is motivated by population dynamics applications, when one wants to monitor some characteristics of the individuals in a small population. The population and its individual characteristics can be represented by a point measure. We first define a PDMP on a space of locally finite measures. Then we define a sequence of random horizon optimal stopping problems for such processes. We prove that the value function of the problems can be obtained by iterating some dynamic programming operator. Finally we prove via a simple counter-example that controlling the whole population is not equivalent to controlling a random lineage.

We consider the mass-critical nonlinear Schr\"odinger equation on non-compact metric graphs. A quite complete description of the structure of the ground states, which correspond to global minimizers of the energy functional under a mass constraint, is provided by Adami, Serra and Tilli in arXiv:1605.07666, where it is proved that existence and properties of ground states depend in a crucial way on both the value of the mass, and the topological properties of the underlying graph. In this paper we address cases when ground states do not exist and show that, under suitable assumptions, constrained local minimizers of the energy do exist. This result paves the way to the existence of stable solutions in the time-dependent equation in cases where the ground state energy level is not achieved., Comment: Accepted for publication on Proceedings of the Royal Society of Edinburgh Section A: Mathematics

In this paper we show that every non-cycle finite transitive directed graph has a Cuntz-Krieger family whose WOT-closed algebra is $B(\mathcal{H})$. This is accomplished through a new construction that reduces this problem to in-degree $2$-regular graphs, which is then treated by applying the periodic Road Coloring Theorem of B\'eal and Perrin. As a consequence we show that finite disjoint unions of finite transitive directed graphs are exactly those finite graphs which admit self-adjoint free semigroupoid algebras., Comment: Added missing reference. 16 pages 2 figures

More than 47 years have passed without any new example of nonsingular bilinear maps appearing in literature. The purpose of this paper is to construct a new family of nonsingular bilinear maps., Comment: This version has a new title and a joint authorship

The stacked contact process is a three-state spin system that describes the co-evolution of a population of hosts together with their symbionts. In a nutshell, the hosts evolve according to a contact process while the symbionts evolve according to a contact process on the dynamic subset of the lattice occupied by the host population, indicating that the symbiont can only live within a host. This paper is concerned with a generalization of this system in which the symbionts may affect the fitness of the hosts by either decreasing (pathogen) or increasing (mutualist) their birth rate. Standard coupling arguments are first used to compare the process with other interacting particle systems and deduce the long-term behavior of the host-symbiont system in several parameter regions. The mean-field approximation of the process is also studied in detail and compared to the spatial model. Our main result focuses on the case where unassociated hosts have a supercritical birth rate whereas hosts associated to a pathogen have a subcritical birth rate. In this case, the mean-field model predicts coexistence of the hosts and their pathogens provided the infection rate is large enough. For the spatial model, however, only the hosts survive on the one-dimensional integer lattice., 23 pages, 4 figures

Let $\Phi$ be a finite dimensional algebra over a field $k$. Kleiner described the Auslander-Reiten sequences in a precovering extension closed subcategory $\mathcal{X}\subseteq$ mod $\Phi$. If $X\in\mathcal{X}$ is an indecomposable such that Ext$_{\Phi}^1(X,\mathcal{X})\neq 0$ and $\zeta X$ is the unique indecomposable direct summand of the $\mathcal{X}$-cover $g:Y\rightarrow D$Tr$X$ such that Ext$_{\Phi}^1(X,\zeta X)\neq 0$, then there is an Auslander-Reiten sequence in $\mathcal{X}$ of the form \begin{align*} \epsilon: 0\rightarrow \zeta X\rightarrow X'\rightarrow X\rightarrow 0. \end{align*} Moreover, when End$_\Phi (X)$ modulo the morphisms factoring through a projective is a division ring, Kleiner proved that each non-split short exact sequence of the form \begin{align*} \delta: 0\rightarrow Y\rightarrow Y'\xrightarrow{\eta} X\rightarrow 0 \end{align*} is such that $\eta$ is right almost split in $\mathcal{X}$, and the pushout of $\delta$ along $g$ gives an Auslander-Reiten sequence in mod $\Phi$ ending at $X$. In this paper, we give higher dimensional generalisations of this. Let $d\geq 1$ be an integer. A $d$-cluster tilting subcategory $\mathcal{F}\subseteq$ mod $\Phi$ plays the role of a higher mod $\Phi$. Such an $\mathcal{F}$ is a $d$-abelian category, where kernels and cokernels are replaced by complexes of $d$ objects and short exact sequences by complexes of $d+2$ objects. We give higher versions of the above results for an additive "$d$-extension closed" subcategory $\mathcal{X}$ of $\mathcal{F}$., Comment: 27 pages. Final version, which has been accepted for publication in the Proceedings of the Edinburgh Mathematical Society

We consider a family $M_{t}^{3}$, with $t>1$, of real hypersurfaces in a complex affine three-dimensional quadric arising in connection with the classification of homogeneous compact simply connected real-analytic hypersurfaces in $\mathbb{C}^{n}$ due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the Cauchy–Riemann (CR)-embeddability of $M_{t}^{3}$ in $\mathbb{C}^{3}$. In our earlier article, we showed that $M_{t}^{3}$ is CR-embeddable in $\mathbb{C}^{3}$ for all $1. In the present paper, we prove that $M_{t}^{3}$ can be immersed in $\mathbb{C}^{3}$ for every $t>1$ by means of a polynomial map. In addition, one of the immersions that we construct helps simplify the proof of the above CR-embeddability theorem and extend it to the larger parameter range $1.

In this paper, we obtain an asymptotic formula for the persistence probability in the positive real line of a random polynomial arising from evolutionary game theory. It corresponds to the probability that a multi-player two-strategy random evolutionary game has no internal equilibria. The key ingredient is to approximate the sequence of random polynomials indexed by their degrees by an appropriate centered stationary Gaussian process., revised version

In this paper, we analyze the set of all possible aggregate distributions of the sum of standard uniform random variables, a simply stated yet challenging problem in the literature of distributions with given margins. Our main results are obtained for two distinct cases. In the case of dimension two, we obtain four partial characterization results. An analytical result with full generality is not available in this case, and it seems to be out of reach with existing techniques. For dimension greater or equal to three, we obtain a full characterization of the set of aggregate distributions, which is the first complete characterization result of this type in the literature for any choice of continuous marginal distributions.

The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac-Moody algebra in the tame cases., A construction of modules of arbitrary ranks is added

A multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset. In this work we will investigate the notion of iterative multisets, where multisets are iteratively built up from other multisets, in the context Martin–Löf Type Theory, in the presence of Voevodsky’s Univalence Axiom.In his 1978 paper, “the type theoretic interpretation of constructive set theory” Aczel introduced a model of constructive set theory in type theory, using a W-type quantifying over a universe, and an inductively defined equivalence relation on it. Our investigation takes this W-type and instead considers the identity type on it, which can be computed from the univalence axiom. Our thesis is that this gives a model of multisets. In order to demonstrate this, we adapt axioms of constructive set theory to multisets, and show that they hold for our model.

Let $p$ be an odd prime and let $G$ be a non-abelian finite $p$-group of exponent $p^2$ with three distinct characteristic subgroups, namely $1$, $G^p$, and $G$. The quotient group $G/G^p$ gives rise to an anti-commutative ${\mathbb F}_p$-algebra $L$ such that the action of ${\rm Aut}(L)$ is irreducible on $L$; we call such an algebra IAC. This paper establishes a duality $G\leftrightarrow L$ between such groups and such IAC algebras. We prove that IAC algebras are semisimple and we classify the simple IAC algebras of dimension at most 4 over certain fields. We also give other examples of simple IAC algebras, including a family related to the $m$-th symmetric power of the natural module of ${\rm SL}(2,{\mathbb F})$., Comment: 26 pages, 2 figures; revised and to appear in Proceedings of The Royal Society A

Dorff et al. \cite{DN} formulated a question concerning the convolution of two right half-plane mappings, where the normalization of the functions was considered incorrectly. In this paper, we have reformulated the open problem in correct form and provided a solution to it in a more general form. In addition, we also obtain two new theorems which correct and improve some other results., 11 pages; An extended version of this article was in a couple of conferences, and also in later workshops in Chennai during 2017 in India. This version will appear in Bulletin of the Australian Mathematical Society

Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge \deg h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations., Comment: 18 pages

The aim of this paper is to characterize the nonnegative functions $\varphi$ defined on $(0,\infty)$ for which the Hausdorff operator $$\mathscr H_\varphi f(z)= \int_0^\infty f\left(\frac{z}{t}\right)\frac{\varphi(t)}{t}dt$$ is bounded on the Hardy spaces of the upper half-plane $\mathcal H_a^p(\mathbb C_+)$, $p\in[1,\infty]$. The corresponding operator norms and their applications are also given., Comment: Proc. Roy. Soc. Edinburgh Sect. A (to appear)

In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment., Comment: 20 pages

Approximation sequences and derived equivalences occur frequently in the research of mutation of tilting objects in representation theory, algebraic geometry and noncommutative geometry. In this paper, we introduce symmetric approximation sequences in additive categories and weakly n-angulated categories which include (higher) Auslander-Reiten sequences (triangles) and mutation sequences in algebra and geometry, and show that such sequences always give rise to derived equivalences between the quotient rings of endomorphism rings of objects in the sequences modulo some ghost and coghost ideals.

In this paper we study constrained variational problems that are principally motivated by nonlinear elasticity theory. We examine in particular the relationship between the positivity of the Jacobian $\det \nabla u$ and the uniqueness and regularity of energy minimizers $u$ that are either twist maps or shear maps. We exhibit \emph{explicit} twist maps, defined on two-dimensional annuli, that are stationary points of an appropriate energy functional and whose Jacobian vanishes on a set of positive measure in the annulus. Within the class of shear maps we precisely characterize the unique global energy minimizer $u_{\sigma}: \Omega\to \mathbb{R}^2$ in a model, two-dimensional case. The shear map minimizer has the properties that (i) $\det \nabla u_{\sigma}$ is strictly positive on one part of the domain $\Omega$, (ii) $\det \nabla u_{\sigma} = 0$ necessarily holds on the rest of $\Omega$, and (iii) properties (i) and (ii) combine to ensure that $\nabla u_{\sigma}$ is not continuous on the whole domain., Comment: 2 figures

We are concerned with an elliptic problem which describes a mean field equation of the equilibrium turbulence of vortices with variable intensities. In the first part of the paper, we describe the blow-up picture and highlight the differences from the standard mean field equation as we observe non-quantization phenomenon. In the second part, we discuss the Moser–Trudinger inequality in terms of the blow-up masses and get the existence of solutions in a non-coercive regime by means of a variational argument, which is based on some improved Moser–Trudinger inequalities.

Let F be the field of two elements and G a finite abelian 2-group with an involutory automorphism. The extension of this automorphism to the group algebra FG is called an involutory involution. This determines the groups of unitary and symmetric normalized units of FG. We calculate the orders and the invariants of these subgroups., Comment: The paper has been withdrawn due to errors of the calculations

In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous work on local duality and Grothendieck's duality conjecture. It generalizes the perfectness of the Cassels-Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin-Milne's global finite flat duality, the non-degeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organized under the formalism of the rational etale site developed earlier., Comment: 79 pages. Accepted for publication in Nagoya Mathematical Journal

In this paper, we study an interesting curve, so-called the Manhattan curve, associated with a pair of boundary-preserving Fuchsian representations of a (non-compact) surface, especially representations corresponding to Riemann surfaces with cusps. Using Thermodynamic Formalism (for countable Markov shifts), we prove the analyticity of the Manhattan curve. Moreover, we derive several dynamical and geometric rigidity results, which generalize results of Marc Burger and Richard Sharp for convex-cocompact Fuchsian representations., 34 pages and 2 figures. Minor changes, references updated

In this paper we prove asymptotic upper bounds on the variance of the number of vertices and the missed area of inscribed random disc-polygons in smooth convex discs whose boundary isC+2. We also consider a circumscribed variant of this probability model in which the convex disc is approximated by the intersection of random circles.

This paper contains two results on Hodge loci in the moduli space of curves. The first concerns fibrations over curves with a non-trivial flat part in the Fujita decomposition. If local Torelli theorem holds for the fibres and the fibration is non-trivial, an appropriate exterior power of the cohomology of the fiber admits a Hodge substructure. In the case of curves it follows that the moduli image of the fibers is contained in a proper Hodge locus. The second result deals with divisors in the moduli space of curves. It is proved that the image of a divisor in the moduli of principally polarized abelian varieties is not contained in a proper totally geodesic subvariety. It follows that a Hodge locus in the moduli space of curves has codimension at least 2., To appear on Journal de l'Institut de Math\'ematiques de Jussieu

This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations., 24 pages. Comments are welcome! The ancillary file is a longer version with some more details and alternative proofs (compiled from the same source). The version on http://www.cip.ifi.lmu.de/~grinberg/algebra/ will probably get quicker updates. v3: Minor corrections

Althoughpiecewise isometries(PWIs) are higher-dimensional generalizations of one-dimensionalinterval exchange transformations(IETs), their generic dynamical properties seem to be quite different. In this paper, we consider embeddings of IET dynamics into PWI with a view to better understanding their similarities and differences. We derive some necessary conditions for existence of such embeddings using combinatorial, topological and measure-theoretic properties of IETs. In particular, we prove that continuous embeddings of minimal 2-IETs into orientation-preserving PWIs are necessarily trivial and that any 3-PWI has at most one non-trivially continuously embedded minimal 3-IET with the same underlying permutation. Finally, we introduce a family of 4-PWIs, with an apparent abundance of invariant non-smooth fractal curves supporting IETs, that limit to a trivial embedding of an IET.