On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings

In this paper we study the multigraded Hilbert and Poincaré-Betti series of A=S/a, where S is the ring of polynomials in n indeterminates divided by the monomial ideal a. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case where the Taylor resolution is minimal. We introduce a conjecture about the minimal A-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves and, in addition, gives a formula for the Hilbert series. Using Algebraic Discrete Morse theory, we prove that the homology of the Koszul complex of A with respect to x₁,…,x_n is isomorphic to a graded commutative ring of polynomials over certain sets in the Taylor resolution divided by an ideal r of relations. This leads to a proof of our conjecture for some classes of algebras A. We also give an approach for the proof of our conjecture via Algebraic Discrete Morse theory in the general case.The conjecture implies that A is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of a implies Golodness for A.     

Integral group ring of the Mathieu simple groupM 12

We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic groupM ₁₂. As a consequence, we confirm for this group the Kimmerle’s conjecture on prime graphs.     

The Alperin and Dade Conjectures for the Conway Simple Group Co1

We classify the radical subgroups and chains of the Conway simple group Co₁ and then verify the Alperin weight conjecture and the Dade final conjecture for this group.     

Integral Group Ring of the Mathieu Simple Group M 23

We investigate the classical Zassenhaus conjecture for the unit group of the integral group ring of Mathieu simple group M ₂₃ using the Luthar–Passi method. This work is a continuation of the research that we carried out for Mathieu groups M ₁₁ and M ₁₂. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs.     

On connectedness of sets in the real spectra of polynomial rings

Let R be a real closed field. The Pierce–Birkhoff conjecture says that any piecewise polynomial function f on R ⁿ can be obtained from the polynomial ring R[x ₁,..., x _n ] by iterating the operations of maximum and minimum. The purpose of this paper is threefold. First, we state a new conjecture, called the Connectedness conjecture, which asserts, for every pair of points , the existence of connected sets in the real spectrum of R[x ₁,..., x _n ], satisfying certain conditions. We prove that the Connectedness conjecture implies the Pierce–Birkhoff conjecture. Secondly, we construct a class of connected sets in the real spectrum which, though not in itself enough for the proof of the Pierce–Birkhoff conjecture, is the first and simplest example of the sort of connected sets we really need, and which constitutes the first step in our program for a proof of the Pierce–Birkhoff conjecture in dimension greater than 2. Thirdly, we apply these ideas to give two proofs that the Connectedness conjecture (and hence also the Pierce–Birkhoff conjecture in the abstract formulation) holds locally at any pair of points , one of which is monomial. One of the proofs is elementary while the other consists in deducing this result as an immediate corollary of the main connectedness theorem of this paper.     

On the two-edge-colorings of perfect graphs

We investigate the conjecture that a graph is perfect if it admits a two-edge-coloring such that two edges receive different colors if they are the nonincident edges of a P₄ (chordless path with four vertices). Partial results on this conjecture are given in this paper. © 1995 John Wiley & Sons, Inc.     

Laumon spaces and the Calogero-Sutherland integrable system

This paper contains a proof of a conjecture of Braverman concerning Laumon quasiflag spaces. We consider the generating function Z(m), whose coefficients are the integrals of the equivariant Chern polynomial (with variable m) of the tangent bundles of the Laumon spaces. We prove Braverman’s conjecture, which states that Z(m) coincides with the eigenfunction of the Calogero-Sutherland hamiltonian, up to a simple factor which we specify. This conjecture was inspired by the work of Nekrasov in the affine [^( \mathfrak sl)]_n\widehat{ {\mathfrak {sl}}}_{n} setting, where a similar conjecture is still open.     

On the modularity of the GL<Subscript>2</Subscript>-twisted spinor L-function

In modern number theory there are famous theorems on the modularity of Dirichlet series attached to geometric or arithmetic objects. There is Hecke’s converse theorem, Wiles proof of the Taniyama-Shimura conjecture, and Fermat’s Last Theorem to name a few. In this article in the spirit of the Langlands philosophy we raise the question on the modularity of the GL₂-twisted spinor L-function Z _{G ⊗ h} (s) related to automorphic forms G,h on the symplectic group GSp₂ and GL₂. This leads to several promising results and finally culminates into a precise very general conjecture. This gives new insights into the Miyawaki conjecture on spinor L-functions of modular forms. We indicate how this topic is related to Ramakrishnan’s work on the modularity of the Rankin-Selberg L-series.     

On the semiproportional character conjecture in groups Sp<Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Previously, the author made the following conjecture: if a finite group has two semiproportional irreducible characters φ and ψ, then φ(1) = ψ(1). In the present paper, a new confirmation of the conjecture is obtained. Namely, the conjecture is verified for symplectic groups Sp₄(q) and PSp₄(q).     

On an analogue of a conjecture of Gross

The paper is concerned with a problem in the theory of congruence function fields which is analogous to a conjecture of Gross in Iwasawa Theory. Z_p-extensions K_∞/K₀ of congruence function fields K₀ of characteristic p≠2 involving no new constants are considered such that the set S of ramified primes is finite and these primes are fully ramified. Is the set of S-classes invariant under Gal(K_∞/K₀) finite ? Gross' conjecture asserts that a similar question has an affirmative answer for the class of cyclotomic Z_p- extensions of CM-type if S is the set of p-primes and the classes considered are minus S-classes. Using a formula of Witt for the norm residue symbol in cyclic p-extensions of local fields of characteristic p, a necessary and sufficient condition for the validity of the analogue of Gross' conjecture is given for a class of extensions K_∞/K₀. It is shown by examples that the analogue of Gross' conjecture is not always true.     

