Expand all Collapse all | Results 1 - 25 of 27 |
1. CMB Online first
The equivariant cohomology rings of Peterson varieties in all Lie types Let $G$ be a complex semisimple linear algebraic group and let
$Pet$ be the associated Peterson variety in the flag
variety $G/B$.
The main theorem of this note gives an efficient presentation
of the equivariant cohomology ring $H^*_S(Pet)$ of the
Peterson variety as a quotient of a polynomial ring by an ideal
$J$ generated by quadratic polynomials, in the spirit of the
Borel presentation of the cohomology of the flag variety. Here
the group $S \cong \mathbb{C}^*$ is a certain subgroup of a maximal
torus $T$ of $G$.
Our description of the ideal $J$ uses the Cartan matrix and is
uniform across Lie types. In our arguments we use the Monk formula
and Giambelli formula for the equivariant cohomology rings of
Peterson varieties for all Lie types, as obtained in the work
of Drellich. Our result generalizes a previous theorem of Fukukawa-Harada-Masuda,
which was only for Lie type $A$.
Keywords:equivariant cohomology, Peterson varieties, flag varieties, Monk formula, Giambelli formula Categories:55N91, 14N15 |
2. CMB 2013 (vol 57 pp. 225)
Small Flag Complexes with Torsion We classify flag complexes on at most $12$ vertices with torsion in
the first homology group. The result is moderately computer-aided.
As a consequence we confirm a folklore conjecture that the smallest
poset whose order complex is homotopy equivalent to the real
projective plane (and also the smallest poset with torsion in the
first homology group) has exactly $13$ elements.
Keywords:clique complex, order complex, homology, torsion, minimal model Categories:55U10, 06A11, 55P40, 55-04, 05-04 |
3. CMB 2013 (vol 57 pp. 335)
Alexandroff Manifolds and Homogeneous Continua ny homogeneous,
metric $ANR$-continuum is a $V^n_G$-continuum provided $\dim_GX=n\geq
1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal
domain.
This implies that any homogeneous $n$-dimensional metric $ANR$-continuum is a $V^n$-continuum in the sense of Alexandroff.
We also prove that any finite-dimensional homogeneous metric continuum
$X$, satisfying $\check{H}^n(X;G)\neq 0$ for some group $G$ and $n\geq
1$, cannot be separated by
a compactum $K$ with $\check{H}^{n-1}(K;G)=0$ and $\dim_G K\leq
n-1$. This provides a partial answer to a question of
Kallipoliti-Papasoglu
whether any two-dimensional homogeneous Peano continuum cannot be separated by arcs.
Keywords:Cantor manifold, cohomological dimension, cohomology groups, homogeneous compactum, separator, $V^n$-continuum Categories:54F45, 54F15 |
4. CMB Online first
An Explicit Formula for the Generalized Cyclic Shuffle Map We provide an explicit formula for the generalized cyclic shuffle map for cylindrical modules.
Using this formula we give a combinatorial proof of the generalized
cyclic Eilenberg-Zilber theorem.
Keywords:generalized Cyclic shuffle map, Cylindrical module, Eilenberg-Zilber theorem, Cyclic homology Categories:19D55, 05E45 |
5. CMB 2013 (vol 57 pp. 210)
An Explicit Formula for the Generalized Cyclic Shuffle Map We provide an explicit formula for the generalized cyclic shuffle map for cylindrical modules.
Using this formula we give a combinatorial proof of the generalized
cyclic Eilenberg-Zilber theorem.
Keywords:generalized Cyclic shuffle map, Cylindrical module, Eilenberg-Zilber theorem, Cyclic homology Categories:19D55, 05E45 |
6. CMB 2012 (vol 56 pp. 737)
On the Radius of Comparison of a Commutative C*-algebra Let $X$ be a compact metric space. A lower bound for the radius of
comparison of the C*-algebra $\operatorname{C}(X)$ is given in terms of
$\operatorname{dim}_{\mathbb{Q}} X$, where $\operatorname{dim}_{\mathbb{Q}} X $ is
the cohomological dimension with rational coefficients. If
$\operatorname{dim}_{\mathbb{Q}} X =\operatorname{dim} X=d$, then the
radius of comparison of the C*-algebra $\operatorname{C}(X)$ is $\max\{0, (d-1)/2-1\}$ if $d$ is odd, and must be either $d/2-1$ or $d/2-2$ if $d$ is even (the possibility of $d/2-1$ does occur, but we do not know if the possibility of $d/2-2$ also can occur).
Keywords:Cuntz semigroup, comparison radius, cohomology dimension, covering dimension |
7. CMB 2012 (vol 56 pp. 491)
A Note on Homological Dimensions of Artinian Local Cohomology Modules Let $(R,{\frak m})$ be a non-zero commutative Noetherian local ring
(with identity), $M$ be a non-zero finitely generated $R$-module. In
this paper for any ${\frak p}\in {\rm Spec}(R)$ we show that
$
\operatorname{{\rm injdim_{_{R_{\frak p}}}}}
H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak p}}(M_{\frak p})$ and
${\rm fd}_{R_{\p}} H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak
p}}(M_{\frak p})$ are bounded from above by $
\operatorname{{\rm injdim_{_{R}}}}
H^i_{\frak
m}(M)$ and
$ {\rm fd}_R H^i_{\frak m}(M)$ respectively, for all integers $i\geq \dim(R/{\frak p})$.
Keywords:cofinite modules, flat dimension, injective dimension, Krull dimension, local cohomology Category:13D45 |
8. CMB 2011 (vol 55 pp. 48)
Freyd's Generating Hypothesis for Groups with Periodic Cohomology Let $G$ be a finite group, and let $k$ be a field whose characteristic $p$
divides
the order of $G$.
Freyd's generating hypothesis for the stable module category of
$G$ is the statement that a map between finite-dimensional
$kG$-modules in the thick subcategory generated by $k$ factors through a
projective if the induced map on Tate cohomology is trivial. We show that if
$G$
has periodic cohomology, then the generating hypothesis holds if and only if
the Sylow
$p$-subgroup of $G$ is $C_2$ or $C_3$. We also give some other conditions
that are equivalent to the GH
for groups with periodic cohomology.
Keywords:Tate cohomology, generating hypothesis, stable module category, ghost map, principal block, thick subcategory, periodic cohomology Categories:20C20, 20J06, 55P42 |
9. CMB 2011 (vol 55 pp. 81)
Cofiniteness of Generalized Local Cohomology Modules for One-Dimensional Ideals Let $\mathfrak a$ be an ideal of a commutative Noetherian
ring $R$ and $M$ and $N$ two finitely generated $R$-modules. Our
main result asserts that if $\dim R/\mathfrak a\leq 1$, then all generalized
local cohomology modules $H^i_{\mathfrak a}(M,N)$ are $\mathfrak a$-cofinite.
Keywords:cofinite modules, generalized local cohomology modules, local cohomology modules Categories:13D45, 13E05, 13E10 |
10. CMB 2011 (vol 55 pp. 153)
Artinianness of Certain Graded Local Cohomology Modules
We show that if
$R=\bigoplus_{n\in\mathbb{N}_0}R_n$ is a Noetherian homogeneous ring
with local base ring $(R_0,\mathfrak{m}_0)$, irrelevant ideal $R_+$, and
$M$ a finitely generated graded $R$-module, then
$H_{\mathfrak{m}_0R}^j(H_{R_+}^t(M))$ is Artinian for $j=0,1$ where
$t=\inf\{i\in{\mathbb{N}_0}: H_{R_+}^i(M)$ is not finitely
generated $\}$. Also, we prove that if $\operatorname{cd}(R_+,M)=2$, then for
each $i\in\mathbb{N}_0$, $H_{\mathfrak{m}_0R}^i(H_{R_+}^2(M))$ is
Artinian if and only if $H_{\mathfrak{m}_0R}^{i+2}(H_{R_+}^1(M))$ is
Artinian, where $\operatorname{cd}(R_+,M)$ is the cohomological dimension of $M$
with respect to $R_+$. This improves some results of R. Sazeedeh.
Keywords:graded local cohomology, Artinian modules Categories:13D45, 13E10 |
11. CMB 2011 (vol 54 pp. 619)
Artinian and Non-Artinian Local Cohomology Modules Let $M$ be a finite module over a commutative noetherian ring $R$.
For ideals $\mathfrak{a}$ and $\mathfrak{b}$ of $R$, the relations between
cohomological dimensions of $M$ with respect to $\mathfrak{a},
\mathfrak{b}$,
$\mathfrak{a}\cap\mathfrak{b}$ and $\mathfrak{a}+ \mathfrak{b}$ are studied. When $R$ is local, it is
shown that $M$ is generalized Cohen-Macaulay if there exists an
ideal $\mathfrak{a}$ such that all local cohomology modules of $M$ with
respect to $\mathfrak{a}$ have finite lengths. Also, when $r$ is an integer
such that $0\leq r< \dim_R(M)$, any maximal element $\mathfrak{q}$ of the
non-empty set of ideals $\{\mathfrak{a} : \textrm{H}_\mathfrak{a}^i(M)
$ is not artinian for
some $ i, i\geq r \}$ is a prime ideal, and all Bass numbers
of $\textrm{H}_\mathfrak{q}^i(M)$ are finite for all $i\geq r$.
Keywords:local cohomology modules, cohomological dimensions, Bass numbers Categories:13D45, 13E10 |
12. CMB 2010 (vol 53 pp. 667)
On the Endomorphism Rings of Local Cohomology Modules Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ a proper ideal
of $R$. We show that if $n:=\operatorname{grade}_R\mathfrak{a}$, then
$\operatorname{End}_R(H^n_\mathfrak{a}(R))\cong \operatorname{Ext}_R^n(H^n_\mathfrak{a}(R),R)$. We also
prove that, for a nonnegative integer $n$ such that
$H^i_\mathfrak{a}(R)=0$ for every $i\neq n$, if $\operatorname{Ext}_R^i(R_z,R)=0$ for
all $i >0$ and $z \in \mathfrak{a}$, then
$\operatorname{End}_R(H^n_\mathfrak{a}(R))$ is a homomorphic
image of $R$, where $R_z$ is the ring of fractions of $R$ with
respect to a multiplicatively closed subset $\{z^j \mid j \geqslant
0 \}$ of $R$. Moreover, if $\operatorname{Hom}_R(R_z,R)=0$ for all $z
\in \mathfrak{a}$,
then $\mu_{H^n_\mathfrak{a}(R)}$ is an isomorphism, where $\mu_{H^n_\mathfrak{a}(R)}$
is the canonical ring homomorphism $R \rightarrow \operatorname{End}_R(H^n_\mathfrak{a}(R))$.
Keywords:local cohomology module, endomorphism ring, Matlis dual functor, filter regular sequence Categories:13D45, 13D07, 13D25 |
13. CMB 2010 (vol 53 pp. 577)
A Unified Approach to Local Cohomology Modules using Serre Classes This paper
discusses the connection between the local cohomology modules and
the Serre classes of $R$-modules. This connection has provided a common
language for expressing some results regarding the local cohomology
$R$-modules that have appeared in different papers.
Keywords:associated prime ideals, local cohomology modules, Serre class Category:13D45 |
14. CMB 2008 (vol 51 pp. 508)
A Result in Surgery Theory We study the topological $4$-dimensional surgery problem
for a closed connected orientable
topological $4$-manifold $X$ with vanishing
second homotopy and $\pi_1(X)\cong A * F(r)$, where $A$ has
one end and $F(r)$ is the free group of rank $r\ge 1$.
Our result is related to a theorem of Krushkal and Lee, and
depends on the validity of the Novikov conjecture for
such fundamental groups.
Keywords:four-manifolds, homotopy type, obstruction theory, homology with local coefficients, surgery, normal invariant, assembly map Categories:57N65, 57R67, 57Q10 |
15. CMB 2008 (vol 51 pp. 81)
Homotopy Formulas for Cyclic Groups Acting on Rings The positive cohomology groups of a finite group acting on a ring
vanish when the ring has a norm one element. In this note we give
explicit homotopies on the level of cochains when the group is cyclic,
which allows us to express any cocycle of a cyclic group
as the coboundary of an explicit cochain.
The formulas in this note are closely related to the effective problems considered in previous joint work
with Eli Aljadeff.
Keywords:group cohomology, norm map, cyclic group, homotopy Categories:20J06, 20K01, 16W22, 18G35 |
16. CMB 2007 (vol 50 pp. 598)
Artinian Local Cohomology Modules Let $R$ be a commutative Noetherian ring, $\fa$ an ideal
of $R$ and $M$ a finitely generated $R$-module. Let $t$ be a
non-negative integer. It is known that if the local cohomology
module $\H^i_\fa(M)$ is finitely generated for all $i Keywords:local cohomology module, Artinian module, reflexive module Categories:13D45, 13E10, 13C05 |
17. CMB 2007 (vol 50 pp. 567)
Exotic Torsion, Frobenius Splitting and the Slope Spectral Sequence In this paper we show that any Frobenius split, smooth, projective
threefold over a perfect field of characteristic $p>0$ is
Hodge--Witt. This is proved by generalizing to the case of
threefolds a well-known criterion due to N.~Nygaard for surfaces to be Hodge-Witt.
We also show that the second crystalline
cohomology of any smooth, projective Frobenius split variety does
not have any exotic torsion. In the last two sections we include
some applications.
Keywords:threefolds, Frobenius splitting, Hodge--Witt, crystalline cohomology, slope spectral sequence, exotic torsion Categories:14F30, 14J30 |
18. CMB 2007 (vol 50 pp. 56)
Simplicial Cohomology of Some Semigroup Algebras In this paper, we investigate the higher simplicial cohomology
groups of the convolution algebra $\ell^1(S)$ for various semigroups
$S$. The classes of semigroups considered are semilattices, Clifford
semigroups, regular Rees semigroups and the additive semigroups of
integers greater than $a$ for some integer $a$. Our results are of
two types: in some cases, we show that some cohomology groups are $0$,
while in some other cases, we show that some cohomology groups are
Banach spaces.
Keywords:simplicial cohomology, semigroup algebra Category:43A20 |
19. CMB 2006 (vol 49 pp. 628)
Approximation and the Topology of Rationally Convex Sets Considering a mapping $g$ holomorphic on a neighbourhood of a rationally
convex set $K\subset\cc^n$, and range into the complex projective space
$\cc\pp^m$, the main objective of this paper is to show that we can
uniformly approximate $g$ on $K$ by rational mappings defined from
$\cc^n$ into $\cc\pp^m$. We only need to ask that the second \v{C}ech
cohomology group $\check{H}^2(K,\zz)$ vanishes.
Keywords:Rationally convex, cohomology, homotopy Categories:32E30, 32Q55 |
20. CMB 2006 (vol 49 pp. 72)
Additive Riemann--Hilbert Problem in Line Bundles Over $\mathbb{CP}^1$ In this note we consider $\overline\partial$-problem in
line bundles over complex projective space $\mathbb{CP}^1$
and prove that the
equation can be solved for $(0,1)$ forms with compact support. As a
consequence, any Cauchy-Riemann function on a compact real hypersurface in
such line bundles is a jump of two holomorphic functions defined on the
sides of the hypersurface. In particular, the results can be applied to
$\mathbb{CP}^2$ since by removing a point from it we get a line bundle over
$\mathbb{CP}^1$.
Keywords:$\overline\partial$-problem, cohomology groups, line bundles Categories:32F20, 14F05, 32C16 |
21. CMB 2005 (vol 48 pp. 414)
Vector Fields and the Cohomology Ring of Toric Varieties Let $X$ be a smooth complex
projective variety with a holomorphic vector field with isolated
zero set $Z$. From the results of Carrell and Lieberman
there exists a filtration
$F_0 \subset F_1 \subset \cdots$ of $A(Z)$, the ring of
$\c$-valued functions on $Z$, such that $\Gr A(Z) \cong H^*(X,
\c)$ as graded algebras. In this note, for a smooth projective
toric variety and a vector field generated by the action of a
$1$-parameter subgroup of the torus, we work out this filtration.
Our main result is an explicit connection between this filtration
and the polytope algebra of $X$.
Keywords:Toric variety, torus action, cohomology ring, simple polytope,, polytope algebra Categories:14M25, 52B20 |
22. CMB 2005 (vol 48 pp. 473)
Logarithms and the Topology of the Complement of a Hypersurface This paper is devoted to analysing the relation between the
logarithm of a non-constant holomorphic polynomial $Q(z)$ and
the topology of the complement of the hypersurface defined by
$Q(z)=0$.
Keywords:Logarithm, homology groups and periods Categories:32Q55, 14F45 |
23. CMB 2003 (vol 46 pp. 617)
On Harmonic Theory in Flows Recently [8], a harmonic theory was developed for a compact
contact manifold from the viewpoint of the transversal geometry of
contact flow. A contact flow is a typical example of geodesible
flow. As a natural generalization of the contact flow, the present
paper develops a harmonic theory for various flows on compact
manifolds. We introduce the notions of $H$-harmonic and
$H^*$-harmonic spaces associated to a H\"ormander flow. We also
introduce the notions of basic harmonic spaces associated to a weak
basic flow. One of our main results is to show that in the special
case of isometric flow these harmonic spaces are isomorphic to the
cohomology spaces of certain complexes. Moreover, we find an
obstruction for a geodesible flow to be isometric.
Keywords:contact structure, geodesible flow, isometric flow, basic cohomology Categories:53C20, 57R30 |
24. CMB 2003 (vol 46 pp. 268)
Group Cohomology and $L^p$-Cohomology of Finitely Generated Groups Let $G$ be a finitely generated, infinite group, let $p>1$, and let
$L^p(G)$ denote the Banach space $\{ \sum_{x\in G} a_xx \mid \sum_{x\in
G} |a_x |^p < \infty \}$. In this paper we will study the first
cohomology group of $G$ with coefficients in $L^p(G)$, and the first
reduced $L^p$-cohomology space of $G$. Most of our results will be for a
class of groups that contains all finitely generated, infinite nilpotent
groups.
Keywords:group cohomology, $L^p$-cohomology, central element of infinite order, harmonic function, continuous linear functional Categories:43A15, 20F65, 20F18 |
25. CMB 2000 (vol 43 pp. 3)
Resolutions of Associative and Lie Algebras Certain canonical resolutions are described for free associative and
free Lie algebras in the category of non-associative algebras. These
resolutions derive in both cases from geometric objects, which in turn
reflect the combinatorics of suitable collections of leaf-labeled
trees.
Keywords:resolutions, homology, Lie algebras, associative algebras, non-associative algebras, Jacobi identity, leaf-labeled trees, associahedron Categories:18G10, 05C05, 16S10, 17B01, 17A50, 18G50 |