-
Connections whose differential Galois groups are reductive of maximal degree
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
The differential Galois group of an $n^\mathrm{th}$ order linear differential equation is the symmetry group of its solutions; it is an algebraic subgroup of $\mathrm{GL}_n(\mathbb{C})$. More generally, if $G$ is a simple complex algebraic group, the differential Galois group of a $G$-connection is an algebraic subgroup of $G$. A connected reductive subgroup of $G$ is said to have maximal degree i…
▽ More
The differential Galois group of an $n^\mathrm{th}$ order linear differential equation is the symmetry group of its solutions; it is an algebraic subgroup of $\mathrm{GL}_n(\mathbb{C})$. More generally, if $G$ is a simple complex algebraic group, the differential Galois group of a $G$-connection is an algebraic subgroup of $G$. A connected reductive subgroup of $G$ is said to have maximal degree if it has a fundamental degree equal to the Coxeter number of $G$. We give a complete classification of these subgroups and generalise a theorem of Katz on linear differential equations by giving a criterion for the differential Galois group of a $G$-connection to be reductive of maximal degree. As an application, we determine the differential Galois groups of certain $G$-connections that play an important role in recent work on the geometric Langlands program: connections on $\mathbb{G}_m$ with an (irregular) "Coxeter" singularity and possibly an additional regular singular point.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Explicit constructions of connections on the projective line with a maximally ramified irregular singularity
Authors:
Neal Livesay,
Daniel S. Sage,
Bach Nguyen
Abstract:
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it…
▽ More
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it for the case of Coxeter connections, i.e., connections on the Riemann sphere with a maximally ramified singularity at zero and (possibly) an additional regular singular point at infinity. A certain matrix completion problem, which we call the Upper Nilpotent Completion Problem, plays a key role in our solution. This problem was solved by Krupnik and Leibman, but their work does not provide a practical way of constructing explicit matrix completions. Accordingly, our previous work does not give explicit Coxeter connections with specified singularities. In this paper, we provide a numerically stable and highly efficient algorithm for producing upper nilpotent completions of certain matrices that arise in the theory of Coxeter connections. Moreover, we show how the matrices generated by this algorithm can be used to provide explicit constructions of Coxeter connections with arbitrary unipotent monodromy in each case that such a connection exists.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Meromorphic connections on the projective line with specified local behavior
Authors:
Daniel S. Sage
Abstract:
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``f…
▽ More
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``formal types'' at these points, does there exist a moduli space of meromorphic connections with this local behavior, and if so, when is this moduli space nonempty or a singleton? In this paper, we discuss variants of these problems (for example, the Deligne--Simpson and rigidity problems) as the allowed singularities get progressively more complicated: first connections with only regular singularities, next connections with additional unramified irregular singularities allowed, and finally the general case.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Opers on the projective line, Wronskian relations, and the Bethe Ansatz
Authors:
Ty J. Brinson,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
It is well-known that the spectra of the Gaudin model may be described in terms of solutions of the Bethe Ansatz equations. A conceptual explanation for the appearance of the Bethe Ansatz equations is provided by appropriate $G$-opers: $G$-connections on the projective line with extra structure. In fact, solutions of the Bethe Ansatz equations are parameterized by an enhanced version of opers call…
▽ More
It is well-known that the spectra of the Gaudin model may be described in terms of solutions of the Bethe Ansatz equations. A conceptual explanation for the appearance of the Bethe Ansatz equations is provided by appropriate $G$-opers: $G$-connections on the projective line with extra structure. In fact, solutions of the Bethe Ansatz equations are parameterized by an enhanced version of opers called Miura opers; here, the opers appearing have only regular singularities. Feigin, Frenkel, Rybnikov, and Toledano Laredo have introduced an inhomogeneous version of the Gaudin model; this model incorporates an additional twist factor, which is an element of the Lie algebra of $G$. They exhibited the Bethe Ansatz equations for this model and gave a geometric interpretation of the spectra in terms of opers with an irregular singularity. In this paper, we consider a new approach to the study of the spectra of the inhomogeneous Gaudin model in terms of a further enhancement of opers called twisted Miura-Plücker opers and a certain system of nonlinear differential equations called the $qq$-system. We show that there is a close relationship between solutions of the inhomogeneous Bethe Ansatz equations and polynomial solutions of the $qq$-system and use this fact to construct a bijection between the set of solutions of the inhomogeneous Bethe Ansatz equations and the set of nondegenerate twisted Miura-Plücker opers. We further prove that as long as certain combinatorial conditions are satisfied, nondegenerate twisted Miura-Plücker opers are in fact Miura opers.
△ Less
Submitted 6 November, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
The Deligne-Simpson problem for connections on $\mathbb{G}_m$ with a maximally ramified singularity
Authors:
Maitreyee C. Kulkarni,
Neal Livesay,
Jacob P. Matherne,
Bach Nguyen,
Daniel S. Sage
Abstract:
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of f…
▽ More
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of fundamental and regular strata due to Bremer and Sage to formulate a version of the Deligne-Simpson problem in which certain ramified singularities are allowed. These allowed singular points are called toral singularities; they are singularities whose leading term with respect to a lattice chain filtration is regular semisimple. We solve this problem in the important special case of connections on $\mathbb{G}_m$ with a maximally ramified singularity at $0$ and possibly an additional regular singular point at infinity. We also give a complete characterization of all such connections which are rigid, under the additional hypothesis of unipotent monodromy at infinity.
△ Less
Submitted 19 July, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Citations versus expert opinions: Citation analysis of Featured Reviews of the American Mathematical Society
Authors:
Lawrence Smolinsky,
Daniel S. Sage,
Aaron J. Lercher,
Aaron Cao
Abstract:
Peer review and citation metrics are two means of gauging the value of scientific research, but the lack of publicly available peer review data makes the comparison of these methods difficult. Mathematics can serve as a useful laboratory for considering these questions because as an exact science, there is a narrow range of reasons for citations. In mathematics, virtually all published articles ar…
▽ More
Peer review and citation metrics are two means of gauging the value of scientific research, but the lack of publicly available peer review data makes the comparison of these methods difficult. Mathematics can serve as a useful laboratory for considering these questions because as an exact science, there is a narrow range of reasons for citations. In mathematics, virtually all published articles are post-publication reviewed by mathematicians in Mathematical Reviews (MathSciNet) and so the data set was essentially the Web of Science mathematics publications from 1993 to 2004. For a decade, especially important articles were singled out in Mathematical Reviews for featured reviews. In this study, we analyze the bibliometrics of elite articles selected by peer review and by citation count. We conclude that the two notions of significance described by being a featured review article and being highly cited are distinct. This indicates that peer review and citation counts give largely independent determinations of highly distinguished articles. We also consider whether hiring patterns of subfields and mathematicians' interest in subfields reflect subfields of featured review or highly cited articles. We reexamine data from two earlier studies in light of our methods for implications on the peer review/citation count relationship to a diversity of disciplines.
△ Less
Submitted 16 December, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
q-Opers, QQ-Systems, and Bethe Ansatz
Authors:
Edward Frenkel,
Peter Koroteev,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondenc…
▽ More
We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondence between the spectra of a quantum integrable model (IM) and classical geometric objects ($q$-differential equations). If $\mathfrak{g}$ is simply-laced, the Bethe Ansatz equations we obtain coincide with the equations that appear in the quantum integrable model of XXZ-type associated to the quantum affine algebra $U_q \widehat{\mathfrak{g}}$. However, if $\mathfrak{g}$ is non-simply laced, then these equations correspond to a different integrable model, associated to $U_q {}^L\widehat{\mathfrak{g}}$ where $^L\widehat{\mathfrak{g}}$ is the Langlands dual (twisted) affine algebra. A key element in this $q$DE/IM correspondence is the $QQ$-system that has appeared previously in the study of the ODE/IM correspondence and the Grothendieck ring of the category ${\mathcal O}$ of the relevant quantum affine algebra.
△ Less
Submitted 24 October, 2020; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Rigid connections on $\mathbb{P}^1$ via the Bruhat-Tits building
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with respect to the Moy-Prasad filtration associated to a point in the Bruhat-Tits building. If the leading term is regular semisimple with centraliser a (no…
▽ More
We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with respect to the Moy-Prasad filtration associated to a point in the Bruhat-Tits building. If the leading term is regular semisimple with centraliser a (not necessarily split) maximal torus $S$, then we have an $S$-toral connection. In this language, the irregular singularity of the Frenkel-Gross connection gives rise to the homogenous toral connection of minimal slope associated to the Coxeter torus $\mathcal{C}$. In the present paper, we consider connections on $\mathbb{G}_m$ which have an irregular homogeneous $\mathcal{C}$-toral singularity at zero of slope $i/h$, where $h$ is the Coxeter number and $i$ is a positive integer coprime to $h$, and a regular singularity at infinity with unipotent monodromy. Our main result is the characterisation of all such connections which are rigid.
△ Less
Submitted 19 May, 2020; v1 submitted 30 September, 2019;
originally announced October 2019.
-
$(SL(N),q)$-opers, the $q$-Langlands correspondence, and quantum/classical duality
Authors:
Peter Koroteev,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands corr…
▽ More
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands correspondence between nondegenerate solutions of the Bethe ansatz equations for the XXZ model and nondegenerate twisted $q$-opers with regular singularities on the projective line. We show that the quantum/classical duality between the XXZ spin chain and the trigonometric Ruijsenaars-Schneider model may be viewed as a special case of the $q$-Langlands correspondence. We also describe an application of $q$-opers to the equivariant quantum $K$-theory of the cotangent bundles to partial flag varieties.
△ Less
Submitted 9 September, 2020; v1 submitted 24 November, 2018;
originally announced November 2018.
-
Remarks on Top-philic $Z^\prime$ Boson Interactions with Nucleons
Authors:
Frederick S. Sage,
Jason N. E. Ho,
T. G. Steele,
Rainer Dick
Abstract:
This article provides the calculation of an effective vertex function between a nucleon and a $Z^\prime$ boson that couples preferentially to either the top quark or the third generation of fermions, for the purpose of calculating vector-portal dark matter nuclear recoil cross sections. Mixing effects between the new gauge group $U(1)^\prime$ and the Standard Model hypercharge group $U(1)_Y$ are t…
▽ More
This article provides the calculation of an effective vertex function between a nucleon and a $Z^\prime$ boson that couples preferentially to either the top quark or the third generation of fermions, for the purpose of calculating vector-portal dark matter nuclear recoil cross sections. Mixing effects between the new gauge group $U(1)^\prime$ and the Standard Model hypercharge group $U(1)_Y$ are taken into account. Contributions to the $U(1)^\prime$ nucleon current from heavy quarks are quantified using the heavy quark expansion. Also taken into account are contributions from the 1-loop $Z^\prime$-gluon interactions and mixing-induced contributions from the light quarks in the nucleon. We find that, for reasonable values of the $U(1)^\prime$ gauge parameter, contributions from the light quarks dominate despite being mixing-suppressed. It is shown that this holds for most models even if mixing effects do not appear at tree level. Contributions from the heavy quarks and gluons are suppressed by $1/m_Q^2$ and possibly also by momentum in the low momentum transfer limits relevant for dark matter direct detection. We discuss under which conditions the subdominant terms become relevant.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
Conformal Complex Scalar Singlet Extensions of the Standard Model: Symmetry Breaking Patterns and Phenomenology
Authors:
Zhi-Wei Wang,
Frederick S. Sage,
T. G. Steele,
R. B. Mann,
T. Hanif
Abstract:
We consider a conformal complex singlet extension of the Standard Model with a Higgs portal interaction. Two different scenarios depending on whether the global U(1) symmetry is broken or not have been studied. In the unbroken phase, the decay of the complex singlet is protected by the global U(1) symmetry which leads to an ideal cold dark matter candidate. In the broken phase, we are able to prov…
▽ More
We consider a conformal complex singlet extension of the Standard Model with a Higgs portal interaction. Two different scenarios depending on whether the global U(1) symmetry is broken or not have been studied. In the unbroken phase, the decay of the complex singlet is protected by the global U(1) symmetry which leads to an ideal cold dark matter candidate. In the broken phase, we are able to provide a second Higgs at $554\,\rm{GeV}$. In addition, gauging the global U(1) symmetry, we can construct an asymptotically safe U(1)' leptophobic model. We combine the notion of asymptotic safety with conformal symmetry and use the renormalization group equations as a bridge to connect UV boundary conditions and Electroweak/ TeV scale physics. We also provide a detailed example to show that these boundary conditions will lead to phenomenological signatures such as diboson excesses which could be tested at the LHC.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
Detection prospects for conformally constrained vector-portal dark matter
Authors:
Frederick S. Sage,
Zhi-Wei Wang,
Rainer Dick,
T. G. Steele,
R. B. Mann
Abstract:
We work with a UV conformal U(1)' extension of the Standard Model, motivated by the hierarchy problem and recent collider anomalies. This model admits fermionic vector portal WIMP dark matter charged under the U(1)' gauge group. The asymptotically safe boundary conditions can be used to fix the coupling parameters, which allows the observed thermal relic abundance to constrain the mass of the dark…
▽ More
We work with a UV conformal U(1)' extension of the Standard Model, motivated by the hierarchy problem and recent collider anomalies. This model admits fermionic vector portal WIMP dark matter charged under the U(1)' gauge group. The asymptotically safe boundary conditions can be used to fix the coupling parameters, which allows the observed thermal relic abundance to constrain the mass of the dark matter particle. This highly restricts the parameter space, allowing strong predictions to be made. The parameter space of several UV conformal U(1)' scenarios will be explored, and both bounds and possible signals from direct and indirect detection observation methods will be discussed.
△ Less
Submitted 24 October, 2016;
originally announced October 2016.
-
A geometric analogue of a conjecture of Gross and Reeder
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a geometric analogue of a conjecture of Gross and Reeder. We will also show that the irregular connections with minimum adjoint irregularity are precisely the (forma…
▽ More
Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a geometric analogue of a conjecture of Gross and Reeder. We will also show that the irregular connections with minimum adjoint irregularity are precisely the (formal) Frenkel-Gross connections.
△ Less
Submitted 7 May, 2019; v1 submitted 2 June, 2016;
originally announced June 2016.
-
Gamma ray signals of the annihilation of Higgs-portal singlet dark matter
Authors:
Frederick S. Sage,
Rainer Dick
Abstract:
This article is an exploration of gamma ray signals of annihilating Higgs-portal singlet scalar and vector dark matter. Gamma ray signals are considered in the context of contributions from annihilations of singlets in the galactic halo to the Isotropic Gamma Ray Background (IGRB), in the context of the Galactic center excess, and in the context of observations of dwarf spheroidal galaxies. We fin…
▽ More
This article is an exploration of gamma ray signals of annihilating Higgs-portal singlet scalar and vector dark matter. Gamma ray signals are considered in the context of contributions from annihilations of singlets in the galactic halo to the Isotropic Gamma Ray Background (IGRB), in the context of the Galactic center excess, and in the context of observations of dwarf spheroidal galaxies. We find that Higgs-portal singlets of both species with a mass of $~$65 GeV can explain the Galactic center excess with reasonable accuracy, but that this mass range is in tension with current direct detection bounds. We also find that singlets in the mass range of 250-1000 GeV are consistent with both the Fermi-LAT IGRB observations and direct detection bounds. Additionally, bounds from gamma ray observations of the dwarf spheroidal galaxy Segue I are translated into bounds on the Higgs-portal couplings.
△ Less
Submitted 5 June, 2016; v1 submitted 15 April, 2016;
originally announced April 2016.
-
Asymptotic Safety in the Conformal Hidden Sector?
Authors:
Zhi-Wei Wang,
Frederick S. Sage,
T. G. Steele,
R. B. Mann
Abstract:
We combine the notion of asymptotic safety (AS) with conformal invariance in a hidden sector beyond the Standard Model. We use the renormalization group (RG) equations as a bridge to connect UV boundary conditions and EW/TeV scale physics and furnish a detailed example in the context of a leptophobic $U(1)'$ model. A broad selection of UV boundary conditions are formulated corresponding to differi…
▽ More
We combine the notion of asymptotic safety (AS) with conformal invariance in a hidden sector beyond the Standard Model. We use the renormalization group (RG) equations as a bridge to connect UV boundary conditions and EW/TeV scale physics and furnish a detailed example in the context of a leptophobic $U(1)'$ model. A broad selection of UV boundary conditions are formulated corresponding to differing AS scenarios, and we find an AS scenario with very strong predictive power, allowing unique determination of most of the parameters in the model. We obtain the interrelationships among the couplings, the transition scale of the fixed point $M_{UV}$ and the generations of quarks coupled to the $Z'$, and especially the correlation between $M_{UV}$ and the top quark Yukawa coupling $Y_t$. Several phenomenological implications of our results are presented for selected $Z'$ masses.
△ Less
Submitted 31 July, 2018; v1 submitted 8 November, 2015;
originally announced November 2015.
-
Power-law distributions, the h-index, and Google Scholar (GS) citations: a test of their relationship with economics Nobelists
Authors:
Stephen J. Bensman,
Alice Daugherty,
Lawrence J. Smolinsky,
Daniel S. Sage,
J. Sylvan Katz
Abstract:
This paper presents proof that Google Scholar (GS) can construct documentary sets relevant for evaluating researchers' works. Nobelists in economics were the researchers under analysis, and two types of tests of the GS cites to their works were performed: distributional and semantic. Distributional tests found that the GS cites to the laureates' works conformed to the power-law model with an asymp…
▽ More
This paper presents proof that Google Scholar (GS) can construct documentary sets relevant for evaluating researchers' works. Nobelists in economics were the researchers under analysis, and two types of tests of the GS cites to their works were performed: distributional and semantic. Distributional tests found that the GS cites to the laureates' works conformed to the power-law model with an asymptote or "tail" conterminous with their h-index demarcating their core oeuvre, validating both GS and the h-index. Semantic tests revealed that their works highest in GS cites were on topics for which they were awarded the prize.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
Comparison of the Research Effectiveness of Chemistry Nobelists and Fields Medalist Mathematicians with Google Scholar: the Yule-Simon Model
Authors:
Stephen J. Bensman,
Lawrence J. Smolinsky,
Daniel S. Sage
Abstract:
This paper uses the Yule-Simon model to estimate to what extent the work of chemistry Nobelists and Fields medalist mathematicians is incorporated into the knowledge corpus of their disciplines as measured by Google Scholar inlinks. Due to differences in the disciplines and prizes, it finds that the work of chemistry Nobelists is better incorporated than that of Fields medalists.
This paper uses the Yule-Simon model to estimate to what extent the work of chemistry Nobelists and Fields medalist mathematicians is incorporated into the knowledge corpus of their disciplines as measured by Google Scholar inlinks. Due to differences in the disciplines and prizes, it finds that the work of chemistry Nobelists is better incorporated than that of Fields medalists.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Twisted Exponents and Twisted Frobenius-Schur Indicators for Hopf Algebras
Authors:
Daniel S. Sage,
Maria D. Vega
Abstract:
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a simila…
▽ More
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur indicators and use it to prove periodicity and rationality statements for the twisted indicators.
△ Less
Submitted 27 January, 2015; v1 submitted 20 February, 2014;
originally announced February 2014.
-
Flat G-bundles and regular strata for reductive groups
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bun…
▽ More
Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bundle and used this theory to define its slope. In this paper, the authors study fundamental strata that satisfy an additional regular semisimplicity condition. Flat G-bundles that contain regular strata have a natural reduction of structure to a (not necessarily split) maximal torus in LG, and the authors use this property to compute the corresponding moduli spaces. This theory generalizes a natural condition on algebraic connections (the GL_n case), which plays an important role in the global analysis of meromorphic connections and isomonodromic deformations.
△ Less
Submitted 24 September, 2013;
originally announced September 2013.
-
A theory of minimal K-types for flat G-bundles
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a…
▽ More
The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a nonnegative real number, and beta is a semistable functional on the degree r associated graded piece of the Moy-Prasad filtration corresponding to x.
Recent work on the wild ramification case of the geometric Langlands conjectures suggests that fundamental strata also play a role in the geometric setting. In this paper, we develop a theory of minimal K-types for formal flat G-bundles. We show that any formal flat G-bundle contains a fundamental stratum; moreover, all such strata have the same rational depth. We thus obtain a new invariant of a flat G-bundle called the slope, generalizing the classical definition for flat connections. The slope can also be realized as the minimum depth of a stratum contained in the flat G-bundle, and in the case of positive slope, all such minimal depth strata are fundamental. Finally, we show that a flat G-bundle is irregular singular if and only if it has positive slope.
△ Less
Submitted 30 December, 2016; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Induction of Selective Bayesian Classifiers
Authors:
Pat Langley,
Stephanie Sage
Abstract:
In this paper, we examine previous work on the naive Bayesian classifier and review its limitations, which include a sensitivity to correlated features. We respond to this problem by embedding the naive Bayesian induction scheme within an algorithm that c arries out a greedy search through the space of features. We hypothesize that this approach will improve asymptotic accuracy in domains that i…
▽ More
In this paper, we examine previous work on the naive Bayesian classifier and review its limitations, which include a sensitivity to correlated features. We respond to this problem by embedding the naive Bayesian induction scheme within an algorithm that c arries out a greedy search through the space of features. We hypothesize that this approach will improve asymptotic accuracy in domains that involve correlated features without reducing the rate of learning in ones that do not. We report experimental results on six natural domains, including comparisons with decision-tree induction, that support these hypotheses. In closing, we discuss other approaches to extending naive Bayesian classifiers and outline some directions for future research.
△ Less
Submitted 27 February, 2013;
originally announced February 2013.
-
Atomistic subsemirings of the lattice of subspaces of an algebra
Authors:
Daniel S. Sage
Abstract:
Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero divisors, the set of atoms of R is endowed with a multivalued product. We introduce an equivalence relation on the set of atoms such that the quotient set with the ind…
▽ More
Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero divisors, the set of atoms of R is endowed with a multivalued product. We introduce an equivalence relation on the set of atoms such that the quotient set with the induced product is a monoid, called the condensation monoid. Under suitable hypotheses on R, we show that this monoid is a group and the class of k1_A is the set of atoms of a subalgebra of A called the focal subalgebra. This construction can be iterated to obtain higher condensation groups and focal subalgebras. We apply these results to G-algebras for G a group; in particular, we use them to define new invariants for finite-dimensional irreducible projective representations.
△ Less
Submitted 4 March, 2012;
originally announced March 2012.
-
Twisted Frobenius-Schur indicators for Hopf algebras
Authors:
Daniel S. Sage,
Maria D. Vega
Abstract:
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been i…
▽ More
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montgomery have defined Frobenius-Schur indicators for semisimple Hopf algebras. In this paper, the authors construct twisted Frobenius-Schur indicators for semisimple Hopf algebras; these include all of the above indicators as special cases and have similar properties.
△ Less
Submitted 13 January, 2012; v1 submitted 4 July, 2011;
originally announced July 2011.
-
Generalized Serre conditions and perverse coherent sheaves
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is "nicer" than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this…
▽ More
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is "nicer" than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this paper, the authors introduce generalized Serre conditions--these are local cohomology conditions which include S_r and the Cohen-Macaulay condition as special cases. To any generalized Serre condition S_rho, there exists an associated perverse t-structure on the derived category of coherent sheaves on a suitable scheme X. Under appropriate hypotheses, the authors characterize those schemes for which a canonical finite S_rho-ification exists in terms of the intermediate extension functor for the associated perversity. Similar results, including a universal property, are obtained for a more general morphism extension problem called S_rho-extension.
△ Less
Submitted 14 June, 2011;
originally announced June 2011.
-
Isomonodromic deformations of connections with singularities of parahoric formal type
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that contain regular fundamental strata with fixed combinatorics at each singular point is constructed as a smooth Poisson reduction. The authors then explicitly comput…
▽ More
In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that contain regular fundamental strata with fixed combinatorics at each singular point is constructed as a smooth Poisson reduction. The authors then explicitly compute the isomonodromy equations as an integrable system. This result generalizes work of Jimbo, Miwa, and Ueno to connections whose singularities have parahoric formal type.
△ Less
Submitted 1 May, 2011; v1 submitted 12 October, 2010;
originally announced October 2010.
-
Moduli spaces of irregular singular connections
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study irregular singular connections on the projective line. Fundamental strata were originally used to classify cuspidal representations of the general linear group over…
▽ More
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study irregular singular connections on the projective line. Fundamental strata were originally used to classify cuspidal representations of the general linear group over a local field. In the geometric setting, fundamental strata play the role of the leading term of a connection. We introduce the concept of a regular stratum, which allows us to generalize the condition that a connection has regular semisimple leading term to connections with non-integer slope. Finally, we construct a symplectic moduli space of meromorphic connections on the projective line that contain a regular stratum at each singular point.
△ Less
Submitted 3 January, 2012; v1 submitted 26 April, 2010;
originally announced April 2010.
-
Staggered sheaves on partial flag varieties
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
△ Less
Submitted 10 December, 2007;
originally announced December 2007.
-
Perverse coherent sheaves and the geometry of special pieces in the unipotent variety
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a muc…
▽ More
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent middle extension functor.
Under suitable hypotheses, we introduce a construction (called "S2-extension") in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical "S2-ification" of appropriate X. The construction also has applications to the "Macaulayfication" problem, and it is particularly well-behaved when X is Gorenstein.
Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown in the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S2-extension to give a uniform construction of the desired variety.
△ Less
Submitted 15 October, 2008; v1 submitted 30 June, 2007;
originally announced July 2007.
-
On special pieces, the Springer correspondence, and unipotent characters
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier…
▽ More
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier work of Lusztig on Springer representations within special pieces of the unipotent variety.
△ Less
Submitted 30 June, 2007; v1 submitted 3 June, 2006;
originally announced June 2006.
-
Group Actions on Central Simple Algebras
Authors:
Daniel S. Sage
Abstract:
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $A\cong\text{End}_D(V)$ makes $V$ into a projective representation. W…
▽ More
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $A\cong\text{End}_D(V)$ makes $V$ into a projective representation. We then prove that there is a natural one-to-one correspondence between $G$-invariant $D$-submodules of $V$ and invariant left (and right) ideals of $A$.
Under the assumption that $V$ is irreducible, we show that an invariant (unital) subalgebra must be a simply embedded semisimple subalgebra. We introduce induction of $G$-algebras. We show that each invariant subalgebras is induced from a simple $H$-algebra for some subgroup $H$ of finite index and obtain a parametrization of the set of invariant subalgebras in terms of induction data. We then describe invariant central simple subalgebras. For $F$ algebraically closed, we obtain an entirely explicit classification of the invariant subalgebras. Furthermore, we show that the set of invariant subalgebras is finite if $G$ is a finite group. Finally, we consider invariant subalgebras when $V$ is a continuous projective representation of a topological group $G$. We show that if the connected component of the identity acts irreducibly on $V$, then all invariant subalgebras are simple. We then apply our results to obtain a particularly nice solution to the classification problem when $G$ is a compact connected Lie group and $F=\mathbf C$.
△ Less
Submitted 27 January, 1999;
originally announced January 1999.
-
The Geometry of Fixed Point Varieties on Affine Flag Manifolds
Authors:
Daniel S. Sage
Abstract:
Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((π))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions…
▽ More
Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((π))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions introduced by Lusztig and Smelt. We formulate a condition on a pair $(N,f)$ consisting of $N\in\frak{g}\otimes k((π))$ and a $k^*$-action $f$ of the specified type which guarantees that $f$ induces an action on the variety of parahoric subalgebras containing $N$.
For the special linear and symplectic groups, we characterize all regular semisimple and nil-elliptic conjugacy classes containing a representative whose fixed point variety admits such an action. We then use these actions to find simple formulas for the Euler characteristics of those varieties for which the $k^*$-fixed points are finite. We also obtain a combinatorial description of the Euler characteristics of the spaces of parabolic subalgebras containing a given element of certain nilpotent conjugacy classes of $\frak g$.
△ Less
Submitted 21 January, 1999;
originally announced January 1999.
