We prove that the (𝜏-weighted, sheaf-theoretic) SL(2,ℂ) Casson–Lin invariant introduced by Manolescu and the first author is generically independent of the parameter 𝜏 and additive under connected sums of knots in integral homology 3-spheres. This addresses two questions asked by Manolescu and the first author. Our arguments involve a mix of topology and algebraic geometry, and rely crucially on the fact that the SL(2,ℂ) Casson–Lin invariant admits an alternative interpretation via the theory of Behrend functions.
In 1929, Siegel defined 𝐸-functions as power series in \overline{ℚ}[[𝑧]], with Taylor coefficients satisfying certain growth conditions, and solutions of linear differential equations with coefficients in \overline{ℚ}(𝑧). The Siegel–Shidlovskii theorem (1956) generalized to 𝐸-functions the Diophantine properties of the exponential function. In 2000, André proved that the finite singularities of a differential operator in \overline{ℚ}(𝑧)[𝑑/𝑑𝑧] ∖ {0} of minimal order for some non-zero 𝐸-function are apparent, except possibly 0 which is always regular singular. We pursue the classification of such operators and consider those for which 0 is 𝜂-apparent, in the sense that there exists 𝜂 ∈ ℂ such that 𝐿 has a local basis of solutions at 0 in 𝑧𝜂 ℂ[[𝑧]]. We prove that they have a ℂ-basis of solutions of the form 𝑄𝑗(𝑧)𝑧𝜂 𝑒𝛽_𝑗 𝑧, where 𝜂 ∈ ℚ, the 𝛽𝑗 ∈ \overline{ℚ} are pairwise distinct and the 𝑄𝑗(𝑧) ∈ \overline{ℚ}[𝑧] ∖ {0}. This generalizes a previous result by Roques and the author concerning 𝐸-operators with an apparent singularity or no singularity at the origin, of which certain consequences are also given here.
For an abelian group 𝐴, we study a close connection between braided 𝐴-crossed tensor categories with a trivialization of the 𝐴-action and 𝐴-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action 𝑇 on a tensor category 𝒞 is given by an element 𝑂(𝑇) ∈ 𝐻2(𝐺, Aut⊗(Id𝒞)). In the case that 𝑂(𝑇) = 0, the set of obstructions forms a torsor over Hom(𝐺, Aut⊗(Id𝒞)), where Aut⊗(Id𝒞) is the abelian group of tensor natural automorphisms of the identity.
The cohomological interpretation of trivializations, together with the homotopical classification of (faithfully graded) braided 𝐴-crossed tensor categories developed Etingof et al., allows us to provide a method for the construction of faithfully 𝐴-graded braided tensor categories. We work out two examples. First, we compute the obstruction to the existence of trivializations for the braided 𝐴-crossed tensor category associated with a pointed semisimple tensor category. In the second example, we compute explicit formulas for the braided ℤ/2ℤ-crossed structures over Tambara–Yamagami fusion categories and, consequently, a conceptual interpretation of the results by Siehler about the classification of braidings over Tambara–Yamagami categories.
We mainly answer two open questions about finite multiple harmonic 𝑞-series on 3-2-1 indices at roots of unity, posed recently by Bachmann, Takeyama, and Tasaka. Two conjectures regarding cyclic sums which generalize the given results are also provided.
In this paper we settle the two-dimensional case of a conjecture involving unknown semialgebraic functions with specified smoothness. More precisely, we prove the following result: Let ℋ be a semialgebraic bundle with respect to 𝐶^{𝑚}_{𝑙𝑜𝑐}(ℝ2, ℝ𝐷). If ℋ has a section, then it has a semialgebraic section.
For any compact Riemannian surface of genus three (Σ,𝑑𝑠2) Yang and Yau proved that the product of the first eigenvalue of the Laplacian 𝜆1(𝑑𝑠2) and the area 𝐴𝑟𝑒𝑎(𝑑𝑠2) is bounded above by 24𝜋. In this paper we improve the result and we show that 𝜆1(𝑑𝑠2) 𝐴𝑟𝑒𝑎(𝑑𝑠2) ≤ 16(4 − \sqrt{7})𝜋 ≈ 21.668𝜋. About the sharpness of the bound, for the hyperbolic Klein quartic surface numerical computations give the value ≈ 21.414𝜋.
(Non-)displaceability of fibers of integrable systems has been an important problem in symplectic geometry. In this paper, for a large class of classical Liouville integrable systems containing the Lagrangian top, the Kovalevskaya top and the C. Neumann problem, we find a non-displaceable fiber for each of them. Moreover, we show that the non-displaceable fiber which we detect is the unique fiber which is non-displaceable from the zero-section. As a special case of this result, we also show the existence of a singular level set of a convex Hamiltonian, which is non-displaceable from the zero-section. To prove these results, we use the notion of superheaviness introduced by Entov and Polterovich.
Let \bar{𝑌} be a normal surface that is the canonical 𝜇2- or 𝛼2-covering of a classical or supersingular Enriques surface in characteristic 2. We determine all possible configurations of singularities on \bar{𝑌}, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of \bar{𝑌}.
We classify outer actions (or 𝒢-kernels) of discrete amenable groupoids on injective factors. Our method based on unified approach for classification of discrete amenable groups actions, and cohomology reduction theorem of discrete amenable equivalence relations. We do not use Katayama–Takesaki type resolution group approach.
In this note, we introduce and study a notion of bi-exactness for creation operators acting on full, symmetric and anti-symmetric Fock spaces. This is a generalization of our previous work, in which we studied the case of anti-symmetric Fock spaces. As a result, we obtain new examples of solid actions as well as new proofs for some known solid actions. We also study free wreath product groups in the same context.
Let 𝑝 be an odd prime number and let 2𝑒+1 be the highest power of 2 dividing 𝑝 − 1. For 0 ≤ 𝑛 ≤ 𝑒, let 𝑘𝑛 be the real cyclic field of conductor 𝑝 and degree 2𝑛. For a certain imaginary quadratic field 𝐿0, we put 𝐿𝑛 = 𝐿0 𝑘𝑛. For 0 ≤ 𝑛 ≤ 𝑒 − 1, let ℱ𝑛 be the imaginary quadratic subextension of the imaginary (2, 2)-extension 𝐿𝑛+1/𝑘𝑛 with ℱ𝑛 ≠ 𝐿𝑛. We study the Galois module structure of the 2-part of the ideal class group of the imaginary cyclic field ℱ𝑛. This generalizes a classical result of Rédei and Reichardt for the case 𝑛 = 0.
We show that the number of lines contained in a supersingular quartic surface is 40 or at most 32, if the characteristic of the field equals 2, and it is 112, 58, or at most 52, if the characteristic equals 3. If the quartic is not supersingular, the number of lines is at most 60 in both cases. We also give a complete classification of large configurations of lines.