The general hyperplane section of a curve

In this paper, we discuss some necessary and sufficient conditions for a curve to be arithmetically Cohen-Macaulay, in terms of its general hyperplane section. We obtain a characterization of the degree matrices that can occur for points in the plane that are the general plane section of a non-arithmetically Cohen-Macaulay curve of . We prove that almost all the degree matrices with positive subdiagonal that occur for the general plane section of a non-arithmetically Cohen-Macaulay curve of , arise also as degree matrices of some smooth, integral, non-arithmetically Cohen-Macaulay curve, and we characterize the exceptions. We give a necessary condition on the graded Betti numbers of the general plane section of an arithmetically Buchsbaum (non-arithmetically Cohen-Macaulay) curve in . For curves in , we show that any set of Betti numbers that satisfies that condition can be realized as the Betti numbers of the general plane section of an arithmetically Buchsbaum, non-arithmetically Cohen-Macaulay curve. We also show that the matrices that arise as a degree matrix of the general plane section of an arithmetically Buchsbaum, integral, (smooth) non-arithmetically Cohen-Macaulay space curve are exactly those that arise as a degree matrix of the general plane section of an arithmetically Buchsbaum, non-arithmetically Cohen-Macaulay space curve and have positive subdiagonal. We also prove some bounds on the dimension of the deficiency module of an arithmetically Buchsbaum space curve in terms of the degree matrix of the general plane section of the curve, and we prove that they are sharp.

     

Core versus graded core, and global sections of line bundles

We find formulas for the graded core of certain -primary ideals in a graded ring. In particular, if is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under a suitable hypothesis, the core and graded core of the ideal of generated by all elements of degrees at least (for some, equivalently every, large ) are equal if and only if the line bundle admits a non-zero global section. We also prove a formula for the graded core of the powers of the unique homogeneous maximal ideal in a standard graded Cohen-Macaulay ring of arbitrary characteristic. Several open problems are posed whose solutions would lead to progress on a non-vanishing conjecture of Kawamata.

     

The sharp lower bound for the first positive eigenvalue of a sub-Laplacian on a pseudo-Hermitian manifold

This paper studies, using the Bochner technique, a sharp lower bound of the first eigenvalue of a subelliptic Laplace operator on a strongly pseudoconvex CR manifold in terms of its pseudo-Hermitian geometry. For dimensions greater than or equal to , the lower bound under a condition on the Ricci curvature and the torsion was obtained by Greenleaf. We give a proof for all dimensions greater than or equal to . For dimension , the sharp lower bound is proved under a condition which also involves a distinguished covariant derivative of the torsion.

     

The flag upper bound theorem for 3- and 5-manifolds

We prove that among all flag 3-manifolds on n vertices, the join of two circles with ?n/2? and ?n/2? vertices respectively is the unique maximizer of the face numbers. This solves the first case of a conjecture due to Lutz and Nevo. Further, we establish a sharp upper bound on the number of edges of flag 5-manifolds and characterize the cases of equality. We also show that the inequality part of the flag upper bound conjecture continues to hold for all flag 3-dimensional Eulerian complexes and find all maximizers of the face numbers in this class.     

Stability of the log-log bound for blow up solutions to the critical non linear Schrödinger equation

We consider finite time blow up solutions to the critical nonlinear Schrödinger equation with initial condition u₀ H¹. Existence of such solutions is known, but the complete blow up dynamic is not understood so far. For initial data with negative energy, finite time blow up with a universal sharp upper bound on the blow up rate corresponding to the so-called log-log law has been proved in [10], [11]. We focus in this paper onto the positive energy case where at least two blow up speeds are known to possibly occur. We establish the stability in energy space H¹ of the log-log upper bound exhibited in the negative energy case, and a sharp lower bound on blow up rate in the other regime which corresponds to known explicit blow up solutions.     

Construction of non-alternating knots

We investigate the behaviour of Rasmussen's invariant  under the sharp operation on knots and obtain a lower bound for the sharp unknotting number. This bound leads us to an interesting move that transforms arbitrary knots into non-alternating knots.

     

Big Cohen-Macaulay algebras and seeds