A graph-theoretic version of the union-closed sets conjecture

An induced subgraph S of a graph G is called a derived subgraph of G if S contains no isolated vertices. An edge e of G is said to be residual if e occurs in more than half of the derived subgraphs of G. We introduce the conjecture: Every non-empty graph contains a non-residual edge. This conjecture is implied by, but weaker than, the union-closed sets conjecture. We prove that a graph G of order n satisfies this conjecture whenever G satisfies any one of the conditions: δ(G) ≤ 2, log₂ n ≤ δ(G), n ≤ 10, or the girth of G is at least 6. Finally, we show that the union-closed sets conjecture, in its full generality, is equivalent to a similar conjecture about hypergraphs. © 1997 John Wiley & Sons, Inc. J Graph Theory 26: 155–163, 1997     

The Mukai conjecture for log Fano manifolds

For a log Fano manifold (X,D) with D ≠ 0 and of the log Fano pseudoindex ≥2, we prove that the restriction homomorphism Pic(X) → Pic(D ₁) of Picard groups is injective for any irreducible component D ₁ ? D. The strategy of our proof is to run a certain minimal model program and is similar to Casagrande’s argument. As a corollary, we prove that the Mukai conjecture (resp. the generalized Mukai conjecture) implies the log Mukai conjecture (resp. the log generalized Mukai conjecture).     

Integral group ring of the Mathieu simple group M 12

We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic groupM ₁₂. As a consequence, we confirm for this group the Kimmerle’s conjecture on prime graphs. The research was supported by OTKA grants No. T 43034, No.K61007 and Francqui Stichting (Belgium) grant ADSI107.     

On K2 of One-Dimensional Local Rings

We study K₂ of one-dimensional local domains which are essentially of finite type over a field of characteristic 0. In particular, we show that Berger’s conjecture implies Geller’s conjecture for such rings. This verifies Geller’s conjecture in many new cases of interest. Received: September 2003     

Integral group rings of frobenius groups and the conjectures of H.J. Zassenhaus

The conjecture of H.J. Zassenhaus for finite subgroups of units of integral group rings. restricted to p-subgroups, is proved for finite Frobenius groups when p is an odd prime. The result for 2-subgroups is established for those Frobenius groups that cannot be mapped homo-morphically onto S$sub:5$esub:. The conjecture in its full strength is proved for A₅, S₅ and SL(2.5).     

Normalized local theta correspondence and the duality of inner product formulas

We conjecture that local theta correspondence can be normalized by the leading coefficient of a weighted local period integral, and that there exists a duality of local and global inner product formulas. The conjecture is verified for the pair (, PGL ₂) and (SL ₂, SO(2, 2)). As an application, global inner product formulas are obtained for liftings in the directions PGL ₂ → , GSO(2, 2) → GL ₂.     

On the rigidity of the cotangent complex at the prime 2

In [D. Quillen, On the (co)homology of commutative rings, Proc. Symp. Pure Math. 17 (1970) 65-87; L. Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology, Annals of Math. 2 (150) (1999) 455-487] a conjecture was posed to the effect that if R→A is a homomorphism of Noetherian commutative rings then the flat dimension, as defined in the derived category of A-modules, of the associated cotangent complex L_A/R satisfies: . The aim of this paper is to initiate an approach for solving this conjecture when R has characteristic 2 using simplicial algebra techniques. To that end, we obtain two results. First, we prove that the conjecture can be reframed in terms of certain nilpotence properties for the divided square γ₂ and the André operation ? as it acts on Tor_R(A,?), ? any residue field of A. Second, we prove the conjecture is valid in two cases: when and when R is a Cohen-Macaulay ring.     

Local Shalika models and functoriality

We prove, over a p-adic local field F, that an irreducible supercuspidal representation of GL_2n (F) is a local Langlands functorial transfer from SO_2n+1(F) if and only if it has a nonzero Shalika model (Corollary 5.2, Proposition 5.4 and Theorem 5.5). Based on this, we verify (Sect. 6) in our cases a conjecture of Jacquet and Martin, a conjecture of Kim, and a conjecture of Speh in the theory of automorphic forms.     

Adapted algebras for the Berenstein-Zelevinsky conjecture

Let G be a simply connected semisimple complex Lie group and fix a maximal unipotent subgroup U^- of G. Let q be an indeterminate and let B* denote the dual canonical basis (cf. [19]) of the quantized algebra Cq[U^-] of regular functions on U^-. Following [20], fix a Z^N_≧0-parametrization of this basis, where N = dim U^-. In [2], A. Berenstein and A. Zelevinsky conjecture that two elements of B* q-commute if and only if they are multiplicative, i.e., their product is an element of B* up to a power of q. To any reduced decomposition w₀ of the longest element of the Weyl group of g, we associate a subalgebra A_w0, called adapted algebra, of Cq[U^-] such that (1) A_w0 is a q-polynomial algebra which equals Cq[U^-] up to localization, (2) A_w0 is spanned by a subset of B*, (3) the Berenstein–Zelevinsky conjecture is true on A_w0. Then we test the conjecture when one element belongs to the q-center of Cq[U^-].