1,978 results
Search Results
2. Derived Non-archimedean analytic Hilbert space
- Author
-
Mauro Porta, Jorge António, Institut de Recherche Mathématique Avancée (IRMA), and Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Pure mathematics ,Fiber (mathematics) ,General Mathematics ,010102 general mathematics ,Short paper ,Formal scheme ,Hilbert space ,Space (mathematics) ,01 natural sciences ,symbols.namesake ,Mathematics - Algebraic Geometry ,Mathematics::Category Theory ,0103 physical sciences ,Localization theorem ,FOS: Mathematics ,symbols ,010307 mathematical physics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,0101 mathematics ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics - Abstract
In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages
- Published
- 2019
3. Iterates of Generic Polynomials and Generic Rational Functions
- Author
-
Jamie Juul
- Subjects
Pure mathematics ,Degree (graph theory) ,Mathematics - Number Theory ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,MathematicsofComputing_GENERAL ,Galois group ,37P05, 11G50, 14G25 ,Rational function ,01 natural sciences ,Unpublished paper ,Generic polynomial ,Number theory ,Symmetric group ,Iterated function ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.
- Published
- 2014
4. Order 3 symplectic automorphisms on K3 surfaces
- Author
-
Alice Garbagnati and Yulieth Prieto Montañez
- Subjects
Pure mathematics ,Endomorphism ,General Mathematics ,010102 general mathematics ,Lattice (group) ,Order (ring theory) ,Automorphism ,01 natural sciences ,Cohomology ,14J28, 14J50 ,Mathematics - Algebraic Geometry ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Abelian group ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics ,Symplectic geometry - Abstract
The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141
- Published
- 2021
5. Analyzing the Weyl Construction for Dynamical Cartan Subalgebras
- Author
-
Elizabeth Gillaspy, Anna Duwenig, and Rachael Norton
- Subjects
General Mathematics ,01 natural sciences ,Section (fiber bundle) ,Combinatorics ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,Mathematics::Quantum Algebra ,46L05, 22D25, 22A22 ,0103 physical sciences ,FOS: Mathematics ,0101 mathematics ,Twist ,Operator Algebras (math.OA) ,Mathematics::Representation Theory ,Quotient ,Mathematics ,Science & Technology ,Mathematics::Operator Algebras ,010102 general mathematics ,Spectrum (functional analysis) ,Mathematics - Operator Algebras ,Cartan subalgebra ,C-ASTERISK-ALGEBRAS ,Physical Sciences ,010307 mathematical physics ,EQUIVALENCE - Abstract
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
- Published
- 2022
6. Maximal families of nodal varieties with defect
- Author
-
REMKE NANNE KLOOSTERMAN
- Subjects
Surface (mathematics) ,Double cover ,Degree (graph theory) ,Plane (geometry) ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Combinatorics ,Mathematics - Algebraic Geometry ,Hypersurface ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,NODAL ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
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
- Published
- 2021
7. An index theorem for higher orbital integrals
- Author
-
Xiang Tang, Peter Hochs, and Yanli Song
- Subjects
Mathematics - Differential Geometry ,Pure mathematics ,Index (economics) ,General Mathematics ,01 natural sciences ,Mathematics::K-Theory and Homology ,0103 physical sciences ,FOS: Mathematics ,Representation Theory (math.RT) ,0101 mathematics ,Algebra over a field ,Operator Algebras (math.OA) ,Mathematics ,Group (mathematics) ,010102 general mathematics ,Mathematics - Operator Algebras ,Lie group ,K-Theory and Homology (math.KT) ,Elliptic operator ,Differential Geometry (math.DG) ,Mathematics - K-Theory and Homology ,Equivariant map ,010307 mathematical physics ,Atiyah–Singer index theorem ,Mathematics - Representation Theory - Abstract
Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions., 40 pages; updates based on referee comments; expanded proof of Proposition 3.3
- Published
- 2021
8. Wild Cantor actions
- Author
-
Ramón Barral Lijó, Hiraku Nozawa, Jesús A. Álvarez López, and Olga Lukina
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,Closure (topology) ,Mathematics::General Topology ,Dynamical Systems (math.DS) ,16. Peace & justice ,Equicontinuity ,01 natural sciences ,Centralizer and normalizer ,Cantor set ,Group action ,Wreath product ,0103 physical sciences ,FOS: Mathematics ,Countable set ,2020: 37B05, 37E25, 20E08, 20E15, 20E18, 20E22, 22F05, 22F50 (Primary), 20F22, 57R30, 57R50 (Secondary) ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
The discriminant group of a minimal equicontinuous action of a group $G$ on a Cantor set $X$ is the subgroup of the closure of the action in the group of homeomorphisms of $X$, consisting of homeomorphisms which fix a given point. The stabilizer and the centralizer groups associated to the action are obtained as direct limits of sequences of subgroups of the discriminant group with certain properties. Minimal equicontinuous group actions on Cantor sets admit a classification by the properties of the stabilizer and centralizer direct limit groups. In this paper, we construct new families of examples of minimal equicontinuous actions on Cantor sets, which illustrate certain aspects of this classification. These examples are constructed as actions on rooted trees. The acting groups are countable subgroups of the product or of the wreath product of groups. We discuss applications of our results to the study of attractors of dynamical systems and of minimal sets of foliations., 20 pages, 1 figure. The condition of finite generation in Thm 1.9 was replaced by countability. The proof of Thm 1.9 has been simplified. The notation used in 5 has been modified. Several minor corrections across the paper
- Published
- 2022
9. Simpson filtration and oper stratum conjecture
- Author
-
Zhi Hu and Pengfei Huang
- Subjects
Mathematics::Dynamical Systems ,Conjecture ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Moduli space ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Number theory ,0103 physical sciences ,FOS: Mathematics ,Filtration (mathematics) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Mathematics ,Stratum - Abstract
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
- Published
- 2021
10. Graded Bourbaki ideals of graded modules
- Author
-
Jürgen Herzog, Dumitru I. Stamate, and Shinya Kumashiro
- Subjects
Noetherian ,Pure mathematics ,Sequence ,Class (set theory) ,Ideal (set theory) ,Mathematics::Commutative Algebra ,Mathematics::General Mathematics ,General Mathematics ,Mathematics::History and Overview ,010102 general mathematics ,Structure (category theory) ,Mathematics::General Topology ,Field (mathematics) ,Mathematics - Commutative Algebra ,Commutative Algebra (math.AC) ,01 natural sciences ,Mathematik ,0103 physical sciences ,FOS: Mathematics ,Homomorphism ,13A02, 13A30, 13D02, 13H10 ,010307 mathematical physics ,0101 mathematics ,Rees algebra ,Mathematics - Abstract
In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle and the Rees algebra of its Bourbaki ideal., Comment: 29 pages
- Published
- 2021
11. Properties of triangulated and quotient categories arising from n-Calabi–Yau triples
- Author
-
Francesca Fedele
- Subjects
Derived category ,Endomorphism ,Triangulated category ,General Mathematics ,010102 general mathematics ,Field (mathematics) ,01 natural sciences ,Cluster algebra ,Combinatorics ,Mathematics::Category Theory ,0103 physical sciences ,FOS: Mathematics ,Homological algebra ,010307 mathematical physics ,Gap theorem ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics - Representation Theory ,Quotient ,Mathematics - Abstract
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
- Published
- 2021
12. Hyperbolicity and Uniformity of Varieties of Log General type
- Author
-
Amos Turchet, Kristin DeVleming, Kenneth Ascher, Ascher, Kenneth, Devleming, Kristin, and Turchet, Amos
- Subjects
Pure mathematics ,Conjecture ,Mathematics - Number Theory ,Generalization ,General Mathematics ,010102 general mathematics ,Type (model theory) ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,0103 physical sciences ,FOS: Mathematics ,Sheaf ,Trigonometric functions ,Uniform boundedness ,Cotangent bundle ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Variety (universal algebra) ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties contain finitely many integral points. In another direction, we show that the Lang-Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded., v5: exposition greatly improved. Previous section on function fields removed, to be expanded upon in a future paper. To appear in IMRN
- Published
- 2020
13. Low dimensional orders of finite representation type
- Author
-
Daniel Chan and Colin Ingalls
- Subjects
Ring (mathematics) ,Plane curve ,Root of unity ,General Mathematics ,010102 general mathematics ,14E16 ,Local ring ,Order (ring theory) ,Mathematics - Rings and Algebras ,Type (model theory) ,01 natural sciences ,Noncommutative geometry ,Combinatorics ,Minimal model program ,Mathematics - Algebraic Geometry ,Rings and Algebras (math.RA) ,Mathematics - Quantum Algebra ,0103 physical sciences ,FOS: Mathematics ,Quantum Algebra (math.QA) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
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.
- Published
- 2020
14. On Counting Certain Abelian Varieties Over Finite Fields
- Author
-
Chia-Fu Yu and Jiangwei Xue
- Subjects
Isogeny ,Pure mathematics ,Class (set theory) ,Current (mathematics) ,Mathematics - Number Theory ,Series (mathematics) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Connection (mathematics) ,Finite field ,Simple (abstract algebra) ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Abelian group ,Mathematics - Abstract
This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected
- Published
- 2020
15. On the local density formula and the Gross–Keating invariant with an Appendix ‘The local density of a binary quadratic form’ by T. Ikeda and H. Katsurada
- Author
-
Cho Sungmun
- Subjects
Pure mathematics ,Mathematics - Number Theory ,Mathematics::Number Theory ,General Mathematics ,010102 general mathematics ,Local factor ,01 natural sciences ,Quadratic form ,0103 physical sciences ,FOS: Mathematics ,11E08, 11E95, 14L15, 20G25 ,Binary quadratic form ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,Local field ,Fourier series ,Mathematics - Abstract
T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$., 32 pages
- Published
- 2020
16. On the polar Orlicz-Minkowski problems and the p-capacitary Orlicz-Petty bodies
- Author
-
Xiaokang Luo, Deping Ye, and Baocheng Zhu
- Subjects
Mathematics::Functional Analysis ,Pure mathematics ,General Mathematics ,010102 general mathematics ,Mathematics::Classical Analysis and ODEs ,Metric Geometry (math.MG) ,Type (model theory) ,01 natural sciences ,Measure (mathematics) ,52A20, 52A38, 52A39, 52A40, 53A15 ,Mathematics - Metric Geometry ,0103 physical sciences ,Minkowski space ,FOS: Mathematics ,Mathematics::Metric Geometry ,Polar ,010307 mathematical physics ,Orthogonal matrix ,0101 mathematics ,Isoperimetric inequality ,Mathematics - Abstract
In this paper, we propose and study the polar Orlicz-Minkowski problems: under what conditions on a nonzero finite measure $\mu$ and a continuous function $\varphi:(0,\infty)\rightarrow(0,\infty)$, there exists a convex body $K\in\mathcal{K}_0$ such that $K$ is an optimizer of the following optimization problems: \begin{equation*} \inf/\sup \bigg\{\int_{S^{n-1}}\varphi\big( h_L \big) \,d \mu: L \in \mathcal{K}_{0} \ \text{and}\ |L^\circ|=\omega_{n}\bigg\}. \end{equation*} The solvability of the polar Orlicz-Minkowski problems is discussed under different conditions. In particular, under certain conditions on $\varphi,$ the existence of a solution is proved for a nonzero finite measure $\mu$ on $S^{n-1}$ which is not concentrated on any hemisphere of $S^{n-1}.$ Another part of this paper deals with the $p$-capacitary Orlicz-Petty bodies. In particular, the existence of the $p$-capacitary Orlicz-Petty bodies is established and the continuity of the $p$-capacitary Orlicz-Petty bodies is proved., Comment: This paper has been accepted by Indiana University Mathematics Journal
- Published
- 2020
17. Archimedean non-vanishing, cohomological test vectors, and standard L-functions of $${\mathrm {GL}}_{2n}$$: real case
- Author
-
Cheng Chen, Fangyang Tian, Dihua Jiang, and Bingchen Lin
- Subjects
Pure mathematics ,Mathematics - Number Theory ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Linear model ,Structure (category theory) ,22E45 (Primary), 11F67 (Secondary) ,Type (model theory) ,Lambda ,Infinity ,01 natural sciences ,Invariant theory ,Linear form ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics - Representation Theory ,Mathematics ,media_common - Abstract
The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $\Lambda_{s,\chi}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,\pi\otimes\chi)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places., Comment: 39 pages. The current version of this paper is significantly shorter than the previous one, as the first author pointed out a conceptual intepretation of construction of cohomological test vector in the old version of this paper. Section 4 is completely rewritten. Also fix some inaccuracies
- Published
- 2019
18. Virtual Retraction Properties in Groups
- Author
-
Ashot Minasyan
- Subjects
Property (philosophy) ,Conjecture ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,20E26, 20E25, 20E08 ,Group Theory (math.GR) ,01 natural sciences ,Commensurability (mathematics) ,Combinatorics ,Mathematics::Group Theory ,Simple (abstract algebra) ,Retract ,0103 physical sciences ,Free group ,FOS: Mathematics ,Graph (abstract data type) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Group Theory ,Mathematics - Abstract
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
- Published
- 2019
19. Segre Indices and Welschinger Weights as Options for Invariant Count of Real Lines
- Author
-
Sergey Finashin, Viatcheslav Kharlamov, Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Middle East Technical University (METU), and Middle East Technical University [Ankara] (METU)
- Subjects
General Mathematics ,010102 general mathematics ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Upper and lower bounds ,Quintic function ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Hypersurface ,0103 physical sciences ,FOS: Mathematics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,Algebraic Geometry (math.AG) ,14P25 ,Mathematics - Abstract
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)
- Published
- 2019
20. A Polynomial Sieve and Sums of Deligne Type
- Author
-
Dante Bonolis
- Subjects
Polynomial (hyperelastic model) ,Mathematics - Number Theory ,Degree (graph theory) ,General Mathematics ,Sieve (category theory) ,010102 general mathematics ,Multiplicative function ,Type (model theory) ,01 natural sciences ,Combinatorics ,Hypersurface ,Homogeneous polynomial ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
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
- Published
- 2019
21. Masur–Veech volumes, frequencies of simple closed geodesics, and intersection numbers of moduli spaces of curves
- Author
-
Vincent Delecroix, Elise Goujard, Peter Zograf, Anton Zorich, Groupe Sociétés, Religions, Laïcités (GSRL), Centre National de la Recherche Scientifique (CNRS)-École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), École Pratique des Hautes Études (EPHE), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), and ANR-19-CE40-0021,Phymath,physique mathématique(2019)
- Subjects
Teichmüller space ,Surface (mathematics) ,Pure mathematics ,Geodesic ,General Mathematics ,[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS] ,Dynamical Systems (math.DS) ,Algebraic geometry ,01 natural sciences ,Mathematics - Geometric Topology ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,[MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph] ,[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT] ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,0103 physical sciences ,FOS: Mathematics ,Mathematics - Combinatorics ,Mathematics - Dynamical Systems ,0101 mathematics ,Algebraic Geometry (math.AG) ,Quadratic differential ,Mathematics ,Meromorphic function ,010102 general mathematics ,Geometric Topology (math.GT) ,Mathematics::Geometric Topology ,[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT] ,Mapping class group ,Moduli space ,[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG] ,Combinatorics (math.CO) ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,010307 mathematical physics - Abstract
We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent., Comment: The current paper (as well as the companion paper arXiv:2007.04740) has grown from arxiv:1908.08611. The conjectures stated in arXiv:1908.08611 are proved by A. Aggarwal in arXiv:2004.05042
- Published
- 2021
22. Metaplectic representations of Hecke algebras, Weyl group actions, and associated polynomials
- Author
-
Vidya Venkateswaran, Jasper V. Stokman, Siddhartha Sahi, Algebra, Geometry & Mathematical Physics (KDV, FNWI), Quantum Matter and Quantum Information, KdV Other Research (FNWI), Faculty of Science, and KDV (FNWI)
- Subjects
Weyl group ,Polynomial ,Pure mathematics ,Algebraic combinatorics ,Series (mathematics) ,General Mathematics ,010102 general mathematics ,General Physics and Astronomy ,20C08 (Primary), 11F68, 22E50 (Secondary) ,Rational function ,01 natural sciences ,symbols.namesake ,Macdonald polynomials ,Gauss sum ,0103 physical sciences ,symbols ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Representation Theory (math.RT) ,Mathematics::Representation Theory ,Dirichlet series ,Mathematics - Representation Theory ,Mathematics - Abstract
Chinta and Gunnells introduced a rather intricate multi-parameter Weyl group action on rational functions on a torus, which, when the parameters are specialized to certain Gauss sums, describes the functional equations of Weyl group multiple Dirichlet series associated to metaplectic (n-fold) covers of algebraic groups. In subsequent joint work with Puskas, they extended this action to a "metaplectic" representation of the equal parameter affine Hecke algebra, which allowed them to obtain explicit formulas for the p-parts of these Dirichlet series. They have also verified by a computer check the remarkable fact that their formulas continue to define a group action for general (unspecialized) parameters. In the first part of paper we give a conceptual explanation of this fact, by giving a uniform and elementary construction of the "metaplectic" representation for generic Hecke algebras as a suitable quotient of a parabolically induced affine Hecke algebra module, from which the associated Chinta-Gunnells Weyl group action follows through localization. In the second part of the paper we extend the metaplectic representation to the double affine Hecke algebra, which provides a generalization of Cherednik's basic representation. This allows us to introduce a new family of "metaplectic" polynomials, which generalize nonsymmetric Macdonald polynomials. In this paper, we provide the details of the construction of metaplectic polynomials in type A; the general case will be handled in the sequel to this paper., 39 pages. Version 2 is a significant revision. Added second part introducing a new family of "metaplectic" polynomials, which generalize nonsymmetric Macdonald polynomials and metaplectic Iwahori-Whittaker functions. Title has been changed and the introduction has been expanded
- Published
- 2021
23. An effective Chebotarev density theorem for families of number fields, with an application to $$\ell $$-torsion in class groups
- Author
-
Lillian B. Pierce, Caroline L. Turnage-Butterbaugh, and Melanie Matchett Wood
- Subjects
Discrete mathematics ,Mathematics - Number Theory ,Mathematics::Number Theory ,General Mathematics ,010102 general mathematics ,Algebraic number field ,01 natural sciences ,Riemann hypothesis ,symbols.namesake ,Arbitrarily large ,Number theory ,Discriminant ,Field extension ,0103 physical sciences ,FOS: Mathematics ,symbols ,Torsion (algebra) ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Dedekind zeta function ,Mathematics - Abstract
We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree., Comment: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.02008
- Published
- 2019
24. Courant-sharp Robin eigenvalues for the square: the case with small Robin parameter
- Author
-
Katie Gittins, Bernard Helffer, Université de Neuchâtel (Université de Neuchâtel), Laboratoire de Mathématiques Jean Leray (LMJL), Centre National de la Recherche Scientifique (CNRS)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN), and Helffer, Bernard
- Subjects
Spectral theory ,General Mathematics ,Courant-sharp ,[MATH] Mathematics [math] ,01 natural sciences ,Domain (mathematical analysis) ,Square (algebra) ,Mathematics - Spectral Theory ,symbols.namesake ,Robin eigenvalues ,0103 physical sciences ,FOS: Mathematics ,[MATH.MATH-SP] Mathematics [math]/Spectral Theory [math.SP] ,Neumann boundary condition ,square ,[MATH]Mathematics [math] ,0101 mathematics ,Spectral Theory (math.SP) ,Eigenvalues and eigenvectors ,Mathematics ,35P99, 58J50, 58J37 ,010102 general mathematics ,Mathematical analysis ,Mathematics::Spectral Theory ,Robin boundary condition ,Number theory ,Dirichlet boundary condition ,symbols ,010307 mathematical physics ,[MATH.MATH-SP]Mathematics [math]/Spectral Theory [math.SP] - Abstract
International audience; This article is the continuation of our first work on the determination of the cases where there is equality in Courant's Nodal Domain theorem in the case of a Robin boundary condition (with Robin parameter h). For the square, our first paper focused on the case where h is large and extended results that were obtained by Pleijel, Bérard-Helffer, for the problem with a Dirichlet boundary condition. There, we also obtained some general results about the behaviour of the nodal structure (for planar domains) under a small deformation of h, where h is positive and not close to 0. In this second paper, we extend results that were obtained by Helffer-Persson-Sundqvist for the Neumann problem to the case where h > 0 is small. MSC classification (2010): 35P99, 58J50, 58J37.
- Published
- 2019
25. The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property
- Author
-
Nageswari Shanmugalingam and Tomasz Adamowicz
- Subjects
Mathematics::Number Theory ,General Mathematics ,010102 general mathematics ,Zero (complex analysis) ,Boundary (topology) ,Metric Geometry (math.MG) ,Lipschitz continuity ,01 natural sciences ,Prime (order theory) ,Domain (mathematical analysis) ,Combinatorics ,Metric space ,Mathematics - Analysis of PDEs ,Prime end ,Mathematics - Metric Geometry ,Bounded function ,31E05, 31B15, 31B25, 31C15, 30L99 ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Analysis of PDEs (math.AP) ,Mathematics - Abstract
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
- Published
- 2019
26. Homological behavior of idempotent subalgebras and Ext algebras
- Author
-
Charles Paquette and Colin Ingalls
- Subjects
Ring (mathematics) ,Pure mathematics ,Noetherian ring ,Conjecture ,Reduction (recursion theory) ,Mathematics::Commutative Algebra ,General Mathematics ,Mathematics::Rings and Algebras ,010102 general mathematics ,01 natural sciences ,Global dimension ,16E10, 16G10 ,0103 physical sciences ,Idempotence ,FOS: Mathematics ,010307 mathematical physics ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics - Representation Theory ,Mathematics - Abstract
Let $A$ be a (left and right) Noetherian ring that is semiperfect. Let $e$ be an idempotent of $A$ and consider the ring $\Gamma:=(1-e)A(1-e)$ and the semi-simple right $A$-module $S_e : = eA/e{\rm rad}A$. In this paper, we investigate the relationship between the global dimensions of $A$ and $\Gamma$, by using the homological properties of $S_e$. More precisely, we consider the Yoneda ring $Y(e):={\rm Ext}^*_A(S_e,S_e)$ of $e$. We prove that if $Y(e)$ is artinian of finite global dimension, then $A$ has finite global dimension if and only if so is $\Gamma$. We also investigate the situation where both $A,\Gamma$ have finite global dimension. When $A$ is Koszul and finite dimensional, this implies that $Y(e)$ has finite global dimension. We end the paper with a reduction technique to compute the Cartan determiant of artin algebras. We prove that if $Y(e)$ has finite global dimension, then the Cartan determinants of $A$ and $\Gamma$ coincide. This provides a new way to approach the long-standing Cartan determinant conjecture., Comment: 14 pages
- Published
- 2019
27. Normal crossings singularities for symplectic topology
- Author
-
Mark McLean, Aleksey Zinger, and Mohammad Farajzadeh Tehrani
- Subjects
Pure mathematics ,Logarithm ,Divisor ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics - Symplectic Geometry ,0103 physical sciences ,FOS: Mathematics ,Symplectic Geometry (math.SG) ,53D05, 53D45, 14N35 ,Gravitational singularity ,010307 mathematical physics ,0101 mathematics ,Equivalence (formal languages) ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Symplectic sum ,Symplectic geometry ,Mathematics - Abstract
We introduce topological notions of normal crossings symplectic divisor and variety and establish that they are equivalent, in a suitable sense, to the desired geometric notions. Our proposed concept of equivalence of associated topological and geometric notions fits ideally with important constructions in symplectic topology. This partially answers Gromov's question on the feasibility of defining singular symplectic (sub)varieties and lays foundation for rich developments in the future. In subsequent papers, we establish a smoothability criterion for symplectic normal crossings varieties, in the process providing the multifold symplectic sum envisioned by Gromov, and introduce symplectic analogues of logarithmic structures in the context of normal crossings symplectic divisors., Comment: 65 pages, 4 figures; a number of typos fixed; the exposition has been significantly revised, fixing a technical error in the non-compact case in the process; this paper is now restricted to the simple normal crossings case; the arbitrary normal crossings case will be detailed in a followup paper
- Published
- 2018
28. Spectral spread and non-autonomous Hamiltonian diffeomorphisms
- Author
-
Yoshihiro Sugimoto
- Subjects
Dense set ,Computer Science::Information Retrieval ,General Mathematics ,010102 general mathematics ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Algebraic geometry ,Mathematics::Geometric Topology ,01 natural sciences ,Omega ,Manifold ,Combinatorics ,Number theory ,Floer homology ,Mathematics - Symplectic Geometry ,0103 physical sciences ,FOS: Mathematics ,Symplectic Geometry (math.SG) ,53D05, 53D35, 53D40 ,Mathematics::Differential Geometry ,010307 mathematical physics ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics ,Symplectic manifold ,Symplectic geometry - Abstract
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.
- Published
- 2018
29. An Application of the S-Functional Calculus to Fractional Diffusion Processes
- Author
-
Jonathan Gantner and Fabrizio Colombo
- Subjects
Pure mathematics ,Spectral theory ,Vector operator ,General Mathematics ,01 natural sciences ,Functional calculus ,Mathematics - Spectral Theory ,Operator (computer programming) ,Unit vector ,0103 physical sciences ,FOS: Mathematics ,Mathematics (all) ,0101 mathematics ,Spectral Theory (math.SP) ,Commutative property ,Mathematics ,fractional diffusion and fractional evolution processes ,S-spectrum ,010102 general mathematics ,Operator theory ,Quaternionic analysis ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,H∞ functional calculus for quaternionic operators ,010307 mathematical physics ,fractional powers of vector operators - Abstract
In this paper we show how the spectral theory based on the notion of S-spectrum allows us to study new classes of fractional diffusion and of fractional evolution processes. We prove new results on the quaternionic version of the $${H^\infty}$$ functional calculus and we use it to define the fractional powers of vector operators. The Fourier law for the propagation of the heat in non homogeneous materials is a vector operator of the form $$T = e_{1} a(x)\partial_{x1} + e_{2} b(x)\partial_{x2} + e_{3} c(x)\partial_{x3}$$ where $${e_{\ell}, {\ell} = 1, 2, 3}$$ are orthogonal unit vectors, a, b, c are suitable real valued functions that depend on the space variables $${x = (x_{1}, x_{2}, x_{3})}$$ and possibly also on time. In this paper we develop a general theory to define the fractional powers of quaternionic operators which contain as a particular case the operator T so we can define the non local version $${T^{\alpha}, {\rm for} \alpha \in (0, 1)}$$ , of the Fourier law defined by T. Our new mathematical tools open the way to a large class of fractional evolution problems that can be defined and studied using our spectral theory based on the S-spectrum for vector operators. This paper is devoted to researchers working on fractional diffusion and fractional evolution problems, partial differential equations, non commutative operator theory, and quaternionic analysis.
- Published
- 2018
30. Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
- Author
-
Daniel Erman, Steven V Sam, and Andrew Snowden
- Subjects
Pure mathematics ,General Mathematics ,media_common.quotation_subject ,MathematicsofComputing_GENERAL ,Hilbert's basis theorem ,Commutative Algebra (math.AC) ,01 natural sciences ,Mathematics - Algebraic Geometry ,symbols.namesake ,0103 physical sciences ,FOS: Mathematics ,Ideal (ring theory) ,0101 mathematics ,Algebraic number ,Algebraic Geometry (math.AG) ,Mathematics ,media_common ,Conjecture ,Hilbert's syzygy theorem ,Mathematics::Commutative Algebra ,Degree (graph theory) ,Applied Mathematics ,010102 general mathematics ,13A02, 13D02 ,Mathematics - Commutative Algebra ,Infinity ,Bounded function ,symbols ,010307 mathematical physics - Abstract
Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results laid the foundations for the modern algebraic study of polynomials. Hilbert's results are not uniform in n: unsurprisingly, polynomials in n variables will exhibit greater complexity as n increases. However, an array of recent work has shown that in a certain regime---namely, that where the number of polynomials and their degrees are fixed---the complexity of polynomials (in various senses) remains bounded even as the number of variables goes to infinity. We refer to this as Stillman uniformity, since Stillman's Conjecture provided the motivating example. The purpose of this paper is to give an exposition of Stillman uniformity, including: the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture, the followup results that clarified and expanded on those ideas, and the implications for understanding polynomials in many variables., This expository paper was written in conjunction with Craig Huneke's talk on Stillman's Conjecture at the 2018 JMM Current Events Bulletin
- Published
- 2018
31. Quasi-elliptic cohomology I
- Author
-
Zhen Huan
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,Elliptic cohomology ,16. Peace & justice ,Space (mathematics) ,Mathematics::Algebraic Topology ,01 natural sciences ,Cohomology ,Mathematics::K-Theory and Homology ,0103 physical sciences ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Equivariant map ,Mathematics - Algebraic Topology ,010307 mathematical physics ,55N34, 55P35 ,0101 mathematics ,Tate curve ,Constant (mathematics) ,Computer Science::Databases ,Quotient ,Orbifold ,Mathematics - Abstract
Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions on it can be made in a neat way. This theory reflects the geometric nature of the Tate curve. In this paper we provide a systematic introduction of its construction and definition., Comment: Final Version. 26 pages. To appear in Advances in Mathematics. In this paper we generalize the construction in arXiv:1612.00930. The subtle point of this generalization is explained in Section 2
- Published
- 2018
32. Eigenfunction Expansions of Ultradifferentiable Functions and Ultradistributions. III. Hilbert Spaces and Universality
- Author
-
Aparajita Dasgupta and Michael Ruzhansky
- Subjects
Pure mathematics ,CONVOLUTION ,General Mathematics ,Structure (category theory) ,Boundary (topology) ,Type (model theory) ,Universality ,01 natural sciences ,Mathematics - Spectral Theory ,symbols.namesake ,Mathematics - Analysis of PDEs ,Primary 46F05 ,Tensor (intrinsic definition) ,0103 physical sciences ,FOS: Mathematics ,DISTRIBUTIONS ,Secondary 22E30 ,0101 mathematics ,Spectral Theory (math.SP) ,Mathematics ,Hilbert spaces ,Sequence ,Applied Mathematics ,010102 general mathematics ,Hilbert space ,Universality (philosophy) ,Eigenfunction ,Sequence spaces ,Smooth functions ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Mathematics and Statistics ,Physics and Astronomy ,Komatsu classes ,symbols ,Tensor representations ,010307 mathematical physics ,Primary 46F05, Secondary 22E30 ,Analysis ,Analysis of PDEs (math.AP) - Abstract
In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on the spaces of smooth type functions and characterise their adjoint mappings. As an application we prove the universality of the spaces of smooth type functions on compact manifolds without boundary., 23 pages
- Published
- 2021
33. Decompositions of principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields
- Author
-
Auguste Hébert, Université Jean Monnet [Saint-Étienne] (UJM), and Université de Lyon
- Subjects
Pure mathematics ,Series (mathematics) ,[MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT] ,General Mathematics ,010102 general mathematics ,Principal (computer security) ,01 natural sciences ,[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR] ,Irreducible representation ,Mathematics::Quantum Algebra ,0103 physical sciences ,FOS: Mathematics ,Irreducibility ,010307 mathematical physics ,0101 mathematics ,Representation Theory (math.RT) ,Mathematics::Representation Theory ,Mathematics - Representation Theory ,Mathematics - Abstract
International audience; Recently, Iwahori-Hecke algebras were associated to Kac-Moody groups over non-Archimedean local fields. In a previous paper, we introduced principal series representations for these algebras and partially generalized Kato's irreducibility criterion. In this paper, we study how some of these representations decompose when they are reducible and deduce information on the irreducible representations of these algebras.
- Published
- 2021
34. Functional relations of solutions of $q$-difference equations
- Author
-
Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Combinatoire, théorie des nombres (CTN), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019), Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Institut Camille Jordan [Villeurbanne] (ICJ), Université de Lyon-Université Jean Monnet [Saint-Étienne] (UJM)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), and Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Pure mathematics ,Mathematics - Number Theory ,Series (mathematics) ,General Mathematics ,[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] ,010102 general mathematics ,[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS] ,39A06, 12H10 ,01 natural sciences ,[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT] ,Operator (computer programming) ,Algebraic relations ,0103 physical sciences ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,Algebraic independence ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,0101 mathematics ,Mathematics - Abstract
In this paper, we study the algebraic relations satisfied by the solutions of q-difference equations and their transforms with respect to an auxiliary operator. Our main tools are the parametrized Galois theories developed in Hardouin and Singer (Math Ann 342(2):333–377, 2008) and Ovchinnikov and Wibmer (Int Math Res Not 12:3962–4018, 2015). The first part of this paper is concerned with the case where the auxiliary operator is a derivation, whereas the second part deals with a $$\mathbf {q}$$ -difference operator. In both cases, we give criteria to guarantee the algebraic independence of a series, solution of a q-difference equation, with either its successive derivatives or its $$\mathbf {q}$$ -transforms. We apply our results to q-hypergeometric series.
- Published
- 2021
35. Surgery for partially hyperbolic dynamical systems II. Blow-up of a complex curve
- Author
-
Federico Rodriguez Hertz and Andrey Gogolev
- Subjects
Flexibility (engineering) ,medicine.medical_specialty ,Dynamical systems theory ,General Mathematics ,010102 general mathematics ,Hyperbolic manifold ,Dynamical Systems (math.DS) ,Mathematics::Geometric Topology ,01 natural sciences ,Surgery ,0103 physical sciences ,FOS: Mathematics ,Geodesic flow ,medicine ,Totally geodesic ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
In this paper we use the blow-up surgery introduced in [G] to produce new higher dimensional partially hyperbolic flows. The main contribution of the paper is the slow-down construction which accompanies the blow-up construction. This new ingredient allows to dispose of a rather strong domination assumption which was crucial for results in [G]. Consequently we gain more flexibility which allows to construct new volume-preserving partially hyperbolic flows as well as new examples which are not fiberwise Anosov. The latter are produced by starting with the geodesic flow on complex hyperbolic manifold which admits a totally geodesic complex curve. Then by performing the slow-down first and the blow-up second we obtain a new (volume-preserving) partially hyperbolic flows., Comment: 16 pages. This is part II. Part I being arXiv:1609.05925
- Published
- 2021
36. Combinatorial proofs of two theorems of Lutz and Stull
- Author
-
Tuomas Orponen
- Subjects
FOS: Computer and information sciences ,28A80 (primary), 28A78 (secondary) ,General Mathematics ,kombinatoriikka ,Combinatorial proof ,Computational Complexity (cs.CC) ,01 natural sciences ,Combinatorics ,Mathematics - Metric Geometry ,Hausdorff and packing measures ,0103 physical sciences ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,0101 mathematics ,Mathematics ,Algorithmic information theory ,Lemma (mathematics) ,Euclidean space ,Pigeonhole principle ,010102 general mathematics ,Orthographic projection ,Hausdorff space ,Metric Geometry (math.MG) ,Projection (relational algebra) ,Computer Science - Computational Complexity ,Mathematics - Classical Analysis and ODEs ,fraktaalit ,010307 mathematical physics ,mittateoria - Abstract
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
- Published
- 2021
37. Fourier multipliers on graded lie groups
- Author
-
Michael Ruzhansky and Veronique Fischer
- Subjects
Pure mathematics ,Mathematics(all) ,General Mathematics ,Graded nilpotent Lie groups ,Type (model theory) ,01 natural sciences ,symbols.namesake ,0103 physical sciences ,FOS: Mathematics ,0101 mathematics ,Representation Theory (math.RT) ,Analysis on Lie groups ,Mathematics ,Group (mathematics) ,010102 general mathematics ,Lie group ,Dual (category theory) ,Functional Analysis (math.FA) ,Sobolev space ,Mathematics - Functional Analysis ,Nilpotent ,Fourier transform ,symbols ,010307 mathematical physics ,Fourier multipliers ,Mathematics - Representation Theory ,Primary: 43A22, Secondary: 43A15, 22E30 - Abstract
In this paper we study multipliers on graded nilpotent Lie groups defined via group Fourier transform. More precisely, we show that H\"ormander type conditions on the Fourier multipliers imply $L^p$-boundedness. We express these conditions using difference operators and positive Rockland operators. We also obtain a more refined condition using Sobolev spaces on the dual of the group which are defined and studied in this paper., Comment: 23 pages
- Published
- 2020
38. The fully marked surface theorem
- Author
-
Mehdi Yazdi and David Gabai
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,General Mathematics ,Taut foliation ,Homology (mathematics) ,01 natural sciences ,symbols.namesake ,Mathematics - Geometric Topology ,Euler characteristic ,0103 physical sciences ,FOS: Mathematics ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics ,010102 general mathematics ,Geometric Topology (math.GT) ,16. Peace & justice ,Surface (topology) ,Mathematics::Geometric Topology ,Cohomology ,Manifold ,57R30, 57K32, 57M50 ,symbols ,Foliation (geology) ,010307 mathematical physics ,Mathematics::Differential Geometry ,Euler class - Abstract
In his seminal 1976 paper Bill Thurston observed that a closed leaf S of a foliation has Euler characteristic equal, up to sign, to the Euler class of the foliation evaluated on [S], the homology class represented by S. The main result of this paper is a converse for taut foliations: if the Euler class of a taut foliation $\mathcal{F}$ evaluated on [S] equals up to sign the Euler characteristic of S and the underlying manifold is hyperbolic, then there exists another taut foliation $\mathcal{F'}$ such that $S$ is homologous to a union of leaves and such that the plane field of $\mathcal{F'}$ is homotopic to that of $\mathcal{F}$. In particular, $\mathcal{F}$ and $\mathcal{F'}$ have the same Euler class. In the same paper Thurston proved that taut foliations on closed hyperbolic 3-manifolds have Euler class of norm at most one, and conjectured that, conversely, any integral cohomology class with norm equal to one is the Euler class of a taut foliation. This is the second of two papers that together give a negative answer to Thurston's conjecture. In the first paper, counterexamples were constructed assuming the main result of this paper., Comment: 36 pages, 16 figures. Portions of this work previously appeared as an appendix to arXiv:1603.03822, but has evolved into its own work and has been accepted for publication separately. Final version to appear in Acta Mathematica
- Published
- 2020
39. Singularities of Hermitian–Yang–Mills connections and Harder–Narasimhan–Seshadri filtrations
- Author
-
Song Sun and Xuemiao Chen
- Subjects
Mathematics - Differential Geometry ,Pure mathematics ,General Mathematics ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Harder–Narasimhan–Seshadri filtrations ,Mathematics::Algebraic Geometry ,Singularity ,Mathematics::K-Theory and Homology ,32G13 ,0103 physical sciences ,FOS: Mathematics ,Projective space ,70S15 ,32Q15 ,0101 mathematics ,Holomorphic vector bundle ,Mathematics ,Hermitian–Yang–Mills connections ,010102 general mathematics ,Tangent cone ,Reflexive sheaf ,53C07 ,Differential Geometry (math.DG) ,reflexive sheaves ,Sheaf ,010307 mathematical physics ,instantons ,singularities - Abstract
This is the first of a series of papers where we relate tangent cones of Hermitian-Yang-Mills connections at an isolated singularity to the complex algebraic geometry of the underlying reflexive sheaf, when the sheaf is locally modelled on the pull-back of a holomorphic vector bundle from the projective space. In this paper we shall impose an extra assumption that the graded sheaf determined by the Harder-Narasimhan-Seshadri filtrations of the vector bundle is reflexive. In general we conjecture that the tangent cone is uniquely determined by the double dual of the associated graded object of a Harder-Narasimhan-Seshadri filtration of an algebraic tangent cone, which is a certain torsion-free sheaf on the projective space. In this paper we also prove this conjecture when there is an algebraic tangent cone which is locally free and stable., Final version
- Published
- 2020
40. Joint Eigenfunctions for the Relativistic Calogero–Moser Hamiltonians of Hyperbolic Type. III. Factorized Asymptotics
- Author
-
Martin Hallnäs and Simon Ruijsenaars
- Subjects
Integrable system ,General Mathematics ,FOS: Physical sciences ,Type (model theory) ,01 natural sciences ,0103 physical sciences ,Mathematics - Quantum Algebra ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,Quantum Algebra (math.QA) ,0101 mathematics ,Mathematical Physics ,Mathematics ,Mathematical physics ,Conjecture ,Series (mathematics) ,Nonlinear Sciences - Exactly Solvable and Integrable Systems ,010102 general mathematics ,Function (mathematics) ,Mathematical Physics (math-ph) ,Eigenfunction ,Nonlinear Sciences::Exactly Solvable and Integrable Systems ,Mathematics - Classical Analysis and ODEs ,Scheme (mathematics) ,010307 mathematical physics ,Soliton ,Exactly Solvable and Integrable Systems (nlin.SI) - Abstract
In the two preceding parts of this series of papers, we introduced and studied a recursion scheme for constructing joint eigenfunctions $J_N(a_+, a_-,b;x,y)$ of the Hamiltonians arising in the integrable $N$-particle systems of hyperbolic relativistic Calogero-Moser type. We focused on the first steps of the scheme in Part I, and on the cases $N=2$ and $N=3$ in Part II. In this paper, we determine the dominant asymptotics of a similarity transformed function $\rE_N(b;x,y)$ for $y_j-y_{j+1}\to\infty$, $j=1,\ldots, N-1$, and thereby confirm the long standing conjecture that the particles in the hyperbolic relativistic Calogero-Moser system exhibit soliton scattering. This result generalizes a main result in Part II to all particle numbers $N>3$., 21 pages
- Published
- 2020
41. Finitary birepresentations of finitary bicategories
- Author
-
Vanessa Miemietz, Marco Mackaay, Daniel Tubbenhauer, Volodymyr Mazorchuk, and Xiaoting Zhang
- Subjects
Pure mathematics ,Reduction (recursion theory) ,Generalization ,General Mathematics ,Coalgebra ,01 natural sciences ,Simple (abstract algebra) ,Computer Science::Logic in Computer Science ,Mathematics::Category Theory ,0103 physical sciences ,FOS: Mathematics ,Finitary ,Category Theory (math.CT) ,0101 mathematics ,Representation Theory (math.RT) ,Mathematics ,Transitive relation ,Applied Mathematics ,010102 general mathematics ,Mathematics - Category Theory ,16. Peace & justice ,Mathematics::Logic ,Double centralizer theorem ,010307 mathematical physics ,Bijection, injection and surjection ,Mathematics - Representation Theory - Abstract
In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections between equivalence classes of $2$-representations. In this paper, we generalize them to biequivalences between certain $2$-categories of birepresentations. Furthermore, we prove an analog of the double centralizer theorem in finitary birepresentation theory., Significant revision of the original version
- Published
- 2020
42. The KK-theory of amalgamated free products
- Author
-
Emmanuel Germain, Pierre Fima, Institut de Mathématiques de Jussieu (IMJ), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Mathématiques Nicolas Oresme (LMNO), Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), and Normandie Université (NU)-Normandie Université (NU)
- Subjects
Vertex (graph theory) ,Exact sequence ,Pure mathematics ,Mathematics::Operator Algebras ,Direct sum ,General Mathematics ,Unital ,010102 general mathematics ,[MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA] ,Mathematics - Operator Algebras ,KK-theory ,K-Theory and Homology (math.KT) ,Conditional expectation ,01 natural sciences ,Free product ,0103 physical sciences ,Mathematics - K-Theory and Homology ,FOS: Mathematics ,[MATH.MATH-KT]Mathematics [math]/K-Theory and Homology [math.KT] ,010307 mathematical physics ,0101 mathematics ,Operator Algebras (math.OA) ,ComputingMilieux_MISCELLANEOUS ,Mathematics - Abstract
We prove a long exact sequence in KK-theory for both full and reduced amalgamated free products in the presence of conditional expectations. In the course of the proof, we established the KK-equivalence between the full amalgamated free product of two unital C*-algebras and a newly defined reduced amalgamated free product that is valid even for non GNS-faithful conditional expectations. Our results unify, simplify and generalize all the previous results obtained before by Cuntz, Germain and Thomsen., V.3, the paper has been splitted into two papers, this is the first part on amalgamated free products
- Published
- 2020
43. Affine category O, Koszul duality and Zuckerman functors
- Author
-
Ruslan Maksimau, Institut Montpelliérain Alexander Grothendieck (IMAG), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), and Université de Montpellier (UM)
- Subjects
Pure mathematics ,Koszul duality ,General Mathematics ,Structure (category theory) ,Zuckerman functor ,Category O ,Mathematics::Algebraic Topology ,01 natural sciences ,Fock space ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,0103 physical sciences ,FOS: Mathematics ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics::Representation Theory ,Mathematics ,Subcategory ,Functor ,[MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT] ,010102 general mathematics ,17B10 ,16. Peace & justice ,Dual (category theory) ,010307 mathematical physics ,Mathematics - Representation Theory - Abstract
The parabolic category $\mathcal{O}$ for affine ${\mathfrak{gl}}_N$ at level $-N-e$ admits a structure of a categorical representation of $\widetilde{\mathfrak{sl}}_e$ with respect to some endofunctors $E$ and $F$. This category contains a smaller category $\mathbf{A}$ that categorifies the higher level Fock space. We prove that the functors $E$ and $F$ in the category $\mathbf{A}$ are Koszul dual to Zuckerman functors. The key point of the proof is to show that the functor $F$ for the category $\mathbf{A}$ at level $-N-e$ can be decomposed in terms of the components of the functor $F$ for the category $\mathbf{A}$ at level $-N-e-1$. To prove this, we use the following fact: a category with an action of $\widetilde{\mathfrak sl}_{e+1}$ contains a (canonically defined) subcategory with an action of $\widetilde{\mathfrak sl}_{e}$. We also prove a general statement that says that in some general situation a functor that satisfies a list of axioms is automatically Koszul dual to some sort of Zuckerman functor., 71 pages. This represents a portion of arXiv:1512.04878 which was split into two parts, this is the second part. This paper is rewritten (compared to arXiv:1512.04878) in a way that we never use KLR algebras explicitly. This makes the paper more independent from the first part
- Published
- 2020
44. Large $m$ asymptotics for minimal partitions of the Dirichlet eigenvalue
- Author
-
Zhiyuan Geng and Fanghua Lin
- Subjects
Mathematics::Functional Analysis ,General Mathematics ,010102 general mathematics ,Mathematics::Spectral Theory ,01 natural sciences ,Omega ,Laplacian eigenvalues ,Combinatorics ,Dirichlet eigenvalue ,Mathematics - Analysis of PDEs ,0103 physical sciences ,Domain (ring theory) ,FOS: Mathematics ,010307 mathematical physics ,Limit (mathematics) ,0101 mathematics ,Constant (mathematics) ,Analysis of PDEs (math.AP) ,Mathematics ,49R05, 35P05, 47A75 - Abstract
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
- Published
- 2020
45. Explicit equations of a fake projective plane
- Author
-
Lev A. Borisov and JongHae Keum
- Subjects
Surface (mathematics) ,fake projective planes ,Pure mathematics ,Betti number ,General Mathematics ,01 natural sciences ,Mathematics - Algebraic Geometry ,ball quotient ,equations ,elliptic surfaces ,0103 physical sciences ,FOS: Mathematics ,Ball (mathematics) ,0101 mathematics ,14J29 ,Algebraic Geometry (math.AG) ,32N15 ,Quotient ,Mathematics ,Complex conjugate ,14J29, 14F05, 32Q40, 32N15 ,Fake projective plane ,14F05 ,010102 general mathematics ,Automorphism ,32Q40 ,bicanonical embedding ,010307 mathematical physics ,Projective plane - Abstract
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism., Comment: This is a full version of "Research announcement: equations of a fake projective plane", arXiv:1710.04501. Key tables and some M2 and Magma code from the paper are included in separate files for convenience
- Published
- 2020
46. Multifractal analysis of weighted ergodic averages
- Author
-
Aihua Fan, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 (LAMFA), and Université de Picardie Jules Verne (UPJV)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
General Mathematics ,010102 general mathematics ,Dynamical Systems (math.DS) ,Multifractal system ,Möbius function ,01 natural sciences ,Formalism (philosophy of mathematics) ,37D35, 37B10, 37A60 ,0103 physical sciences ,FOS: Mathematics ,Ergodic theory ,010307 mathematical physics ,Statistical physics ,0101 mathematics ,[MATH]Mathematics [math] ,Mathematics - Dynamical Systems ,Mathematics - Abstract
We propose to study the multifractal behavior of weighted ergodic averages. Our study in this paper is concentrated on the symbolic dynamics. We introduce a thermodynamical formalism which leads to a multifractal spectrum. It is proved that this thermodynamical formalism applies to different kinds of dynamically defined weights, including stationary ergodic random weights, uniquely ergodic weights etc. But the validity of the thermodynamical formalism for very irregular weights, like M\"{o}bius function, is an unsolved problem. The paper ends with some other unsolved problems., Comment: 31 pages
- Published
- 2020
47. Generic conformally flat hypersurfaces and surfaces in 3-sphere
- Author
-
Suyama Yoshihiko
- Subjects
Surface (mathematics) ,Mathematics - Differential Geometry ,Pure mathematics ,Gauss map ,General Mathematics ,010102 general mathematics ,Conformal map ,Space (mathematics) ,01 natural sciences ,3-sphere ,symbols.namesake ,Hypersurface ,Differential Geometry (math.DG) ,Primary 53B25, Secondary 53E40 ,0103 physical sciences ,Euclidean geometry ,Gaussian curvature ,symbols ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
The aim of this paper is to verify that the study of generic conformally flat hypersurfaces in 4-dimensional space forms is reduced to a surface theory in the standard 3-sphere. The conformal structure of generic conformally flat (local-)hypersurfaces is characterized as conformally flat (local-)3-metrics with the Guichard condition. Then, there is a certain class of orthogonal analytic (local-)Riemannian 2-metrics with constant Gauss curvature -1 such that any 2-metric of the class gives rise to a one-parameter family of conformally flat 3-metrics with the Guichard condition. In this paper, we firstly relate 2-metrics of the class to surfaces in the 3-sphere: for a 2-metric of the class, a 5-dimensional set of (non-isometric) analytic surfaces in the 3-sphere is determined such that any surface of the set gives rise to an evolution of surfaces in the 3-sphere issuing from the surface and the evolution is the Gauss map of a generic conformally flat hypersurface in the Euclidean 4-space. Secondly, we characterize analytic surfaces in the 3-sphere which give rise to generic conformally flat hypersurfaces., 39 pages
- Published
- 2020
48. A note on hypocoercivity for kinetic equations with heavy-tailed equilibrium
- Author
-
Isabelle Tristani, Hélène Hivert, Maxime Herda, Nathalie Ayi, Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Reliable numerical approximations of dissipative systems (RAPSODI ), Laboratoire Paul Painlevé - UMR 8524 (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut Camille Jordan [Villeurbanne] (ICJ), Centre National de la Recherche Scientifique (CNRS)-Université Jean Monnet [Saint-Étienne] (UJM)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, Département de Mathématiques et Applications - ENS Paris (DMA), École normale supérieure - Paris (ENS Paris)-Centre National de la Recherche Scientifique (CNRS), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), and Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet [Saint-Étienne] (UJM)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Fokker-Planck operator ,General Mathematics ,010102 general mathematics ,fractional diffusion ,Kinetic energy ,82C40, 35K65, 35Q84, 60G22 ,01 natural sciences ,Hypocoercivity ,Mathematics - Analysis of PDEs ,Exponential growth ,Heavy-tailed distribution ,Kinetic equations ,Regularization (physics) ,0103 physical sciences ,Fractional diffusion ,FOS: Mathematics ,Applied mathematics ,[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP] ,010307 mathematical physics ,0101 mathematics ,heavy-tailed distribution ,linear kinetic equations ,Mathematics ,Analysis of PDEs (math.AP) - Abstract
In this paper we are interested in the large time behavior of linear kinetic equations with heavy-tailed local equilibria. Our main contribution concerns the kinetic Lévy-Fokker-Planck equation, for which we adapt hypocoercivity techniques in order to show that solutions converge exponentially fast to the global equilibrium. Compared to the classical kinetic Fokker-Planck equation, the issues here concern the lack of symmetry of the non-local Lévy-Fokker-Planck operator and the understanding of its regularization properties. As a complementary related result, we also treat the case of the heavy-tailed BGK equation.; In this paper we are interested in the large time behavior of linear kinetic equations with heavy-tailed local equilib-ria. Our main contribution concerns the kinetic Lévy-Fokker-Planck equation, for which we adapt hypocoercivity techniques in order to show that solutions converge exponentially fast to the global equilibrium. Compared to the classical kinetic Fokker-Planck equation, the issues here concern the lack of symmetry of the non-local Lévy-Fokker-Planck operator and the understanding of its regularization properties. As a complementary related result, we also treat the case of the heavy-tailed BGK equation. Résumé Une note sur l'hypocoercivité pour leséquations cinétiques avecéquilibresà queue lourde. Dans cet article, on s'intéresse au comportement en temps long d'équations cinétiques linéaires dont leséquilibres locaux sontà queue lourde. Notre contribution principale concerne l'équation de Lévy-Fokker-Planck cinétique, pour laquelle nous adaptons des techniques d'hypocoercivité afin de démontrer la convergence exponentielle des solutions vers unéquilibre global. En comparant au cas de l'équation de Fokker-Planck cinétique classique, les enjeux ici sont liés au manque de symétrie de l'opérateur non-local de Lévy-Fokker-Planck età la compréhension de ses propriétés de régularisation. En complément de notre analyse, nous traitonségalement le cas de l'équation de BGKà queue lourde.
- Published
- 2020
49. The structure theory of nilspaces I
- Author
-
Yonatan Gutman, Freddie Manners, Péter P. Varjú, and Apollo - University of Cambridge Repository
- Subjects
medicine.medical_specialty ,Class (set theory) ,Pure mathematics ,General Mathematics ,Topological dynamics ,Dynamical Systems (math.DS) ,01 natural sciences ,Morphism ,math.GN ,0103 physical sciences ,medicine ,FOS: Mathematics ,Mathematics - Combinatorics ,math.CO ,Mathematics - Dynamical Systems ,0101 mathematics ,Abelian group ,Axiom ,Mathematics - General Topology ,Mathematics ,010102 general mathematics ,General Topology (math.GN) ,Pure Mathematics ,Compact space ,010307 mathematical physics ,Inverse limit ,Combinatorics (math.CO) ,math.DS ,Analysis ,Structured program theorem - Abstract
This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antol\'in Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antol\'in Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics. This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatol\'in Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project., Comment: 64 pages, minor revision based on referee's report, results and proofs have not been changed, this version is accepted for publication in J. Anal. Math
- Published
- 2020
50. Locally constrained curvature flows and geometric inequalities in hyperbolic space
- Author
-
Yong Wei, Haizhong Li, and Yingxiang Hu
- Subjects
Mathematics - Differential Geometry ,Pure mathematics ,Mean curvature ,General Mathematics ,Hyperbolic space ,010102 general mathematics ,Order (ring theory) ,Type (model theory) ,Curvature ,01 natural sciences ,53C44, 52A39 ,Hypersurface ,Differential Geometry (math.DG) ,Flow (mathematics) ,Principal curvature ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Mathematics::Differential Geometry ,0101 mathematics ,Mathematics - Abstract
In this paper, we first study the locally constrained curvature flow of hypersurfaces in hyperbolic space, which was introduced by Brendle, Guan and Li [7]. This flow preserves the $m$th quermassintegral and decreases $(m+1)$th quermassintegral, so the convergence of the flow yields sharp Alexandrov-Fenchel type inequalities in hyperbolic space. Some special cases have been studied in [7]. In the first part of this paper, we show that h-convexity of the hypersurface is preserved along the flow and then the smooth convergence of the flow for h-convex hypersurfaces follows. We then apply this result to establish some new sharp geometric inequalities comparing the integral of $k$th Gauss-Bonnet curvature of a smooth h-convex hypersurface to its $m$th quermassintegral (for $0\leq m\leq 2k+1\leq n$), and comparing the weighted integral of $k$th mean curvature to its $m$th quermassintegral (for $0\leq m\leq k\leq n$). In particular, we give an affirmative answer to a conjecture proposed by Ge, Wang and Wu in 2015. In the second part of this paper, we introduce a new locally constrained curvature flow using the shifted principal curvatures. This is natural in the context of h-convexity. We prove the smooth convergence to a geodesic sphere of the flow for h-convex hypersurfaces, and provide a new proof of the geometric inequalities proved by Andrews, Chen and the third author of this paper in 2018. We also prove a family of new sharp inequalities involving the weighted integral of $k$th shifted mean curvature for h-convex hypersurfaces, which as application implies a higher order analogue of Brendle, Hung and Wang's [8] inequality., 38 pages, accepted version for Mathematische Annalen, add Corollary 1.10 to describe the application of the new locally constrained flow (1.11)
- Published
- 2020
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.