In this article, we delve into the properties possessed by algebras, which we have termed seeds, that map to big Cohen-Macaulay algebras. We will show that over a complete local domain of positive characteristic any two big Cohen-Macaulay algebras map to a common big Cohen-Macaulay algebra. We will also strengthen Hochster and Huneke's ``weakly functorial" existence result for big Cohen-Macaulay algebras by showing that the seed property is stable under base change between complete local domains of positive characteristic. We also show that every seed over a positive characteristic ring maps to a balanced big Cohen-Macaulay -algebra that is an absolutely integrally closed, -adically separated, quasilocal domain.

     

Foxby duality and Gorenstein injective and projective modules

In 1966, Auslander introduced the notion of the -dimension of a finitely generated module over a Cohen-Macaulay noetherian ring and found the basic properties of these dimensions. His results were valid over a local Cohen-Macaulay ring admitting a dualizing module (also see Auslander and Bridger (Mem. Amer. Math. Soc., vol. 94, 1969)). Enochs and Jenda attempted to dualize the notion of -dimensions. It seemed appropriate to call the modules with -dimension 0 Gorenstein projective, so the basic problem was to define Gorenstein injective modules. These were defined in Math. Z. 220 (1995), 611--633 and were shown to have properties predicted by Auslander's results. The way we define Gorenstein injective modules can be dualized, and so we can define Gorenstein projective modules (i.e. modules of -dimension 0) whether the modules are finitely generated or not. The investigation of these modules and also Gorenstein flat modules was continued by Enochs, Jenda, Xu and Torrecillas. However, to get good results it was necessary to take the base ring Gorenstein. H.-B. Foxby introduced a duality between two full subcategories in the category of modules over a local Cohen-Macaulay ring admitting a dualizing module. He proved that the finitely generated modules in one category are precisely those of finite -dimension. We extend this result to modules which are not necessarily finitely generated and also prove the dual result, i.e. we characterize the modules in the other class defined by Foxby. The basic result of this paper is that the two classes involved in Foxby's duality coincide with the classes of those modules having finite Gorenstein projective and those having finite Gorenstein injective dimensions. We note that this duality then allows us to extend many of our results to the original Auslander setting.

     

Maximal Cohen-Macaulay modules over a noncommutative 2-dimensional singularity

We study properties of graded maximal Cohen-Macaulay modules over an \mathbb{N}-graded locally finite, Auslander Gorenstein, and Cohen-Macaulay algebra of dimension two. As a consequence, we extend a part of the McKay correspondence in dimension two to a more general setting.     

Hochster's theta invariant and the Hodge–Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., for i?0). Since R has only an isolated singularity, these torsion modules are of finite length for i?0. The theta invariant of the pair (M,N) is defined by Hochster to be for i?0. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).     

Multivariate Polynomial Minimization and Its Application in Signal Processing

We make a conjecture that the number of isolated local minimum points of a 2n-degree or (2n+1)-degree r-variable polynomial is not greater than n ^r when n 2. We show that this conjecture is the minimal estimate, and is true in several cases. In particular, we show that a cubic polynomial of r variables may have at most one local minimum point though it may have 2^r critical points. We then study the global minimization problem of an even-degree multivariate polynomial whose leading order coefficient tensor is positive definite. We call such a multivariate polynomial a normal multivariate polynomial. By giving a one-variable polynomial majored below a normal multivariate polynomial, we show the existence of a global minimum of a normal multivariate polynomial, and give an upper bound of the norm of the global minimum and a lower bound of the global minimization value. We show that the quartic multivariate polynomial arising from broad-band antenna array signal processing, is a normal polynomial, and give a computable upper bound of the norm of the global minimum and a computable lower bound of the global minimization value of this normal quartic multivariate polynomial. We give some sufficient and necessary conditions for an even order tensor to be positive definite. Several challenging questions remain open.     

Bounds for multiplicities

Let and be a homogeneous -algebra. We establish bounds for the multiplicity of certain homogeneous -algebras in terms of the shifts in a free resolution of over . Huneke and we conjectured these bounds as they generalize the formula of Huneke and Miller for the algebras with pure resolution, the simplest case. We prove these conjectured bounds for various algebras including algebras with quasi-pure resolutions. Our proof for this case gives a new and simple proof of the Huneke-Miller formula. We also settle these conjectures for stable and square free strongly stable monomial ideals . As a consequence, we get a bound for the regularity of . Further, when is not Cohen-Macaulay, we show that the conjectured lower bound fails and prove the upper bound for almost Cohen-Macaulay algebras as well as algebras with a -linear resolution.

     

Homological properties of balanced Cohen-Macaulay algebras

A balanced Cohen-Macaulay algebra is a connected algebra having a balanced dualizing complex in the sense of Yekutieli (1992) for some integer and some graded - bimodule . We study some homological properties of a balanced Cohen-Macaulay algebra. In particular, we will prove the following theorem:
 

As a corollary, we will have the following characterizations of AS Gorenstein algebras and AS regular algebras:
 

     

Roper–Suffridge extension operator and the lower bound for the distortion

Liczberski–Starkov gave a sharp lower bound for DΦ_n(f)(z) near the origin, where Φ_n is the Roper–Suffridge extension operator and f is a normalized convex mapping on the unit disk in C. They gave a conjecture that the sharp lower bound holds on the Euclidean unit ball Bⁿ in Cⁿ. In this paper, we will give a sharp lower bound on Bⁿ for a more general extension operator and for normalized univalent mappings f or normalized convex mappings f. We will give a lower bound for mappings f in a linear invariant family. We will also give a similar sharp lower bound on bounded convex complete Reinhardt domains in Cⁿ.     

On the regularity of -Borel ideals

In this paper we prove Pardue's conjecture on the regularity of principal -Borel ideals. As a consequence we obtain an upper bound for the regularity of general -Borel ideals.

     

On face numbers of manifolds with symmetry

Necessary conditions on the face numbers of Cohen-Macaulay simplicial complexes admitting a proper action of the cyclic group of a prime order are given. This result is extended further to necessary conditions on the face numbers and the Betti numbers of Buchsbaum simplicial complexes with a proper -action. Adin's upper bounds on the face numbers of Cohen-Macaulay complexes with symmetry are shown to hold for all (d−1)-dimensional Buchsbaum complexes with symmetry on n?3d−2 vertices. A generalization of Kühnel's conjecture on the Euler characteristic of 2k-dimensional manifolds and Sparla's analog of this conjecture for centrally symmetric 2k-manifolds are verified for all 2k-manifolds on n?6k+3 vertices. Connections to the Upper Bound Theorem are discussed and its new version for centrally symmetric manifolds is established.     

Random walks with different directions

As an extension of Polya’s classical result on random walks on the square grids (\({\mathbf {Z}}^d\)), we consider a random walk where the steps, while still have unit length, point to different directions. We show that in dimensions at least 4, the returning probability after n steps is at most \(n^{-d/2 - d/(d-2) +o(1) }\), which is sharp. The real surprise is in dimensions 2 and 3. In dimension 2, where the traditional grid walk is recurrent, our upper bound is \(n^{-\omega (1) }\), which is much worse than in higher dimensions. In dimension 3, we prove an upper bound of order \(n^{-4 +o(1) }\). We find a new conjecture concerning incidences between spheres and points in \({\mathbf {R}}^3\), which, if holds, would improve the bound to \(n^{-9/2 +o(1) }\), which is consistent to the \(d \ge 4\) case. This conjecture resembles Szemerédi-Trotter type results and is of independent interest.     

A sharp upper bound for the first Dirichlet eigenvalue and the growth of the isoperimetric constant of convex domains

We show that as the ratio between the first Dirichlet eigenvalues of a convex domain and of the ball with the same volume becomes large, the same must happen to the corresponding ratio of isoperimetric constants. The proof is based on the generalization to arbitrary dimensions of Pólya and Szegö's upper bound for the first eigenvalue of the Dirichlet Laplacian on planar star-shaped domains which depends on the support function of the domain.

As a by-product, we also obtain a sharp upper bound for the spectral gap of convex domains.

     

On the eccentric connectivity index of a graph

If G is a connected graph with vertex set V, then the eccentric connectivity index of G, ξ^C(G), is defined as where is the degree of a vertex v and is its eccentricity. We obtain an exact lower bound on ξ^C(G) in terms of order, and show that this bound is sharp. An asymptotically sharp upper bound is also derived. In addition, for trees of given order, when the diameter is also prescribed, precise upper and lower bounds are provided.